testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_fits.c: more frama-c annotations	Christophe Grenier	2023-12-27	1	-2/+12
*	src/file.c: add various Frama-C annotations in data_check_()	Christophe Grenier	2023-10-08	1	-0/+2
*	src/file_fits.c: improve Frama-C annotations.	Christophe Grenier	2021-06-12	1	-14/+5
*	file_*.c: add various Frama-C annotations	Christophe Grenier	2021-04-10	1	-2/+2
*	src/file_fits.c: two integer overflow remains...	Christophe Grenier	2021-02-20	1	-1/+2
*	src/file_fits.c: improve frama-c annotations.	Christophe Grenier	2021-01-31	1	-7/+43
*	src/file_fits.c: small steps to make the parser more frama-c friendly.	Christophe Grenier	2020-10-28	1	-13/+33
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-5/+31
*	PhotoRec: Change recovered filename to handle more than 2^32 sectors.	Christophe Grenier	2018-04-29	1	-1/+1
*	PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zip	Christophe Grenier	2018-02-18	1	-1/+1
*	PhotoRec: use get_time_from_xxx() new functions	Christophe Grenier	2017-04-08	1	-13/+3
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	PhotoRec: disable check of .fits for small blocksize	Christophe Grenier	2014-07-26	1	-0/+2
*	PhotoRec: some data_check_() were stopping too late	Christophe Grenier	2014-03-12	1	-4/+1
*	PhotoRec: use an enum for values returned by data_check()	Christophe Grenier	2013-12-14	1	-4/+4
*	constify more variables	Christophe Grenier	2013-06-01	1	-1/+1
*	PhotoRec: fix .fits filesize detection	Christophe Grenier	2013-04-11	1	-70/+111
*	code cleanup: remove unused but set variables	Christophe Grenier	2012-04-14	1	-5/+3
*	PhotoRec: avoid extension with more than 3 letters for DOS/DJGPP version	Christophe Grenier	2009-07-31	1	-0/+4
*	Fix some compilation warnings	Christophe Grenier	2009-02-03	1	-1/+0
*	Code cleanup after using LLVM/Clang Static Analyzer	Christophe Grenier	2008-11-16	1	-1/+1
*	PhotoRec: recover NASA Flexible Image Transport System (FITS) and Blu-ray MPE...	Christophe Grenier	2008-04-29	1	-0/+143