summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier2 years
masterConstify more function parametersChristophe Grenier14 days
 
 
AgeCommit messageAuthorFilesLines
14 daysConstify more function parametersHEADmasterChristophe Grenier17-18/+16
2020-06-19Constify a lot of function parametersChristophe Grenier80-774/+717
2020-06-18PhotoRec: stricter check for zip filesChristophe Grenier1-6/+9
2020-06-18PhotoRec: better check for wmf with placeable recordChristophe Grenier1-10/+40
2020-06-18src/file_bz2.c: stricter check in header_check_bz2()Christophe Grenier1-1/+1
2020-06-18src/file_asf.c: stricter check in header_check_asf()Christophe Grenier1-19/+28
2020-06-18src/fidentify.c: make file_identify() more frama-c friendlyChristophe Grenier1-5/+13
2020-06-18src/file_gpg.c: update frama-c annotationsChristophe Grenier1-37/+67
2020-06-18src/file_swf.c: add frama-c annotationsChristophe Grenier1-2/+179
2020-06-18Fix frama-c annotation for file_allow_nl()Christophe Grenier1-1/+1
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git