summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* PhotoRec: recover SafeHouse virtual disk .sdsk filesHEADmasterChristophe Grenier3 days3-0/+69
* src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to helpChristophe Grenier13 days5-205/+349
* src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413...Christophe Grenier13 days2-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
* 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-121-114/+494
* 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-211-56/+381
* 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
* PhotoRec: avoid a potential out-of-bound read in jpg_check_structure()Christophe Grenier2019-08-271-1/+1
* Fix compilation on Debian kfreebsd-amd64 and kfreebsd-i386.Christophe Grenier2019-08-223-6/+3
* PhotoRec: fix commit 94fa96ce3f72d03dd4e113eadc2043872bc07664Christophe Grenier2019-08-211-3/+5
* PhotoRec: Fix for multi-frames RAF files, only first frame wasChristophe Grenier2019-08-201-11/+3
* PhotoRec: sort custom signatures (minor fix)Christophe Grenier2019-08-111-11/+40
* src/filegen.c: move the conditional check outside the loop in index_header_ch...Christophe Grenier2019-08-111-4/+4