Christophe Grenier
|
3532fb711d
|
src/file_x3f.c: add Frama-C annotations
|
2021-03-14 15:04:03 +01:00 |
|
Christophe Grenier
|
abfbbd1026
|
src/file_wv.c: fix problems reported by Frama-C
|
2021-03-14 14:58:10 +01:00 |
|
Christophe Grenier
|
60bc068866
|
src/file_wtv.c: add Frama-C annotations
|
2021-03-14 14:25:38 +01:00 |
|
Christophe Grenier
|
9e8f059f70
|
src/file_wpd.c: add Frama-C annotations
|
2021-03-14 14:20:08 +01:00 |
|
Christophe Grenier
|
ea4a84e4b4
|
src/file_woff.c: add Frama-C annotations
|
2021-03-14 14:13:51 +01:00 |
|
Christophe Grenier
|
a090d30f5b
|
src/file_wnk.c: add Frama-C annotations
|
2021-03-14 14:05:19 +01:00 |
|
Christophe Grenier
|
14b8a36c43
|
src/file_wmf.c: avoid integer overflow in wmf_check_meta_header(), add Frama-C annotations
|
2021-03-14 14:03:26 +01:00 |
|
Christophe Grenier
|
d7ae24a472
|
src/file_wld.c: add Frama-C annotations
|
2021-03-14 13:23:05 +01:00 |
|
Christophe Grenier
|
74a9277425
|
src/file_wks.c: add Frama-C annotations
|
2021-03-14 11:49:34 +01:00 |
|
Christophe Grenier
|
cef9304cf0
|
Move UTFsize() from src/file_txt.c to src/utfsize.c
src/file_win.c: add Frama-C annotations
|
2021-03-14 11:01:02 +01:00 |
|
Christophe Grenier
|
5909fc97d0
|
src/file_wee.c: add Frama-C annotations
|
2021-03-13 20:15:13 +01:00 |
|
Christophe Grenier
|
b953384fff
|
src/file_wdp.c: add Frama-C annotations
src/file_tiff_[bl]e.c: more annotations
|
2021-03-13 20:12:27 +01:00 |
|
Christophe Grenier
|
7c9f5bff45
|
src/file_wallet.c: add Frama-C annotations
|
2021-03-13 17:54:20 +01:00 |
|
Christophe Grenier
|
5eb5754973
|
src/file_wad.c: add Frama-C annotations
|
2021-03-13 17:09:24 +01:00 |
|
Christophe Grenier
|
c8100ec06f
|
src/file_vmg.c: add Frama-C annotations
|
2021-03-13 16:37:53 +01:00 |
|
Christophe Grenier
|
f2fbce4c37
|
src/file_vmdk.c: add Frama-C annotations
|
2021-03-13 16:37:09 +01:00 |
|
Christophe Grenier
|
4a734f3a63
|
src/file_vib.c: add Frama-C annotations
|
2021-03-13 16:29:05 +01:00 |
|
Christophe Grenier
|
1d072146bc
|
src/file_vfb.c: add Frama-C annotations
|
2021-03-13 16:25:15 +01:00 |
|
Christophe Grenier
|
6d6478830e
|
src/file_veg.c: add Frama-C annotations
|
2021-03-13 16:20:43 +01:00 |
|
Christophe Grenier
|
f2bceb29c4
|
src/file_vdj.c: add Frama-C annotations
|
2021-03-13 16:19:01 +01:00 |
|
Christophe Grenier
|
ff57179749
|
src/file_v2i.c: add Frama-C annotations
|
2021-03-13 16:16:11 +01:00 |
|
Christophe Grenier
|
7930243d66
|
src/file_tz.c: add Frama-C annotations
|
2021-03-13 16:08:59 +01:00 |
|
Christophe Grenier
|
946f34d44e
|
src/file_txt.c: improve Frama-C annotations
|
2021-03-13 14:50:12 +01:00 |
|
Christophe Grenier
|
57cf2e0f19
|
src/file_tpl.c: add Frama-C annotations
|
2021-03-12 17:33:50 +01:00 |
|
Christophe Grenier
|
d88b557108
|
src/file_tph.c: add Frama-C annotations
|
2021-03-11 14:09:42 +01:00 |
|
Christophe Grenier
|
a6483e76c7
|
src/file_torrent.c: add Frama-C annotations
|
2021-03-11 13:46:38 +01:00 |
|
Christophe Grenier
|
52ca24f323
|
.travis.yml: SonarQube Scanner failed due to node.js 8 instead of 10.
Try the bump the version
|
2021-03-11 09:04:42 +01:00 |
|
Christophe Grenier
|
5ea284266b
|
travis: update to xenial
|
2021-03-09 20:53:24 +01:00 |
|
Christophe Grenier
|
762efa63e2
|
src/file_tivo.c: add Frama-C annotations
|
2021-03-09 07:59:08 +01:00 |
|
Christophe Grenier
|
50b90cd0dc
|
src/file_ttiff*.[ch]: improve Frama-C annotations
|
2021-03-09 07:53:03 +01:00 |
|
Christophe Grenier
|
d2c077aabd
|
src/file_tib.c: add Frama-C annotations
|
2021-03-07 16:09:43 +01:00 |
|
Christophe Grenier
|
aef7473468
|
src/file_tg.c: add Frama-C annotations
|
2021-03-07 15:39:48 +01:00 |
|
Christophe Grenier
|
c2fb4c05d7
|
src/file_tax.c: add Frama-C annotations
|
2021-03-07 15:30:57 +01:00 |
|
Christophe Grenier
|
468f6c9b58
|
src/file_swf.c: add Frama-C "assigns" annotations
|
2021-03-07 15:14:40 +01:00 |
|
Christophe Grenier
|
e00634b0de
|
src/file_studio.c: add Frama-C annotations
|
2021-03-07 15:08:19 +01:00 |
|
Christophe Grenier
|
cd16590f81
|
src/file_stu.c: add Frama-C annotations
|
2021-03-07 14:50:28 +01:00 |
|
Christophe Grenier
|
13ecb58f68
|
src/file_steuer2014.c: add Frama-C annotations
|
2021-03-07 14:45:09 +01:00 |
|
Christophe Grenier
|
35242e74c7
|
src/file_sqm.c: add Frama-C annotations
|
2021-03-07 14:21:55 +01:00 |
|
Christophe Grenier
|
a8311c6ff8
|
src/file_sql.c: add Frama-C annotations
|
2021-03-07 14:21:30 +01:00 |
|
Christophe Grenier
|
8ec2cc27f4
|
src/file_spss.c: add Frama-C annotations
|
2021-03-07 14:04:50 +01:00 |
|
Christophe Grenier
|
e6f50bee03
|
src/file_spf.c: add Frama-C annotations
|
2021-03-07 13:48:02 +01:00 |
|
Christophe Grenier
|
42bd7effc4
|
src/file_spe.c: add Frama-C annotations
|
2021-03-06 13:49:10 +01:00 |
|
Christophe Grenier
|
ee76b9cc2f
|
src/file_sp3.c: add Frama-C annotations - split the main function
|
2021-03-06 11:37:10 +01:00 |
|
Christophe Grenier
|
f08a8b8a36
|
src/file_snag.c: add Frama-C annotations
src/file_doc.c: disable half the code when validating snag files using Frama-C
|
2021-03-05 18:47:51 +01:00 |
|
Christophe Grenier
|
a2f540b302
|
src/file_skp.c: add Frama-C annotations
|
2021-03-05 18:13:10 +01:00 |
|
Christophe Grenier
|
c085b7bc90
|
src/file_skd.c: add Frama-C annotations
|
2021-03-05 13:41:25 +01:00 |
|
Christophe Grenier
|
ea89721d33
|
src/file_sit.c: add Frama-C annotations
|
2021-03-05 13:37:46 +01:00 |
|
Christophe Grenier
|
d4da752815
|
src/file_sib.c: add Frama-C annotations
|
2021-03-05 13:35:06 +01:00 |
|
Christophe Grenier
|
bd91702bde
|
src/file_shn.c: add Frama-C annotations
|
2021-03-05 13:33:34 +01:00 |
|
Christophe Grenier
|
e9d2e5c860
|
src/file_stl.c: add Frama-C annotations
|
2021-03-05 13:33:05 +01:00 |
|