testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_dad.c: more frama-c annotations	Christophe Grenier	2023-12-27	1	-0/+3
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	src/file_dad.c: add Frama-C annotations	Christophe Grenier	2021-06-06	1	-14/+6
*	PhotoRec: check that file_check!=NULL before calling header_ignored()	Christophe Grenier	2021-04-10	1	-2/+3
*	src/file_dad.c: fix frama-c warnings in data_check_dad()	Christophe Grenier	2021-01-29	1	-7/+32
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+5
*	PhotoRec: do not limit .raf filesize for recent version	Christophe Grenier	2016-02-25	1	-1/+1
*	PhotoRec: relax .dad filesize detection	Christophe Grenier	2015-10-11	1	-1/+1
*	PhotoRec: reduce the number of backward search	Christophe Grenier	2015-09-03	1	-2/+5
*	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: remove useless file_recovery NULL check	Christophe Grenier	2014-10-05	1	-2/+1
*	PhotoRec: stricter check for .dad	Christophe Grenier	2014-08-09	1	-0/+4
*	PhotoRec: disable check of .dad for small blocksize	Christophe Grenier	2014-07-26	1	-4/+10
*	PhotoRec: recover .dad Micae DVR files	Christophe Grenier	2014-05-27	1	-0/+89