summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier7 years
masterMerge branch 'pedro-javierf'Christophe Grenier3 months
 
TagDownloadAuthorAge
v7.2commit 281be432dd...Christophe Grenier9 months
v7.1commit 3bb714e653...Christophe Grenier5 years
v7.0commit 1a22f378fb...Christophe Grenier10 years
v6.14commit 44ea67379c...Christophe Grenier11 years
v6.13commit fe1d27b519...Christophe Grenier13 years
v6.12commit cb7da27191...Christophe Grenier14 years
v6.11commit 36aa8d5907...Christophe Grenier16 years
v6.10commit 1dcd5bdd23...Christophe Grenier16 years
v6.9commit 206df0d5b4...Christophe Grenier17 years
 
AgeCommit messageAuthorFilesLines
2024-09-01Merge branch 'pedro-javierf'HEADmasterChristophe Grenier1-1/+1
2024-09-01TestDisk: fix build without ncursesPedro Javier1-1/+1
2024-08-05PhotoRec: Fix wrong extension for Revelation password database.Christophe Grenier3-18/+19
2024-07-11src/dirpart.c: rework dir_partition_init()Christophe Grenier1-11/+13
2024-06-08src/file_exe.c: Add loop variant so Frama-C can proves that functionsChristophe Grenier1-0/+9
2024-05-21Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()Christophe Grenier3-157/+90
2024-05-21src/file_zip.c: Proves file_check_zip() terminates (Frama-C)Christophe Grenier1-8/+40
2024-05-18src/common.c: strip_dup() - Add annotations so Frama-C can assert thatChristophe Grenier1-1/+6
2024-05-18src/file_sig.c: remove extra definitionChristophe Grenier1-3/+0
2024-05-18src/memmem.h: Add Frama-C annotations to td_memmem(), so Frama-C canChristophe Grenier1-0/+1
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git
generated by cgit (git 2.34.1) at 2024-11-21 07:20:22 +0000