Commit graph

2633 commits

Author SHA1 Message Date
Christophe Grenier
7e2e5fb08e src/file_http.c: add frama-c annotations 2021-02-22 20:51:15 +01:00
Christophe Grenier
014ad834cf src/file_hr9.c: add frama-c annotations 2021-02-22 20:48:22 +01:00
Christophe Grenier
e1124cc355 src/hfsp_struct.h: move struct from src/hfsp.h
src/file_hfsp.c: add frama-c annotations
2021-02-22 20:41:15 +01:00
Christophe Grenier
dab7c27606 src/ntfs_struct.h: move struct from src/ntfs.h
src/file_mft.c: add frama-c annotations
2021-02-22 20:25:58 +01:00
Christophe Grenier
154413e7d5 src/file_hds.c: add frama-c annotations 2021-02-22 19:23:29 +01:00
Christophe Grenier
4d7814b74f src/file_hdr.c: add frama-c annotations 2021-02-22 19:20:25 +01:00
Christophe Grenier
9654ccc1bf src/file_hdf.c: add some frama-c annotations 2021-02-22 19:13:48 +01:00
Christophe Grenier
ae37ef302e src/file_gpx.c: add frama-c annotations 2021-02-22 18:40:31 +01:00
Christophe Grenier
9ffb2536a8 src/file_gpg.c: improve frama-c annotations 2021-02-22 18:38:23 +01:00
Christophe Grenier
9cc7caa7b2 src/file_gp5.c: add frama-c annotations 2021-02-21 17:59:29 +01:00
Christophe Grenier
a1fc7b05a1 src/file_gp2.c: add frama-c annotations 2021-02-21 17:56:08 +01:00
Christophe Grenier
89d6c15e13 src/file_gm6.c: add frama-c annotations 2021-02-21 17:52:48 +01:00
Christophe Grenier
629ab589c2 src/file_gi.c: add frama-c annotations 2021-02-21 17:38:11 +01:00
Christophe Grenier
da183d2a86 src/file_gho.c: add frama-c annotations 2021-02-21 17:14:18 +01:00
Christophe Grenier
846f235fc5 src/file_gct.c: add frama-c annotations 2021-02-21 17:12:04 +01:00
Christophe Grenier
dd2716184a src/file_gam.c: add frama-c annotations 2021-02-21 17:09:59 +01:00
Christophe Grenier
ddefe8deee src/file_fwd.c: add frama-c annotations 2021-02-21 17:07:22 +01:00
Christophe Grenier
1c916942a5 src/file_frm.c: add frama-c annotations 2021-02-21 16:53:29 +01:00
Christophe Grenier
dd52b6803f src/file_freeway.c: add frama-c annotations 2021-02-21 13:32:28 +01:00
Christophe Grenier
03be63a260 src/file_fp7.c: add frama-c annotations 2021-02-21 12:15:58 +01:00
Christophe Grenier
b5f5d9d73b src/file_fp5.c: add frama-c annotations 2021-02-21 11:19:47 +01:00
Christophe Grenier
d740223416 src/file_fos.c: add frama-c annotations 2021-02-21 10:54:38 +01:00
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