summaryrefslogtreecommitdiffstats
path: root/src/file_exe.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_exe.c: Add loop variant so Frama-C can proves that functionsChristophe Grenier2024-06-081-0/+9
* src/file_exe.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+7
* src/file_exe.c: improve Frama-C annotationsChristophe Grenier2023-10-081-6/+17
* src/file_exe.c: remove some useless codeChristophe Grenier2022-07-141-7/+5
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-3/+3
* src/file_exe.c: improve Frama-C annotationsChristophe Grenier2021-06-091-13/+5
* src/file_exe.c: add a frama-c assign clause to header_check_exe()Christophe Grenier2021-02-191-194/+199
* 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-0/+8
* src/file_exe.c: disable log message by default (regression introduced by 806a...Christophe Grenier2019-12-081-0/+16
* src/file_exe.c: additional frama-c annotationsChristophe Grenier2019-12-071-3/+12
* Do not call utime() when using frama-c, fix some minor warnings.Christophe Grenier2019-11-011-1/+1
* Fix the remaining problems reported by "make frama-c-exe"Christophe Grenier2019-10-201-44/+57
* PhotoRec: exe - rewrite the resource parser.Christophe Grenier2019-09-261-186/+621
* PhotoRec: avoid potential integer overflow while parsing exe filesChristophe Grenier2019-08-051-85/+86
* PhotoRec: fix potential endless loop/crash when parsing abr files,Christophe Grenier2018-02-261-1/+1
* PhotoRec: use memcmp() instead of strcmp() when parsing exe and tiff filesChristophe Grenier2018-02-181-1/+1
* PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zipChristophe Grenier2018-02-181-1/+4
* PhotoRec: fix memory leak in file_exe_ressource()Christophe Grenier2016-08-161-0/+6
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: log the correct filename if file has been renamedChristophe Grenier2015-06-121-12/+12
* remove always-true memcmpChristophe Grenier2015-05-111-1/+1
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-2/+2
* file_exe.c, parthumax.c: remove dead codeChristophe Grenier2014-11-151-1/+0
* Constify some variablesChristophe Grenier2013-05-261-2/+1
* PhotoRec: extract date/time from Windows PE exe/dllChristophe Grenier2013-04-111-0/+1
* various code cleanupChristophe Grenier2012-12-081-2/+1
* PhotoRec: relax check for PE exeChristophe Grenier2010-06-221-144/+139
* PhotoRec: extract the exe filename from InteralName if availableChristophe Grenier2010-05-211-21/+35
* file_exe.c: rename a file structureChristophe Grenier2010-01-241-5/+5
* file_rename() and file_rename_unicode() new prototypeChristophe Grenier2009-08-181-1/+1
* PhotoRec: recover 16 bits (MZ NE) windows executableChristophe Grenier2009-07-031-0/+10
* PhotoRec: limit recursion depth and loop count when checking exe informationChristophe Grenier2009-03-151-3/+3
* file_exe.c: Add missing boundary checksChristophe Grenier2009-03-131-0/+10
* PhotoRec file_exe.c: Get the original filename from PE fileinfo structureChristophe Grenier2009-02-261-0/+296
* PhotoRec: fix Windows PE .exe file identification bug and recover i386-COFF e...Christophe Grenier2009-02-031-16/+41
* PhotoRec: add file format name near the extensionChristophe Grenier2008-06-231-0/+1
* PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...Christophe Grenier2008-02-271-0/+1
* Remove header_check from struct file_hint_structChristophe Grenier2007-12-231-1/+0
* First version in gitChristophe Grenier2007-10-291-0/+165