Christophe Grenier
|
1f98465db2
|
src/file_wnk.c: improve Frama-C annotations
|
2021-07-28 13:22:18 +02:00 |
|
Christophe Grenier
|
a090d30f5b
|
src/file_wnk.c: add Frama-C annotations
|
2021-03-14 14:05:19 +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
|
e1ca401030
|
remove always-true memcmp
|
2015-05-11 09:25:39 +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 |
|