Christophe Grenier
|
7c660ff10b
|
src/file*.c: add various Frama-C annotations in data_check_*()
|
2023-10-08 14:31:56 +02:00 |
|
Christophe Grenier
|
c9fd57b611
|
src/file_vault.c: improve Frama-C annotations
|
2021-07-25 18:58:02 +02:00 |
|
Christophe Grenier
|
074168cb16
|
src/file_vault.c: add Frama-C annotations
|
2021-04-10 11:11:14 +02:00 |
|
Christophe Grenier
|
79e2b889da
|
PhotoRec: add an ifdef in each file for easier frama-c testing
|
2020-09-11 12:58:00 +02:00 |
|
Christophe Grenier
|
35ddcde355
|
PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
|
2015-06-13 11:58:44 +02:00 |
|
Christophe Grenier
|
e1ca401030
|
remove always-true memcmp
|
2015-05-11 09:25:39 +02:00 |
|
Christophe Grenier
|
3213247d99
|
PhotoRec: use an enum for values returned by data_check()
rename .m2ts and .ts using pid from header
|
2013-12-14 21:40:04 +01:00 |
|
Christophe Grenier
|
b7c7a4fe30
|
PhotoRec: recover McAfee Anti-Theft/FileVault .vault files
|
2011-04-03 18:40:16 +02:00 |
|