testdisk - TestDisk & PhotoRec

Branch	Commit message	Author	Age
dev	PhotoRec: Using bgz extension instead of gz for bgziped files	Christophe Grenier	22 months
master	frama-c: add annotations for fidentify, checks reduced to file_bmp.c and	Christophe Grenier	3 weeks


Age	Commit message	Author	Files	Lines
2020-01-26	frama-c: add annotations for fidentify, checks reduced to file_bmp.c andHEAD master	Christophe Grenier	6	-8/+62
2020-01-26	configure.ac: January 2020	Christophe Grenier	3	-43/+53
2020-01-26	PhotoRec: fix get_prev_location_smart(), avoid a potential enless loop	Christophe Grenier	1	-3/+4
2020-01-26	frama-c: src/file_jpg.c - annotate mpo code	Christophe Grenier	1	-117/+262
2020-01-26	PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ...	Christophe Grenier	2	-50/+59
2020-01-26	frama-c: annotate file_check_add_tail() and td_list_add()	Christophe Grenier	2	-1/+16
2020-01-18	PhotoRec: add a few frama-c annotations, mostly in header_check functions	Christophe Grenier	13	-12/+115
2020-01-18	PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.	Christophe Grenier	3	-3/+104
2020-01-01	add a few frama-c annotations	Christophe Grenier	3	-1/+17
2020-01-01	src/file_jpg.c: declare data_check_jpg() static	Christophe Grenier	1	-2/+4
[...]

Clone
https://git.cgsecurity.org/testdisk.git