luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
2402 commits 2 branches 8 tags 6.3 MiB
Commit graph

2402 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christophe Grenier
87ff1ddb86 Do not call utime() when using frama-c, fix some minor warnings. 2019-11-01 10:56:57 +01:00
Christophe Grenier
91ba106b25 src/file_mov.c: Fix all problems reported by "make frama-c-mov" 2019-11-01 10:47:23 +01:00
Christophe Grenier
990e81e4d9 file_tiff: make the code more frama-c friendly 2019-10-24 19:04:06 +02:00
Christophe Grenier
2b90bb8947 src/file_gpg.c: add frama-c annotations, fix boundaries check, no problems reported by "make frama-c-gpg" 2019-10-20 09:30:36 +02:00
Christophe Grenier
5600ce4ceb Fix the remaining problems reported by "make frama-c-exe" 2019-10-20 09:24:51 +02:00
Christophe Grenier
fe6759703c src/file_zip.c: remove useless test 2019-10-20 09:19:02 +02:00
Christophe Grenier
87db0e5911 Fix all problems reported by "make frama-c-zip" 2019-10-19 11:04:28 +02:00
Christophe Grenier
574c1938ae Fix the remaining problems reported by "make frama-c-pf" 2019-10-19 10:22:43 +02:00
Christophe Grenier
672e4ff620 Fix the remaining problems reported by "make frama-c-mp3" and "make frama-c-id3" 2019-10-19 10:21:07 +02:00
Christophe Grenier
4e5978cf5f Fix the remaining problems reported by "make frama-c-bmp" and "make frama-c-doc" 2019-10-19 10:17:42 +02:00
Christophe Grenier
a43423c2ba Make file_check_cmp() frama-c friendly 
Disable file_rename() and file_rename_unicode_aux() when parsed by frama-c
 2019-10-19 10:12:22 +02:00
Christophe Grenier
823fd45997 New prototype for date_dos2unix() 2019-10-19 10:11:55 +02:00
Christophe Grenier
b65fc363fe PhotoRec: stricter check when recovering .pf files 2019-10-13 11:33:25 +02:00
Christophe Grenier
62c0d6c34d move get_prev_location_smart() from src/photorec.h to src/filegen.h 
Avoid using ftello and fseeko when using frama-c
 2019-10-13 11:30:39 +02:00
Christophe Grenier
54fb54dd4b move del_search_space() from src/filegen.h to src/photorec.h 2019-10-13 11:06:57 +02:00
Christophe Grenier
920c166039 file_bmp.c: add new frama-c annotations 2019-10-13 10:05:24 +02:00
Christophe Grenier
11c73ceb73 src/file_doc.c: better bound checking, add various frama-c annotations (some assertions still need to be proved). 2019-10-12 17:03:18 +02:00
Christophe Grenier
0004d61672 src/common.c: add frama-c annotations for MALLOC() 2019-10-12 17:01:26 +02:00
Christophe Grenier
c315a2a6a7 src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode() 2019-10-12 16:58:38 +02:00
Christophe Grenier
e0e4d24cc9 file_doc.c: modify how is_db is incremented in ole_get_file_extension() 
and file_rename_doc() to make it easier to understand for frama-c.
 2019-10-12 15:43:35 +02:00
Christophe Grenier
bd98447c91 file_doc.c: modify the "for" loops in ole_get_file_extension() and file_check_doc_aux() 2019-10-12 12:52:54 +02:00
Christophe Grenier
6633316f9b file_doc.:c use a local variable uSectorShift instead of using le16(header->uSectorShift) 2019-10-12 11:50:35 +02:00
Christophe Grenier
f0866948e3 file_doc.c: new function OLE_read_block() 2019-10-12 11:41:36 +02:00
Christophe Grenier
646bf41c71 file_doc.c: move function file_check_doc_aux() inside the file 2019-10-12 11:19:09 +02:00
Christophe Grenier
fce8644459 PhotoRec: correct FileMakerPro 12 extension is fmp12, not fp12. 2019-10-04 08:47:04 +02:00
Christophe Grenier
b77be706eb PhotoRec: when parsing OLE/doc files, better detect Revit .rvt and image cache .db files 2019-09-28 10:36:28 +02:00
Christophe Grenier
da3483ce65 PhotoRec: stricter check for num_FAT_blocks when parsing doc files 2019-09-28 10:31:40 +02:00
Christophe Grenier
806a1f4bb5 PhotoRec: exe - rewrite the resource parser. 2019-09-26 20:38:23 +02:00
Christophe Grenier
0f09fa0121 PhotoRec: add frama-c tests for bmp 2019-09-21 10:13:53 +02:00
Christophe Grenier
5e48555814 PhotoRec: add frama-c tests for mp3 and id3 2019-09-21 10:08:14 +02:00
Christophe Grenier
153269e044 PhotoRec: set file_recovery_new->location.start before calling header_check() 2019-09-21 08:51:12 +02:00
Christophe Grenier
5eb2d5a054 PhotoRec: TIFF parser, fix previous commit and add various frama-c annotations 2019-09-07 09:01:55 +02:00
Christophe Grenier
8d1de543f4 PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as error value 2019-09-03 08:39:19 +02:00
Christophe Grenier
90932d8b4b TestDisk always lets you return to quick or deeper search results. 
Since commit 6da2c2a5a5, it's possible to return to previous results when at least a partition was marked as primary or logical.
 2019-09-03 08:32:04 +02:00
Christophe Grenier
b9fa9df756 PhotoRec: recover OpenEXR v2 .exr files 2019-08-27 07:55:59 +02:00
Christophe Grenier
0c60e30154 PhotoRec: avoid a potential out-of-bound read in jpg_check_structure() 2019-08-27 07:55:08 +02:00
Christophe Grenier
37dd4a8547 Add "BuildRequires: mingw64-qt5-qttools-tools" in mingw-testdisk.spec 2019-08-23 21:48:19 +02:00
Christophe Grenier
16e83f969c Update spec files for Fedora copr again 2019-08-23 16:51:40 +02:00
Christophe Grenier
45c138c319 Fix compilation on Debian kfreebsd-amd64 and kfreebsd-i386. 
Thanks to Jean-Michel Kelbert, TestDisk's maintainer on Debian, for
integrating the patch.
 2019-08-22 09:20:45 +02:00
Christophe Grenier
65eea944b6 PhotoRec: fix commit 94fa96ce3f 2019-08-21 15:40:43 +02:00
Christophe Grenier
54c7b91372 Update spec files for Fedora copr 2019-08-20 09:50:43 +02:00
Christophe Grenier
b4f93acdeb PhotoRec: Fix for multi-frames RAF files, only first frame was 
recovered.
 2019-08-20 07:37:10 +02:00
Christophe Grenier
69897f6c0f PhotoRec: sort custom signatures (minor fix) 
A file starting by "abcde" was detected with extension "ext2" instead of
"ext1" with the folllowing custom signatures:
ext1 0 "abcde"
ext2 0 "abcd"
 2019-08-11 16:02:24 +02:00
Christophe Grenier
06cbf2fe16 src/filegen.c: move the conditional check outside the loop in index_header_check_aux() 2019-08-11 16:00:55 +02:00
Christophe Grenier
20d96c6668 PhotoRec: add bound check while parsing ico files 2019-08-05 22:45:12 +02:00
Christophe Grenier
0a3650d64e PhotoRec: make header_check_ape() more frama-c WP friendly 2019-08-05 16:32:15 +02:00
Christophe Grenier
0ae3da4161 PhotoRec: avoid potential integer overflow while parsing exe files 2019-08-05 16:25:06 +02:00
Christophe Grenier
94fa96ce3f PhotoRec: recover more files using "#!/usr/bin/env" 2019-07-26 18:45:28 +02:00
Christophe Grenier
48bd41728e Minor improvement for a Fedora like testdisk.spec file 2019-07-26 18:44:08 +02:00
Christophe Grenier
3643a6c8a8 fix minor warning in search_part() about format string 2019-07-26 18:42:54 +02:00