path: root/src/file_nk2.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_nk2.c: modify code and improve Frama-C annotationsChristophe Grenier2024-01-011-88/+105
* src/file_nk2.c: fix Frama-C annotations for file_check_nk2()Christophe Grenier2023-10-081-0/+7
* src/file_nk2.c: fix Frama-C warningsChristophe Grenier2021-07-031-36/+32
* src/file_nk2.c: add frama-c annotationsChristophe Grenier2021-02-251-4/+19
* src/file_nk2.c: add frama-c annotationsChristophe Grenier2020-10-031-3/+49
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* Fallback to fseek() if fseeko() failedChristophe Grenier2015-09-251-6/+0
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* remove always-true memcmpChristophe Grenier2015-05-111-21/+13
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-11/+8
* Use fseeko() instead of fseek().Christophe Grenier2014-10-041-1/+10
* PhotoRec: check fseek return value in nk2 file validationChristophe Grenier2011-10-151-6/+2
* PhotoRec: record last valid offset of a file, will be usefull for bruteforceChristophe Grenier2009-11-011-0/+1
* PhotoRec: recover Outlook Nickfile .nk2Christophe Grenier2009-02-031-0/+204