path: root/src/file_fits.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_fits.c: more frama-c annotationsChristophe Grenier2023-12-271-2/+12
* src/file*.c: add various Frama-C annotations in data_check_*()Christophe Grenier2023-10-081-0/+2
* src/file_fits.c: improve Frama-C annotations.Christophe Grenier2021-06-121-14/+5
* file_*.c: add various Frama-C annotationsChristophe Grenier2021-04-101-2/+2
* src/file_fits.c: two integer overflow remains...Christophe Grenier2021-02-201-1/+2
* src/file_fits.c: improve frama-c annotations.Christophe Grenier2021-01-311-7/+43
* src/file_fits.c: small steps to make the parser more frama-c friendly.Christophe Grenier2020-10-281-13/+33
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-5/+31
* PhotoRec: Change recovered filename to handle more than 2^32 sectors.Christophe Grenier2018-04-291-1/+1
* PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zipChristophe Grenier2018-02-181-1/+1
* PhotoRec: use get_time_from_xxx() new functionsChristophe Grenier2017-04-081-13/+3
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: disable check of .fits for small blocksizeChristophe Grenier2014-07-261-0/+2
* PhotoRec: some data_check_() were stopping too lateChristophe Grenier2014-03-121-4/+1
* PhotoRec: use an enum for values returned by data_check()Christophe Grenier2013-12-141-4/+4
* constify more variablesChristophe Grenier2013-06-011-1/+1
* PhotoRec: fix .fits filesize detectionChristophe Grenier2013-04-111-70/+111
* code cleanup: remove unused but set variablesChristophe Grenier2012-04-141-5/+3
* PhotoRec: avoid extension with more than 3 letters for DOS/DJGPP versionChristophe Grenier2009-07-311-0/+4
* Fix some compilation warningsChristophe Grenier2009-02-031-1/+0
* Code cleanup after using LLVM/Clang Static AnalyzerChristophe Grenier2008-11-161-1/+1
* PhotoRec: recover NASA Flexible Image Transport System (FITS) and Blu-ray MPE...Christophe Grenier2008-04-291-0/+143