Commit graph

2722 commits

Author SHA1 Message Date
Christophe Grenier
0f5072f356 src/file_ds2.c: add frama-c annotations 2021-02-14 22:11:16 +01:00
Christophe Grenier
5acbbc4884 src/file_drw.c: add frama-c annotations 2021-02-14 21:53:14 +01:00
Christophe Grenier
a9d7aacefa src/file_dpx.c: add frama-c annotations 2021-02-14 21:26:32 +01:00
Christophe Grenier
b4782358d1 src/file_dmp.c: add frama-c annotations 2021-02-14 21:08:04 +01:00
Christophe Grenier
bd0da1467d src/file_djv.c: add frama-c annotations 2021-02-14 19:29:37 +01:00
Christophe Grenier
cabd29f151 src/file_dim.c: add frama-c annotations 2021-02-14 18:47:53 +01:00
Christophe Grenier
172c50e458 src/file_dex.c: add frama-c annotations 2021-02-14 18:40:41 +01:00
Christophe Grenier
7562c6d422 src/file_ddf.c: add frama-c annotations 2021-02-14 18:32:05 +01:00
Christophe Grenier
311eb50252 src/file_dcm.c: add frama-c annotations 2021-02-14 18:21:09 +01:00
Christophe Grenier
2aadf95c9f src/file_dbn.c: add frama-c annotations 2021-02-14 18:18:57 +01:00
Christophe Grenier
36f6d74f06 src/file_dbf.c: add frama-c annotations 2021-02-14 18:11:26 +01:00
Christophe Grenier
7626d05010 src/file_dat.c: add frama-c annotations 2021-02-14 17:54:39 +01:00
Christophe Grenier
bb9794e1f6 src/file_dar.c: add frama-c annotations 2021-02-14 17:44:22 +01:00
Christophe Grenier
1f155477fe src/file_d2s.c: add frama-c annotations 2021-02-14 17:35:38 +01:00
Christophe Grenier
77816b359d src/file_cwk.c: add frama-c annotations 2021-02-14 17:26:25 +01:00
Christophe Grenier
cce016762e src/file_ctg.c: add frama-c annotations 2021-02-14 17:20:00 +01:00
Christophe Grenier
4b19fd0eed src/file_csh.c: add frama-c annotations 2021-02-14 17:17:54 +01:00
Christophe Grenier
0dca96f4ca src/file_crw.c: add frama-c annotations 2021-02-14 17:13:57 +01:00
Christophe Grenier
f31a62c86c src/file_cpi.c: add frama-c annotations 2021-02-14 17:00:37 +01:00
Christophe Grenier
b6661c02d6 src/file_cow.c: add frama-c annotations 2021-02-14 16:56:02 +01:00
Christophe Grenier
0c283aa0cb src/file_compress.c: add frama-c annotations 2021-02-14 16:45:46 +01:00
Christophe Grenier
7e85e4f2ad src/file_cm.c: add frama-c annotations 2021-02-14 15:23:42 +01:00
Christophe Grenier
1ef4dc4b3e src/file_class.c: add frama-c annotations 2021-02-14 15:21:25 +01:00
Christophe Grenier
f2515294ab src/file_chm.c: add frama-c annotations 2021-02-14 15:18:12 +01:00
Christophe Grenier
183f6b2162 src/file_che.c: add frama-c annotations 2021-02-14 15:15:37 +01:00
Christophe Grenier
b2a103f696 src/file_cdt.c: add frama-c annotations 2021-02-14 14:29:09 +01:00
Christophe Grenier
4eee4c0d61 src/file_catdrawing.c: add frama-c annotations 2021-02-14 14:26:53 +01:00
Christophe Grenier
51e18b5361 src/file_cam.c: add frama-c annotations 2021-02-14 14:24:07 +01:00
Christophe Grenier
7e4d94886c src/file_caf.c: switch chunksize to uint64_t to avoid frama-c
warnings
2021-02-14 14:18:30 +01:00
Christophe Grenier
b49eb471c5 src/file_cab.c: add frama-c annotations 2021-02-14 13:27:00 +01:00
Christophe Grenier
f540f75938 src/file_c4d.c: add frama-c annotations 2021-02-14 13:24:19 +01:00
Christophe Grenier
105f8b6bad src/file_bz2.c: add frama-c annotations 2021-02-14 12:09:04 +01:00
Christophe Grenier
f8c327600b src/file_bpg.c: improve frama-c annotations 2021-02-14 11:41:48 +01:00
Christophe Grenier
8b914cfb50 src/file_binvox.c: add frama-c annotations 2021-02-14 09:48:50 +01:00
Christophe Grenier
4ae9651ac6 src/file_bin.c: add frama-c annotations 2021-02-14 09:43:13 +01:00
Christophe Grenier
b4184f3772 src/file_bim.c: add frama-c annotations 2021-02-13 20:58:40 +01:00
Christophe Grenier
a04bd897e0 src/file_bfa.c: add frama-c annotations 2021-02-13 20:56:10 +01:00
Christophe Grenier
5cbcb3c99e src/file_berkeley.c: add frama-c annotations 2021-02-13 18:22:08 +01:00
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