Christophe Grenier
|
b775d67b55
|
Add an header guard to prevent multiple inclusion, some files were forgotten in previous commit.
|
2020-10-04 12:12:23 +02:00 |
|
Christophe Grenier
|
25c8dba564
|
Add an header guard to prevent multiple inclusion
|
2020-10-04 10:30:20 +02:00 |
|
Christophe Grenier
|
fb96d07f8c
|
src/file_nk2.c: add frama-c annotations
|
2020-10-03 10:27:41 +02:00 |
|
Christophe Grenier
|
be80b162a7
|
src/file_mpg.c: add frama-c annotations
|
2020-10-01 18:48:14 +02:00 |
|
Christophe Grenier
|
2ac4c3a15b
|
src/file_mov.c: add some frama-c annotations for data_check_mov
|
2020-10-01 18:44:41 +02:00 |
|
Christophe Grenier
|
8f3380a7e1
|
PhotoRec: try to find ID3 header appended to mp3
|
2020-09-30 17:30:18 +02:00 |
|
Christophe Grenier
|
9a51cb47de
|
src/file_lxo.c: avoid a potential integer overflow
|
2020-09-19 10:53:05 +02:00 |
|
Christophe Grenier
|
b345af5c80
|
src/file_lnk.c: better check filesize
|
2020-09-19 10:42:09 +02:00 |
|
Christophe Grenier
|
cec850223e
|
PhotoRec: rewrote the size tests to be more readable
|
2020-09-14 18:38:12 +02:00 |
|
Christophe Grenier
|
f236b8cc4d
|
src/file_indd.c: fix warnings reported by frama-c
|
2020-09-14 18:37:51 +02:00 |
|
Christophe Grenier
|
a60c71823e
|
PhotoRec - src/file_icns.c: better check
|
2020-09-14 18:37:11 +02:00 |
|
Christophe Grenier
|
9710d356fe
|
src/file_ibd.c: fix warning reported by gcc
|
2020-09-14 18:36:20 +02:00 |
|
Christophe Grenier
|
02d307b901
|
src/file_hdf.c: fix warnings reported by frama-c
|
2020-09-14 18:35:51 +02:00 |
|
Christophe Grenier
|
5cf21cf78f
|
src/file_gif.c: fix some errors reported by frama-c
|
2020-09-14 18:34:17 +02:00 |
|
Christophe Grenier
|
7d42371fbe
|
Fix commit 4ba942d12e
|
2020-09-14 18:33:16 +02:00 |
|
Christophe Grenier
|
8972b0caae
|
PhotoRec: src/file_gi.c - Ignore header when recorded filesize is too large for a real file
|
2020-09-13 18:55:22 +02:00 |
|
Christophe Grenier
|
1e240053d7
|
PhotoRec: discard fm header when the recorded size is too large for a
real file
|
2020-09-13 16:24:01 +02:00 |
|
Christophe Grenier
|
b478a161ac
|
PhotoRec: src/file_fcs.c - fix problems reported by frama-c
|
2020-09-13 15:35:44 +02:00 |
|
Christophe Grenier
|
57215f8856
|
PhotoRec: src/file_e01.c - set a valid name for files outside E01-Z99
range
|
2020-09-13 11:20:41 +02:00 |
|
Christophe Grenier
|
1bb0319a71
|
PhotoRec: src/file_bpg.c - fix problems reported by frama-c
|
2020-09-12 16:26:07 +02:00 |
|
Christophe Grenier
|
150831ae8b
|
PhotoRec: src/file_axx.c - fix problems reported by frama-c
|
2020-09-12 16:23:30 +02:00 |
|
Christophe Grenier
|
12bb2ea5ae
|
PhotoRec: fix problems reported by frama-c
|
2020-09-12 16:19:07 +02:00 |
|
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 |
|