4 commits

Author	SHA1	Message	Date
Christophe Grenier	9c37fccbd3	src/apfs_common.c: fix Frama-C annotations for fletcher64()	2023-10-08 14:11:47 +02:00
Christophe Grenier	97f7083ba8	src/apfs_common.c: avoid integer overflow when checking block count.	2023-02-19 09:14:47 +01:00
Christophe Grenier	b3566526f5	apfs_common.c: add Frama-C annotations	2021-06-03 13:46:03 +02:00
Christophe Grenier	cd7b7032f6	TestDisk: detect APFS partition	2021-06-02 19:07:44 +02:00