Christophe Grenier
|
d90b4571d7
|
src/fat_common.c, src/fat_dir.c: more Frama-C annotations
|
2023-10-08 14:13:56 +02:00 |
|
Christophe Grenier
|
12c2aabaa3
|
src/fat_common.[ch]: update Frama-C annotations
|
2021-06-12 13:22:19 +02:00 |
|
Christophe Grenier
|
74f7cf79a3
|
Move low-level structure from fat.h to fat_common.h
|
2020-09-01 19:09:12 +02:00 |
|
Christophe Grenier
|
b58be737f0
|
new functions is_fat_directory() and fat_get_cluster_from_entry()
rename sectors() to fat_sectors()
|
2013-11-01 13:42:51 +01:00 |
|
Christophe Grenier
|
e976d6af99
|
PhotoRec: recover FAT filesystem (ie. floppy image)
Note, you should disable the recovery of other filetypes
|
2009-06-21 19:43:25 +02:00 |
|