path: root/src/file_bmp.c
Commit message (Expand)AuthorAgeFilesLines
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-301-0/+6
* src/file_bmp.c: fix Frama-C annotationsChristophe Grenier2021-06-061-21/+16
* file_*.c: add various Frama-C annotationsChristophe Grenier2021-04-101-3/+1
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-261-1/+3
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-0/+3
* src/file_bmp.c: additionnal frama-c annotationsChristophe Grenier2019-12-071-2/+28
* Fix the remaining problems reported by "make frama-c-bmp" and "make frama-c-doc"Christophe Grenier2019-10-191-3/+6
* file_bmp.c: add new frama-c annotationsChristophe Grenier2019-10-131-18/+18
* PhotoRec: add frama-c tests for bmpChristophe Grenier2019-09-211-8/+127
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-1/+1
* PhotoRec: stricter check for .bmpChristophe Grenier2014-09-171-1/+2
* PhotoRec: stricter check for BMP filesChristophe Grenier2011-05-021-3/+17
* PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...Christophe Grenier2008-02-271-0/+1
* Remove header_check from struct file_hint_structChristophe Grenier2007-12-231-1/+0
* First version in gitChristophe Grenier2007-10-291-0/+67