summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* add a few frama-c annotationsHEADmasterChristophe 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-011-39/+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-122-20/+29
* "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-033-0/+69
* 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-1610-29/+67
* 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
* 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-014-3/+5
* 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-248-115/+359
* src/file_gpg.c: add frama-c annotations, fix boundaries check, no problems re...Christophe Grenier2019-10-201-58/+213
* 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