testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_bac.c: more frama-c annotations	Christophe Grenier	2023-12-27	1	-0/+2
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification	Christophe Grenier	2022-04-13	1	-1/+1
*	src/file_bac.c: improve Frama-C annotations	Christophe Grenier	2021-06-06	1	-16/+6
*	src/file_bac.c: remove some dead code	Christophe Grenier	2021-02-13	1	-6/+0
*	src/file_bac.c: fix frama-c warnings in data_check_bac()	Christophe Grenier	2021-01-29	1	-4/+7
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+38
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	add gcc_struct attribute to all __packed__ structure	Christophe Grenier	2015-04-11	1	-1/+1
*	PhotoRec: stricter check for .bac	Christophe Grenier	2014-08-09	1	-4/+19
*	PhotoRec: limit data check for .bac to compatible blocksize	Christophe Grenier	2014-07-24	1	-0/+6
*	PhotoRec: better check to avoid to concat mp3 files	Christophe Grenier	2014-03-30	1	-1/+1
*	PhotoRec: use an enum for values returned by data_check()	Christophe Grenier	2013-12-14	1	-3/+3
*	PhotoRec: fix .bac recovery when blocksize=1	Christophe Grenier	2013-03-10	1	-22/+18
*	PhotoRec: recover Bacula backup .bac and Qemu image .cow (COW and COW2)	Christophe Grenier	2009-09-03	1	-0/+97