| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ac...HEADmaster | Christophe Grenier | 19 hours | 6 | -6/+43 |
| * | src/file_exe.c: disable log message by default (regression introduced by 806a... | Christophe Grenier | 20 hours | 1 | -0/+16 |
| * | src/file_zip.c: additional frama-c annotations | Christophe Grenier | 33 hours | 1 | -6/+6 |
| * | file_tiff*: additional frama-c annotations | Christophe Grenier | 33 hours | 2 | -0/+2 |
| * | src/file_spe.c: check using frama-c | Christophe Grenier | 33 hours | 1 | -16/+158 |
| * | src/file_pf.c: additional frama-c annotation | Christophe Grenier | 33 hours | 1 | -0/+1 |
| * | src/file_pdf.c: fix two wrong casting (regression) | Christophe Grenier | 33 hours | 1 | -2/+2 |
| * | src/file_mp3.c: move some functions, additionnal frama-c annotations | Christophe Grenier | 33 hours | 1 | -314/+312 |
| * | src/file_jpg.c: check with frama-c more code | Christophe Grenier | 33 hours | 1 | -1/+10 |
| * | src/file_gpg.c: additional frama-c annotations | Christophe Grenier | 33 hours | 1 | -1/+8 |
| * | src/file_exe.c: additional frama-c annotations | Christophe Grenier | 33 hours | 1 | -3/+12 |
| * | src/file_doc.c: make more code frama-c friendly | Christophe Grenier | 33 hours | 1 | -177/+326 |
| * | src/file_bmp.c: additionnal frama-c annotations | Christophe Grenier | 33 hours | 1 | -2/+28 |
| * | add frama-c annotations for td_memmem() and several list related | Christophe Grenier | 33 hours | 4 | -2/+80 |
| * | PhotoRec: recover SafeHouse virtual disk .sdsk files | Christophe Grenier | 5 days | 4 | -1/+70 |
| * | src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help | Christophe Grenier | 2019-11-23 | 5 | -205/+349 |
| * | src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413... | Christophe Grenier | 2019-11-23 | 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 | 11 | -31/+69 |
| * | 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 | 6 | -12/+18 |
| * | 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 | 9 | -115/+366 |
| * | 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 | 2 | -115/+503 |
| * | 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 |
