Christophe Grenier
|
c417f64b8b
|
src/file_gi.c: improve Frama-C annotations
|
2021-06-14 18:49:06 +02:00 |
|
Christophe Grenier
|
629ab589c2
|
src/file_gi.c: add frama-c annotations
|
2021-02-21 17:38:11 +01:00 |
|
Christophe Grenier
|
8972b0caae
|
PhotoRec: src/file_gi.c - Ignore header when recorded filesize is too large for a real file
|
2020-09-13 18:55:22 +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
|
58c8c4651f
|
PhotoRec: recover Roxio Creator .gi files
|
2015-09-03 07:44:28 +02:00 |
|