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

3092 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christophe Grenier
b8625949c3 src/file_cab.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
Christophe Grenier
075a9f762b src/file_c4d.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
Christophe Grenier
810a9bc55c src/file_bz2.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
Christophe Grenier
8aaaf22893 src/file_bvr.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
Christophe Grenier
053fc5b5f9 src/file_bpg.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
Christophe Grenier
f4a95b0f45 src/file_bld.c: improve Frama-C annotations 2021-06-06 14:52:34 +02:00
Christophe Grenier
6fbe9cab43 src/file_bkf.c: improve Frama-C annotations 2021-06-06 14:50:07 +02:00
Christophe Grenier
999c134675 src/file_binvox.c: improve Frama-C annotations 2021-06-06 14:46:13 +02:00
Christophe Grenier
fae1b627c8 src/file_bin.c: improve Frama-C annotations 2021-06-06 14:42:59 +02:00
Christophe Grenier
4196972b34 src/file_bim.c: improve Frama-C annotations 2021-06-06 14:40:32 +02:00
Christophe Grenier
08459d053c src/file_bfa.c: Improve Frama-C annotations 2021-06-06 14:36:13 +02:00
Christophe Grenier
2caa89dc5f src/file_berkeley.c: update Frama-C annotations 2021-06-06 14:29:39 +02:00
Christophe Grenier
3d4237d6e1 src/file_bdm.c: improve Frama-C annotations 2021-06-06 14:22:22 +02:00
Christophe Grenier
a24c7e4a20 src/file_bac.c: improve Frama-C annotations 2021-06-06 14:19:20 +02:00
Christophe Grenier
7b59ff8d88 src/file_axx.c: Fix Frama-C warnings 2021-06-06 14:11:52 +02:00
Christophe Grenier
32b8ac916f src/file_axp.c: Improve Frama-C annotations 2021-06-06 13:44:06 +02:00
Christophe Grenier
cbb7462c12 src/file_au.c: Improve Frama-C annotations 2021-06-06 13:40:22 +02:00
Christophe Grenier
ed7e86a456 src/file_atd.c: Improve Frama-C annotations 2021-06-06 13:36:35 +02:00
Christophe Grenier
84121e8404 src/file_asm.c: Improve Frama-C annotations 2021-06-06 13:29:27 +02:00
Christophe Grenier
29b7a94592 src/file_asl.c: Improve Frama-C annotations 2021-06-06 13:24:36 +02:00
Christophe Grenier
fafefd6b7c src/file_asf.c: Improve Frama-C annotations 2021-06-06 13:21:03 +02:00
Christophe Grenier
eea33e1291 src/file_ari.c: Improve Frama-C annotations 2021-06-06 13:17:06 +02:00
Christophe Grenier
2269832a3c src/file_apple.c: Improve Frama-C annotations 2021-06-06 11:38:26 +02:00
Christophe Grenier
7c242d5602 src/file_ape.c: improve Frama-C annotations 2021-06-06 11:34:10 +02:00
Christophe Grenier
10470b2863 src/file_apa.c: Improve Frama-C annotations 2021-06-06 11:32:05 +02:00
Christophe Grenier
332da174ab src/file_amr.c: Improve Frama-C annotations 2021-06-06 11:28:41 +02:00
Christophe Grenier
ad878c302d src/file_ace.c: Improve Frama-C annotations 2021-06-06 11:26:08 +02:00
Christophe Grenier
23aa340517 src/file_amd.c: Improve Frama-C annotations 2021-06-06 10:01:28 +02:00
Christophe Grenier
8895673b12 src/file_als.c: Improve Frama-C annotations 2021-06-06 08:49:26 +02:00
Christophe Grenier
23e0fed9fb src/hdaccess.c: Do not use /dev/sdX anymore under cygwin 2021-06-05 20:11:25 +02:00
Christophe Grenier
ed2c66e464 src/file_all.c: Improve Frama-C annotations 2021-06-05 19:37:39 +02:00
Christophe Grenier
30db2f5681 src/file_aif.c: improve Frama-C annotations 2021-06-05 19:36:48 +02:00
Christophe Grenier
a7ad22df59 src/file_ahn.c: Improve Frama-C annotations 2021-06-05 19:33:57 +02:00
Christophe Grenier
38772b4519 src/file_afdesign.c: improve Frama-C annotations 2021-06-05 19:32:57 +02:00
Christophe Grenier
e5d7355cff src/fidentify.c: call file_rename_*() when available but only for 
Frama-C validation
 2021-06-05 19:31:35 +02:00
Christophe Grenier
d5e0f86c70 src/fidentify.c: call data_check_*() when available for better file check 2021-06-05 19:30:52 +02:00
Christophe Grenier
3f594bea7d src/fidentify.c: add more Frama-C annotations 2021-06-05 19:29:37 +02:00
Christophe Grenier
3413b21cd5 src/file_ado.c: Update FRama-C annotations 2021-06-05 10:22:43 +02:00
Christophe Grenier
e62badc0c4 src/file_acb.c: Update Frama-C annotations 2021-06-04 08:08:52 +02:00
Christophe Grenier
e0a2c208e9 src/file_a.c: Update Frama-C annotations 2021-06-03 14:01:05 +02:00
Christophe Grenier
b0b8f70954 src/file_abr.c: Update Frama-C annotations 2021-06-03 13:54:19 +02:00
Christophe Grenier
b34f6dc1f5 src/file_ab.c: update Frama-C annotations 2021-06-03 13:52:07 +02:00
Christophe Grenier
21bcf0d465 src/file_arj.c: update Frama-C annotations 2021-06-03 13:49:24 +02:00
Christophe Grenier
b3566526f5 apfs_common.c: add Frama-C annotations 2021-06-03 13:46:03 +02:00
Christophe Grenier
cd7b7032f6 TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
Christophe Grenier
8f11e3a897 src/file_xm.c: fix Frama-C annotations 2021-05-31 08:42:02 +02:00
Christophe Grenier
ecd31c56da src/filegen.[ch]: add Frama-C predicates 2021-05-31 08:41:06 +02:00
Christophe Grenier
264d9db8b9 PhotoRec: use LBA when listing EFI GPT partitions as TestDisk does 2021-05-31 08:38:11 +02:00
Christophe Grenier
af0dc07652 src/file_zip.c: fix mimetype parsing, improve detection of epub 2021-05-21 12:01:35 +02:00
Christophe Grenier
6d51ce0e8c Fix commit 65caf90a28 2021-05-12 16:19:44 +02:00