path: root/src/file_asf.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_asf.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* src/file_asf.c: Improve Frama-C annotationsChristophe Grenier2021-06-061-6/+3
* file_asf.c, file_reg.c: add frama-c annotationsChristophe Grenier2021-02-131-4/+19
* src/file_asf.c: header check was too strong and rejecting valid files.Christophe Grenier2020-10-111-1/+1
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* src/file_asf.c: stricter check in header_check_asf()Christophe Grenier2020-06-181-19/+28
* 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-2/+2
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-3/+3
* PhotoRec: fix potential out of bound read-access affecting 32-bit version whe...Christophe Grenier2014-09-241-0/+2
* PhotoRec: distinguish between asf/wma/wmv extensionsChristophe Grenier2014-08-091-23/+58
* PhotoRec: stricter check for .asfChristophe Grenier2014-07-211-2/+10
* PhotoRec: get .asf date from file headerChristophe Grenier2013-04-191-0/+1
* PhotoRec: fix regression from commit 0f70bee69a6ce66c2b2798d09235439924906a0bChristophe Grenier2013-04-191-1/+1
* PhotoRec: stricter check for .asf detectionChristophe Grenier2013-03-231-44/+35
* Make some variables more localChristophe Grenier2012-09-101-4/+4
* PhotoRec: detect asf/wmv video file sizeChristophe Grenier2010-11-071-9/+53
* Code cleanupChristophe Grenier2009-10-251-1/+1
* Code cleanup after using LLVM/Clang Static AnalyzerChristophe Grenier2008-11-161-1/+0
* PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...Christophe Grenier2008-02-271-0/+2
* Remove header_check from struct file_hint_structChristophe Grenier2007-12-231-1/+0
* First version in gitChristophe Grenier2007-10-291-0/+69