index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
dev
PhotoRec: Using bgz extension instead of gz for bgziped files
Christophe Grenier
6 years
master
src/dirpart.c: rework dir_partition_init()
Christophe Grenier
2 weeks
Tag
Download
Author
Age
v7.2
commit 281be432dd...
Christophe Grenier
5 months
v7.1
commit 3bb714e653...
Christophe Grenier
5 years
v7.0
commit 1a22f378fb...
Christophe Grenier
9 years
v6.14
commit 44ea67379c...
Christophe Grenier
11 years
v6.13
commit fe1d27b519...
Christophe Grenier
13 years
v6.12
commit cb7da27191...
Christophe Grenier
13 years
v6.11
commit 36aa8d5907...
Christophe Grenier
15 years
v6.10
commit 1dcd5bdd23...
Christophe Grenier
16 years
v6.9
commit 206df0d5b4...
Christophe Grenier
16 years
Age
Commit message
Author
Files
Lines
2024-07-11
src/dirpart.c: rework dir_partition_init()
HEAD
master
Christophe Grenier
1
-11
/
+13
2024-06-08
src/file_exe.c: Add loop variant so Frama-C can proves that functions
Christophe Grenier
1
-0
/
+9
2024-05-21
Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()
Christophe Grenier
3
-157
/
+90
2024-05-21
src/file_zip.c: Proves file_check_zip() terminates (Frama-C)
Christophe Grenier
1
-8
/
+40
2024-05-18
src/common.c: strip_dup() - Add annotations so Frama-C can assert that
Christophe Grenier
1
-1
/
+6
2024-05-18
src/file_sig.c: remove extra definition
Christophe Grenier
1
-3
/
+0
2024-05-18
src/memmem.h: Add Frama-C annotations to td_memmem(), so Frama-C can
Christophe Grenier
1
-0
/
+1
2024-05-18
src/file_txt.c: rewrite some functions so Frama-C can assert that
Christophe Grenier
1
-108
/
+175
2024-05-18
src/file_jpg.c: jpg_search_marker() - add annotations so Frama-C knows
Christophe Grenier
1
-0
/
+4
2024-05-14
src/hdaccess.c: Fix build with musl-1.2.5
Christophe Grenier
1
-0
/
+3
[...]
Clone
https://git.cgsecurity.org/testdisk.git