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