Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ↵HEADmaster | Christophe Grenier | 21 hours | 6 | -6/+43 |
| | | | | | | | action in the interface. The following signals flush the log file and the signals are propagated as it was done. Close https://github.com/cgsecurity/testdisk/issues/73 | ||||
* | src/file_exe.c: disable log message by default (regression introduced by ↵ | Christophe Grenier | 21 hours | 1 | -0/+16 |
| | | | | 806a1f4bb565166392269d5c20254971d2d47775) | ||||
* | src/file_zip.c: additional frama-c annotations | Christophe Grenier | 34 hours | 1 | -6/+6 |
| | |||||
* | file_tiff*: additional frama-c annotations | Christophe Grenier | 34 hours | 2 | -0/+2 |
| | |||||
* | src/file_spe.c: check using frama-c | Christophe Grenier | 34 hours | 1 | -16/+158 |
| | |||||
* | src/file_pf.c: additional frama-c annotation | Christophe Grenier | 34 hours | 1 | -0/+1 |
| | |||||
* | src/file_pdf.c: fix two wrong casting (regression) | Christophe Grenier | 34 hours | 1 | -2/+2 |
| | |||||
* | src/file_mp3.c: move some functions, additionnal frama-c annotations | Christophe Grenier | 34 hours | 1 | -314/+312 |
| | |||||
* | src/file_jpg.c: check with frama-c more code | Christophe Grenier | 34 hours | 1 | -1/+10 |
| | |||||
* | src/file_gpg.c: additional frama-c annotations | Christophe Grenier | 34 hours | 1 | -1/+8 |
| | |||||
* | src/file_exe.c: additional frama-c annotations | Christophe Grenier | 34 hours | 1 | -3/+12 |
| | |||||
* | src/file_doc.c: make more code frama-c friendly | Christophe Grenier | 34 hours | 1 | -177/+326 |
| | |||||
* | src/file_bmp.c: additionnal frama-c annotations | Christophe Grenier | 34 hours | 1 | -2/+28 |
| | |||||
* | add frama-c annotations for td_memmem() and several list related | Christophe Grenier | 34 hours | 4 | -2/+80 |
| | | | | functions | ||||
* | 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 ↵ | Christophe Grenier | 2019-11-23 | 2 | -60/+0 |
| | | | | | | a0fc92564e6db5dafce53c7eba11f413a2121819 Remove buggy IFD1 parsing from find_tag_from_tiff_header_be() and find_tag_from_tiff_header_le() | ||||
* | src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to | Christophe Grenier | 2019-11-17 | 5 | -405/+878 |
| | | | | help | ||||
* | 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 |
| | | | | ole_get_file_extension() | ||||
* | fidentify: '-time' options to report the date/time in seconds from epoch of ↵ | Christophe Grenier | 2019-11-16 | 1 | -12/+24 |
| | | | | a file from its metadata | ||||
* | 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 ↵ | Christophe Grenier | 2019-10-20 | 1 | -58/+213 |
| | | | | reported by "make frama-c-gpg" | ||||
* | 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 |
| | | | | Disable file_rename() and file_rename_unicode_aux() when parsed by frama-c | ||||
* | 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 |
| | | | | Avoid using ftello and fseeko when using frama-c | ||||
* | 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 |
| | | | | assertions still need to be proved). | ||||
* | 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 |
| | | | | and file_rename_doc() to make it easier to understand for frama-c. | ||||
* | file_doc.c: modify the "for" loops in ole_get_file_extension() and ↵ | Christophe Grenier | 2019-10-12 | 1 | -18/+26 |
| | | | | file_check_doc_aux() | ||||
* | file_doc.:c use a local variable uSectorShift instead of using ↵ | Christophe Grenier | 2019-10-12 | 1 | -21/+27 |
| | | | | le16(header->uSectorShift) | ||||
* | 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 ↵ | Christophe Grenier | 2019-09-28 | 1 | -0/+14 |
| | | | | cache .db files | ||||
* | PhotoRec: stricter check for num_FAT_blocks when parsing doc files | Christophe Grenier | 2019-09-28 | 1 | -16/+20 |
| |