Christophe Grenier
|
305d71ea0a
|
Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
using frama-c
|
2022-04-13 09:20:45 +02:00 |
|
Christophe Grenier
|
8170d1764d
|
src/file_fob.c: improve Frama-C annotations
|
2021-06-13 18:29:29 +02:00 |
|
Christophe Grenier
|
2a508dcefd
|
src/file_fob.c: add frama-c annotations
|
2021-02-21 10:49:47 +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
|
35ddcde355
|
PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
|
2015-06-13 11:58:44 +02:00 |
|
Christophe Grenier
|
f719dd1693
|
PhotoRec: define a minimal size for .fob
|
2014-08-09 09:44:39 +02:00 |
|
Christophe Grenier
|
90dcbb01f2
|
PhotoRec: code cleanup for .fob recovery
|
2014-07-26 15:51:16 +02:00 |
|
Christophe Grenier
|
2b648d3b4d
|
PhotoRec: add support for
- Ahnenblatt .ahn
- Microsoft Dynamics NAV (MS Navision) fbk/fdb/fob
- Wink .wnk
- tcpdump capture file .pcap
|
2008-08-05 09:42:57 +02:00 |
|