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