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 |
|
Christophe Grenier
|
4feb83946b
|
src/file_pct.c: add frama-c annotations
|
2021-02-27 10:27:22 +01:00 |
|
Christophe Grenier
|
885ea37edc
|
src/file_pcb.c: add frama-c annotations
|
2021-02-27 10:25:59 +01:00 |
|
Christophe Grenier
|
8e5d3cbc4a
|
src/file_pcap.c: add frama-c annotations
|
2021-02-27 10:24:30 +01:00 |
|
Christophe Grenier
|
717ce7122f
|
src/file_par2.c: fix problems reported by frama-c
|
2021-02-27 10:21:39 +01:00 |
|
Christophe Grenier
|
82b82e8a5b
|
src/file_pap.c: add frama-c annotations
|
2021-02-27 10:21:05 +01:00 |
|
Christophe Grenier
|
8fb9a94926
|
src/file_paf.c: add frama-c annotations
|
2021-02-27 10:20:22 +01:00 |
|
Christophe Grenier
|
14691b2ecc
|
src/file_orf.c: add frama-c annotations
|
2021-02-26 08:00:20 +01:00 |
|
Christophe Grenier
|
d0829a7088
|
src/file_one.c: add frama-c annotations
|
2021-02-26 07:59:35 +01:00 |
|
Christophe Grenier
|
ec9b9b363a
|
src/file_ogg.c: fix frama-c warnings
|
2021-02-25 22:18:18 +01:00 |
|
Christophe Grenier
|
fe86da028b
|
src/file_oci.c: add frama-c annotations
|
2021-02-25 20:02:32 +01:00 |
|
Christophe Grenier
|
d1104f1abb
|
src/file_nsf.c: add frama-c annotations
|
2021-02-25 17:36:27 +01:00 |
|
Christophe Grenier
|
f250f91da0
|
src/file_nk2.c: add frama-c annotations
|
2021-02-25 17:28:18 +01:00 |
|
Christophe Grenier
|
214a1dfc1b
|
src/file_njx.c: add frama-c annotations
|
2021-02-25 17:24:56 +01:00 |
|
Christophe Grenier
|
fd9ae3893a
|
src/file_nes.c: add frama-c annotations
|
2021-02-25 17:24:13 +01:00 |
|
Christophe Grenier
|
b2eb3b103d
|
src/file_nds.c: add frama-c annotations
|
2021-02-25 17:21:07 +01:00 |
|
Christophe Grenier
|
7b1c0a7bed
|
src/file_nd2.c: add frama-c annotations
|
2021-02-25 17:20:43 +01:00 |
|
Christophe Grenier
|
015d876aa4
|
src/file_mysql.c: add frama-c "assigns" annotations
|
2021-02-24 21:10:08 +01:00 |
|
Christophe Grenier
|
651ebcea7d
|
src/file_myo.c: add frama-c annotations
|
2021-02-24 21:03:28 +01:00 |
|