luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
3304 commits 2 branches 8 tags 6.3 MiB
Commit graph

3120 commits

Author SHA1 Message Date
Christophe Grenier
c1624c942b src/file_tar.c: improve Frama-C annotations 2021-07-24 17:58:25 +02:00
Christophe Grenier
8422034f53 src/file_swf.c: improve Frama-C annotations 2021-07-24 17:54:11 +02:00
Christophe Grenier
761130d94a src/file_studio.c: improve Frama-C annotions 2021-07-24 17:26:59 +02:00
Christophe Grenier
38e3737793 src/file_stu.c: improve Frama-C annotations 2021-07-24 16:23:11 +02:00
Christophe Grenier
32e158d1eb src/file_stl.c: improve Frama-C annotations 2021-07-24 16:20:21 +02:00
Christophe Grenier
810c08b24a src/file_steuer2014.c: improve Frama-C annotations 2021-07-24 16:18:10 +02:00
Christophe Grenier
8ffd996713 src/file_sqm.c: improve Frama-C annotations 2021-07-24 16:15:23 +02:00
Christophe Grenier
6c67834b57 src/file_sql.c: improve Frama-C annotations 2021-07-24 16:10:36 +02:00
Christophe Grenier
4703591d14 src/file_spss.c: improve Frama-C annotations 2021-07-24 16:09:31 +02:00
Christophe Grenier
289c62147e src/file_spf.c: Fix Frama-C warnings 2021-07-24 16:06:19 +02:00
Christophe Grenier
60b5272f9e src/file_spe.c: improve Frama-C annotations 2021-07-24 16:04:06 +02:00
Christophe Grenier
dd4e040d3a src/file_sp3.c: improve Frama-C annotations 2021-07-24 15:53:36 +02:00
Christophe Grenier
ad7a19b1e8 src/file_snag.c: improve Frama-C annotations 2021-07-24 15:46:21 +02:00
Christophe Grenier
3f976bfcfe src/file_skp.c: improve Frama-C annotations 2021-07-24 15:43:18 +02:00
Christophe Grenier
a40bba1745 src/file_skd.c: improve Frama-C annotations 2021-07-24 15:40:12 +02:00
Christophe Grenier
1ca6a7913c src/file_sit.c: improve Frama-C annotations 2021-07-24 15:37:44 +02:00
Christophe Grenier
ad0a286994 src/file_sib.c: improve Frama-C annotations 2021-07-24 15:32:26 +02:00
Christophe Grenier
a6df52e732 src/file_shn.c: improve Frama-C annotations 2021-07-24 15:29:09 +02:00
Christophe Grenier
1251f83f08 src/file_sgcta.c: improve Frama-C annotations 2021-07-24 15:23:28 +02:00
Christophe Grenier
ff01628c18 src/file_ses.c: improve Frama-C annotations 2021-07-24 15:21:09 +02:00
Christophe Grenier
8fa3ad0d5c src/file_sdsk.c: improve Frama-C annotations 2021-07-24 15:18:48 +02:00
Christophe Grenier
a9deedda55 src/file_save.c: improve Frama-C annotations 2021-07-24 15:15:54 +02:00
Christophe Grenier
ccc1c85274 src/file_rx2.c: improve Frama-C annotations 2021-07-24 15:11:14 +02:00
Christophe Grenier
b616323d15 src/file_rw2.c: improve Frama-C annotations 2021-07-24 15:05:11 +02:00
Christophe Grenier
66c800fa0c src/file_rpm.c: improve Frama-C annotations 2021-07-24 15:01:16 +02:00
Christophe Grenier
2db801e7cf src/file_rns.c: improve Frama-C annotations 2021-07-24 15:00:09 +02:00
Christophe Grenier
c9adff6a1f src/file_rm.c: improve Frama-C annotations 2021-07-24 14:58:19 +02:00
Christophe Grenier
ab53763544 src/file_rlv.c: improve Frama-C annotations 2021-07-24 14:56:33 +02:00
Christophe Grenier
1215d5f46b src/file_riff.c: Fix Frama-C annotations 2021-07-24 14:54:36 +02:00
Christophe Grenier
94069220e7 src/file_rfp.c: improve Frama-C annotations 2021-07-24 14:47:00 +02:00
Christophe Grenier
09375d0469 src/file_res.c: improve Frama-C annotations 2021-07-24 14:46:13 +02:00
Christophe Grenier
68932b5bd3 src/file_reg.c: improve FRama-C annotations 2021-07-24 14:44:40 +02:00
Christophe Grenier
c8f5ace77b src/file_rdc.c: improve Frama-C annotations 2021-07-24 14:39:52 +02:00
Christophe Grenier
3893dc4cba src/file_raw.c: improve Frama-C annotations 2021-07-24 14:38:27 +02:00
Christophe Grenier
7149aeaff8 src/file_rar.c: improve Frama-C annotations 2021-07-24 14:36:21 +02:00
Christophe Grenier
c4f7eba1a0 src/file_raf.c: improve Frama-C annotations 2021-07-24 14:29:21 +02:00
Christophe Grenier
0050de00ce src/file_ra.c: improve Frama-C annotations 2021-07-08 21:05:50 +02:00
Christophe Grenier
a723179662 src/file_r3d.c: improve Frama-C annotations 2021-07-08 20:58:01 +02:00
Christophe Grenier
260c40183b src/file_qxd.c: improve Frama-C annotations 2021-07-08 20:49:31 +02:00
Christophe Grenier
4e979315d9 src/file_qkt.c: improve Frama-C annotations 2021-07-08 20:48:41 +02:00
Christophe Grenier
7c2f4e1120 src/file_qdf.c: improve Frama-C annotations 2021-07-08 20:46:55 +02:00
Christophe Grenier
0ca11453ca src/file_qbb.c: fix Frama-C warnings 2021-07-07 22:15:55 +02:00
Christophe Grenier
8d6bb0f28c src/file_pzh.c: improve Frama-C annotations 2021-07-07 17:58:03 +02:00
Christophe Grenier
8fe30a4af4 src/file_pzf.c: improve Frama-C annotations 2021-07-07 17:51:45 +02:00
Christophe Grenier
891003bab0 src/file_pyc.c: improve Frama-C annotations 2021-07-07 17:47:48 +02:00
Christophe Grenier
a4dd06518b src/file_ptf.c: improve Frama-C annotations 2021-07-07 17:45:18 +02:00
Christophe Grenier
abff2bb7d2 src/file_ptb.c: improve Frama-C annotations 2021-07-07 17:40:31 +02:00
Christophe Grenier
1984c248c9 src/file_pst.c: improve Frama-C annotations 2021-07-07 17:37:09 +02:00
Christophe Grenier
72e4d60d1b src/file_psp.c: improve Frama-C annotations 2021-07-07 17:29:55 +02:00
Christophe Grenier
86defc9ed4 src/file_psf.c: improve Frama-C annotations 2021-07-07 17:27:39 +02:00
Christophe Grenier
7978d921b5 src/file_psd.c: fix Frama-C warnings 2021-07-07 17:25:13 +02:00
Christophe Grenier
bee7c1bab5 src/file_ps.c: improve Frama-C annotations 2021-07-07 17:10:56 +02:00
Christophe Grenier
10e81c02d9 src/file_psb.c: improve Frama-C annotations 2021-07-07 17:08:57 +02:00
Christophe Grenier
910bf9094f src/file_pct.c: avoid Frama-C warnings 2021-07-07 17:04:43 +02:00
Christophe Grenier
3780c5a3e1 src/file_prt.c: improve Frama-C annotations 2021-07-07 13:57:08 +02:00
Christophe Grenier
8208d6c8bb src/file_prd.c: improve Frama-C annotations 2021-07-07 13:55:20 +02:00
Christophe Grenier
b4cf481015 src/file_prc.c: improve Frama-C annotations 2021-07-07 13:51:52 +02:00
Christophe Grenier
f1880b0b52 src/file_pnm.c: improve Frama-C annotations 2021-07-07 13:43:05 +02:00
Christophe Grenier
e50948ca06 src/file_png.c: fix Frama-C warnings 2021-07-07 13:38:32 +02:00
Christophe Grenier
9f61958534 src/file_plt.c: improve Frama-C annotations 2021-07-07 13:29:51 +02:00
Christophe Grenier
3f146d7da8 src/file_plr.c: improve Frama-C annotations 2021-07-07 13:28:15 +02:00
Christophe Grenier
ef9962ee8d src/file_plist.c: improve Frama-C annotations 2021-07-07 13:26:41 +02:00
Christophe Grenier
b71054d640 src/file_pgdump.c: improve Frama-C annotations 2021-07-07 13:24:04 +02:00
Christophe Grenier
96249e6c4d src/file_pfx.c: improve Frama-C annotations 2021-07-07 13:23:37 +02:00
Christophe Grenier
6e34407418 src/file_pf.c: improve Frama-C annotations 2021-07-06 18:11:22 +02:00
Christophe Grenier
f2eed91225 src/file_pds.c: improve Frama-C annotations 2021-07-06 17:54:22 +02:00
Christophe Grenier
d8b6796870 src/file_pdf.c: improve Frama-C annotations 2021-07-06 17:42:41 +02:00
Christophe Grenier
aac4087e84 src/file_pdb.c: fix Frama-C warnings 2021-07-05 13:54:20 +02:00
Christophe Grenier
9e4cf0aa03 src/file_pcx.c: improve Frama-C annotations 2021-07-05 13:50:14 +02:00
Christophe Grenier
073ab74631 src/file_pcb.c: improve Frama-C annotations 2021-07-04 16:49:24 +02:00
Christophe Grenier
fe35776fcc src/file_pcap.c: improve Frama-C annotations 2021-07-04 16:47:23 +02:00
Christophe Grenier
029adb2224 src/file_par2.c: fix Frama-C warnings 2021-07-04 16:40:25 +02:00
Christophe Grenier
90ce992b14 src/file_pap.c: improve Frama-C annotations 2021-07-04 16:00:09 +02:00
Christophe Grenier
8d98e2cd63 src/file_paf.c: improve Frama-C annotations 2021-07-04 15:54:19 +02:00
Christophe Grenier
a92cc42c2c src/file_orf.c: improve Frama-C annotations 2021-07-04 15:41:10 +02:00
Christophe Grenier
9fcb41c5ca src/file_one.c: improve Frama-C annotations 2021-07-03 22:09:34 +02:00
Christophe Grenier
9699f273b9 src/file_ogg.c: improve Frama-C annotations 2021-07-03 22:04:33 +02:00
Christophe Grenier
52dfc4afc5 src/file_oci.c: improve Frama-C annotations 2021-07-03 22:02:43 +02:00
Christophe Grenier
1a0b375cdf src/file_nsf.c: improve Frama-C annotations 2021-07-03 21:59:17 +02:00
Christophe Grenier
17703e578b src/file_nk2.c: fix Frama-C warnings 2021-07-03 21:55:04 +02:00
Christophe Grenier
08b4170057 src/file_njx.c: improve Frama-C annotations 2021-07-03 20:54:31 +02:00
Christophe Grenier
b7312d4892 src/file_nes.c: improve Frama-C annotations 2021-07-03 20:49:14 +02:00
Christophe Grenier
a3dfe7ad93 src/file_nd2.c: improve Frama-C annotations 2021-07-03 14:11:06 +02:00
Christophe Grenier
b3f315cd12 src/file_mysql.c: improve Frama-C annotations 2021-07-03 14:09:03 +02:00
Christophe Grenier
b6ad724671 src/file_myo.c: add Frama-C annotations 2021-07-03 14:02:39 +02:00
Christophe Grenier
e944ce29f6 src/file_mxf.c: improve Frama-C annotations 2021-07-03 14:01:50 +02:00
Christophe Grenier
8240f0b474 src/file_mus.c: improve Frama-C annotations 2021-07-03 13:59:49 +02:00
Christophe Grenier
f78cc39d93 src/file_msa.c: improve Frama-C annotations 2021-07-03 13:57:57 +02:00
Christophe Grenier
4725fac9e1 src/file_mrw.c: improve Frama-C annotations 2021-07-03 13:55:56 +02:00
Christophe Grenier
572fc90bfd src/file_mpl.c: improve Frama-C annotations 2021-07-03 13:53:55 +02:00
Christophe Grenier
9df8ec27c5 src/file_mpg.c: fix Frama-C annotations 2021-07-03 13:51:46 +02:00
Christophe Grenier
6ae85c0094 src/file_mp3.c: improve Frama-C annotations 2021-07-02 19:04:05 +02:00
Christophe Grenier
cbd5f94de9 src/file_mov.c: improve Frama-C annotations 2021-07-02 19:02:27 +02:00
Christophe Grenier
9c9f9a62e8 src/file_mobi.c: improve Frama-C annotations 2021-07-02 18:58:10 +02:00
Christophe Grenier
bca13889ea src/file_mlv.c: improve Frama-C annotations 2021-07-02 18:56:23 +02:00
Christophe Grenier
7d474e5bee src/file_mkv.c: improve Frama-C annotations 2021-07-02 18:54:15 +02:00
Christophe Grenier
857a50ae6e src/file_mk5.c: improve Frama-C annotations 2021-07-02 18:51:05 +02:00
Christophe Grenier
23e422615d src/file_mig.c: fix Frama-C warnings 2021-07-02 18:48:54 +02:00
Christophe Grenier
02a92c5bb3 src/file_mid.c: improve Frama-C annotations 2021-07-02 18:47:02 +02:00
Christophe Grenier
d1b3110f84 src/file_mfg.c: improve Frama-C annotations 2021-07-02 18:16:24 +02:00
Christophe Grenier
9f3fa1ea9b src/file_mfa.c: improve Frama-C annotations 2021-07-02 17:11:17 +02:00
Christophe Grenier
a681fed2c7 src/file_mdp.c: improve Frama-C annotations 2021-07-02 17:09:10 +02:00
Christophe Grenier
98e381d830 src/file_mdf.c: improve Frama-C annotations 2021-07-02 17:07:09 +02:00
Christophe Grenier
481f4af06c src/file_mdb.c: improve Frama-C annotations 2021-07-02 13:46:26 +02:00
Christophe Grenier
4ce08fd85e src/file_mcd.c: improve Frama-C annotations 2021-07-02 13:35:34 +02:00
Christophe Grenier
53a8f280cf src/file_mb.c: improve Frama-C annotations 2021-07-02 13:33:53 +02:00
Christophe Grenier
0ad0a6ec29 src/file_max.c: improve Frama-C annotations 2021-07-02 12:32:09 +02:00
Christophe Grenier
80a2b7863e src/file_mat.c: improve Frama-C annotations 2021-07-02 12:30:23 +02:00
Christophe Grenier
cf3d5b6791 src/file_m2ts.c: improve Frama-C annotations 2021-07-02 12:27:56 +02:00
Christophe Grenier
f53cf3a494 src/file_lzo.c: improve Frama-C annotations 2021-07-02 12:21:52 +02:00
Christophe Grenier
1d9dff1880 src/file_lzh.c: fix Frama-C annotations 2021-07-02 12:19:57 +02:00
Christophe Grenier
f0e90676fb src/file_lxo.c: improve Frama-C annotations 2021-07-02 12:11:48 +02:00
Christophe Grenier
79dcc9835a src/file_luks.c: improve Frama-C annotations 2021-06-30 13:57:05 +02:00
Christophe Grenier
427804ca1a src/file_lso.c: improve Frama-C annotations 2021-06-30 13:56:36 +02:00
Christophe Grenier
fa19fe5ae0 src/file_logic.c: improve Frama-C annotations 2021-06-30 13:50:04 +02:00
Christophe Grenier
3a995fc82c src/file_lnk.c: improve Frama-C annotations 2021-06-30 13:49:31 +02:00
Christophe Grenier
6b1393284d src/file_lit.c: improve Frama-C annotations 2021-06-30 13:33:52 +02:00
Christophe Grenier
afc13dca1c src/file_ldf.c: improve Frama-C annotations 2021-06-27 11:57:11 +02:00
Christophe Grenier
cf75c5f74e src/file_key.c: improve Frama-C annotations 2021-06-27 11:47:29 +02:00
Christophe Grenier
2343de140f src/file_kdbx.c: improve Frama-C annotations 2021-06-27 11:46:03 +02:00
Christophe Grenier
64d398cd1d src/file_kdb.c: improve Frama-C annotations 2021-06-27 11:44:37 +02:00
Christophe Grenier
bf619e4ed6 src/file_jsonlz4.c: Improve Frama-C annotations 2021-06-27 11:43:46 +02:00
Christophe Grenier
7182ffe2e4 src/file_jpg.c: Fix Frama-C warnings 2021-06-27 11:41:57 +02:00
Christophe Grenier
eb40539823 src/file_jks.c: improve Frama-C annotations 2021-06-27 11:35:35 +02:00
Christophe Grenier
04f324b18a src/file_itu.c: improve Frama-C annotations 2021-06-27 11:32:39 +02:00
Christophe Grenier
0caf454d4e src/file_it.c: improve Frama-C annotations 2021-06-27 11:27:25 +02:00
Christophe Grenier
c3d2d9631f src/file_iso.c: improve Frama-C annotations 2021-06-27 11:25:37 +02:00
Christophe Grenier
35042ac9fc PhotoRec: recover Clip Studio Paint .clip files 2021-06-27 10:30:33 +02:00
Christophe Grenier
17255306fb src/file_info.c: improve Frama-C annotations 2021-06-23 07:59:15 +02:00
Christophe Grenier
e677eb6b6a src/file_indd.c: fix Frama-C warnings 2021-06-23 07:58:17 +02:00
Christophe Grenier
13eb09f44e src/file_imb.c: improve Frama-C annotations 2021-06-23 07:54:55 +02:00
Christophe Grenier
5863e1d4a4 src/file_ifo.c: improve Frama-C annotations 2021-06-23 07:46:15 +02:00
Christophe Grenier
4d7fb00f85 src/file_idx.c: improve Frama-C annotations 2021-06-22 13:48:54 +02:00
Christophe Grenier
a9aa8b641d src/file_ico.c: improve Frama-C annotations 2021-06-22 13:45:23 +02:00
Christophe Grenier
0107a4d983 src/file_icns.c: improve Frama-C annotations 2021-06-22 13:37:44 +02:00
Christophe Grenier
e000a10c5a src/file_icc.c: improve Frama-C annotations 2021-06-22 13:34:43 +02:00
Christophe Grenier
246c44f2d3 src/file_ibd.c: improve Frama-C annotations 2021-06-22 13:34:16 +02:00
Christophe Grenier
2bc8602f95 src/file_http.c: improve Frama-C annotations 2021-06-22 13:30:34 +02:00
Christophe Grenier
383ff1cb91 src/file_hr9.c: improve Frama-C annotations 2021-06-22 13:28:49 +02:00
Christophe Grenier
6cfe770f73 src/file_hm.c: improve Frama-C annotations 2021-06-22 13:25:30 +02:00
Christophe Grenier
326fb77055 src/file_fcs.c: improve Frama-C annotations 2021-06-22 13:17:27 +02:00
Christophe Grenier
03d1688d79 src/file_doc.h: Add missing annotations from commit ac8fe16518 2021-06-22 13:14:12 +02:00
Christophe Grenier
872bd3fafe src/file_hfsp.c: improve Frama-C annotations 2021-06-22 13:12:54 +02:00
Christophe Grenier
4c92854a6f src/file_hds.c: improve FRama-C annotations 2021-06-22 13:11:05 +02:00
Christophe Grenier
66a98c94ca src/file_hdr.c: improve Frama-C annotations 2021-06-22 12:16:24 +02:00
Christophe Grenier
0a8556ece7 src/file_hdf.c: improve Frama-C annotations 2021-06-15 17:21:32 +02:00
Christophe Grenier
71c00808f7 src/file_gz.c: improve Frama-C annotations 2021-06-15 17:18:55 +02:00
Christophe Grenier
9ec38fdbc1 src/file_gsm.c: improve Frama-C annotations 2021-06-15 17:14:07 +02:00
Christophe Grenier
5aaeb9de74 src/file_gpx.c: improve Frama-C annotations 2021-06-15 17:09:02 +02:00
Christophe Grenier
385b83b52e src/file_gpg.c: improve Frama-C annotations 2021-06-15 17:08:36 +02:00
Christophe Grenier
af8d241441 src/file_gp5.c: improve Frama-C annotations 2021-06-15 14:03:51 +02:00
Christophe Grenier
a098cb3c65 src/file_gp2.c: improve Frama-C annotations 2021-06-15 13:55:45 +02:00
Christophe Grenier
ff178a5f2d src/file_gm6.c: improve Frama-C annotations 2021-06-15 13:37:39 +02:00
Christophe Grenier
b76ed65c1c src/file_gif.c: improve Frama-C annotations 2021-06-14 19:01:22 +02:00
Christophe Grenier
c417f64b8b src/file_gi.c: improve Frama-C annotations 2021-06-14 18:49:06 +02:00
Christophe Grenier
a15166dca7 src/file_gho.c: improve Frama-C annotations 2021-06-14 18:23:30 +02:00
Christophe Grenier
c2a8510ff6 src/file_gct.c: improve Frama-C annotations 2021-06-14 18:08:44 +02:00
Christophe Grenier
22872fffe4 src/file_gam.c: add Frama-C annotations 2021-06-14 18:08:10 +02:00
Christophe Grenier
3933a0af36 src/file_fwd.c: improve Frama-C annotations 2021-06-14 17:24:27 +02:00
Christophe Grenier
75815a162e src/file_fs.c: improve Frama-C annotations 2021-06-14 17:22:52 +02:00
Christophe Grenier
5fbb70657d src/file_frm.c: improve Frama-C annotations 2021-06-14 17:22:23 +02:00
Christophe Grenier
0c8a4d385d src/file_freeway.c: improve Frama-C annotations 2021-06-13 19:02:54 +02:00
Christophe Grenier
8fa16f4a50 src/file_fp7.c: improve Frama-C annotations 2021-06-13 18:49:19 +02:00
Christophe Grenier
7ed17f2b47 src/file_fp5.c: improve Frama-C annotations 2021-06-13 18:38:15 +02:00
Christophe Grenier
575ab6e6ac src/file_fos.c: improve Frama-C annotations 2021-06-13 18:36:24 +02:00
Christophe Grenier
8170d1764d src/file_fob.c: improve Frama-C annotations 2021-06-13 18:29:29 +02:00
Christophe Grenier
1ed7909b7c src/file_fm.c: add Frama-C annotations 2021-06-13 12:31:20 +02:00
Christophe Grenier
c482456942 src/file_flv.c: improve Frama-C annotations 2021-06-13 12:16:14 +02:00
Christophe Grenier
0ff10a312b src/file_flp.c: improve Frama-C annotations 2021-06-12 22:19:14 +02:00
Christophe Grenier
0ff17f26af src/file_flac.c: improve Frama-C annotations 2021-06-12 22:18:17 +02:00
Christophe Grenier
03b6dbe563 src/file_fits.c: improve Frama-C annotations. 
The various integer overflow remain.
 2021-06-12 22:12:46 +02:00
Christophe Grenier
acdf57d073 src/file_fit.c: improve Frama-C annotations 2021-06-12 22:08:36 +02:00
Christophe Grenier
cb2dd0d229 src/file_filevault.c: improve Frama-C annotations 2021-06-12 22:06:40 +02:00
Christophe Grenier
ea9e28726c src/file_DB.c: improve Frama-C annotations 2021-06-12 22:01:17 +02:00
Christophe Grenier
27159d6144 src/file_7z.c: improve Frama-C annotations 2021-06-12 21:58:51 +02:00
Christophe Grenier
06556c0562 src/file_3ds.c: improve Frama-C annotations 2021-06-12 21:55:26 +02:00
Christophe Grenier
5a5430b270 src/file_3dm.c: improve Frama-C annotations 2021-06-12 21:53:21 +02:00
Christophe Grenier
ea7235a330 src/file_1cd.c: improve Frama-C annotations 2021-06-12 21:50:31 +02:00
Christophe Grenier
f5eab1d9ce src/file_fh5.c: improve Frama-C annotations 2021-06-12 21:44:28 +02:00
Christophe Grenier
193e0f8446 src/file_fh10.c: improve Frama-C annotations 2021-06-12 21:40:17 +02:00
Christophe Grenier
b5703542d2 src/file_fds.c: improve Frama-C annotations 2021-06-12 21:38:05 +02:00
Christophe Grenier
7e4fc2c6e7 src/file_fdb.c: improve Frama-C annotations 2021-06-12 21:31:00 +02:00
Christophe Grenier
b8d603c48b src/file_fcp.c: improve Frama-C annotations 2021-06-12 20:52:50 +02:00
Christophe Grenier
2c1b3463da src/file_fbk.c: improve Frama-C annotations 2021-06-12 20:52:06 +02:00
Christophe Grenier
646f4f8700 src/file_fbf.c: improve Frama-C annotations 2021-06-12 20:48:43 +02:00
Christophe Grenier
2bd4aa190a src/file_fat.c: improve Frama-C annotations 2021-06-12 19:12:24 +02:00
Christophe Grenier
12c2aabaa3 src/fat_common.[ch]: update Frama-C annotations 2021-06-12 13:22:19 +02:00
Christophe Grenier
261c73bb72 src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd files 2021-06-12 11:38:05 +02:00
Christophe Grenier
044a634188 src/file_ext.c: improve Frama-C annotations 2021-06-12 11:37:31 +02:00
Christophe Grenier
7c62ec1682 src/file_ext2.c: improve Frama-C annotations 2021-06-10 12:15:16 +02:00
Christophe Grenier
3a18ec1bec src/file_exs.c: improve Frama-C annotations 2021-06-09 19:22:43 +02:00
Christophe Grenier
1c389d6fc5 src/file_exr.c: improve Frama-C annotations 2021-06-09 18:55:07 +02:00
Christophe Grenier
e7c5d9299c src/file_exe.c: improve Frama-C annotations 2021-06-09 18:52:49 +02:00
Christophe Grenier
2a3f5aee88 src/file_evtx.c: improve Frama-C annotations 2021-06-08 13:54:30 +02:00
Christophe Grenier
6741c640c9 src/file_evt.c: improve Frama-C annotations 2021-06-08 13:52:17 +02:00
Christophe Grenier
04f169fb82 src/file_ess.c: add Frama-C annotations 2021-06-08 13:42:42 +02:00
Christophe Grenier
f0a47950d9 src/file_emf.c: improve Frama-C annotations 2021-06-08 13:40:12 +02:00
Christophe Grenier
b951fb7cae src/file_elf.c: improve Frama-C annotations 2021-06-08 13:38:41 +02:00
Christophe Grenier
061d9df7e0 src/file_edb.c: improve Frama-C annotations 2021-06-08 13:31:18 +02:00
Christophe Grenier
2745d4c5c8 src/file_ecryptfs.c: improve Frama-C annotations 2021-06-08 13:18:50 +02:00