From 9259827c9c8fa2264fc02de9420a9fec5f0689a7 Mon Sep 17 00:00:00 2001
From: Christophe Grenier <grenier@cgsecurity.org>
Date: Wed, 24 Feb 2021 08:12:17 +0100
Subject: [PATCH] src/file_lzo.c: add frama-c annotations

---
 src/file_lzo.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/file_lzo.c b/src/file_lzo.c
index 40299bf8..0d573e53 100644
--- a/src/file_lzo.c
+++ b/src/file_lzo.c
@@ -31,6 +31,7 @@
 #include "types.h"
 #include "filegen.h"
 
+/*@ requires \valid(file_stat); */
 static void register_header_check_lzo(file_stat_t *file_stat);
 
 const file_hint_t file_hint_lzo= {