summaryrefslogtreecommitdiffstats
path: root/src/file_tiff.h
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2019-11-16 17:30:27 +0100
committerChristophe Grenier <grenier@cgsecurity.org>2019-11-16 17:30:27 +0100
commit7f8425d8398ea96a9d5e9a99f3c4ed58c2485215 (patch)
tree81e5ba5349b0b093ea54b74069281c70e46d0d7d /src/file_tiff.h
parente474cb0c6e01f195176d69a82ea2c97f021142b1 (diff)
New prototype for find_tag_from_tiff_header()
Diffstat (limited to 'src/file_tiff.h')
-rw-r--r--src/file_tiff.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/file_tiff.h b/src/file_tiff.h
index 1882b6a..3cd6a63 100644
--- a/src/file_tiff.h
+++ b/src/file_tiff.h
@@ -69,16 +69,16 @@ struct ifd_header {
} __attribute__ ((gcc_struct, __packed__));
/*@
- @ requires tiff_size >= sizeof(TIFFHeader);
+ @ requires buffer_size >= sizeof(TIFFHeader);
@ requires \valid_read(buffer+(0..buffer_size-1));
@*/
time_t get_date_from_tiff_header(const unsigned char*buffer, const unsigned int buffer_size);
/*@
- @ requires \valid_read((const unsigned char *)tiff+(0..tiff_size-1));
- @ requires \separated(potential_error, tiff);
+ @ requires \valid_read(buffer+(0..buffer_size-1));
+ @ requires \separated(potential_error, buffer);
@*/
-const char *find_tag_from_tiff_header(const TIFFHeader *tiff, const unsigned int tiff_size, const unsigned int tag, const char **potential_error);
+unsigned int find_tag_from_tiff_header(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int tag, const char **potential_error);
#ifndef MAIN_tiff_be
/*@