testdisk/src/file_sgcta.c, branch master TestDisk & PhotoRec src/file_sgcta.c: improve Frama-C annotations 2021-07-24T13:23:28+00:00 Christophe Grenier grenier@cgsecurity.org 2021-07-24T13:23:28+00:00 1251f83f08bc12e6cf81f57021ee5f79ac8dddff 






src/file_sgcta.c: add Frama-C annotations
2021-03-05T12:31:55+00:00

Christophe Grenier
grenier@cgsecurity.org

2021-03-05T12:31:55+00:00

0d50de3d04cc8cabc248e93205eb7b97517520cb












PhotoRec: add an ifdef in each file for easier frama-c testing
2020-09-11T10:58:00+00:00

Christophe Grenier
grenier@cgsecurity.org

2020-09-11T10:58:00+00:00

79e2b889daf9992e4ed2c08b572a1544d62ed119












PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
2015-06-13T09:58:44+00:00

Christophe Grenier
grenier@cgsecurity.org

2015-06-13T09:58:44+00:00

35ddcde3552812ec97bb39c9cfb3fe7a3eee5efd












PhotoRec:recover Ciel.sgtca files
2015-04-05T10:08:23+00:00

Christophe Grenier
grenier@cgsecurity.org

2015-04-05T10:08:23+00:00

79a9c21acd41e05d82c7a6d0e935b35dbc9561f4