summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Support for further WISO Steuer software versionsHEADmasterVolker Wildi2020-03-091-5/+32
* rename list_file_enable to array_file_enableChristophe Grenier2020-02-019-21/+21
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-266-8/+62
* configure.ac: January 2020Christophe Grenier2020-01-263-43/+53
* PhotoRec: fix get_prev_location_smart(), avoid a potential enless loopChristophe Grenier2020-01-261-3/+4
* 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
* 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
* 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
* 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 91ba106b2523a64...Christophe Grenier2019-12-281-3/+4
* Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0Christophe Grenier2019-12-123-21/+30
* "photorec /d recup_dir /cmd resume" can be used to resume a sessionChristophe Grenier2019-12-102-2/+7
* Some code cleanup in file_rename() and file_rename_unicode()Christophe Grenier2019-12-101-136/+107
* PhotoRec: Ctrl-C should break from more locations (see 6f24cf45f6f93f52b6bbb3...Christophe Grenier2019-12-103-5/+9
* PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ac...Christophe Grenier2019-12-086-6/+43
* src/file_exe.c: disable log message by default (regression introduced by 806a...Christophe Grenier2019-12-081-0/+16
* 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
* 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 a0fc92564e6db5dafce53c7eba11f413...Christophe Grenier2019-11-232-60/+0
* src/file_jpg.c: make code more frama-c friendly, file_tiff* modified toChristophe Grenier2019-11-175-405/+878
* 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
* fidentify: '-time' options to report the date/time in seconds from epoch of a...Christophe Grenier2019-11-161-12/+24
generated by cgit v1.1 at 2020-04-03 03:58:05 +0000