summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
* | 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 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
* 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
* 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
* 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
* 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
* file_doc.c: modify the "for" loops in ole_get_file_extension() and file_check...Christophe Grenier2019-10-121-18/+26
* file_doc.:c use a local variable uSectorShift instead of using le16(header->u...Christophe Grenier2019-10-121-21/+27
* 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 cach...Christophe Grenier2019-09-281-0/+14
* PhotoRec: stricter check for num_FAT_blocks when parsing doc filesChristophe Grenier2019-09-281-16/+20
* PhotoRec: exe - rewrite the resource parser.Christophe Grenier2019-09-261-186/+621
* PhotoRec: add frama-c tests for bmpChristophe Grenier2019-09-211-8/+127
* PhotoRec: add frama-c tests for mp3 and id3Christophe Grenier2019-09-212-56/+413
* PhotoRec: set file_recovery_new->location.start before calling header_check()Christophe Grenier2019-09-214-10/+10
* PhotoRec: TIFF parser, fix previous commit and add various frama-c annotationsChristophe Grenier2019-09-074-71/+218
* PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as...Christophe Grenier2019-09-034-78/+89
* TestDisk always lets you return to quick or deeper search results.Christophe Grenier2019-09-031-1/+6
* PhotoRec: recover OpenEXR v2 .exr filesChristophe Grenier2019-08-273-0/+61