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 |
|
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 |
|