summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* src/file_doc.c: make the code more frama-c friendlyHEADmasterChristophe Grenier10 days1-535/+713
* Do not call utime() when using frama-c, fix some minor warnings.Christophe Grenier13 days6-12/+18
* src/file_mov.c: Fix all problems reported by "make frama-c-mov"Christophe Grenier13 days1-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
* PhotoRec: avoid a potential out-of-bound read in jpg_check_structure()Christophe Grenier2019-08-271-1/+1
* Add "BuildRequires: mingw64-qt5-qttools-tools" in mingw-testdisk.specChristophe Grenier2019-08-231-0/+2
* Update spec files for Fedora copr againChristophe Grenier2019-08-232-2/+2
* Fix compilation on Debian kfreebsd-amd64 and kfreebsd-i386.Christophe Grenier2019-08-223-6/+3
* PhotoRec: fix commit 94fa96ce3f72d03dd4e113eadc2043872bc07664Christophe Grenier2019-08-211-3/+5
* Update spec files for Fedora coprChristophe Grenier2019-08-203-11/+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
* 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
* PhotoRec: recover more files using "#!/usr/bin/env"Christophe Grenier2019-07-261-0/+23
* Minor improvement for a Fedora like testdisk.spec fileChristophe Grenier2019-07-261-7/+6
generated by cgit v1.1 at 2019-11-13 22:21:11 +0000