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 |
|
Christophe Grenier
|
0d50de3d04
|
src/file_sgcta.c: add Frama-C annotations
|
2021-03-05 13:31:55 +01:00 |
|
Christophe Grenier
|
d71a10424c
|
src/file_ses.c: add Frama-C annotations
|
2021-03-03 19:44:57 +01:00 |
|
Christophe Grenier
|
17f293ff3a
|
src/file_sdsk.c: add Frama-C annotations
|
2021-03-03 19:39:46 +01:00 |
|
Christophe Grenier
|
6f4d8d5171
|
src/file_save.c: add Frama-C annotations
|
2021-03-03 19:37:29 +01:00 |
|
Christophe Grenier
|
a3300694a9
|
src/file_rx2.c: add Frama-C annotations
|
2021-03-03 19:35:12 +01:00 |
|
Christophe Grenier
|
c2b2b93a68
|
src/file_rw2.c: add Frama-C annotations
|
2021-03-03 19:12:50 +01:00 |
|
Christophe Grenier
|
2f1473f5ba
|
src/file_rpm.c: add Frama-C annotations
|
2021-03-03 18:59:28 +01:00 |
|
Christophe Grenier
|
a90cfa91c3
|
src/file_rns.c: add Frama-C annotations
|
2021-03-03 18:25:19 +01:00 |
|
Christophe Grenier
|
ad3bf98896
|
src/file_rm.c: add Frama-C annotations
|
2021-03-03 18:23:26 +01:00 |
|
Christophe Grenier
|
dd920cab36
|
src/file_rlv.c: add Frama-C annotations
|
2021-03-03 18:22:52 +01:00 |
|
Christophe Grenier
|
03844caa4f
|
src/file_riff.c: add Frama-C annotations, stricter checks
|
2021-03-03 18:18:15 +01:00 |
|
Christophe Grenier
|
08875f5581
|
src/file_rfp.c: add Frama-C annotations
|
2021-03-03 18:14:24 +01:00 |
|
Christophe Grenier
|
377a17e56a
|
src/file_res.c: add Frama-C annotations
|
2021-03-03 18:11:51 +01:00 |
|
Christophe Grenier
|
25631292e8
|
src/file_rdc.c: add Frama-C annotations
|
2021-03-03 18:11:14 +01:00 |
|
Christophe Grenier
|
0395509ccf
|
src/file_raw.c: add Frama-C annotations
|
2021-03-01 21:23:34 +01:00 |
|
Christophe Grenier
|
72271a632f
|
src/file_rar.c: add Frama-C annotations
|
2021-03-01 21:21:06 +01:00 |
|
Christophe Grenier
|
7bee17a15f
|
src/file_raf.c: add Frama-C annotations
|
2021-02-28 19:25:22 +01:00 |
|
Christophe Grenier
|
c3d53c0590
|
src/file_ra.c: add Frama-C annotations
|
2021-02-28 18:46:03 +01:00 |
|
Christophe Grenier
|
4018f0fda5
|
src/file_qxd.c: add Frama-C annotations
|
2021-02-28 17:38:30 +01:00 |
|
Christophe Grenier
|
efe7456f83
|
src/file_qkt.c: add Frama-C annotations
|
2021-02-28 17:28:17 +01:00 |
|
Christophe Grenier
|
f78a85baf1
|
src/file_qdf.c: add Frama-C annotations
|
2021-02-28 17:25:50 +01:00 |
|
Christophe Grenier
|
944e7774b1
|
src/file_qbb.c: add Frama-C annotations
|
2021-02-28 16:59:17 +01:00 |
|
Christophe Grenier
|
4adc1270c2
|
src/file_pzh.c: add Frama-C annotations
|
2021-02-28 16:56:43 +01:00 |
|
Christophe Grenier
|
f60f95d510
|
src/file_pzf.c: add Frama-C annotations
|
2021-02-28 15:36:42 +01:00 |
|
Christophe Grenier
|
2cf9b58353
|
src/file_pyc.c: add Frama-C annotations
|
2021-02-28 15:26:13 +01:00 |
|
Christophe Grenier
|
58139dcaca
|
src/file_ptf.c: add Frama-C annotations
|
2021-02-28 15:19:18 +01:00 |
|
Christophe Grenier
|
b3901eb04d
|
src/file_ptb.c: add Frama-C annotations
|
2021-02-28 15:13:36 +01:00 |
|
Christophe Grenier
|
3906830e4a
|
src/file_pst.c: add Frama-C annotations
|
2021-02-28 15:01:39 +01:00 |
|
Christophe Grenier
|
3a509008c6
|
src/file_psp.c: add Frama-C annotations
|
2021-02-28 12:43:03 +01:00 |
|
Christophe Grenier
|
8b8389e76e
|
src/file_psf.c: add Frama-C annotations
|
2021-02-28 12:33:30 +01:00 |
|
Christophe Grenier
|
2e47a667ea
|
src/file_psb.c, src/file_psd.c: Fix Photoshop file parsers
Add Frama-C annotations
|
2021-02-28 11:56:04 +01:00 |
|
Christophe Grenier
|
75190887da
|
src/file_plt.c: add Frama-C annotations
|
2021-02-27 18:11:26 +01:00 |
|
Christophe Grenier
|
2d02ba8c0e
|
src/file_plr.c: add Frama-C annotations
|
2021-02-27 15:28:32 +01:00 |
|
Christophe Grenier
|
179550dee6
|
src/file_plist.c: add Frama-C annotations
|
2021-02-27 14:40:54 +01:00 |
|
Christophe Grenier
|
b90dee6d5f
|
src/file_pgdump.c: add Frama-C annotations
|
2021-02-27 12:41:37 +01:00 |
|
Christophe Grenier
|
db23e68526
|
src/file_pfx.c: add Frama-C annotations
|
2021-02-27 10:55:53 +01:00 |
|
Christophe Grenier
|
2ef3a0d029
|
src/file_pf.c: improve Frama-C annotations
|
2021-02-27 10:50:18 +01:00 |
|
Christophe Grenier
|
2869fd0a6c
|
src/file_pds.c: add frama-c annotations
|
2021-02-27 10:47:07 +01:00 |
|
Christophe Grenier
|
f3f54129f8
|
src/file_pdf.c: fix problems reported by Frama-C
|
2021-02-27 10:44:20 +01:00 |
|
Christophe Grenier
|
75d31420bc
|
src/file_pdb.c: add Frama-C annotations
|
2021-02-27 10:31:31 +01:00 |
|
Christophe Grenier
|
c8fd4aa5d5
|
src/file_pcx.c: add frama-c annotations
|
2021-02-27 10:28:46 +01:00 |
|