Christophe Grenier
|
93e3d30ab4
|
src/file_exe.c: add a frama-c assign clause to header_check_exe()
|
2021-02-19 18:02:45 +01:00 |
|
Christophe Grenier
|
96e4b01c13
|
src/file_evtx.c: add frama-c annotations
|
2021-02-19 17:53:34 +01:00 |
|
Christophe Grenier
|
a38d69d018
|
src/file_ess.c: add frama-c annotations
|
2021-02-19 17:49:20 +01:00 |
|
Christophe Grenier
|
0c8e49627f
|
src/file_emf.c: remove duplicated line
|
2021-02-19 17:41:48 +01:00 |
|
Christophe Grenier
|
beb8d2f90c
|
src/file_elf.c: split header_check_elf() in 4 functions
|
2021-02-19 17:21:36 +01:00 |
|
Christophe Grenier
|
9286b8b0dd
|
src/file_edb.c: add frama-c annotations
|
2021-02-19 16:47:16 +01:00 |
|
Christophe Grenier
|
726a675350
|
src/file_ecryptfs.c: add frama-c annotations
|
2021-02-15 12:57:24 +01:00 |
|
Christophe Grenier
|
089742b48e
|
src/file_e01.c: add frama-c annotations
|
2021-02-15 10:41:38 +01:00 |
|
Christophe Grenier
|
3b9dab0d58
|
src/file_dxf.c: improve frama-c annotations
|
2021-02-15 10:28:58 +01:00 |
|
Christophe Grenier
|
dd40997ea2
|
src/file_dwg.c: add frama-c annotations
|
2021-02-15 10:25:52 +01:00 |
|
Christophe Grenier
|
442ff5486f
|
src/file_dvr.c: add frama-c annotations
|
2021-02-15 10:20:10 +01:00 |
|
Christophe Grenier
|
43cb65f4be
|
src/file_dvi.c: add frama-c annotations
|
2021-02-15 10:10:20 +01:00 |
|
Christophe Grenier
|
58d43507e5
|
src/file_dv.c: additional frama-c annotation
|
2021-02-15 09:58:52 +01:00 |
|
Christophe Grenier
|
bf0d880332
|
src/file_dump.c: add frama-c annotations
|
2021-02-15 09:55:37 +01:00 |
|
Christophe Grenier
|
9fe00d70b4
|
src/file_dta.c: add frama-c annotations
|
2021-02-15 09:50:21 +01:00 |
|
Christophe Grenier
|
66f19119e5
|
src/file_dst.c: fix frama-c warnings
|
2021-02-15 09:46:55 +01:00 |
|
Christophe Grenier
|
14d17961cf
|
src/file_ds_store.c: fix frama-c warnings
|
2021-02-14 22:33:58 +01:00 |
|
Christophe Grenier
|
d2b34e8d46
|
src/file_dsc.c: add frama-c annotations
|
2021-02-14 22:19:45 +01:00 |
|
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 |
|