testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_amr.c: add "terminates \true;" annotations to data_check_amr() and h...	Christophe Grenier	2023-12-27	1	-1/+4
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	src/file_amr.c: Improve Frama-C annotations	Christophe Grenier	2021-06-06	1	-14/+5
*	file_*.c: add various Frama-C annotations	Christophe Grenier	2021-04-10	1	-1/+2
*	src/file_amr.c: fix frama-c warning in data_check_amr()	Christophe Grenier	2021-01-29	1	-6/+15
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-0/+15
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	PhotoRec: detect .amr file size	Christophe Grenier	2014-08-13	1	-35/+38
*	PhotoRec: use an enum for values returned by data_check()	Christophe Grenier	2013-12-14	1	-2/+2
*	PhotoRec: add information about amr file format	Christophe Grenier	2010-05-21	1	-0/+28
*	PhotoRec: recover Adaptive Multi-Rate .amr audio file and Personal Ancestral ...	Christophe Grenier	2008-05-27	1	-0/+66