testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_abr.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
*	src/file_abr.c: Update Frama-C annotations	Christophe Grenier	2021-06-03	1	-14/+7
*	src/file_abr.c: stricter frama-c annotation	Christophe Grenier	2021-02-07	1	-1/+1
*	src/file_abr.c: fix frama-c warning in data_check_abr()	Christophe Grenier	2021-01-29	1	-1/+19
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+15
*	PhotoRec: fix potential endless loop/crash when parsing abr files,	Christophe Grenier	2018-02-26	1	-2/+4
*	PhotoRec: force to uint64_t some calculated_file_size	Christophe Grenier	2017-09-21	1	-2/+2
*	PhotoRec: avoid potential endless loops	Christophe Grenier	2017-09-12	1	-2/+2
*	PhotoRec: find the filesize for Adobe Brush .abr	Christophe Grenier	2016-09-03	1	-2/+38
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	PhotoRec: recover Adobe Brush .abr	Christophe Grenier	2012-09-16	1	-0/+59