summaryrefslogtreecommitdiffstats
path: root/src/file_jpg.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_jpg.c: jpg_search_marker() - add annotations so Frama-C knowsChristophe Grenier2024-05-181-0/+4
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-301-0/+3
* src/file_jpg.c: more frama-c annotationsChristophe Grenier2023-12-271-4/+25
* src/file_jpg.c: improve Frama-C annotationsChristophe Grenier2023-10-081-12/+45
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-21/+20
* src/file_jpg.c: Fix Frama-C warningsChristophe Grenier2021-06-271-55/+24
* src/file_jpg.c: additional signature to avoid to recover a jpg from a movChristophe Grenier2021-04-161-1/+7
* PhotoRec: check that file_check!=NULL before calling header_ignored()Christophe Grenier2021-04-101-1/+2
* src/file_riff.c: add Frama-C annotations, stricter checksChristophe Grenier2021-03-031-1/+3
* src/file_jpg.c: fix size detection for mpo files when libjpeg is missingChristophe Grenier2021-02-081-47/+160
* Disable ncurses library when using frama-cChristophe Grenier2020-11-011-4/+4
* src/file_jpg.c: prevent thumb file recovered instead of the wholeChristophe Grenier2020-10-111-2/+2
* src/file_jpg.c: some jpg were originally using Multiple-Picture Format (MPF)....Christophe Grenier2020-10-111-2/+276
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-12/+54
* PhotoRec: stricter check for jpgChristophe Grenier2020-08-271-65/+66
* file_jpg.c: create jpg_save_thumbnail() from jpg_check_app1()Christophe Grenier2020-08-241-68/+126
* Patch file_jpg.c and add a blacklist so PhotoRec can be work with clang Contr...Christophe Grenier2020-07-231-10/+18
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-5/+11
* frama-c: src/file_jpg.c - annotate mpo codeChristophe Grenier2020-01-261-117/+262
* src/file_jpg.c: declare data_check_jpg() staticChristophe Grenier2020-01-011-2/+4
* Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0Christophe Grenier2019-12-121-8/+20
* src/file_jpg.c: check with frama-c more codeChristophe Grenier2019-12-071-1/+10
* src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to helpChristophe Grenier2019-11-231-149/+175
* src/file_jpg.c: make code more frama-c friendly, file_tiff* modified toChristophe Grenier2019-11-171-245/+539
* New prototype for find_tag_from_tiff_header()Christophe Grenier2019-11-161-10/+7
* New prototype for get_date_from_tiff_header()Christophe Grenier2019-11-161-2/+3
* PhotoRec: avoid a potential out-of-bound read in jpg_check_structure()Christophe Grenier2019-08-271-1/+1
* PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zipChristophe Grenier2018-02-181-1/+1
* src/file_jpg.c: replace unsigned by unsigned intChristophe Grenier2018-02-071-1/+1
* PhotoRec: avoid potential endless loopsChristophe Grenier2017-09-121-3/+3
* PhotoRec: fix an out of bound memory read in src/file_jpg.cChristophe Grenier2017-06-181-5/+14
* src/file_jpg.c: move duplicated code to check_mpo()Christophe Grenier2017-04-061-28/+19
* Use explicit function adressesChristophe Grenier2017-04-031-10/+10
* PhotoRec: for some file formats, check if file is complete when a new file is...Christophe Grenier2016-09-301-12/+12
* PhotoRec: check doc/OLE files when a new file is foundChristophe Grenier2016-09-301-2/+2
* PhotoRec: fix when carving jpg with blocksize forced to 1 byteChristophe Grenier2015-12-221-0/+2
* Fallback to fseek() if fseeko() failedChristophe Grenier2015-09-251-6/+0
* PhotoRec: reduce the number of backward searchChristophe Grenier2015-09-031-0/+36
* PhotoRec: recover progressive jpegChristophe Grenier2015-08-011-2/+20
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: avoid to recover a jpg if it's in the first 8192 bytes of a .rw2 fileChristophe Grenier2015-06-131-0/+5
* remove always-true memcmpChristophe Grenier2015-05-111-4/+4
* new prototype for jpg_check_sof0()Christophe Grenier2015-04-141-2/+2
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-28/+14
* src/file_jpg.c: Remove redundant DHT checkChristophe Grenier2015-04-051-5/+0
* jpg_check_sof0(): fix a warning reported by Coverity.Christophe Grenier2015-03-121-1/+1
* PhotoRec check SOF0 while recovering jpgChristophe Grenier2015-02-251-6/+47
* src/file_jpg.c: avoid some FP permitted by commit 4c5fcd4164b7fd06eafa54fa44e...Christophe Grenier2014-11-151-0/+15
* Turn off various signed/unsigned comparaison warningsChristophe Grenier2014-11-151-2/+2
* Add missing ctype.h includeChristophe Grenier2014-11-151-0/+1