|
CBMC
|
Include dependency graph for miniz.cpp: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 | ) |