path: root/src/file_tiff_be.c
Commit message (Expand)AuthorAgeFilesLines
* Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()HEADmasterChristophe Grenier2024-05-211-78/+43
* src/file_tiff_be.c: avoid to shadow a variableChristophe Grenier2024-05-141-4/+4
* PhotoRec: src/file_tiff* - improve Frama-C annotationsChristophe Grenier2024-01-071-0/+9
* src/file_tiff_*.c: improve Frama-C annotationsChristophe Grenier2024-01-011-24/+35
* src/file_tiff_be.c, src/file_tiff_le.c: Frama-C - use static buffer to avoidChristophe Grenier2023-10-081-43/+85
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-2/+2
* src/file_tiff*.[ch]: Fix Frama-C warningsChristophe Grenier2021-07-251-13/+8
* src/file_wdp.c: add Frama-C annotationsChristophe Grenier2021-03-131-2/+12
* src/file_ttiff*.[ch]: improve Frama-C annotationsChristophe Grenier2021-03-091-13/+22
* src/file_orf.c: add frama-c annotationsChristophe Grenier2021-02-261-2/+2
* Fix "make frama-c-fidentify-rw2"Christophe Grenier2020-10-111-2/+2
* src/file_tiff*: better frama-c annotations, free memory in reverse orderChristophe Grenier2020-09-061-8/+9
* PhotoRec: recover TIFF up to 1 GB (Previous limit was 100 MB)Christophe Grenier2020-04-221-2/+4
* PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.Christophe Grenier2020-01-181-0/+42
* file_tiff*: additional frama-c annotationsChristophe Grenier2019-12-071-0/+1
* src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to helpChristophe Grenier2019-11-231-27/+84
* src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413...Christophe Grenier2019-11-231-31/+0
* src/file_jpg.c: make code more frama-c friendly, file_tiff* modified toChristophe Grenier2019-11-171-63/+203
* New prototype for get_date_from_tiff_header()Christophe Grenier2019-11-161-1/+2
* file_tiff: make the code more frama-c friendlyChristophe Grenier2019-10-241-21/+116
* PhotoRec: TIFF parser, fix previous commit and add various frama-c annotationsChristophe Grenier2019-09-071-30/+76
* PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as...Christophe Grenier2019-09-031-37/+42
* PhotoRec: use memcmp() instead of strcmp() when parsing exe and tiff filesChristophe Grenier2018-02-181-4/+4
* PhotoRec: Limit recursion when parsing TIFF images filesChristophe Grenier2018-02-151-1/+1
* PhotoRec: according to TIFF specification, directory entries must be sorted.Christophe Grenier2017-09-281-5/+15
* Split src/file_tiff.c in low endian and big endian files for easier diffChristophe Grenier2017-04-081-0/+504