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

2885 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Christophe Grenier
3512538595 Merge branch 'farvardin' 2021-05-12 14:58:54 +02:00
Christophe Grenier
f7b0240de9 src/file_drw2.c: remove commented code and add Frama-C annotations 2021-05-12 14:57:37 +02:00
Christophe Grenier
120a8ec79e Merge https://github.com/farvardin/testdisk into farvardin 2021-05-12 14:53:58 +02:00
Christophe Grenier
add9add609 src/ntfs_adv.c: add missing header 2021-05-09 22:52:40 +02:00
Christophe Grenier
65caf90a28 src/common.h: add Frama-C annotations 2021-05-09 22:46:55 +02:00
Christophe Grenier
6d6a90183c Update rc files to 2021 2021-05-09 22:46:55 +02:00
Christophe Grenier
12d7f9f096 compile.sh: add target aarch64-QNAP-linux-gnu 2021-05-09 08:46:39 +02:00