Christophe Grenier
|
0ff10a312b
|
src/file_flp.c: improve Frama-C annotations
|
2021-06-12 22:19:14 +02:00 |
|
Christophe Grenier
|
1e9a48aa7d
|
src/file_flp.c: add frama-c annotations
|
2021-02-21 09:11:21 +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
|
2cc3a1fd2b
|
PhotoRec: force to uint64_t some calculated_file_size
|
2017-09-21 18:10:27 +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
|
6705437287
|
add gcc_struct attribute to all __packed__ structure
do not use fseeko() with mingw32 gcc compiler
|
2015-04-11 14:23:16 +02:00 |
|
Christophe Grenier
|
918dbd1be0
|
PhotoRec: stricter check for .flp
|
2014-08-13 08:42:39 +02:00 |
|
Christophe Grenier
|
fe300381a6
|
PhotoRec: recover Fruity Loop .flp files
|
2009-02-01 11:02:35 +01:00 |
|