summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier24 months
masterSupport for further WISO Steuer software versionsVolker Wildi3 weeks
 
 
AgeCommit messageAuthorFilesLines
2020-03-09Support for further WISO Steuer software versionsHEADmasterVolker Wildi1-5/+32
2020-02-01rename list_file_enable to array_file_enableChristophe Grenier9-21/+21
2020-01-26frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier6-8/+62
2020-01-26configure.ac: January 2020Christophe Grenier3-43/+53
2020-01-26PhotoRec: fix get_prev_location_smart(), avoid a potential enless loopChristophe Grenier1-3/+4
2020-01-26frama-c: src/file_jpg.c - annotate mpo codeChristophe Grenier1-117/+262
2020-01-26PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ...Christophe Grenier2-50/+59
2020-01-26frama-c: annotate file_check_add_tail() and td_list_add()Christophe Grenier2-1/+16
2020-01-18PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier13-12/+115
2020-01-18PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.Christophe Grenier3-3/+104
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git