Commit graph

2334 commits

Author SHA1 Message Date
Christophe Grenier
58d08c80f4 Add autogen.sh to call autoreconf 2020-07-23 13:43:21 +02:00
François Revol
68135f43fa Add support for BeFS for EFI GPT and Mac partition table, fix previous
commit
2020-07-14 09:58:28 +02:00
François Revol
40d473abc9 Add support for BeFS for EFI GPT and Mac partition table 2020-07-13 18:54:18 +02:00
Christophe Grenier
5a937961e7 src/file_zip.c: additional frama-c annotations 2020-06-21 10:57:07 +02:00
Christophe Grenier
a705cb1ba7 frama-c: add annotation to fix warnings in date_dos2unix() and __td_list_add() 2020-06-21 09:52:09 +02:00
Christophe Grenier
90d21a4d81 Constify more function parameters 2020-06-19 22:05:38 +02:00
Christophe Grenier
60b5424f53 Constify a lot of function parameters 2020-06-19 19:02:41 +02:00
Christophe Grenier
49cd8dbd9d PhotoRec: stricter check for zip files 2020-06-18 19:17:15 +02:00
Christophe Grenier
069da2d664 PhotoRec: better check for wmf with placeable record 2020-06-18 19:08:51 +02:00
Christophe Grenier
0ed7db8bc9 src/file_bz2.c: stricter check in header_check_bz2() 2020-06-18 19:07:17 +02:00
Christophe Grenier
1fc9388c0d src/file_asf.c: stricter check in header_check_asf() 2020-06-18 19:05:19 +02:00
Christophe Grenier
fa497bec61 src/fidentify.c: make file_identify() more frama-c friendly 2020-06-18 18:59:02 +02:00
Christophe Grenier
04374e9c52 src/file_gpg.c: update frama-c annotations 2020-06-18 18:56:13 +02:00
Christophe Grenier
df92a1f0ef src/file_swf.c: add frama-c annotations 2020-06-18 18:54:35 +02:00
Christophe Grenier
efd46ac6da Fix frama-c annotation for file_allow_nl() 2020-06-18 18:53:39 +02:00
Christophe Grenier
d895850d2f PhotoRec: stricter check for compressed swf files 2020-06-17 13:55:45 +02:00
Christophe Grenier
b660bb8c03 Lots of frama-c work that should be safe to commit 2020-06-02 17:33:50 +02:00
Christophe Grenier
98ea5cddfe travis: sonarqube addon has been renamed to sonarcloud 2020-05-30 15:10:03 +02:00
Christophe Grenier
38b613a678 Merge branch 'royduin-patch-1' 2020-05-30 12:32:48 +02:00
Christophe Grenier
2a49b493f9 Merge branch 'patch-1' of https://github.com/royduin/testdisk into royduin-patch-1 2020-05-30 12:29:25 +02:00
Christophe Grenier
8d54e20096 dir_aff_ncurses(): in the description, add single quote around each letter associated with
an action.
2020-05-15 15:18:42 +02:00
Christophe Grenier
a459ed7a07 List 'MS Storage Spaces' partition entries 2020-05-15 15:16:11 +02:00
Christophe Grenier
a48c7f2700 NTFS undelete: show file date - Fix regression from a1419a0806 2020-05-03 09:13:46 +02:00
Christophe Grenier
d5282102c6 TestDisk: ignore the first Ctrl-C 2020-05-01 16:10:27 +02:00
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