CBMC
|
Go to the source code of this file.
Classes | |
struct | mz_zip_array |
struct | mz_zip_internal_state_tag |
Typedefs | |
typedef unsigned char | mz_validate_uint16[sizeof(mz_uint16)==2 ? 1 :-1] |
typedef unsigned char | mz_validate_uint32[sizeof(mz_uint32)==4 ? 1 :-1] |
typedef unsigned char | mz_validate_uint64[sizeof(mz_uint64)==8 ? 1 :-1] |
#define MZ_ZIP_ARRAY_SET_ELEMENT_SIZE | ( | array_ptr, | |
element_size | |||
) | (array_ptr)->m_element_size = element_size |
#define TINFL_CR_BEGIN |
#define TINFL_CR_RETURN | ( | state_index, | |
result | |||
) |
#define TINFL_CR_RETURN_FOREVER | ( | state_index, | |
result | |||
) |
#define TINFL_GET_BITS | ( | state_index, | |
b, | |||
n | |||
) |
#define TINFL_GET_BYTE | ( | state_index, | |
c | |||
) |
#define TINFL_HUFF_BITBUF_FILL | ( | state_index, | |
pLookUp, | |||
pTree | |||
) |
#define TINFL_HUFF_DECODE | ( | state_index, | |
sym, | |||
pLookUp, | |||
pTree | |||
) |
#define TINFL_NEED_BITS | ( | state_index, | |
n | |||
) |
MINIZ_EXPORT void * miniz_def_alloc_func | ( | void * | opaque, |
size_t | items, | ||
size_t | size | ||
) |
MINIZ_EXPORT void miniz_def_free_func | ( | void * | opaque, |
void * | address | ||
) |
|
inlinestatic |
|
static |
|
inlinestatic |
|
inlinestatic |
mz_zip_error mz_zip_clear_last_error | ( | mz_zip_archive * | pZip | ) |
mz_bool mz_zip_end | ( | mz_zip_archive * | pZip | ) |
|
static |
|
inlinestatic |
mz_uint64 mz_zip_get_archive_file_start_offset | ( | mz_zip_archive * | pZip | ) |
mz_uint64 mz_zip_get_archive_size | ( | mz_zip_archive * | pZip | ) |
|
inlinestatic |
size_t mz_zip_get_central_dir_size | ( | mz_zip_archive * | pZip | ) |
FILE * mz_zip_get_cfile | ( | mz_zip_archive * | pZip | ) |
const char * mz_zip_get_error_string | ( | mz_zip_error | mz_err | ) |
mz_zip_error mz_zip_get_last_error | ( | mz_zip_archive * | pZip | ) |
mz_zip_mode mz_zip_get_mode | ( | mz_zip_archive * | pZip | ) |
mz_zip_type mz_zip_get_type | ( | mz_zip_archive * | pZip | ) |
mz_bool mz_zip_is_zip64 | ( | mz_zip_archive * | pZip | ) |
mz_zip_error mz_zip_peek_last_error | ( | mz_zip_archive * | pZip | ) |
size_t mz_zip_read_archive_data | ( | mz_zip_archive * | pZip, |
mz_uint64 | file_ofs, | ||
void * | pBuf, | ||
size_t | n | ||
) |
mz_bool mz_zip_reader_end | ( | mz_zip_archive * | pZip | ) |
|
static |
|
static |
mz_zip_reader_extract_iter_state * mz_zip_reader_extract_file_iter_new | ( | mz_zip_archive * | pZip, |
const char * | pFilename, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_extract_file_to_callback | ( | mz_zip_archive * | pZip, |
const char * | pFilename, | ||
mz_file_write_func | pCallback, | ||
void * | pOpaque, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_extract_iter_free | ( | mz_zip_reader_extract_iter_state * | pState | ) |
mz_zip_reader_extract_iter_state * mz_zip_reader_extract_iter_new | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
mz_uint | flags | ||
) |
size_t mz_zip_reader_extract_iter_read | ( | mz_zip_reader_extract_iter_state * | pState, |
void * | pvBuf, | ||
size_t | buf_size | ||
) |
mz_bool mz_zip_reader_extract_to_callback | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
mz_file_write_func | pCallback, | ||
void * | pOpaque, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_extract_to_cfile | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
FILE * | pFile, | ||
mz_uint | flags | ||
) |
void * mz_zip_reader_extract_to_heap | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
size_t * | pSize, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_file_stat | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
mz_zip_archive_file_stat * | pStat | ||
) |
|
inlinestatic |
mz_uint mz_zip_reader_get_filename | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
char * | pFilename, | ||
mz_uint | filename_buf_size | ||
) |
mz_uint mz_zip_reader_get_num_files | ( | mz_zip_archive * | pZip | ) |
mz_bool mz_zip_reader_init | ( | mz_zip_archive * | pZip, |
mz_uint64 | size, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_init_cfile | ( | mz_zip_archive * | pZip, |
FILE * | pFile, | ||
mz_uint64 | archive_size, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_reader_init_file | ( | mz_zip_archive * | pZip, |
const char * | pFilename, | ||
mz_uint32 | flags | ||
) |
|
static |
mz_bool mz_zip_reader_is_file_a_directory | ( | mz_zip_archive * | pZip, |
mz_uint | file_index | ||
) |
mz_bool mz_zip_reader_is_file_encrypted | ( | mz_zip_archive * | pZip, |
mz_uint | file_index | ||
) |
mz_bool mz_zip_reader_is_file_supported | ( | mz_zip_archive * | pZip, |
mz_uint | file_index | ||
) |
|
static |
|
static |
|
inlinestatic |
mz_zip_error mz_zip_set_last_error | ( | mz_zip_archive * | pZip, |
mz_zip_error | err_num | ||
) |
mz_bool mz_zip_validate_archive | ( | mz_zip_archive * | pZip, |
mz_uint | flags | ||
) |
mz_bool mz_zip_validate_file | ( | mz_zip_archive * | pZip, |
mz_uint | file_index, | ||
mz_uint | flags | ||
) |
mz_bool mz_zip_validate_file_archive | ( | const char * | pFilename, |
mz_uint | flags, | ||
mz_zip_error * | pErr | ||
) |
void mz_zip_zero_struct | ( | mz_zip_archive * | pZip | ) |
|
static |
tinfl_status tinfl_decompress | ( | tinfl_decompressor * | r, |
const mz_uint8 * | pIn_buf_next, | ||
size_t * | pIn_buf_size, | ||
mz_uint8 * | pOut_buf_start, | ||
mz_uint8 * | pOut_buf_next, | ||
size_t * | pOut_buf_size, | ||
const mz_uint32 | decomp_flags | ||
) |
tinfl_decompressor * tinfl_decompressor_alloc | ( | void | ) |
void tinfl_decompressor_free | ( | tinfl_decompressor * | pDecomp | ) |