summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* src/file_jpg.c: make code more frama-c friendly, file_tiff* modified toHEADmasterChristophe Grenier26 hours5-405/+878
| | | | help
* New prototype for find_tag_from_tiff_header()Christophe Grenier2 days3-28/+36
|
* New prototype for get_date_from_tiff_header()Christophe Grenier2 days10-29/+67
|
* src/file_doc.c: additional frama-c checks, minor patch forChristophe Grenier2 days1-9/+27
| | | | ole_get_file_extension()
* fidentify: '-time' options to report the date/time in seconds from epoch of ↵Christophe Grenier2 days1-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-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 ↵Christophe Grenier2019-10-201-58/+213
| | | | reported by "make frama-c-gpg"
* 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
| | | | Disable file_rename() and file_rename_unicode_aux() when parsed by frama-c
* 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
| | | | Avoid using ftello and fseeko when using frama-c
* 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
| | | | assertions still need to be proved).
* 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
| | | | and file_rename_doc() to make it easier to understand for frama-c.
* file_doc.c: modify the "for" loops in ole_get_file_extension() and ↵Christophe Grenier2019-10-121-18/+26
| | | | file_check_doc_aux()
* file_doc.:c use a local variable uSectorShift instead of using ↵Christophe Grenier2019-10-121-21/+27
| | | | le16(header->uSectorShift)
* 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 ↵Christophe Grenier2019-09-281-0/+14
| | | | cache .db files
* 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 ↵Christophe Grenier2019-09-034-78/+89
| | | | as error value
* TestDisk always lets you return to quick or deeper search results.Christophe Grenier2019-09-031-1/+6
| | | | Since commit 6da2c2a5a55dc00b4cdbf9936033b38c87012b93, it's possible to return to previous results when at least a partition was marked as primary or logical.
* 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
| | | | | Thanks to Jean-Michel Kelbert, TestDisk's maintainer on Debian, for integrating the patch.
* 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
| | | | recovered.
* PhotoRec: sort custom signatures (minor fix)Christophe Grenier2019-08-111-11/+40
| | | | | | | A file starting by "abcde" was detected with extension "ext2" instead of "ext1" with the folllowing custom signatures: ext1 0 "abcde" ext2 0 "abcd"
* src/filegen.c: move the conditional check outside the loop in ↵Christophe Grenier2019-08-111-4/+4
| | | | index_header_check_aux()
* PhotoRec: add bound check while parsing ico filesChristophe Grenier2019-08-051-16/+14
|
* PhotoRec: make header_check_ape() more frama-c WP friendlyChristophe Grenier2019-08-051-4/+5
|
* PhotoRec: avoid potential integer overflow while parsing exe filesChristophe Grenier2019-08-051-85/+86
|