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 |
|
Christophe Grenier
|
553eb910dc
|
src/file_flv.c: fix frama-c warnings
|
2021-01-31 10:50:49 +01:00 |
|
Christophe Grenier
|
018f31721e
|
src/file_flac.c: check flac metadata
|
2021-01-31 09:29:37 +01:00 |
|
Christophe Grenier
|
766aa8ca26
|
src/file_fits.c: improve frama-c annotations.
Two integer overflow can still be triggered.
|
2021-01-31 09:06:51 +01:00 |
|
Christophe Grenier
|
afbf1bf437
|
src/file_ext.c: add more frama-c annotations
|
2021-01-30 11:34:34 +01:00 |
|
Christophe Grenier
|
c8b2b3d3d3
|
src/filegen.c, src/list.h: update frama-c annotations
|
2021-01-30 11:05:02 +01:00 |
|
Christophe Grenier
|
90e8f7414d
|
move struct ext2_super_block from src/ext2.h to src/ext2_common.h
|
2021-01-29 22:53:48 +01:00 |
|
Christophe Grenier
|
0c59aa8d22
|
src/filegen.c: fix error reported by frama-c in file_check_cmp()
|
2021-01-29 22:42:05 +01:00 |
|
Christophe Grenier
|
590cf7dab3
|
src/file_evt.c: fix frama-c annotations
|
2021-01-29 21:16:33 +01:00 |
|
Christophe Grenier
|
cd6dec4139
|
src/file_emf.c: improve frama-c annotations
|
2021-01-29 20:52:11 +01:00 |
|
Christophe Grenier
|
9572df41f0
|
src/file_dxf.c: update frama-c annotations
|
2021-01-29 19:32:49 +01:00 |
|
Christophe Grenier
|
c1be5b4ac2
|
src/filegen.[ch]: update frama-c annotations
|
2021-01-29 19:29:35 +01:00 |
|
Christophe Grenier
|
5d914f2a45
|
src/file_dv.c: fix frama-c annotations for data_check_*()
|
2021-01-29 19:09:18 +01:00 |
|
Christophe Grenier
|
d585a2d924
|
src/file_dir.c: update frama-c annotations
|
2021-01-29 19:04:51 +01:00 |
|
Christophe Grenier
|
05df5fe763
|
src/file_dad.c: fix frama-c warnings in data_check_dad()
|
2021-01-29 18:55:31 +01:00 |
|
Christophe Grenier
|
f477eaa192
|
src/file_bld.c: fix frama-c warnings in data_check_*()
|
2021-01-29 18:54:53 +01:00 |
|
Christophe Grenier
|
236f0e9c38
|
src/file_bac.c: fix frama-c warnings in data_check_bac()
|
2021-01-29 18:33:39 +01:00 |
|
Christophe Grenier
|
f8f14a0a34
|
src/file_axp.c: fix frama-c warnings in data_check_axp()
|
2021-01-29 18:29:00 +01:00 |
|
Christophe Grenier
|
f347988c54
|
src/file_amr.c: fix frama-c warning in data_check_amr()
|
2021-01-29 18:22:48 +01:00 |
|