Commit graph

2755 commits

Author SHA1 Message Date
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
Christophe Grenier
22b1e66917 src/file_msa.c: improve frama-c annotations 2021-02-24 20:57:12 +01:00
Christophe Grenier
bf8664ce7e src/file_mrw.c: add frama-c annotations 2021-02-24 20:53:42 +01:00
Christophe Grenier
d572f9d708 src/file_mpl.c: add frama-c annotations 2021-02-24 20:39:25 +01:00
Christophe Grenier
35f427b7cd src/file_mov.c: better annotations for file_rename_mov() 2021-02-24 20:31:20 +01:00
Christophe Grenier
c8a5447cc2 src/file_mobi.c: add frama-c annotations 2021-02-24 20:28:12 +01:00
Christophe Grenier
675ec2a9bc src/file_mkv.c: add frama-c annotations for header_check_mkv 2021-02-24 20:24:48 +01:00
Christophe Grenier
075108bb49 src/file_mk5.c: add frama-c annotations 2021-02-24 19:32:22 +01:00
Christophe Grenier
ff6ebf2d98 src/file_mig.c: add frama-c annotations 2021-02-24 18:31:30 +01:00
Christophe Grenier
1dc19e7fb3 src/file_mfg.c: add frama-c annotations 2021-02-24 18:22:28 +01:00
Christophe Grenier
1b71e6c549 src/file_mfa.c: add frama-c annotations 2021-02-24 18:19:45 +01:00
Christophe Grenier
425fe5e540 src/file_mdp.c: add frama-c annotations 2021-02-24 17:46:38 +01:00
Christophe Grenier
7ace048729 src/file_mdf.c: add frama-c annotations 2021-02-24 17:43:45 +01:00
Christophe Grenier
3b0e928755 src/file_mdb.c: add frama-c annotations 2021-02-24 17:40:57 +01:00
Christophe Grenier
d7c32b7295 src/file_mcd.c: add frama-c annotations 2021-02-24 17:38:36 +01:00
Christophe Grenier
1b0a138bbc src/file_mb.c: add frama-c annotations 2021-02-24 17:34:31 +01:00
Christophe Grenier
46206cedf9 src/file_max.c: add frama-c annotations 2021-02-24 17:33:49 +01:00
Christophe Grenier
4a393090af src/file_mat.c: add frama-c annotations 2021-02-24 17:33:21 +01:00
Christophe Grenier
3b8f8f35d2 src/luks_struct.h: move struct from src/luks.h to this new file 2021-02-24 08:14:52 +01:00
Christophe Grenier
ecea5652b0 src/file_m2ts.c: add frama-c annotations 2021-02-24 08:13:13 +01:00
Christophe Grenier
9259827c9c src/file_lzo.c: add frama-c annotations 2021-02-24 08:12:17 +01:00
Christophe Grenier
a5e5ad5520 src/file_lzh.c: add frama-c annotations 2021-02-24 08:12:06 +01:00