testdisk - TestDisk & PhotoRec

Branch	Commit message	Author	Age
dev	PhotoRec: Using bgz extension instead of gz for bgziped files	Christophe Grenier	21 months
master	add a few frama-c annotations	Christophe Grenier	3 weeks


Age	Commit message	Author	Files	Lines
2020-01-01	add a few frama-c annotationsHEAD master	Christophe Grenier	3	-1/+17
2020-01-01	src/file_jpg.c: declare data_check_jpg() static	Christophe Grenier	1	-2/+4
2020-01-01	src/file_emf.c: add frama-c annotations	Christophe Grenier	1	-28/+159
2020-01-01	src/file_mp3.c: additional frama-c annotations	Christophe Grenier	2	-43/+45
2019-12-30	EFI GPT: List Apple Core Storage by its name	Christophe Grenier	2	-0/+3
2019-12-30	src/file_txt.c: remove some commented lines	Christophe Grenier	1	-13/+0
2019-12-29	src/file_txt.c: add a lot of frama-c annotations	Christophe Grenier	3	-89/+2538
2019-12-28	src/file_txt.c: code cleanup (work in progress)	Christophe Grenier	1	-117/+179
2019-12-28	src/file_txt.c: use static variable for each extension	Christophe Grenier	1	-104/+144
2019-12-28	date_dos2unix(): adapt a more recent and readable version from Linux kernel.	Christophe Grenier	5	-28/+63
[...]

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