summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier21 months
masteradd a few frama-c annotationsChristophe Grenier3 weeks
 
 
AgeCommit messageAuthorFilesLines
2020-01-01add a few frama-c annotationsHEADmasterChristophe Grenier3-1/+17
2020-01-01src/file_jpg.c: declare data_check_jpg() staticChristophe Grenier1-2/+4
2020-01-01src/file_emf.c: add frama-c annotationsChristophe Grenier1-28/+159
2020-01-01src/file_mp3.c: additional frama-c annotationsChristophe Grenier2-43/+45
2019-12-30EFI GPT: List Apple Core Storage by its nameChristophe Grenier2-0/+3
2019-12-30src/file_txt.c: remove some commented linesChristophe Grenier1-13/+0
2019-12-29src/file_txt.c: add a lot of frama-c annotationsChristophe Grenier3-89/+2538
2019-12-28src/file_txt.c: code cleanup (work in progress)Christophe Grenier1-117/+179
2019-12-28src/file_txt.c: use static variable for each extensionChristophe Grenier1-104/+144
2019-12-28date_dos2unix(): adapt a more recent and readable version from Linux kernel.Christophe Grenier5-28/+63
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git