Christophe Grenier
2a508dcefd
src/file_fob.c: add frama-c annotations
2021-02-21 10:49:47 +01:00
Christophe Grenier
d2e10e5c33
src/file_fm.c: add frama-c annotations
2021-02-21 09:22:38 +01:00
Christophe Grenier
7743e4b3aa
src/file_flv.c: better frama-c annotations
2021-02-21 09:14:04 +01:00
Christophe Grenier
1e9a48aa7d
src/file_flp.c: add frama-c annotations
2021-02-21 09:11:21 +01:00
Christophe Grenier
e887a34a85
src/file_fits.c: two integer overflow remains...
2021-02-20 18:35:23 +01:00
Christophe Grenier
756a415fe8
src/file_fit.c: add frama-c annotations
2021-02-20 18:05:26 +01:00
Christophe Grenier
ad59bf94c2
src/file_filevault.c: add frama-c annotations
2021-02-20 15:14:17 +01:00
Christophe Grenier
3f3ef3ea8a
src/file_fh5.c: add frama-c annotations
2021-02-20 15:10:11 +01:00
Christophe Grenier
805fc6cd99
src/file_fh10.c: add frama-c annotations
2021-02-20 15:07:31 +01:00
Christophe Grenier
1212037a51
src/file_fds.c: add frama-c annotations
2021-02-20 15:05:38 +01:00
Christophe Grenier
b7b5fc5c4e
src/file_fdb.c: add frama-c annotations
2021-02-20 15:02:19 +01:00
Christophe Grenier
9f73322020
src/file_fcs.c: add frama-c annotations
2021-02-20 15:00:03 +01:00
Christophe Grenier
8668a0580c
src/file_fcp.c: add frama-c annotations
2021-02-20 14:54:57 +01:00
Christophe Grenier
acac2e2b1d
src/file_fbk.c: add frama-c annotations
2021-02-20 14:52:06 +01:00
Christophe Grenier
53f93f6cee
src/file_fbf.c: add frama-c annotations
2021-02-20 14:49:50 +01:00
Christophe Grenier
9cc7fb1803
src/file_fat.c: add frama-c annotations
2021-02-20 11:50:57 +01:00
Christophe Grenier
483db97d89
src/file_ext.c: add frama-c annotations
2021-02-20 10:40:43 +01:00
Christophe Grenier
5fbf32de89
src/file_ext2.c: add frama-c annotations
2021-02-19 19:11:08 +01:00
Christophe Grenier
21e89f31e8
src/file_exs.c: add frama-c annotations
2021-02-19 18:50:26 +01:00
Christophe Grenier
08f3b8a87f
src/file_exr.c: add frama-c annotations
2021-02-19 18:36:32 +01:00
Christophe Grenier
b964d3ab64
qphotorec doesn't work under Vista
...
qphotorec_win.exe - Point d'entrée introuvable
Le point d'entrée de procédure TryAcquireSRWLockExclusive est introuvable dans la bibliothèque de liens dynamiques KERNEL32.dll.
2021-02-19 18:32:06 +01:00
Christophe Grenier
93e3d30ab4
src/file_exe.c: add a frama-c assign clause to header_check_exe()
2021-02-19 18:02:45 +01:00
Christophe Grenier
96e4b01c13
src/file_evtx.c: add frama-c annotations
2021-02-19 17:53:34 +01:00
Christophe Grenier
a38d69d018
src/file_ess.c: add frama-c annotations
2021-02-19 17:49:20 +01:00
Christophe Grenier
0c8e49627f
src/file_emf.c: remove duplicated line
2021-02-19 17:41:48 +01:00
Christophe Grenier
beb8d2f90c
src/file_elf.c: split header_check_elf() in 4 functions
2021-02-19 17:21:36 +01:00
Christophe Grenier
9286b8b0dd
src/file_edb.c: add frama-c annotations
2021-02-19 16:47:16 +01:00
Christophe Grenier
726a675350
src/file_ecryptfs.c: add frama-c annotations
2021-02-15 12:57:24 +01:00
Christophe Grenier
089742b48e
src/file_e01.c: add frama-c annotations
2021-02-15 10:41:38 +01:00
Christophe Grenier
3b9dab0d58
src/file_dxf.c: improve frama-c annotations
2021-02-15 10:28:58 +01:00
Christophe Grenier
dd40997ea2
src/file_dwg.c: add frama-c annotations
2021-02-15 10:25:52 +01:00
Christophe Grenier
442ff5486f
src/file_dvr.c: add frama-c annotations
2021-02-15 10:20:10 +01:00
Christophe Grenier
43cb65f4be
src/file_dvi.c: add frama-c annotations
2021-02-15 10:10:20 +01:00
Christophe Grenier
58d43507e5
src/file_dv.c: additional frama-c annotation
2021-02-15 09:58:52 +01:00
Christophe Grenier
bf0d880332
src/file_dump.c: add frama-c annotations
2021-02-15 09:55:37 +01:00
Christophe Grenier
9fe00d70b4
src/file_dta.c: add frama-c annotations
2021-02-15 09:50:21 +01:00
Christophe Grenier
66f19119e5
src/file_dst.c: fix frama-c warnings
2021-02-15 09:46:55 +01:00
Christophe Grenier
14d17961cf
src/file_ds_store.c: fix frama-c warnings
2021-02-14 22:33:58 +01:00
Christophe Grenier
d2b34e8d46
src/file_dsc.c: add frama-c annotations
2021-02-14 22:19:45 +01:00
Christophe Grenier
0f5072f356
src/file_ds2.c: add frama-c annotations
2021-02-14 22:11:16 +01:00
Christophe Grenier
5acbbc4884
src/file_drw.c: add frama-c annotations
2021-02-14 21:53:14 +01:00
Christophe Grenier
a9d7aacefa
src/file_dpx.c: add frama-c annotations
2021-02-14 21:26:32 +01:00
Christophe Grenier
b4782358d1
src/file_dmp.c: add frama-c annotations
2021-02-14 21:08:04 +01:00
Christophe Grenier
bd0da1467d
src/file_djv.c: add frama-c annotations
2021-02-14 19:29:37 +01:00
Christophe Grenier
cabd29f151
src/file_dim.c: add frama-c annotations
2021-02-14 18:47:53 +01:00
Christophe Grenier
172c50e458
src/file_dex.c: add frama-c annotations
2021-02-14 18:40:41 +01:00
Christophe Grenier
7562c6d422
src/file_ddf.c: add frama-c annotations
2021-02-14 18:32:05 +01:00
Christophe Grenier
311eb50252
src/file_dcm.c: add frama-c annotations
2021-02-14 18:21:09 +01:00
Christophe Grenier
2aadf95c9f
src/file_dbn.c: add frama-c annotations
2021-02-14 18:18:57 +01:00
Christophe Grenier
36f6d74f06
src/file_dbf.c: add frama-c annotations
2021-02-14 18:11:26 +01:00
