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 |
|
Christophe Grenier
|
a0fc92564e
|
src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to
help
|
2019-11-17 17:59:26 +01:00 |
|
Christophe Grenier
|
7f8425d839
|
New prototype for find_tag_from_tiff_header()
|
2019-11-16 17:30:27 +01:00 |
|
Christophe Grenier
|
e474cb0c6e
|
New prototype for get_date_from_tiff_header()
|
2019-11-16 16:22:04 +01:00 |
|
Christophe Grenier
|
90efd3e667
|
src/file_doc.c: additional frama-c checks, minor patch for
ole_get_file_extension()
|
2019-11-16 09:36:00 +01:00 |
|
Christophe Grenier
|
8e0867ad23
|
fidentify: '-time' options to report the date/time in seconds from epoch of a file from its metadata
|
2019-11-16 09:27:43 +01:00 |
|
Christophe Grenier
|
b23da7a17c
|
src/file_doc.c: make the code more frama-c friendly
|
2019-11-03 18:57:00 +01:00 |
|
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 |
|