| Commit message (Expand) | Author | Age | Files | Lines |
* | src/file_exe.c: Add loop variant so Frama-C can proves that functions | Christophe Grenier | 2024-06-08 | 1 | -0/+9 |
* | src/file_exe.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -1/+7 |
* | src/file_exe.c: improve Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -6/+17 |
* | src/file_exe.c: remove some useless code | Christophe Grenier | 2022-07-14 | 1 | -7/+5 |
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -3/+3 |
* | src/file_exe.c: improve Frama-C annotations | Christophe Grenier | 2021-06-09 | 1 | -13/+5 |
* | src/file_exe.c: add a frama-c assign clause to header_check_exe() | Christophe Grenier | 2021-02-19 | 1 | -194/+199 |
* | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
* | PhotoRec: add a few frama-c annotations, mostly in header_check functions | Christophe Grenier | 2020-01-18 | 1 | -0/+8 |
* | src/file_exe.c: disable log message by default (regression introduced by 806a... | Christophe Grenier | 2019-12-08 | 1 | -0/+16 |
* | src/file_exe.c: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -3/+12 |
* | Do not call utime() when using frama-c, fix some minor warnings. | Christophe Grenier | 2019-11-01 | 1 | -1/+1 |
* | Fix the remaining problems reported by "make frama-c-exe" | Christophe Grenier | 2019-10-20 | 1 | -44/+57 |
* | PhotoRec: exe - rewrite the resource parser. | Christophe Grenier | 2019-09-26 | 1 | -186/+621 |
* | PhotoRec: avoid potential integer overflow while parsing exe files | Christophe Grenier | 2019-08-05 | 1 | -85/+86 |
* | PhotoRec: fix potential endless loop/crash when parsing abr files, | Christophe Grenier | 2018-02-26 | 1 | -1/+1 |
* | PhotoRec: use memcmp() instead of strcmp() when parsing exe and tiff files | Christophe Grenier | 2018-02-18 | 1 | -1/+1 |
* | PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zip | Christophe Grenier | 2018-02-18 | 1 | -1/+4 |
* | PhotoRec: fix memory leak in file_exe_ressource() | Christophe Grenier | 2016-08-16 | 1 | -0/+6 |
* | PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) | Christophe Grenier | 2015-06-13 | 1 | -1/+0 |
* | PhotoRec: log the correct filename if file has been renamed | Christophe Grenier | 2015-06-12 | 1 | -12/+12 |
* | remove always-true memcmp | Christophe Grenier | 2015-05-11 | 1 | -1/+1 |
* | add gcc_struct attribute to all __packed__ structure | Christophe Grenier | 2015-04-11 | 1 | -2/+2 |
* | file_exe.c, parthumax.c: remove dead code | Christophe Grenier | 2014-11-15 | 1 | -1/+0 |
* | Constify some variables | Christophe Grenier | 2013-05-26 | 1 | -2/+1 |
* | PhotoRec: extract date/time from Windows PE exe/dll | Christophe Grenier | 2013-04-11 | 1 | -0/+1 |
* | various code cleanup | Christophe Grenier | 2012-12-08 | 1 | -2/+1 |
* | PhotoRec: relax check for PE exe | Christophe Grenier | 2010-06-22 | 1 | -144/+139 |
* | PhotoRec: extract the exe filename from InteralName if available | Christophe Grenier | 2010-05-21 | 1 | -21/+35 |
* | file_exe.c: rename a file structure | Christophe Grenier | 2010-01-24 | 1 | -5/+5 |
* | file_rename() and file_rename_unicode() new prototype | Christophe Grenier | 2009-08-18 | 1 | -1/+1 |
* | PhotoRec: recover 16 bits (MZ NE) windows executable | Christophe Grenier | 2009-07-03 | 1 | -0/+10 |
* | PhotoRec: limit recursion depth and loop count when checking exe information | Christophe Grenier | 2009-03-15 | 1 | -3/+3 |
* | file_exe.c: Add missing boundary checks | Christophe Grenier | 2009-03-13 | 1 | -0/+10 |
* | PhotoRec file_exe.c: Get the original filename from PE fileinfo structure | Christophe Grenier | 2009-02-26 | 1 | -0/+296 |
* | PhotoRec: fix Windows PE .exe file identification bug and recover i386-COFF e... | Christophe Grenier | 2009-02-03 | 1 | -16/+41 |
* | PhotoRec: add file format name near the extension | Christophe Grenier | 2008-06-23 | 1 | -0/+1 |
* | PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s... | Christophe Grenier | 2008-02-27 | 1 | -0/+1 |
* | Remove header_check from struct file_hint_struct | Christophe Grenier | 2007-12-23 | 1 | -1/+0 |
* | First version in git | Christophe Grenier | 2007-10-29 | 1 | -0/+165 |