summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier6 years
masterProves that file_check_tiff_be_aux() and file_check_tiff_le_aux()Christophe Grenier5 days
 
TagDownloadAuthorAge
v7.2commit 281be432dd...Christophe Grenier3 months
v7.1commit 3bb714e653...Christophe Grenier5 years
v7.0commit 1a22f378fb...Christophe Grenier9 years
v6.14commit 44ea67379c...Christophe Grenier11 years
v6.13commit fe1d27b519...Christophe Grenier13 years
v6.12commit cb7da27191...Christophe Grenier13 years
v6.11commit 36aa8d5907...Christophe Grenier15 years
v6.10commit 1dcd5bdd23...Christophe Grenier16 years
v6.9commit 206df0d5b4...Christophe Grenier16 years
 
AgeCommit messageAuthorFilesLines
5 daysProves that file_check_tiff_be_aux() and file_check_tiff_le_aux()HEADmasterChristophe Grenier3-157/+90
5 dayssrc/file_zip.c: Proves file_check_zip() terminates (Frama-C)Christophe Grenier1-8/+40
8 dayssrc/common.c: strip_dup() - Add annotations so Frama-C can assert thatChristophe Grenier1-1/+6
8 dayssrc/file_sig.c: remove extra definitionChristophe Grenier1-3/+0
8 dayssrc/memmem.h: Add Frama-C annotations to td_memmem(), so Frama-C canChristophe Grenier1-0/+1
8 dayssrc/file_txt.c: rewrite some functions so Frama-C can assert thatChristophe Grenier1-108/+175
8 dayssrc/file_jpg.c: jpg_search_marker() - add annotations so Frama-C knowsChristophe Grenier1-0/+4
12 dayssrc/hdaccess.c: Fix build with musl-1.2.5Christophe Grenier1-0/+3
12 dayssrc/file_tiff_be.c: avoid to shadow a variableChristophe Grenier1-4/+4
2024-04-02paddr_t may be already defined in sys/types.h - Fix compilation on OpenBSDChristophe Grenier2-0/+7
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git