testdisk - TestDisk & PhotoRec

	Commit message (Expand)	Author	Age	Files	Lines
*	src/file_lzh.c: add more frama-c annotations	Christophe Grenier	2023-12-27	1	-0/+2
*	src/file_lzh.c: fix wrong Frama-C annotations	Christophe Grenier	2023-10-08	1	-1/+1
*	Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification	Christophe Grenier	2022-04-13	1	-3/+3
*	src/file_lzh.c: fix Frama-C annotations	Christophe Grenier	2021-07-02	1	-14/+19
*	src/file_lzh.c: add frama-c annotations	Christophe Grenier	2021-02-24	1	-0/+20
*	PhotoRec: add an ifdef in each file for easier frama-c testing	Christophe Grenier	2020-09-11	1	-3/+8
*	PhotoRec: avoid potential out of bound read access when renaming damaged .lzh...	Christophe Grenier	2016-06-26	1	-1/+3
*	PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)	Christophe Grenier	2015-06-13	1	-1/+0
*	PhotoRec: log the correct filename if file has been renamed	Christophe Grenier	2015-06-12	1	-3/+3
*	add gcc_struct attribute to all __packed__ structure	Christophe Grenier	2015-04-11	1	-3/+3
*	Turn off various signed/unsigned comparaison warnings	Christophe Grenier	2014-11-15	1	-5/+2
*	Fix various warning reported by gcc	Christophe Grenier	2013-05-25	1	-1/+1
*	PhotoRec: recover LZH/LArc archive	Christophe Grenier	2013-05-05	1	-0/+159