testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_mxf.c: reduce function complexity for frama-c	Christophe Grenier	2023-12-27	1	-22/+34
*	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_mxf.c: improve Frama-C annotations	Christophe Grenier	2021-07-03	1	-14/+5
*	src/file_mxf.c: fix frama-c warnings	Christophe Grenier	2021-02-07	1	-22/+36
*	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	-5/+5
*	PhotoRec: fix missing break in src/file_mxf.c that may result in incorrect fi...	Christophe Grenier	2016-06-22	1	-0/+1
*	Fix a few warnings	Christophe Grenier	2016-06-22	1	-1/+4
*	PhotoRec: fix recovered .mxf filesize	Christophe Grenier	2016-06-22	1	-0/+90
*	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	-17/+10
*	PhotoRec: recover .hds Parallels disk image and .mxf Material Exchange Format...	Christophe Grenier	2009-01-14	1	-0/+71