path: root/src/file_ape.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_ape.c: improve Frama-C annotationsChristophe Grenier2021-06-061-8/+5
* src/file_apple.c: add frama-c annotationsChristophe Grenier2021-02-131-2/+1
* src/file_ape.c: add frama-c annotationsChristophe Grenier2021-02-131-5/+19
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* PhotoRec: make header_check_ape() more frama-c WP friendlyChristophe Grenier2019-08-051-4/+5
* 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
* header_check_ape: remove dead codeChristophe Grenier2014-11-151-14/+10
* PhotoRec: stricter check for .apeChristophe Grenier2014-07-241-9/+83
* PhotoRec: stricter check for .ape, Monkey's Audio compressed formatChristophe Grenier2009-07-031-2/+11
* PhotoRec: recover ape Monkey's Audio compressed format and mfa, The Games Fac...Christophe Grenier2009-01-041-0/+62