summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ↵HEADmasterChristophe Grenier21 hours6-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 Grenier21 hours1-0/+16
| | | | 806a1f4bb565166392269d5c20254971d2d47775)
* src/file_zip.c: additional frama-c annotationsChristophe Grenier34 hours1-6/+6
|
* file_tiff*: additional frama-c annotationsChristophe Grenier34 hours2-0/+2
|
* src/file_spe.c: check using frama-cChristophe Grenier34 hours1-16/+158
|
* src/file_pf.c: additional frama-c annotationChristophe Grenier34 hours1-0/+1
|
* src/file_pdf.c: fix two wrong casting (regression)Christophe Grenier34 hours1-2/+2
|
* src/file_mp3.c: move some functions, additionnal frama-c annotationsChristophe Grenier34 hours1-314/+312
|
* src/file_jpg.c: check with frama-c more codeChristophe Grenier34 hours1-1/+10
|
* src/file_gpg.c: additional frama-c annotationsChristophe Grenier34 hours1-1/+8
|
* src/file_exe.c: additional frama-c annotationsChristophe Grenier34 hours1-3/+12
|
* src/file_doc.c: make more code frama-c friendlyChristophe Grenier34 hours1-177/+326
|
* src/file_bmp.c: additionnal frama-c annotationsChristophe Grenier34 hours1-2/+28
|
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier34 hours4-2/+80
| | | | functions
* PhotoRec: recover SafeHouse virtual disk .sdsk filesChristophe Grenier5 days4-1/+70
|
* src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to helpChristophe Grenier2019-11-235-205/+349
|
* src/file_tiff*.c: fix regression from commit ↵Christophe Grenier2019-11-232-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 toChristophe Grenier2019-11-175-405/+878
| | | | help
* New prototype for find_tag_from_tiff_header()Christophe Grenier2019-11-163-28/+36
|
* New prototype for get_date_from_tiff_header()Christophe Grenier2019-11-1611-31/+69
|
* src/file_doc.c: additional frama-c checks, minor patch forChristophe Grenier2019-11-161-9/+27
| | | | ole_get_file_extension()
* fidentify: '-time' options to report the date/time in seconds from epoch of ↵Christophe Grenier2019-11-161-12/+24
| | | | a file from its metadata
* src/file_doc.c: make the code more frama-c friendlyChristophe Grenier2019-11-031-535/+713
|
* Do not call utime() when using frama-c, fix some minor warnings.Christophe Grenier2019-11-016-12/+18
|
* src/file_mov.c: Fix all problems reported by "make frama-c-mov"Christophe Grenier2019-11-011-126/+358
|
* file_tiff: make the code more frama-c friendlyChristophe Grenier2019-10-249-115/+366
|
* src/file_gpg.c: add frama-c annotations, fix boundaries check, no problems ↵Christophe Grenier2019-10-201-58/+213
| | | | reported by "make frama-c-gpg"
* Fix the remaining problems reported by "make frama-c-exe"Christophe Grenier2019-10-201-44/+57
|
* src/file_zip.c: remove useless testChristophe Grenier2019-10-201-1/+1
|
* Fix all problems reported by "make frama-c-zip"Christophe Grenier2019-10-191-154/+441
|
* Fix the remaining problems reported by "make frama-c-pf"Christophe Grenier2019-10-191-3/+6
|
* Fix the remaining problems reported by "make frama-c-mp3" and "make frama-c-id3"Christophe Grenier2019-10-191-7/+16
|
* Fix the remaining problems reported by "make frama-c-bmp" and "make frama-c-doc"Christophe Grenier2019-10-192-6/+12
|
* Make file_check_cmp() frama-c friendlyChristophe Grenier2019-10-192-2/+8
| | | | Disable file_rename() and file_rename_unicode_aux() when parsed by frama-c
* New prototype for date_dos2unix()Christophe Grenier2019-10-192-4/+4
|
* PhotoRec: stricter check when recovering .pf filesChristophe Grenier2019-10-131-1/+114
|
* move get_prev_location_smart() from src/photorec.h to src/filegen.hChristophe Grenier2019-10-134-5/+9
| | | | Avoid using ftello and fseeko when using frama-c
* move del_search_space() from src/filegen.h to src/photorec.hChristophe Grenier2019-10-138-13/+21
|
* file_bmp.c: add new frama-c annotationsChristophe Grenier2019-10-132-18/+157
|
* src/file_doc.c: better bound checking, add various frama-c annotations (some ↵Christophe Grenier2019-10-122-115/+503
| | | | assertions still need to be proved).
* src/common.c: add frama-c annotations for MALLOC()Christophe Grenier2019-10-122-2/+8
|
* src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode()Christophe Grenier2019-10-122-2/+136
|
* file_doc.c: modify how is_db is incremented in ole_get_file_extension()Christophe Grenier2019-10-121-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 Grenier2019-10-121-18/+26
| | | | file_check_doc_aux()
* file_doc.:c use a local variable uSectorShift instead of using ↵Christophe Grenier2019-10-121-21/+27
| | | | le16(header->uSectorShift)
* file_doc.c: new function OLE_read_block()Christophe Grenier2019-10-121-44/+34
|
* file_doc.c: move function file_check_doc_aux() inside the fileChristophe Grenier2019-10-121-133/+133
|
* PhotoRec: correct FileMakerPro 12 extension is fmp12, not fp12.Christophe Grenier2019-10-041-1/+1
|
* PhotoRec: when parsing OLE/doc files, better detect Revit .rvt and image ↵Christophe Grenier2019-09-281-0/+14
| | | | cache .db files
* PhotoRec: stricter check for num_FAT_blocks when parsing doc filesChristophe Grenier2019-09-281-16/+20
|