path: root/src/file_dad.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_dad.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file*.c: add various Frama-C annotations in data_check_*()Christophe Grenier2023-10-081-0/+2
* src/file_dad.c: add Frama-C annotationsChristophe Grenier2021-06-061-14/+6
* PhotoRec: check that file_check!=NULL before calling header_ignored()Christophe Grenier2021-04-101-2/+3
* src/file_dad.c: fix frama-c warnings in data_check_dad()Christophe Grenier2021-01-291-7/+32
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+5
* PhotoRec: do not limit .raf filesize for recent versionChristophe Grenier2016-02-251-1/+1
* PhotoRec: relax .dad filesize detectionChristophe Grenier2015-10-111-1/+1
* PhotoRec: reduce the number of backward searchChristophe Grenier2015-09-031-2/+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
* PhotoRec: remove useless file_recovery NULL checkChristophe Grenier2014-10-051-2/+1
* PhotoRec: stricter check for .dadChristophe Grenier2014-08-091-0/+4
* PhotoRec: disable check of .dad for small blocksizeChristophe Grenier2014-07-261-4/+10
* PhotoRec: recover .dad Micae DVR filesChristophe Grenier2014-05-271-0/+89