summaryrefslogtreecommitdiffstats
path: root/src/file_pf.c
Commit message (Expand)AuthorAgeFilesLines
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-2/+9
* PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf()Christophe Grenier2019-12-281-0/+7
* src/file_pf.c: additional frama-c annotationChristophe Grenier2019-12-071-0/+1
* Fix the remaining problems reported by "make frama-c-pf"Christophe Grenier2019-10-191-3/+6
* PhotoRec: stricter check when recovering .pf filesChristophe Grenier2019-10-131-1/+114
* PhotoRec: recover Windows prefetch .pf fileChristophe Grenier2016-06-261-0/+88