| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | PhotoRec: recover SafeHouse virtual disk .sdsk filesHEADmaster | Christophe Grenier | 3 days | 3 | -0/+69 |
| * | src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help | Christophe Grenier | 13 days | 5 | -205/+349 |
| * | src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413... | Christophe Grenier | 13 days | 2 | -60/+0 |
| * | src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to | Christophe Grenier | 2019-11-17 | 5 | -405/+878 |
| * | New prototype for find_tag_from_tiff_header() | Christophe Grenier | 2019-11-16 | 3 | -28/+36 |
| * | New prototype for get_date_from_tiff_header() | Christophe Grenier | 2019-11-16 | 10 | -29/+67 |
| * | src/file_doc.c: additional frama-c checks, minor patch for | Christophe Grenier | 2019-11-16 | 1 | -9/+27 |
| * | fidentify: '-time' options to report the date/time in seconds from epoch of a... | Christophe Grenier | 2019-11-16 | 1 | -12/+24 |
| * | src/file_doc.c: make the code more frama-c friendly | Christophe Grenier | 2019-11-03 | 1 | -535/+713 |
| * | Do not call utime() when using frama-c, fix some minor warnings. | Christophe Grenier | 2019-11-01 | 4 | -3/+5 |
| * | src/file_mov.c: Fix all problems reported by "make frama-c-mov" | Christophe Grenier | 2019-11-01 | 1 | -126/+358 |
| * | file_tiff: make the code more frama-c friendly | Christophe Grenier | 2019-10-24 | 8 | -115/+359 |
| * | src/file_gpg.c: add frama-c annotations, fix boundaries check, no problems re... | Christophe Grenier | 2019-10-20 | 1 | -58/+213 |
| * | Fix the remaining problems reported by "make frama-c-exe" | Christophe Grenier | 2019-10-20 | 1 | -44/+57 |
| * | 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 |
| * | Fix the remaining problems reported by "make frama-c-pf" | Christophe Grenier | 2019-10-19 | 1 | -3/+6 |
| * | Fix the remaining problems reported by "make frama-c-mp3" and "make frama-c-id3" | Christophe Grenier | 2019-10-19 | 1 | -7/+16 |
| * | Fix the remaining problems reported by "make frama-c-bmp" and "make frama-c-doc" | Christophe Grenier | 2019-10-19 | 2 | -6/+12 |
| * | Make file_check_cmp() frama-c friendly | Christophe Grenier | 2019-10-19 | 2 | -2/+8 |
| * | New prototype for date_dos2unix() | Christophe Grenier | 2019-10-19 | 2 | -4/+4 |
| * | PhotoRec: stricter check when recovering .pf files | Christophe Grenier | 2019-10-13 | 1 | -1/+114 |
| * | move get_prev_location_smart() from src/photorec.h to src/filegen.h | Christophe Grenier | 2019-10-13 | 4 | -5/+9 |
| * | move del_search_space() from src/filegen.h to src/photorec.h | Christophe Grenier | 2019-10-13 | 8 | -13/+21 |
| * | file_bmp.c: add new frama-c annotations | Christophe Grenier | 2019-10-13 | 2 | -18/+157 |
| * | src/file_doc.c: better bound checking, add various frama-c annotations (some ... | Christophe Grenier | 2019-10-12 | 1 | -114/+494 |
| * | src/common.c: add frama-c annotations for MALLOC() | Christophe Grenier | 2019-10-12 | 2 | -2/+8 |
| * | src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode() | Christophe Grenier | 2019-10-12 | 2 | -2/+136 |
| * | file_doc.c: modify how is_db is incremented in ole_get_file_extension() | Christophe Grenier | 2019-10-12 | 1 | -9/+8 |
| * | file_doc.c: modify the "for" loops in ole_get_file_extension() and file_check... | Christophe Grenier | 2019-10-12 | 1 | -18/+26 |
| * | file_doc.:c use a local variable uSectorShift instead of using le16(header->u... | Christophe Grenier | 2019-10-12 | 1 | -21/+27 |
| * | file_doc.c: new function OLE_read_block() | Christophe Grenier | 2019-10-12 | 1 | -44/+34 |
| * | file_doc.c: move function file_check_doc_aux() inside the file | Christophe Grenier | 2019-10-12 | 1 | -133/+133 |
| * | PhotoRec: correct FileMakerPro 12 extension is fmp12, not fp12. | Christophe Grenier | 2019-10-04 | 1 | -1/+1 |
| * | PhotoRec: when parsing OLE/doc files, better detect Revit .rvt and image cach... | Christophe Grenier | 2019-09-28 | 1 | -0/+14 |
| * | PhotoRec: stricter check for num_FAT_blocks when parsing doc files | Christophe Grenier | 2019-09-28 | 1 | -16/+20 |
| * | PhotoRec: exe - rewrite the resource parser. | Christophe Grenier | 2019-09-26 | 1 | -186/+621 |
| * | PhotoRec: add frama-c tests for bmp | Christophe Grenier | 2019-09-21 | 1 | -8/+127 |
| * | PhotoRec: add frama-c tests for mp3 and id3 | Christophe Grenier | 2019-09-21 | 1 | -56/+381 |
| * | PhotoRec: set file_recovery_new->location.start before calling header_check() | Christophe Grenier | 2019-09-21 | 4 | -10/+10 |
| * | PhotoRec: TIFF parser, fix previous commit and add various frama-c annotations | Christophe Grenier | 2019-09-07 | 4 | -71/+218 |
| * | PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as... | Christophe Grenier | 2019-09-03 | 4 | -78/+89 |
| * | TestDisk always lets you return to quick or deeper search results. | Christophe Grenier | 2019-09-03 | 1 | -1/+6 |
| * | PhotoRec: recover OpenEXR v2 .exr files | Christophe Grenier | 2019-08-27 | 3 | -0/+61 |
| * | PhotoRec: avoid a potential out-of-bound read in jpg_check_structure() | Christophe Grenier | 2019-08-27 | 1 | -1/+1 |
| * | Fix compilation on Debian kfreebsd-amd64 and kfreebsd-i386. | Christophe Grenier | 2019-08-22 | 3 | -6/+3 |
| * | PhotoRec: fix commit 94fa96ce3f72d03dd4e113eadc2043872bc07664 | Christophe Grenier | 2019-08-21 | 1 | -3/+5 |
| * | PhotoRec: Fix for multi-frames RAF files, only first frame was | Christophe Grenier | 2019-08-20 | 1 | -11/+3 |
| * | PhotoRec: sort custom signatures (minor fix) | Christophe Grenier | 2019-08-11 | 1 | -11/+40 |
| * | src/filegen.c: move the conditional check outside the loop in index_header_ch... | Christophe Grenier | 2019-08-11 | 1 | -4/+4 |
