summaryrefslogtreecommitdiffstats
path: root/src/fidentify.c
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2019-12-28 12:06:34 +0100
committerChristophe Grenier <grenier@cgsecurity.org>2019-12-28 12:06:34 +0100
commit16882c98ea152cf344104e9e43a9b017a59819e3 (patch)
tree123f9378bbe818df55f4b26b65932e67974806ed /src/fidentify.c
parentd00003e6e93e82fe4d7e279130e57595dbea2bc5 (diff)
date_dos2unix(): adapt a more recent and readable version from Linux kernel.
file_rsearch(): rewrite it add frama-c annotations to various functions
Diffstat (limited to 'src/fidentify.c')
-rw-r--r--src/fidentify.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/fidentify.c b/src/fidentify.c
index 24b9544..be44e6b 100644
--- a/src/fidentify.c
+++ b/src/fidentify.c
@@ -85,9 +85,10 @@ static int file_identify(const char *filename, const unsigned int options)
file_recovery_t file_recovery_new;
file_recovery_t file_recovery;
reset_file_recovery(&file_recovery);
+ reset_file_recovery(&file_recovery_new);
file_recovery.blocksize=blocksize;
file_recovery_new.blocksize=blocksize;
- file_recovery_new.file_stat=NULL;
+ /*@ assert file_recovery_new.file_stat==NULL; */
td_list_for_each(tmpl, &file_check_list.list)
{
struct td_list_head *tmp;