testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	Improve Frama-C annotations for a bunch of files	Christophe Grenier	2024-01-01	1	-1/+6
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	src/file_wv.c: improve Frama-C annotations	Christophe Grenier	2021-07-28	1	-12/+5
*	src/file_wv.c: fix problems reported by Frama-C	Christophe Grenier	2021-03-14	1	-53/+76
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+2
*	PhotoRec: avoid potential endless loops	Christophe Grenier	2017-09-12	1	-1/+1
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	remove always-true memcmp	Christophe Grenier	2015-05-11	1	-2/+2
*	PhotoRec: stricter check for .wv	Christophe Grenier	2014-08-13	1	-0/+4
*	PhotoRec: stricter check for .wv	Christophe Grenier	2014-07-26	1	-13/+11
*	PhotoRec: use an enum for values returned by data_check()	Christophe Grenier	2013-12-14	1	-5/+5
*	PhotoRec: recover WavPack, Hybrid Lossless Wavefile Compressor, .wv files	Christophe Grenier	2008-11-13	1	-0/+117