Christophe Grenier
|
03b6dbe563
|
src/file_fits.c: improve Frama-C annotations.
The various integer overflow remain.
|
2021-06-12 22:12:46 +02:00 |
|
Christophe Grenier
|
acdf57d073
|
src/file_fit.c: improve Frama-C annotations
|
2021-06-12 22:08:36 +02:00 |
|
Christophe Grenier
|
cb2dd0d229
|
src/file_filevault.c: improve Frama-C annotations
|
2021-06-12 22:06:40 +02:00 |
|
Christophe Grenier
|
ea9e28726c
|
src/file_DB.c: improve Frama-C annotations
|
2021-06-12 22:01:17 +02:00 |
|
Christophe Grenier
|
27159d6144
|
src/file_7z.c: improve Frama-C annotations
|
2021-06-12 21:58:51 +02:00 |
|
Christophe Grenier
|
06556c0562
|
src/file_3ds.c: improve Frama-C annotations
|
2021-06-12 21:55:26 +02:00 |
|
Christophe Grenier
|
5a5430b270
|
src/file_3dm.c: improve Frama-C annotations
|
2021-06-12 21:53:21 +02:00 |
|
Christophe Grenier
|
ea7235a330
|
src/file_1cd.c: improve Frama-C annotations
|
2021-06-12 21:50:31 +02:00 |
|
Christophe Grenier
|
f5eab1d9ce
|
src/file_fh5.c: improve Frama-C annotations
|
2021-06-12 21:44:28 +02:00 |
|
Christophe Grenier
|
193e0f8446
|
src/file_fh10.c: improve Frama-C annotations
|
2021-06-12 21:40:17 +02:00 |
|
Christophe Grenier
|
b5703542d2
|
src/file_fds.c: improve Frama-C annotations
|
2021-06-12 21:38:05 +02:00 |
|
Christophe Grenier
|
7e4fc2c6e7
|
src/file_fdb.c: improve Frama-C annotations
|
2021-06-12 21:31:00 +02:00 |
|
Christophe Grenier
|
b8d603c48b
|
src/file_fcp.c: improve Frama-C annotations
|
2021-06-12 20:52:50 +02:00 |
|
Christophe Grenier
|
2c1b3463da
|
src/file_fbk.c: improve Frama-C annotations
|
2021-06-12 20:52:06 +02:00 |
|
Christophe Grenier
|
646f4f8700
|
src/file_fbf.c: improve Frama-C annotations
|
2021-06-12 20:48:43 +02:00 |
|
Christophe Grenier
|
2bd4aa190a
|
src/file_fat.c: improve Frama-C annotations
|
2021-06-12 19:12:24 +02:00 |
|
Christophe Grenier
|
12c2aabaa3
|
src/fat_common.[ch]: update Frama-C annotations
|
2021-06-12 13:22:19 +02:00 |
|
Christophe Grenier
|
261c73bb72
|
src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd files
|
2021-06-12 11:38:05 +02:00 |
|
Christophe Grenier
|
044a634188
|
src/file_ext.c: improve Frama-C annotations
|
2021-06-12 11:37:31 +02:00 |
|
Christophe Grenier
|
7c62ec1682
|
src/file_ext2.c: improve Frama-C annotations
|
2021-06-10 12:15:16 +02:00 |
|
Christophe Grenier
|
3a18ec1bec
|
src/file_exs.c: improve Frama-C annotations
|
2021-06-09 19:22:43 +02:00 |
|
Christophe Grenier
|
1c389d6fc5
|
src/file_exr.c: improve Frama-C annotations
|
2021-06-09 18:55:07 +02:00 |
|
Christophe Grenier
|
e7c5d9299c
|
src/file_exe.c: improve Frama-C annotations
|
2021-06-09 18:52:49 +02:00 |
|
Christophe Grenier
|
2a3f5aee88
|
src/file_evtx.c: improve Frama-C annotations
|
2021-06-08 13:54:30 +02:00 |
|
Christophe Grenier
|
6741c640c9
|
src/file_evt.c: improve Frama-C annotations
|
2021-06-08 13:52:17 +02:00 |
|
Christophe Grenier
|
04f169fb82
|
src/file_ess.c: add Frama-C annotations
|
2021-06-08 13:42:42 +02:00 |
|
Christophe Grenier
|
f0a47950d9
|
src/file_emf.c: improve Frama-C annotations
|
2021-06-08 13:40:12 +02:00 |
|
Christophe Grenier
|
b951fb7cae
|
src/file_elf.c: improve Frama-C annotations
|
2021-06-08 13:38:41 +02:00 |
|
Christophe Grenier
|
061d9df7e0
|
src/file_edb.c: improve Frama-C annotations
|
2021-06-08 13:31:18 +02:00 |
|
Christophe Grenier
|
2745d4c5c8
|
src/file_ecryptfs.c: improve Frama-C annotations
|
2021-06-08 13:18:50 +02:00 |
|
Christophe Grenier
|
55fa7ed34e
|
src/file_e01.c: improve Frama-C annotations
|
2021-06-08 12:28:44 +02:00 |
|
Christophe Grenier
|
b43d23d66a
|
src/file_dxf.c: improve Frama-C annotations
|
2021-06-07 13:41:02 +02:00 |
|
Christophe Grenier
|
fba29ce621
|
src/file_dwg.c: improve Frama-C annotations
|
2021-06-07 13:39:06 +02:00 |
|
Christophe Grenier
|
def60ba1d2
|
src/file_dvr.c: improve Frama-C annotations
|
2021-06-07 13:36:23 +02:00 |
|
Christophe Grenier
|
0d2de18a38
|
src/file_dvi.c: improve Frama-C annotations
|
2021-06-07 13:33:35 +02:00 |
|
Christophe Grenier
|
2400e99a06
|
src/file_dv.c: Fix Frama-C warnings
|
2021-06-07 13:31:12 +02:00 |
|
Christophe Grenier
|
12255e547f
|
src/file_dump.c: improve Frama-C annotations
|
2021-06-07 13:27:00 +02:00 |
|
Christophe Grenier
|
0f200a9982
|
src/file_dta.c: improve Frama-C annotations
|
2021-06-07 13:21:57 +02:00 |
|
Christophe Grenier
|
70df0eed9a
|
src/file_dst.c: improve Frama-C annotations
|
2021-06-07 13:16:04 +02:00 |
|
Christophe Grenier
|
91a6c6cda1
|
src/file_ds_store.c: improve Frama-C annotations
|
2021-06-07 13:13:52 +02:00 |
|
Christophe Grenier
|
98b6a589d0
|
src/file_dss.c: improve Frama-C annotations
|
2021-06-07 13:11:47 +02:00 |
|
Christophe Grenier
|
da95d0eda9
|
src/file_dsc.c: improve Frama-C annotations
|
2021-06-07 13:09:22 +02:00 |
|
Christophe Grenier
|
76c0b41c7f
|
src/file_ds2.c: improve Frama-C annotations
|
2021-06-07 12:47:30 +02:00 |
|
Christophe Grenier
|
3cea8e4486
|
src/file_drw.c: add Frama-C annotations
|
2021-06-06 18:18:28 +02:00 |
|
Christophe Grenier
|
3c4ec8f41f
|
src/file_drw2.c: add Frama-C annotations
|
2021-06-06 18:12:41 +02:00 |
|
Christophe Grenier
|
164d7fcd9b
|
src/file_dpx.c: Add Frama-C annotations
|
2021-06-06 18:07:39 +02:00 |
|
Christophe Grenier
|
ac8fe16518
|
src/file_doc.c: improve Frama-C annotations
|
2021-06-06 18:06:27 +02:00 |
|
Christophe Grenier
|
edcb3e94e3
|
src/file_dmp.c: add Frama-C annotations
|
2021-06-06 17:59:42 +02:00 |
|
Christophe Grenier
|
5d01260699
|
src/file_djv.c: improve Frama-C annotations
|
2021-06-06 17:48:46 +02:00 |
|
Christophe Grenier
|
a08792b5ee
|
src/file_dir.c: improve Frama-C annotations
|
2021-06-06 17:39:45 +02:00 |
|