Commit graph

2534 commits

Author SHA1 Message Date
Christophe Grenier
bb2e9a4d39 src/file_bdm.c: add frama-c annotations 2021-02-13 18:07:32 +01:00
Christophe Grenier
a0c0e60144 src/file_bac.c: remove some dead code 2021-02-13 17:57:49 +01:00
Christophe Grenier
33db2b5886 src/file_axx.c: add frama-c annotations 2021-02-13 17:49:45 +01:00
Christophe Grenier
674a3f3600 src/file_au.c: fix frama-c warnings 2021-02-13 17:18:31 +01:00
Christophe Grenier
469773f2da src/file_atd.c: add frama-c annotations 2021-02-13 17:02:06 +01:00
Christophe Grenier
ecec41894d src/file_asm.c: add frama-c annotations 2021-02-13 16:58:55 +01:00
Christophe Grenier
edca0a7b45 file_asl.c: add frama-c annotations 2021-02-13 16:50:38 +01:00
Christophe Grenier
cb76665f1c file_asf.c, file_reg.c: add frama-c annotations
td_ntfs2utc(): fix error reported by frama-c
2021-02-13 16:28:41 +01:00
Christophe Grenier
f68f009d5f src/file_arj.c: add frama-c annotations 2021-02-13 11:38:38 +01:00
Christophe Grenier
f26b06cb69 src/file_ari.c: add frama-c annotations 2021-02-13 11:30:39 +01:00
Christophe Grenier
ce34fe13c6 src/file_apple.c: add frama-c annotations
src/file_ace.c, src/file_ape.c: better frama-c annotations
2021-02-13 10:32:45 +01:00
Christophe Grenier
83b92a2469 src/file_ps.c: improve filesize detection 2021-02-13 10:25:09 +01:00
Christophe Grenier
ea9b707fc5 src/file_axp.c: better file_check 2021-02-13 10:13:16 +01:00
Christophe Grenier
28df67cbb0 src/file_ape.c: add frama-c annotations 2021-02-13 10:09:44 +01:00
Christophe Grenier
5f56220da2 src/file_apa.c: add frama-c annotations 2021-02-11 22:39:17 +01:00
Christophe Grenier
d5c26cb5e6 src/file_amd.c: add frama-c annotations 2021-02-11 22:37:24 +01:00
Christophe Grenier
7f1173c587 src/file_gz.c: fix gcc warning 2021-02-11 22:36:51 +01:00
Christophe Grenier
40b667c7ac src/file_als.c: add frama-c annotations 2021-02-11 19:48:20 +01:00
Christophe Grenier
b5606583ee src/file_all.c: add frama-c annotations 2021-02-11 19:31:07 +01:00
Christophe Grenier
4fecbf045c src/file_gz.[ch]: improve frama-c annotations 2021-02-11 19:24:00 +01:00
Christophe Grenier
61fedc65de src/file_caf.c: add frama-c annotations 2021-02-11 19:02:13 +01:00
Christophe Grenier
9df16d2f5a src/file_doc.c: improve frama-c annotations 2021-02-11 19:01:37 +01:00
Christophe Grenier
93dadfb5dc src/file_aif.c: add frama-c annotations 2021-02-11 18:58:00 +01:00
Christophe Grenier
2031bbb0b1 src/file_ahn.c: add frama-c annotations 2021-02-11 18:57:38 +01:00
Christophe Grenier
2e7dfd0ce4 src/file_3ds.c: add frama-c annotations 2021-02-11 18:57:14 +01:00
Christophe Grenier
1b0e9e8a0d src/file_jpg.c: fix size detection for mpo files when libjpeg is missing 2021-02-08 13:16:52 +01:00
Christophe Grenier
3a8160d3a9 src/file_afdesign.c: add frama-c annotation for header_check_afdesign() 2021-02-07 21:56:29 +01:00
Christophe Grenier
e7a92eb929 src/file_ado.c: add frama-c annotations 2021-02-07 21:02:34 +01:00
Christophe Grenier
19dc17637e src/file_ace.c: better frama-c annotations 2021-02-07 20:59:49 +01:00
Christophe Grenier
c50f7a2b60 src/file_pf.c: add frama-c annotations 2021-02-07 20:20:22 +01:00
Christophe Grenier
175ca33748 src/file_acb.c: add frama-c annotations 2021-02-07 19:23:09 +01:00
Christophe Grenier
08759b3f43 src/file_a.c: add more frama-c annotations 2021-02-07 19:19:10 +01:00
Christophe Grenier
fa50d166ec src/file_abr.c: stricter frama-c annotation 2021-02-07 18:42:37 +01:00
Christophe Grenier
b396d3af19 src/file_7z.c: add frama-c annotations 2021-02-07 18:17:41 +01:00
Christophe Grenier
ddf90c5c4a src/file_3dm.c: add frama-c annotations 2021-02-07 17:40:07 +01:00
Christophe Grenier
59cbf8c839 src/file_1cd.c: add more frama-c annotations 2021-02-07 17:31:14 +01:00
Christophe Grenier
f77b8423e9 src/file_ttf.c: fix size detection 2021-02-07 17:10:52 +01:00
Christophe Grenier
888cbb5011 src/file_gsm.c: fix frama-c warnings 2021-02-07 17:06:12 +01:00
Christophe Grenier
ab9eb3a8ae src/file_mxf.c: fix frama-c warnings 2021-02-07 16:53:06 +01:00
Christophe Grenier
d7c37c5529 src/file_mpg.c: fix some frama-c warnings 2021-02-07 15:59:57 +01:00
Christophe Grenier
68eb9e3997 src/file_mov.c: fix frama-c warnings 2021-02-07 15:39:17 +01:00
Christophe Grenier
c417e742d6 src/file_mp3.c: fix some frama-c warnings 2021-02-07 10:21:39 +01:00
Christophe Grenier
b3e930c4b5 src/file_mlv.c: fix frama-c warnings 2021-02-06 23:00:07 +01:00
Christophe Grenier
1fc44cfaf8 src/file_mid.c: fix frama-c warnings 2021-02-06 22:22:41 +01:00
Christophe Grenier
162d0ca174 src/file_m2ts.c: fix some frama-c warnings 2021-02-06 21:58:01 +01:00
Christophe Grenier
2331456038 src/file_idx.c: fix frama-c warnings 2021-02-06 17:16:01 +01:00
Christophe Grenier
e373092511 src/file_gif.c: fix frama-c warnings 2021-02-06 17:11:09 +01:00
Christophe Grenier
93e4d253fe src/filegen.h: data_check() can also update time 2021-02-06 17:04:20 +01:00
Christophe Grenier
0bcffdf162 src/file_bvr.c: add missing frama-c annotations 2021-02-06 16:50:03 +01:00
Christophe Grenier
63d53f1a35 src/file_fs.c: fix frama-c warning 2021-01-31 11:02:48 +01:00