Christophe Grenier
|
4b57665aeb
|
win/*.conf must use Windows end of line
|
2021-04-18 08:52:37 +02:00 |
|
Christophe Grenier
|
190b0c17d3
|
TestDisk: ask confirmation to stop searching for more partitions
|
2021-04-16 17:02:54 +02:00 |
|
Christophe Grenier
|
9601788a27
|
src/file_jpg.c: additional signature to avoid to recover a jpg from a mov
|
2021-04-16 16:59:55 +02:00 |
|
Christophe Grenier
|
e0a96e40d9
|
src/file_win.c: add Frama-C annotations
|
2021-04-16 16:57:21 +02:00 |
|
Christophe Grenier
|
8158109939
|
src/file_png.c: add Frama-C annotations
|
2021-04-16 16:56:43 +02:00 |
|
Christophe Grenier
|
0933bc5bb2
|
file_*.c: add various Frama-C annotations
|
2021-04-10 11:34:54 +02:00 |
|
Christophe Grenier
|
328e7ea31a
|
PhotoRec: check that file_check!=NULL before calling header_ignored()
|
2021-04-10 11:33:23 +02:00 |
|
Christophe Grenier
|
5d67493079
|
src/file_vdi.c: add Frama-C annotations
|
2021-04-10 11:28:33 +02:00 |
|
Christophe Grenier
|
871884c764
|
src/file_prc.c: add Frama-C annotations
|
2021-04-10 11:24:16 +02:00 |
|
Christophe Grenier
|
7abb326532
|
src/file_wpb.c: add Frama-C annotations
|
2021-04-10 11:16:37 +02:00 |
|
Christophe Grenier
|
6d8d201927
|
src/file_wim.c: add a Frama-C annotation
|
2021-04-10 11:13:38 +02:00 |
|
Christophe Grenier
|
074168cb16
|
src/file_vault.c: add Frama-C annotations
|
2021-04-10 11:11:14 +02:00 |
|
Christophe Grenier
|
8106c16d99
|
src/file_tar.c: improve Frama-C annotations
|
2021-04-10 11:05:49 +02:00 |
|
Christophe Grenier
|
cd787bb097
|
src/file_r3d.c: add Frama-C annotations
|
2021-04-10 11:04:41 +02:00 |
|
Christophe Grenier
|
2f01b7d825
|
src/file_prt.c: add Frama-C annotations
|
2021-04-10 10:58:59 +02:00 |
|
Christophe Grenier
|
6e7f734674
|
src/file_prd.c: add Frama-C annotations
|
2021-04-10 10:56:22 +02:00 |
|
Christophe Grenier
|
f429080064
|
src/file_pnm.c: add Frama-C annotations
|
2021-04-10 10:53:57 +02:00 |
|
Christophe Grenier
|
db677e3b32
|
src/file_mus.c: add Frama-C annotations
|
2021-04-10 10:48:37 +02:00 |
|
Christophe Grenier
|
94a561554e
|
src/file_hm.c: add Frama-C annotations
|
2021-04-10 10:45:27 +02:00 |
|
Christophe Grenier
|
890256bfab
|
src/file_dss.c: add Frama-C annotations
|
2021-04-10 10:41:42 +02:00 |
|
Christophe Grenier
|
60d40b0962
|
src/file_DB.c: add Frama-C annotations
|
2021-04-10 10:26:27 +02:00 |
|
Christophe Grenier
|
b0ca4399a9
|
src/filegen.c: add more Frama-C annotations
|
2021-03-20 14:46:35 +01:00 |
|
Christophe Grenier
|
6d4908eb2f
|
src/file_wim.c: rewrite header_check_wim(), add Frama-C annotations
|
2021-03-20 09:07:51 +01:00 |
|
Christophe Grenier
|
1655c91cc9
|
src/file_zpr.c: add Frama-C annotations
|
2021-03-20 08:26:07 +01:00 |
|
Christophe Grenier
|
52f7b11efb
|
src/file_zip.c: Add more Frama-C annotations
|
2021-03-19 13:53:32 +01:00 |
|
Christophe Grenier
|
c68c52221d
|
src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fn
|
2021-03-19 13:29:26 +01:00 |
|
Christophe Grenier
|
1f9c212ffc
|
src/file_zip.c: exit zip_parse_file_entry_fn() when an extension is
found
|
2021-03-18 18:20:58 +01:00 |
|
Christophe Grenier
|
b1bceebd40
|
src/file_zip.c: remove krita parameter
|
2021-03-18 17:35:04 +01:00 |
|
Christophe Grenier
|
a8d01ebd3d
|
src/file_zip.c: move some redundant code into zip_parse_parse_entry_mimetype()
|
2021-03-18 17:30:53 +01:00 |
|
Christophe Grenier
|
21aaeadf8a
|
src/file_zip.c: move several static variables to the top
|
2021-03-18 17:24:08 +01:00 |
|
Christophe Grenier
|
a3bbfdfdcb
|
src/file_zip.c: move structure to the top
|
2021-03-18 17:19:26 +01:00 |
|
Christophe Grenier
|
8bb6395b34
|
src/file_zcode.c: add Frama-C annotations
|
2021-03-15 19:10:57 +01:00 |
|
Christophe Grenier
|
62be5e5ed1
|
src/file_z2d.c: add Frama-C annotations
|
2021-03-15 19:08:34 +01:00 |
|
Christophe Grenier
|
6360b01e5c
|
src/file_xz.c: add Frama-C annotations
|
2021-03-15 17:34:22 +01:00 |
|
Christophe Grenier
|
2bd76aa35e
|
src/file_xv.c: add Frama-C annotations
|
2021-03-15 17:31:33 +01:00 |
|
Christophe Grenier
|
9a54e60b7c
|
src/file_xsv.c: add Frama-C annotations
|
2021-03-14 21:02:12 +01:00 |
|
Christophe Grenier
|
7a3674eb7d
|
src/file_xpt.c: add Frama-C annotations
|
2021-03-14 19:18:33 +01:00 |
|
Christophe Grenier
|
45880978a6
|
src/file_xml.c: fix problems reported by Frama-C
|
2021-03-14 19:02:20 +01:00 |
|
Christophe Grenier
|
11180bcb60
|
src/file_xm.c: Add Frama-C annotations
|
2021-03-14 18:08:08 +01:00 |
|
Christophe Grenier
|
160350774f
|
src/file_xfs.c: add Frama-C annotations
src/xfs_struct.h: move structure from src/xfs.h
|
2021-03-14 16:16:49 +01:00 |
|
Christophe Grenier
|
2a20bac9f1
|
src/file_xfi.c: add Frama-C annotations
|
2021-03-14 15:44:42 +01:00 |
|
Christophe Grenier
|
54acf94e19
|
src/file_xcf.c: add Frama-C annotations
|
2021-03-14 15:37:16 +01:00 |
|
Christophe Grenier
|
9d01f9fe13
|
src/file_xar.c: add Frama-C annotations
|
2021-03-14 15:16:38 +01:00 |
|
Christophe Grenier
|
b87c61c3a7
|
src/file_x4a.c: add Frama-C annotations
|
2021-03-14 15:15:07 +01:00 |
|
Christophe Grenier
|
13eab20f7e
|
src/file_x3i.c: add Frama-C annotations
|
2021-03-14 15:05:15 +01:00 |
|
Christophe Grenier
|
3532fb711d
|
src/file_x3f.c: add Frama-C annotations
|
2021-03-14 15:04:03 +01:00 |
|
Christophe Grenier
|
abfbbd1026
|
src/file_wv.c: fix problems reported by Frama-C
|
2021-03-14 14:58:10 +01:00 |
|
Christophe Grenier
|
60bc068866
|
src/file_wtv.c: add Frama-C annotations
|
2021-03-14 14:25:38 +01:00 |
|
Christophe Grenier
|
9e8f059f70
|
src/file_wpd.c: add Frama-C annotations
|
2021-03-14 14:20:08 +01:00 |
|
Christophe Grenier
|
ea4a84e4b4
|
src/file_woff.c: add Frama-C annotations
|
2021-03-14 14:13:51 +01:00 |
|