| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | src/file_zip.c: Proves file_check_zip() terminates (Frama-C) | Christophe Grenier | 2024-05-21 | 1 | -8/+40 |
| * | Improve Frama-C annotations for a bunch of files | Christophe Grenier | 2024-01-01 | 1 | -0/+1 |
| * | PhotoRec: distinguish .FCStd from .zip files | Christophe Grenier | 2023-10-21 | 1 | -1/+8 |
| * | src/file_zip.c: improve Frama-C annotations in file_rename_zip() | Christophe Grenier | 2023-10-08 | 1 | -1/+4 |
| * | src/file_zip.c: improve Frama-C annotations | Christophe Grenier | 2023-09-01 | 1 | -1/+12 |
| * | PhotoRec: distinguish Mathcad .mtcx files from .zip | Christophe Grenier | 2022-11-16 | 1 | -0/+7 |
| * | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -3/+3 |
| * | src/file_zip.c: improve Frama-C annotations | Christophe Grenier | 2021-07-29 | 1 | -21/+8 |
| * | src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd f... | Christophe Grenier | 2021-06-12 | 1 | -5/+12 |
| * | src/file_zip.c: fix mimetype parsing, improve detection of epub | Christophe Grenier | 2021-05-21 | 1 | -6/+14 |
| * | src/file_zip.c: Add more Frama-C annotations | Christophe Grenier | 2021-03-19 | 1 | -74/+105 |
| * | src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fn | Christophe Grenier | 2021-03-19 | 1 | -11/+24 |
| * | src/file_zip.c: exit zip_parse_file_entry_fn() when an extension is | Christophe Grenier | 2021-03-18 | 1 | -72/+70 |
| * | src/file_zip.c: remove krita parameter | Christophe Grenier | 2021-03-18 | 1 | -13/+5 |
| * | src/file_zip.c: move some redundant code into zip_parse_parse_entry_mimetype() | Christophe Grenier | 2021-03-18 | 1 | -57/+50 |
| * | src/file_zip.c: move several static variables to the top | Christophe Grenier | 2021-03-18 | 1 | -5/+4 |
| * | src/file_zip.c: move structure to the top | Christophe Grenier | 2021-03-18 | 1 | -38/+53 |
| * | PhotoRec: recover bbdoc files (zip archives) | Christophe Grenier | 2021-01-06 | 1 | -2/+9 |
| * | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -0/+2 |
| * | src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44b6ec43d9b361d3ac... | Christophe Grenier | 2020-08-24 | 1 | -1/+1 |
| * | file_zip.c: more frama-c annotations | Christophe Grenier | 2020-08-22 | 1 | -32/+46 |
| * | src/file_zip.c: additional frama-c annotations | Christophe Grenier | 2020-06-21 | 1 | -52/+260 |
| * | PhotoRec: stricter check for zip files | Christophe Grenier | 2020-06-18 | 1 | -6/+9 |
| * | PhotoRec: add a few frama-c annotations, mostly in header_check functions | Christophe Grenier | 2020-01-18 | 1 | -0/+10 |
| * | add a few frama-c annotations | Christophe Grenier | 2020-01-01 | 1 | -0/+14 |
| * | src/file_zip.c: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -6/+6 |
| * | src/file_zip.c: remove useless test | Christophe Grenier | 2019-10-20 | 1 | -1/+1 |
| * | Fix all problems reported by "make frama-c-zip" | Christophe Grenier | 2019-10-19 | 1 | -154/+441 |
| * | PhotoRec: recover Apple numbers/pages/... as .numbers instead of .zip | Christophe Grenier | 2019-05-22 | 1 | -0/+3 |
| * | PhotoRec: recover Sketch as .sketch instead of .zip | Christophe Grenier | 2018-09-22 | 1 | -0/+2 |
| * | PhotoRec: recover Celtx, Screenwriting & Media Pre-production, and Adobe xd f... | Christophe Grenier | 2018-03-22 | 1 | -0/+5 |
| * | PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zip | Christophe Grenier | 2018-02-18 | 1 | -1/+3 |
| * | PhotoRec: avoid endless loop when parsing corrupted zip files. Bug detected v... | Christophe Grenier | 2018-02-15 | 1 | -0/+6 |
| * | PhotoRec: recover Android .apk files | Christophe Grenier | 2018-02-07 | 1 | -5/+8 |
| * | PhotoRec: distinguish Apple Numbers .iwa from .zip | Christophe Grenier | 2017-09-11 | 1 | -0/+3 |
| * | header_ignored_adv(): generalized the speed optimization created for zip file | Christophe Grenier | 2016-09-30 | 1 | -17/+3 |
| * | PhotoRec: when a zip header is found while Photorec is already recovering a z... | Christophe Grenier | 2016-09-23 | 1 | -2/+16 |
| * | PhotoRec: recover .epub and .vsdx with the proper extension instead of .zip | Christophe Grenier | 2016-03-05 | 1 | -0/+10 |
| * | PhotoRec: recover Revit .rvt files | Christophe Grenier | 2015-12-03 | 1 | -4/+1 |
| * | PhotoRec: fix again some xlsx/pptx identification otherwise detected as .docx | Christophe Grenier | 2015-10-11 | 1 | -13/+12 |
| * | Fix regression introduced in commit 393b63c9984696229083e2fd1e97aeb57106eb60 | Christophe Grenier | 2015-09-25 | 1 | -3/+6 |
| * | Fallback to fseek() if fseeko() failed | Christophe Grenier | 2015-09-25 | 1 | -6/+0 |
| * | PhotoRec: fix some xlsx/pptx identification otherwise detected as .docx | Christophe Grenier | 2015-09-17 | 1 | -9/+13 |
| * | PhotoRec: reduce the number of backward search | Christophe Grenier | 2015-09-03 | 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 | -5/+5 |
| * | PhotoRec: create header_check_winzip from header_check_zip() | Christophe Grenier | 2015-06-12 | 1 | -80/+76 |
| * | add gcc_struct attribute to all __packed__ structure | Christophe Grenier | 2015-04-11 | 1 | -70/+29 |
| * | PhotoRec: remove useless file_recovery NULL check | Christophe Grenier | 2014-10-05 | 1 | -2/+2 |
| * | Use fseeko() instead of fseek(). | Christophe Grenier | 2014-10-04 | 1 | -1/+49 |
