Commit graph

2460 commits

Author SHA1 Message Date
Christophe Grenier
801af57731 PhotoRec: raise maxium size of SketchUp .skp to 500MB 2020-05-01 16:05:01 +02:00
Christophe Grenier
aa6a98205a libewf-devel is currently missing from CentOS 8 2020-05-01 15:57:13 +02:00
Christophe Grenier
04ec8987ca PhotoRec: recover TIFF up to 1 GB (Previous limit was 100 MB) 2020-04-22 17:52:08 +02:00
Christophe Grenier
3840fa62b3 ntfs.c,ntfs_adv.c: ntfs_getattributedata() may return NULL, avoid potential NULL dereference 2020-04-21 17:48:45 +02:00
Christophe Grenier
0fea045597 Cleanup code using SUDO_BIN 2020-03-20 16:57:57 +01:00
Volker Wildi
5934cf54e9 Support for further WISO Steuer software versions
Close https://github.com/cgsecurity/testdisk/pull/77
Edited by Christophe GRENIER
2020-03-09 18:09:59 +01:00
Christophe Grenier
cc8c9454d3 rename list_file_enable to array_file_enable 2020-02-01 09:41:49 +01:00
Christophe Grenier
5cb2dccf0d frama-c: add annotations for fidentify, checks reduced to file_bmp.c and
lot of code has been commented.
2020-01-26 20:52:47 +01:00
Christophe Grenier
cf84e644b5 configure.ac: January 2020
move frama-c rules from Makefile.am to src/Makefile.am
2020-01-26 20:47:18 +01:00
Christophe Grenier
1c553c1137 PhotoRec: fix get_prev_location_smart(), avoid a potential enless loop
in PhotoRec itself.
2020-01-26 16:48:24 +01:00
Christophe Grenier
e2fb8dbf4b frama-c: src/file_jpg.c - annotate mpo code 2020-01-26 16:44:01 +01:00
Christophe Grenier
9f4bb675a6 PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called only
once all checks have been done.
2020-01-26 16:39:03 +01:00
Christophe Grenier
351babdc43 frama-c: annotate file_check_add_tail() and td_list_add() 2020-01-26 16:36:08 +01:00
Christophe Grenier
4df871bf15 PhotoRec: add a few frama-c annotations, mostly in header_check functions 2020-01-18 10:40:59 +01:00
Christophe Grenier
9b51c2aeb0 PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.
Buggy version was removed by commit 7e8f99aa92
2020-01-18 10:18:17 +01:00
Christophe Grenier
611da961b3 add a few frama-c annotations 2020-01-01 16:34:38 +01:00
Christophe Grenier
f5f3120cfa src/file_jpg.c: declare data_check_jpg() static 2020-01-01 11:07:56 +01:00
Christophe Grenier
5e04d6fc53 src/file_emf.c: add frama-c annotations 2020-01-01 11:07:13 +01:00
Christophe Grenier
00539e593c src/file_mp3.c: additional frama-c annotations 2020-01-01 10:59:10 +01:00
Christophe Grenier
958cf91fae EFI GPT: List Apple Core Storage by its name 2019-12-30 08:17:16 +01:00
Christophe Grenier
a48815d4f4 src/file_txt.c: remove some commented lines 2019-12-30 08:16:57 +01:00
Christophe Grenier
ea04bad2e5 src/file_txt.c: add a lot of frama-c annotations 2019-12-29 17:31:36 +01:00
Christophe Grenier
77850b8710 src/file_txt.c: code cleanup (work in progress) 2019-12-28 16:24:14 +01:00
Christophe Grenier
a4b19a6786 src/file_txt.c: use static variable for each extension 2019-12-28 12:29:55 +01:00
Christophe Grenier
16882c98ea date_dos2unix(): adapt a more recent and readable version from Linux kernel.
file_rsearch(): rewrite it
add frama-c annotations to various functions
2019-12-28 12:06:34 +01:00
Christophe Grenier
d00003e6e9 src/file_txt.c: reorder functions 2019-12-28 12:04:43 +01:00
Christophe Grenier
cce2697297 PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf() 2019-12-28 11:59:44 +01:00
Christophe Grenier
8fa5b43d03 PhotoRec: stricter check in src/file_pdf.c 2019-12-28 11:58:59 +01:00
Christophe Grenier
bb3993d045 PhotoRec: src/file_mov.c - fix bad check introduced in commit 91ba106b25 2019-12-28 11:57:51 +01:00
Christophe Grenier
26c361bac0 Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0
Update annotations for frama-c 20.0
2019-12-12 19:21:56 +01:00
Christophe Grenier
ac95883e22 "photorec /d recup_dir /cmd resume" can be used to resume a session
automatically. If no session is available, prompt the user.
See https://github.com/cgsecurity/testdisk/issues/73
2019-12-10 20:57:57 +01:00
Christophe Grenier
8a91bdfbfd Some code cleanup in file_rename() and file_rename_unicode()
Fix an OOB access.
2019-12-10 20:44:25 +01:00
Christophe Grenier
79f10a2497 PhotoRec: Ctrl-C should break from more locations (see 6f24cf45f6) 2019-12-10 20:42:59 +01:00
Christophe Grenier
6f24cf45f6 PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop action in the interface.
The following signals flush the log file and the signals are propagated as it was done.
Close https://github.com/cgsecurity/testdisk/issues/73
2019-12-08 10:04:02 +01:00
Christophe Grenier
15eded4506 src/file_exe.c: disable log message by default (regression introduced by 806a1f4bb5) 2019-12-08 09:56:33 +01:00
Christophe Grenier
15d9b3d250 src/file_zip.c: additional frama-c annotations 2019-12-07 20:31:51 +01:00
Christophe Grenier
ded0ae6ed7 file_tiff*: additional frama-c annotations 2019-12-07 20:31:13 +01:00
Christophe Grenier
1f77cbec99 src/file_spe.c: check using frama-c 2019-12-07 20:30:40 +01:00
Christophe Grenier
410c20224c src/file_pf.c: additional frama-c annotation 2019-12-07 20:30:20 +01:00
Christophe Grenier
eb2a270bfa src/file_pdf.c: fix two wrong casting (regression) 2019-12-07 20:29:41 +01:00
Christophe Grenier
70089760f4 src/file_mp3.c: move some functions, additionnal frama-c annotations 2019-12-07 20:28:33 +01:00
Christophe Grenier
16c8c19ca9 src/file_jpg.c: check with frama-c more code 2019-12-07 20:27:03 +01:00
Christophe Grenier
f806b9ead0 src/file_gpg.c: additional frama-c annotations 2019-12-07 20:26:10 +01:00
Christophe Grenier
d9043ca42e src/file_exe.c: additional frama-c annotations 2019-12-07 20:25:43 +01:00
Christophe Grenier
1b2c9854cf src/file_doc.c: make more code frama-c friendly 2019-12-07 20:24:28 +01:00
Christophe Grenier
e632b44e34 src/file_bmp.c: additionnal frama-c annotations 2019-12-07 20:22:50 +01:00
Christophe Grenier
e5f0da2855 add frama-c annotations for td_memmem() and several list related
functions
2019-12-07 20:09:35 +01:00
Christophe Grenier
8d120ade61 PhotoRec: recover SafeHouse virtual disk .sdsk files 2019-12-03 19:09:10 +01:00
Christophe Grenier
b310abea46 src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help 2019-11-23 18:30:36 +01:00
Christophe Grenier
7e8f99aa92 src/file_tiff*.c: fix regression from commit a0fc92564e
Remove buggy IFD1 parsing from find_tag_from_tiff_header_be() and find_tag_from_tiff_header_le()
2019-11-23 08:55:31 +01:00