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
fe9953063f src/file_zcode.c: improve Frama-C annotations 2021-07-29 12:35:52 +02:00
Christophe Grenier
1c64ef9bcd src/file_z2d.c: improve Frama-C annotations 2021-07-28 22:31:31 +02:00
Christophe Grenier
ce12222637 src/file_xz.c: improve Frama-C annotations 2021-07-28 22:28:08 +02:00
Christophe Grenier
aca1e4062a src/file_xv.c: improve Frama-C annotations 2021-07-28 22:26:11 +02:00
Christophe Grenier
6a4b8d1f6f src/file_xsv.c: improve Frama-C annotations 2021-07-28 22:21:49 +02:00
Christophe Grenier
2b5aa8f004 src/file_xpt.c: improve Frama-C annotations 2021-07-28 22:20:00 +02:00
Christophe Grenier
fc464a44f8 src/file_xml.c: improve Frama-C annotations 2021-07-28 22:11:08 +02:00
Christophe Grenier
fd398b75dd src/file_xm.c: improve Frama-C warnings 2021-07-28 22:08:50 +02:00
Christophe Grenier
92dc91e9b1 src/file_xfs.c: improve Frama-C annotations 2021-07-28 22:01:14 +02:00
Christophe Grenier
ea70741403 src/file_xfi.c: improve Frama-C annotations 2021-07-28 21:55:47 +02:00
Christophe Grenier
fbf070895c src/file_xcf.c: improve Frama-C annotations 2021-07-28 21:49:41 +02:00
Christophe Grenier
21b95cd07f src/file_xar.c: improve Frama-C annotations 2021-07-28 21:45:11 +02:00
Christophe Grenier
6ebcf591e1 src/file_x4a.c: fix Frama-C warnings 2021-07-28 21:42:22 +02:00
Christophe Grenier
40ee6a99f8 src/file_x3i.c: improve Frama-C annotations 2021-07-28 13:53:56 +02:00
Christophe Grenier
93fe1aafd6 src/file_x3f.c: improve Frama-C annotations 2021-07-28 13:47:02 +02:00
Christophe Grenier
90fd993eb5 src/file_wv.c: improve Frama-C annotations 2021-07-28 13:44:57 +02:00
Christophe Grenier
effc05c7cc src/file_wtv.c: improve Frama-C annotations 2021-07-28 13:39:31 +02:00
Christophe Grenier
8316d06304 src/file_wpd.c: improve Frama-C annotations 2021-07-28 13:32:09 +02:00
Christophe Grenier
61ee9b4a0a src/file_wpb.c: improve Frama-C annotations 2021-07-28 13:26:46 +02:00
Christophe Grenier
1b6ee0c57a src/file_woff.c: improve Frama-C annotations 2021-07-28 13:24:19 +02:00
Christophe Grenier
1f98465db2 src/file_wnk.c: improve Frama-C annotations 2021-07-28 13:22:18 +02:00
Christophe Grenier
9c8f781be0 src/file_wmf.c: improve Frama-C annotations 2021-07-27 22:00:05 +02:00
Christophe Grenier
7b8d5fc2c5 src/file_wld.c: improve Frama-C annotations 2021-07-27 21:51:42 +02:00
Christophe Grenier
2a933246e8 src/file_wks.c: improve Frama-C annotations 2021-07-27 21:49:16 +02:00
Christophe Grenier
ef46fa9552 src/file_win.c: improve Frama-C annotations 2021-07-27 21:42:59 +02:00
Christophe Grenier
6904809320 src/file_wim.c: improve Frama-C annotations 2021-07-27 21:30:23 +02:00
Christophe Grenier
df2cdb5991 src/file_wee.c: improve Frama-C annotations 2021-07-27 21:28:39 +02:00
Christophe Grenier
1406dfe592 src/file_wdp.c: improve Frama-C annotations 
src/file_tiff.h: fix annotation
 2021-07-27 21:21:12 +02:00
Christophe Grenier
f7fee461b4 src/file_wallet.c: improve Frama-C annotations 2021-07-27 21:06:17 +02:00
Christophe Grenier
06152cff63 src/file_wad.c: improve Frama-C annotations 2021-07-27 21:04:32 +02:00
Christophe Grenier
dac63a1e98 src/file_vmg.c: improve Frama-C annotations 2021-07-27 19:05:13 +02:00
Christophe Grenier
7d816e43eb src/file_vmdk.c: improve Frama-C annotations 2021-07-27 18:26:25 +02:00
Christophe Grenier
fb3c7f534b src/file_vib.c: improve Frama-C annotations 2021-07-27 18:25:23 +02:00
Christophe Grenier
d9c77b9612 src/file_vfb.c: improve Frama-C annotations 2021-07-27 18:22:26 +02:00
Christophe Grenier
c869ccf448 src/file_veg.c: improve Frama-C annotations 2021-07-27 18:22:03 +02:00
Christophe Grenier
54f226ee39 src/file_vdj.c: improve Frama-C annotations 2021-07-27 18:17:26 +02:00
Christophe Grenier
32f2203df9 src/file_vdi.c: improve Frama-C annotations 2021-07-27 13:28:50 +02:00
Christophe Grenier
c9fd57b611 src/file_vault.c: improve Frama-C annotations 2021-07-25 18:58:02 +02:00
Christophe Grenier
0d5d183983 src/file_v2i.c: improve Frama-C annotations 2021-07-25 18:54:44 +02:00
Christophe Grenier
864e52a8e8 src/file_tz.c: improve Frama-C annotations 2021-07-25 18:14:11 +02:00
Christophe Grenier
870aaf5315 src/file_txt.c: recover cdxml and mol2 files 
Improve Frama-C annotations
 2021-07-25 11:47:07 +02:00
Christophe Grenier
31dd524d28 src/file_ttf.c: improve Frama-C annotations 2021-07-25 11:21:19 +02:00
Christophe Grenier
df7a8d1279 src/file_tpl.c: improve Frama-C annotations 2021-07-25 11:15:14 +02:00
Christophe Grenier
1b90a5bcf3 src/file_tph.c: improve Frama-C annotations 2021-07-25 11:12:08 +02:00
Christophe Grenier
e92b032245 src/file_torrent.c: improve Frama-C annotations 2021-07-25 11:09:24 +02:00
Christophe Grenier
0877f7397f src/file_tivo.c: improve Frama-C annotations 2021-07-25 11:06:07 +02:00
Christophe Grenier
2573eb40c3 src/file_tiff*.[ch]: Fix Frama-C warnings 2021-07-25 10:58:01 +02:00
Christophe Grenier
d8ca0f4608 src/file_tib.c: Fix Frama-C warnings 2021-07-25 10:38:35 +02:00
Christophe Grenier
a223d314a6 src/file_tg.c: improve Frama-C annotations 2021-07-24 18:30:36 +02:00
Christophe Grenier
e0e18027a3 src/file_tax.c: improve Frama-C annotations 2021-07-24 18:27:03 +02:00
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