testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	file_tiff*: additional frama-c annotations	Christophe Grenier	7 days	1	-0/+1
*	src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help	Christophe Grenier	2019-11-23	1	-27/+84
*	src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413...	Christophe Grenier	2019-11-23	1	-31/+0
*	src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to	Christophe Grenier	2019-11-17	1	-63/+203
*	New prototype for get_date_from_tiff_header()	Christophe Grenier	2019-11-16	1	-1/+2
*	file_tiff: make the code more frama-c friendly	Christophe Grenier	2019-10-24	1	-21/+116
*	PhotoRec: TIFF parser, fix previous commit and add various frama-c annotations	Christophe Grenier	2019-09-07	1	-30/+76
*	PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as...	Christophe Grenier	2019-09-03	1	-37/+42
*	PhotoRec: use memcmp() instead of strcmp() when parsing exe and tiff files	Christophe Grenier	2018-02-18	1	-4/+4
*	PhotoRec: Limit recursion when parsing TIFF images files	Christophe Grenier	2018-02-15	1	-1/+1
*	PhotoRec: according to TIFF specification, directory entries must be sorted.	Christophe Grenier	2017-09-28	1	-5/+15
*	Split src/file_tiff.c in low endian and big endian files for easier diff	Christophe Grenier	2017-04-08	1	-0/+504