luisgulo/testdisk
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,248 Commits 2 Branches 8 Tags
Commit Graph

2248 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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 6da2c2a5a55dc00b4cdbf9936033b38c87012b93, 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 94fa96ce3f72d03dd4e113eadc2043872bc07664 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
Christophe Grenier
29c6791fa6 Merge latest translations from transifex 
Close https://github.com/cgsecurity/testdisk/issues/67
 2019-07-09 19:31:37 +02:00
Christophe Grenier
a3ee7c653d TestDisk & PhotoRec 7.2-WIP 2019-07-09 19:28:33 +02:00
Christophe Grenier
3bb714e653 TestDisk & PhotoRec 7.1 v7.1 2019-07-07 17:25:03 +02:00
Christophe Grenier
ede2a1beb8 PhotoRec: recover Apple numbers/pages/... as .numbers instead of .zip 2019-05-22 10:38:01 +02:00