Christophe Grenier
|
7c660ff10b
|
src/file*.c: add various Frama-C annotations in data_check_*()
|
2023-10-08 14:31:56 +02:00 |
|
Christophe Grenier
|
32b8ac916f
|
src/file_axp.c: Improve Frama-C annotations
|
2021-06-06 13:44:06 +02:00 |
|
Christophe Grenier
|
ea9b707fc5
|
src/file_axp.c: better file_check
|
2021-02-13 10:13:16 +01:00 |
|
Christophe Grenier
|
f8f14a0a34
|
src/file_axp.c: fix frama-c warnings in data_check_axp()
|
2021-01-29 18:29:00 +01: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
|
6f1e2055c2
|
PhotoRec: recover .axp Pinnacle Studio
|
2015-07-19 10:43:43 +02:00 |
|