summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andHEADmasterChristophe Grenier2020-01-266-8/+62
| | | | lot of code has been commented.
* configure.ac: January 2020Christophe Grenier2020-01-263-43/+53
| | | | move frama-c rules from Makefile.am to src/Makefile.am
* PhotoRec: fix get_prev_location_smart(), avoid a potential enless loopChristophe Grenier2020-01-261-3/+4
| | | | in PhotoRec itself.
* frama-c: src/file_jpg.c - annotate mpo codeChristophe Grenier2020-01-261-117/+262
|
* PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ↵Christophe Grenier2020-01-262-50/+59
| | | | | | only once all checks have been done.
* frama-c: annotate file_check_add_tail() and td_list_add()Christophe Grenier2020-01-262-1/+16
|
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-1813-12/+115
|
* PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.Christophe Grenier2020-01-183-3/+104
| | | | Buggy version was removed by commit 7e8f99aa92038220efa4d9c45cf8a0857a77d7d8
* add a few frama-c annotationsChristophe Grenier2020-01-013-1/+17
|
* src/file_jpg.c: declare data_check_jpg() staticChristophe Grenier2020-01-011-2/+4
|
* src/file_emf.c: add frama-c annotationsChristophe Grenier2020-01-011-28/+159
|
* src/file_mp3.c: additional frama-c annotationsChristophe Grenier2020-01-012-43/+45
|
* EFI GPT: List Apple Core Storage by its nameChristophe Grenier2019-12-302-0/+3
|
* src/file_txt.c: remove some commented linesChristophe Grenier2019-12-301-13/+0
|
* src/file_txt.c: add a lot of frama-c annotationsChristophe Grenier2019-12-293-89/+2538
|
* src/file_txt.c: code cleanup (work in progress)Christophe Grenier2019-12-281-117/+179
|
* src/file_txt.c: use static variable for each extensionChristophe Grenier2019-12-281-104/+144
|
* date_dos2unix(): adapt a more recent and readable version from Linux kernel.Christophe Grenier2019-12-285-28/+63
| | | | | file_rsearch(): rewrite it add frama-c annotations to various functions
* src/file_txt.c: reorder functionsChristophe Grenier2019-12-281-420/+416
|
* PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf()Christophe Grenier2019-12-281-0/+7
|
* PhotoRec: stricter check in src/file_pdf.cChristophe Grenier2019-12-281-1/+1
|
* PhotoRec: src/file_mov.c - fix bad check introduced in commit ↵Christophe Grenier2019-12-281-3/+4
| | | | 91ba106b2523a64b7f1dd18e6d32f4b50d1509a9
* Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0Christophe Grenier2019-12-123-21/+30
| | | | Update annotations for frama-c 20.0
* "photorec /d recup_dir /cmd resume" can be used to resume a sessionChristophe Grenier2019-12-102-2/+7
| | | | | automatically. If no session is available, prompt the user. See https://github.com/cgsecurity/testdisk/issues/73
* Some code cleanup in file_rename() and file_rename_unicode()Christophe Grenier2019-12-101-136/+107
| | | | Fix an OOB access.
* PhotoRec: Ctrl-C should break from more locations (see ↵Christophe Grenier2019-12-103-5/+9
| | | | 6f24cf45f6f93f52b6bbb3ddb63118dd4a3d93cd)
* PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ↵Christophe Grenier2019-12-086-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 Grenier2019-12-081-0/+16
| | | | 806a1f4bb565166392269d5c20254971d2d47775)
* src/file_zip.c: additional frama-c annotationsChristophe Grenier2019-12-071-6/+6
|
* file_tiff*: additional frama-c annotationsChristophe Grenier2019-12-072-0/+2
|
* src/file_spe.c: check using frama-cChristophe Grenier2019-12-071-16/+158
|
* src/file_pf.c: additional frama-c annotationChristophe Grenier2019-12-071-0/+1
|
* src/file_pdf.c: fix two wrong casting (regression)Christophe Grenier2019-12-071-2/+2
|
* src/file_mp3.c: move some functions, additionnal frama-c annotationsChristophe Grenier2019-12-071-314/+312
|
* src/file_jpg.c: check with frama-c more codeChristophe Grenier2019-12-071-1/+10
|
* src/file_gpg.c: additional frama-c annotationsChristophe Grenier2019-12-071-1/+8
|
* src/file_exe.c: additional frama-c annotationsChristophe Grenier2019-12-071-3/+12
|
* src/file_doc.c: make more code frama-c friendlyChristophe Grenier2019-12-071-177/+326
|
* src/file_bmp.c: additionnal frama-c annotationsChristophe Grenier2019-12-071-2/+28
|
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier2019-12-074-2/+80
| | | | functions
* PhotoRec: recover SafeHouse virtual disk .sdsk filesChristophe Grenier2019-12-034-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
|
generated by cgit v1.1 at 2020-02-27 09:14:42 +0000