diff options
| author | Christophe Grenier <grenier@cgsecurity.org> | 2026-10-03 18:34:10 +0200 |
|---|---|---|
| committer | Christophe Grenier <grenier@cgsecurity.org> | 2026-10-03 18:34:10 +0200 |
| commit | 0aa4bc2b68378bc2bd2e92be3a465f0957e0f026 (patch) | |
| tree | ea7c66dde852b242eac243e51e7e643cef03a711 /src/file_dim.c | |
| parent | f081bd8c5a679278edc76c06b0102ed8273d4d44 (diff) | |
Diffstat (limited to 'src/file_dim.c')
| -rw-r--r-- | src/file_dim.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/file_dim.c b/src/file_dim.c index c175ee60..ce2b005d 100644 --- a/src/file_dim.c +++ b/src/file_dim.c @@ -52,6 +52,7 @@ static int header_check_dim(const unsigned char *buffer, const unsigned int buff { reset_file_recovery(file_recovery_new); file_recovery_new->extension=file_hint_dim.extension; + /*@ assert valid_file_recovery(file_recovery_new); */ return 1; } |