Commit graph

2587 commits

Author SHA1 Message Date
Christophe Grenier
a7606a61fc src/file_dir.c: do not include dir.h 2020-09-12 16:11:32 +02:00
Christophe Grenier
4da8dff6d6 src/dir.h: split the file in two, see src/dir_common.h 2020-09-12 09:05:06 +02:00
Christophe Grenier
7cdc0ae265 src/suspend_no.c: disable JPEG library when frama-c is used 2020-09-11 13:02:54 +02:00
Christophe Grenier
79e2b889da PhotoRec: add an ifdef in each file for easier frama-c testing 2020-09-11 12:58:00 +02:00
Christophe Grenier
4ba942d12e src/file_ace.c: add frama-c annotations 2020-09-10 17:15:12 +02:00
Christophe Grenier
e07e4692d5 src/file_tiff*: better frama-c annotations, free memory in reverse order
of allocations
2020-09-06 21:04:08 +02:00
Christophe Grenier
90cdd0bd88 fidentify: report time using localtime instead of seconds since epoch 2020-09-06 19:48:29 +02:00
Christophe Grenier
74f7cf79a3 Move low-level structure from fat.h to fat_common.h 2020-09-01 19:09:12 +02:00
Christophe Grenier
b1376c4f96 file_fat.c: call fat_sector_size() once instead of multiple times 2020-08-30 11:19:38 +02:00
Christophe Grenier
e9716150a1 crc.[ch]: fix frama-c annotations 2020-08-30 11:05:35 +02:00
Christophe Grenier
208ee976f7 file_7z.c: stricter check 2020-08-30 09:45:57 +02:00
Christophe Grenier
c48a93d4c4 file_1cd.c: fix size for file bigger than 4 TB ! 2020-08-30 09:18:17 +02:00
Christophe Grenier
cf101c1f46 PhotoRec: stricter check for jpg 2020-08-27 18:13:24 +02:00
Christophe Grenier
b5f43e2865 PhotoRec: find the size of small gzip files 2020-08-27 18:10:39 +02:00
Christophe Grenier
d4dafaa1eb file_gz.c: more frama-c friendly 2020-08-27 17:36:44 +02:00
Christophe Grenier
4610b9d40e Fix 73d49dbde9 2020-08-24 19:44:09 +02:00
Christophe Grenier
73d49dbde9 src/dfxml.c: fix xml_add_DFXML_creator() for mingw32 2020-08-24 18:59:05 +02:00
Christophe Grenier
2846258670 src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44
src/filegen.c: remove unused file_search_lc_footer()
src/file_doc.c: remove useless cast
2020-08-24 18:51:29 +02:00
Christophe Grenier
c475b596b3 file_jpg.c: create jpg_save_thumbnail() from jpg_check_app1() 2020-08-24 17:34:26 +02:00
Christophe Grenier
d4a638cc44 file_zip.c: more frama-c annotations 2020-08-22 15:08:11 +02:00
Christophe Grenier
847f36f7a7 file_doc.c: make the code more frama-c friendly 2020-08-22 13:46:48 +02:00
Christophe Grenier
e6b0e05628 filegen.[ch]: add various frama-c annotations 2020-08-22 13:33:12 +02:00
Christophe Grenier
3443c8df15 common.c: add some frama-c annotations in strip_dup(), date_dos2unix()
date_dos2unix() - avoid using localtime_r()
2020-08-22 13:31:37 +02:00
Christophe Grenier
1e1d634566 Stricter check in UTFsize() 2020-08-08 12:38:42 +02:00
Christophe Grenier
974d01c5c1 autodetect_arch(): avoid some function pointers 2020-08-08 12:35:17 +02:00
Christophe Grenier
8587bc1ddb src/hdcache.c: add frama-c annotations 2020-08-08 12:31:46 +02:00
Christophe Grenier
d19e536278 Additional frama-c annotations 2020-08-08 12:26:37 +02:00
Christophe Grenier
7503c14108 recover_MD_from_partition(): Constify local variable offset 2020-08-08 12:25:56 +02:00
Christophe Grenier
4700325701 New prototype for log_redirect() and log_set_levels() 2020-08-08 12:22:55 +02:00
Christophe Grenier
745ced8e14 Report Windows 10 and Windows server 2016 2020-08-08 12:20:48 +02:00
Christophe Grenier
c7fe668efa Make the return value explicit in photorec_aux() when the user presses
STOP (Code readability)
2020-08-08 12:00:30 +02:00
Christophe Grenier
7fcac38ea3 Update photorec_aux() in qpsearch.cpp to match the function from psearchn.c
See commit 9b0e8ff284
2020-08-08 11:48:20 +02:00
Christophe Grenier
4e9925e96d src/qpsearch.cpp: rename local variable from res to data_check_status
in photorec_aux()
2020-08-08 11:34:21 +02:00
Christophe Grenier
28d21ab089 move code from photorec_new_file() to photorec_header_found() that was
the only caller. It should be easier to understand.
2020-08-07 08:23:46 +02:00
Christophe Grenier
5106d055ca src/psearchn.c: rename local variable from res to data_check_status 2020-08-07 08:19:44 +02:00
Christophe Grenier
9b0e8ff284 PhotoRec: search for a previous file when
- a file has been recovered and truncated
- a file has been recovered and is not immediately followed by a new
  file
2020-08-07 08:16:16 +02:00
Christophe Grenier
89a4fd6981 PhotoRec: track fragmentation impact 2020-08-07 08:08:40 +02:00
Christophe Grenier
5b47b3b7cc PhotoRec: fix argument parsing 2020-08-07 08:02:14 +02:00
Christophe Grenier
cd98865d99 New prototype for recover_HFS() 2020-08-02 10:41:55 +02:00
Christophe Grenier
b94f8f8aa2 New prototype for test_structure() 2020-08-02 10:32:27 +02:00
Christophe Grenier
f2e3328463 Avoid function pointer when function is already known 2020-08-02 10:24:30 +02:00
Christophe Grenier
e0f3ef68c1 New prototype for align_pread() 2020-08-02 10:05:08 +02:00
Christophe Grenier
94dfbc21c6 src/alignio.h: rewrite align_pread() and align_pwrite() to be easier to
understand.
2020-08-02 09:49:10 +02:00
Christophe Grenier
c8a57e28eb Create two functions ewf_init(), one using LIBEWF v2 API, instead of a single huge function with too many ifdef
Hanlde strdup failure
2020-08-02 09:46:24 +02:00
Christophe Grenier
fdf0a6dc0b src/common.[ch]: modify check_command() prototype 2020-08-02 09:46:24 +02:00
Christophe Grenier
f34aa777f8 Merge remote-tracking branch 'github/whitesource/configure' 2020-07-25 19:05:04 +02:00
whitesource-bolt-for-github[bot]
f784306379
Add .whitesource configuration file 2020-07-25 16:27:05 +00:00
Christophe Grenier
daa7bafb12 Merge branch 'HinTak_doc-fix' 2020-07-25 18:17:19 +02:00
Christophe Grenier
6929a0dd00 Patch file_jpg.c and add a blacklist so PhotoRec can be work with clang Control Flow Integrity (CFI). 2020-07-23 14:21:34 +02:00
Christophe Grenier
f3e5e6c740 git submodule add https://github.com/cgsecurity/testdisk_documentation.git doc 2020-07-23 14:02:26 +02:00