Christophe Grenier
|
7c660ff10b
|
src/file*.c: add various Frama-C annotations in data_check_*()
|
2023-10-08 14:31:56 +02:00 |
|
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
|
b43d23d66a
|
src/file_dxf.c: improve Frama-C annotations
|
2021-06-07 13:41:02 +02:00 |
|
Christophe Grenier
|
3b9dab0d58
|
src/file_dxf.c: improve frama-c annotations
|
2021-02-15 10:28:58 +01:00 |
|
Christophe Grenier
|
9572df41f0
|
src/file_dxf.c: update frama-c annotations
|
2021-01-29 19:32:49 +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
|
a67f0c1ced
|
PhotoRec: code cleanup for .dxf recovery
|
2014-07-26 15:50:07 +02:00 |
|
Christophe Grenier
|
3213247d99
|
PhotoRec: use an enum for values returned by data_check()
rename .m2ts and .ts using pid from header
|
2013-12-14 21:40:04 +01:00 |
|
Christophe Grenier
|
2b2f4bf3d7
|
Remove unnecessary time.h header inclusion
|
2013-04-19 08:18:30 +02:00 |
|
Christophe Grenier
|
7b41ff4c57
|
PhotoRec: file_search_footer() gets a new parameter
|
2009-05-27 09:19:13 +02:00 |
|
Christophe Grenier
|
203df0e3a5
|
Fix some compilation warnings
|
2009-02-03 09:29:29 +01:00 |
|
Christophe Grenier
|
c4f158b6ff
|
Fix some missing headers for cygwin
|
2009-02-01 20:54:44 +01:00 |
|
Christophe Grenier
|
64dd89ad43
|
PhotoRec: recover Drawing Interchange File .dxf files
|
2009-01-18 15:07:44 +01:00 |
|