Commit graph

2971 commits

Author SHA1 Message Date
Christophe Grenier
c482456942 src/file_flv.c: improve Frama-C annotations 2021-06-13 12:16:14 +02:00
Christophe Grenier
0ff10a312b src/file_flp.c: improve Frama-C annotations 2021-06-12 22:19:14 +02:00
Christophe Grenier
0ff17f26af src/file_flac.c: improve Frama-C annotations 2021-06-12 22:18:17 +02:00
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