Christophe Grenier
|
64d83ba69b
|
src/file_jpg.c: some jpg were originally using Multiple-Picture Format (MPF). When edited by a picture editor, a single JPG may remain with the original MPF information listing several pictures. In this case, limit the jpg to the first jpg.
|
2020-10-11 12:44:18 +02:00 |
|
Christophe Grenier
|
8fee13afa5
|
src/jfs.c: prevent a potential overflow when calculating the partition
size.
|
2020-10-11 11:04:50 +02:00 |
|
Christophe Grenier
|
59887b9bda
|
src/file_doc.c: identify more Thumbs.db files
|
2020-10-11 11:03:49 +02:00 |
|
Christophe Grenier
|
895c3d2606
|
src/file_asf.c: header check was too strong and rejecting valid files.
|
2020-10-11 11:02:53 +02:00 |
|
Christophe Grenier
|
13cb4c5048
|
Fix "make frama-c-fidentify-rw2"
|
2020-10-11 11:02:09 +02:00 |
|
Christophe Grenier
|
7640708ca8
|
Add an header guard to prevent multiple inclusion
|
2020-10-11 11:01:27 +02:00 |
|
Christophe Grenier
|
3200bd035a
|
src/file_pdb.c: fix Frama-C warning
|
2020-10-10 10:15:39 +02:00 |
|
Christophe Grenier
|
bfcaec55c4
|
src/file_par2.c: better filesize check
|
2020-10-10 10:14:32 +02:00 |
|
Christophe Grenier
|
cadf9ad06b
|
src/file_oci.c: better filesize check
|
2020-10-10 10:14:01 +02:00 |
|
Christophe Grenier
|
370d333d78
|
src/file_mysql.c: add Frama-C annotations
|
2020-10-10 10:13:00 +02:00 |
|
Christophe Grenier
|
b76b34fd53
|
src/file_msa.c: add a filesize check
|
2020-10-10 10:12:16 +02:00 |
|
Christophe Grenier
|
ac2491463f
|
src/file_mpg.c: move frama-c annotation at the header definition
|
2020-10-10 10:11:18 +02:00 |
|
Christophe Grenier
|
f08ce6e528
|
src/file_pdf.c: add Frama-C annotations
|
2020-10-09 19:07:29 +02:00 |
|
Christophe Grenier
|
6388c2ffca
|
src/file_vdi.c: better check filesize
|
2020-10-04 18:58:10 +02:00 |
|
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 |
|