cprover
|
Go to the source code of this file.
Classes | |
struct | inflate_state |
struct | tdefl_sym_freq |
struct | tdefl_output_buffer |
struct | mz_zip_array |
struct | mz_zip_internal_state_tag |
struct | mz_zip_writer_add_state |
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] |
Variables | |
static const mz_uint16 | s_tdefl_len_sym [256] |
static const mz_uint8 | s_tdefl_len_extra [256] |
static const mz_uint8 | s_tdefl_small_dist_sym [512] |
static const mz_uint8 | s_tdefl_small_dist_extra [512] |
static const mz_uint8 | s_tdefl_large_dist_sym [128] |
static const mz_uint8 | s_tdefl_large_dist_extra [128] |
static mz_uint8 | s_tdefl_packed_code_size_syms_swizzle [] = { 16, 17, 18, 0, 8, 7, 9, 6, 10, 5, 11, 4, 12, 3, 13, 2, 14, 1, 15 } |
static const mz_uint | mz_bitmasks [17] = { 0x0000, 0x0001, 0x0003, 0x0007, 0x000F, 0x001F, 0x003F, 0x007F, 0x00FF, 0x01FF, 0x03FF, 0x07FF, 0x0FFF, 0x1FFF, 0x3FFF, 0x7FFF, 0xFFFF } |
static const mz_uint | s_tdefl_num_probes [11] = { 0, 1, 6, 32, 16, 32, 128, 256, 512, 768, 1500 } |
#define MZ_WRITE_LE16 | ( | p, | |
v ) mz_write_le16((mz_uint8 *)(p), (mz_uint16)(v)) |
#define MZ_WRITE_LE32 | ( | p, | |
v ) mz_write_le32((mz_uint8 *)(p), (mz_uint32)(v)) |
#define MZ_WRITE_LE64 | ( | p, | |
v ) mz_write_le64((mz_uint8 *)(p), (mz_uint64)(v)) |
#define MZ_ZIP_ARRAY_SET_ELEMENT_SIZE | ( | array_ptr, | |
element_size ) (array_ptr)->m_element_size = element_size |
#define TDEFL_PROBE |
#define TDEFL_RLE_PREV_CODE_SIZE | ( | ) |
#define TDEFL_RLE_ZERO_CODE_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, | |
pHuff ) |
#define TINFL_NEED_BITS | ( | state_index, | |
n ) |
int mz_deflate | ( | mz_streamp | pStream, |
int | flush ) |
mz_ulong mz_deflateBound | ( | mz_streamp | pStream, |
mz_ulong | source_len ) |
int mz_deflateEnd | ( | mz_streamp | pStream | ) |
int mz_deflateInit | ( | mz_streamp | pStream, |
int | level ) |
int mz_deflateReset | ( | mz_streamp | pStream | ) |
int mz_inflate | ( | mz_streamp | pStream, |
int | flush ) |
int mz_inflateEnd | ( | mz_streamp | pStream | ) |
int mz_inflateInit | ( | mz_streamp | pStream | ) |
int mz_inflateInit2 | ( | mz_streamp | pStream, |
int | window_bits ) |
|
inlinestatic |
|
static |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
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 |
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_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 ) |
mz_bool mz_zip_writer_add_cfile | ( | mz_zip_archive * | pZip, |
const char * | pArchive_name, | ||
FILE * | pSrc_file, | ||
mz_uint64 | size_to_add, | ||
const time_t * | pFile_time, | ||
const void * | pComment, | ||
mz_uint16 | comment_size, | ||
mz_uint | level_and_flags, | ||
const char * | user_extra_data, | ||
mz_uint | user_extra_data_len, | ||
const char * | user_extra_data_central, | ||
mz_uint | user_extra_data_central_len ) |
mz_bool mz_zip_writer_add_from_zip_reader | ( | mz_zip_archive * | pZip, |
mz_zip_archive * | pSource_zip, | ||
mz_uint | src_file_index ) |
mz_bool mz_zip_writer_add_mem_ex_v2 | ( | mz_zip_archive * | pZip, |
const char * | pArchive_name, | ||
const void * | pBuf, | ||
size_t | buf_size, | ||
const void * | pComment, | ||
mz_uint16 | comment_size, | ||
mz_uint | level_and_flags, | ||
mz_uint64 | uncomp_size, | ||
mz_uint32 | uncomp_crc32, | ||
time_t * | last_modified, | ||
const char * | user_extra_data, | ||
mz_uint | user_extra_data_len, | ||
const char * | user_extra_data_central, | ||
mz_uint | user_extra_data_central_len ) |
|
static |
|
static |
|
static |
mz_bool mz_zip_writer_end | ( | mz_zip_archive * | pZip | ) |
|
static |
mz_bool mz_zip_writer_finalize_archive | ( | mz_zip_archive * | pZip | ) |
mz_bool mz_zip_writer_finalize_heap_archive | ( | mz_zip_archive * | pZip, |
void ** | ppBuf, | ||
size_t * | pSize ) |
mz_bool mz_zip_writer_init | ( | mz_zip_archive * | pZip, |
mz_uint64 | existing_size ) |
mz_bool mz_zip_writer_init_cfile | ( | mz_zip_archive * | pZip, |
FILE * | pFile, | ||
mz_uint | flags ) |
mz_bool mz_zip_writer_init_file | ( | mz_zip_archive * | pZip, |
const char * | pFilename, | ||
mz_uint64 | size_to_reserve_at_beginning ) |
mz_bool mz_zip_writer_init_from_reader | ( | mz_zip_archive * | pZip, |
const char * | pFilename ) |
mz_bool mz_zip_writer_init_from_reader_v2 | ( | mz_zip_archive * | pZip, |
const char * | pFilename, | ||
mz_uint | flags ) |
mz_bool mz_zip_writer_init_heap | ( | mz_zip_archive * | pZip, |
size_t | size_to_reserve_at_beginning, | ||
size_t | initial_allocation_size ) |
mz_bool mz_zip_writer_init_heap_v2 | ( | mz_zip_archive * | pZip, |
size_t | size_to_reserve_at_beginning, | ||
size_t | initial_allocation_size, | ||
mz_uint | flags ) |
mz_bool mz_zip_writer_init_v2 | ( | mz_zip_archive * | pZip, |
mz_uint64 | existing_size, | ||
mz_uint | flags ) |
|
static |
void mz_zip_zero_struct | ( | mz_zip_archive * | pZip | ) |
|
static |
tdefl_status tdefl_compress | ( | tdefl_compressor * | d, |
const void * | pIn_buf, | ||
size_t * | pIn_buf_size, | ||
void * | pOut_buf, | ||
size_t * | pOut_buf_size, | ||
tdefl_flush | flush ) |
|
static |
tdefl_status tdefl_compress_buffer | ( | tdefl_compressor * | d, |
const void * | pIn_buf, | ||
size_t | in_buf_size, | ||
tdefl_flush | flush ) |
|
static |
|
static |
tdefl_compressor * tdefl_compressor_alloc | ( | ) |
void tdefl_compressor_free | ( | tdefl_compressor * | pComp | ) |
|
static |
|
static |
mz_uint32 tdefl_get_adler32 | ( | tdefl_compressor * | d | ) |
tdefl_status tdefl_get_prev_return_status | ( | tdefl_compressor * | d | ) |
tdefl_status tdefl_init | ( | tdefl_compressor * | d, |
tdefl_put_buf_func_ptr | pPut_buf_func, | ||
void * | pPut_buf_user, | ||
int | flags ) |
|
static |
|
inlinestatic |
|
inlinestatic |
|
static |
|
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 tinfl_decompressor_free | ( | tinfl_decompressor * | pDecomp | ) |
|
static |