2025-02-17 20:27:34 +01:00
|
|
|
/* Clzip - LZMA lossless data compressor
|
2025-02-17 20:45:25 +01:00
|
|
|
Copyright (C) 2010-2018 Antonio Diaz Diaz.
|
2025-02-17 18:33:31 +01:00
|
|
|
|
|
|
|
This program is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
2025-02-17 20:34:11 +01:00
|
|
|
the Free Software Foundation, either version 2 of the License, or
|
2025-02-17 18:33:31 +01:00
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define _FILE_OFFSET_BITS 64
|
|
|
|
|
|
|
|
#include <errno.h>
|
|
|
|
#include <stdbool.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
2025-02-17 19:17:21 +01:00
|
|
|
#include <unistd.h>
|
2025-02-17 18:33:31 +01:00
|
|
|
|
2025-02-17 20:24:33 +01:00
|
|
|
#include "lzip.h"
|
2025-02-17 18:33:31 +01:00
|
|
|
#include "decoder.h"
|
|
|
|
|
|
|
|
|
2025-02-17 19:17:21 +01:00
|
|
|
/* Returns the number of bytes really read.
|
|
|
|
If (returned value < size) and (errno == 0), means EOF was reached.
|
|
|
|
*/
|
|
|
|
int readblock( const int fd, uint8_t * const buf, const int size )
|
|
|
|
{
|
2025-02-17 20:34:11 +01:00
|
|
|
int sz = 0;
|
2025-02-17 20:12:24 +01:00
|
|
|
errno = 0;
|
2025-02-17 20:34:11 +01:00
|
|
|
while( sz < size )
|
2025-02-17 19:17:21 +01:00
|
|
|
{
|
2025-02-17 20:34:11 +01:00
|
|
|
const int n = read( fd, buf + sz, size - sz );
|
|
|
|
if( n > 0 ) sz += n;
|
2025-02-17 20:12:24 +01:00
|
|
|
else if( n == 0 ) break; /* EOF */
|
2025-02-17 20:32:06 +01:00
|
|
|
else if( errno != EINTR ) break;
|
2025-02-17 20:12:24 +01:00
|
|
|
errno = 0;
|
2025-02-17 19:17:21 +01:00
|
|
|
}
|
2025-02-17 20:34:11 +01:00
|
|
|
return sz;
|
2025-02-17 19:17:21 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Returns the number of bytes really written.
|
|
|
|
If (returned value < size), it is always an error.
|
|
|
|
*/
|
|
|
|
int writeblock( const int fd, const uint8_t * const buf, const int size )
|
|
|
|
{
|
2025-02-17 20:34:11 +01:00
|
|
|
int sz = 0;
|
2025-02-17 20:12:24 +01:00
|
|
|
errno = 0;
|
2025-02-17 20:34:11 +01:00
|
|
|
while( sz < size )
|
2025-02-17 19:17:21 +01:00
|
|
|
{
|
2025-02-17 20:34:11 +01:00
|
|
|
const int n = write( fd, buf + sz, size - sz );
|
|
|
|
if( n > 0 ) sz += n;
|
2025-02-17 20:32:06 +01:00
|
|
|
else if( n < 0 && errno != EINTR ) break;
|
2025-02-17 20:12:24 +01:00
|
|
|
errno = 0;
|
2025-02-17 19:17:21 +01:00
|
|
|
}
|
2025-02-17 20:34:11 +01:00
|
|
|
return sz;
|
2025-02-17 19:17:21 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2025-02-17 18:43:10 +01:00
|
|
|
bool Rd_read_block( struct Range_decoder * const rdec )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 18:43:10 +01:00
|
|
|
if( !rdec->at_stream_end )
|
|
|
|
{
|
2025-02-17 19:14:54 +01:00
|
|
|
rdec->stream_pos = readblock( rdec->infd, rdec->buffer, rd_buffer_size );
|
|
|
|
if( rdec->stream_pos != rd_buffer_size && errno )
|
|
|
|
{ show_error( "Read error", errno, false ); cleanup_and_fail( 1 ); }
|
|
|
|
rdec->at_stream_end = ( rdec->stream_pos < rd_buffer_size );
|
2025-02-17 18:43:10 +01:00
|
|
|
rdec->partial_member_pos += rdec->pos;
|
|
|
|
rdec->pos = 0;
|
2025-02-17 20:45:25 +01:00
|
|
|
show_dprogress( 0, 0, 0, 0 );
|
2025-02-17 18:43:10 +01:00
|
|
|
}
|
2025-02-17 19:14:54 +01:00
|
|
|
return rdec->pos < rdec->stream_pos;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2025-02-17 20:32:06 +01:00
|
|
|
void LZd_flush_data( struct LZ_decoder * const d )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:32:06 +01:00
|
|
|
if( d->pos > d->stream_pos )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:32:06 +01:00
|
|
|
const int size = d->pos - d->stream_pos;
|
|
|
|
CRC32_update_buf( &d->crc, d->buffer + d->stream_pos, size );
|
|
|
|
if( d->outfd >= 0 &&
|
|
|
|
writeblock( d->outfd, d->buffer + d->stream_pos, size ) != size )
|
2025-02-17 19:17:21 +01:00
|
|
|
{ show_error( "Write error", errno, false ); cleanup_and_fail( 1 ); }
|
2025-02-17 20:42:17 +01:00
|
|
|
if( d->pos >= d->dictionary_size )
|
|
|
|
{ d->partial_data_pos += d->pos; d->pos = 0; d->pos_wrapped = true; }
|
2025-02-17 20:32:06 +01:00
|
|
|
d->stream_pos = d->pos;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2025-02-17 20:32:06 +01:00
|
|
|
static bool LZd_verify_trailer( struct LZ_decoder * const d,
|
|
|
|
struct Pretty_print * const pp )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
File_trailer trailer;
|
2025-02-17 20:42:17 +01:00
|
|
|
int size = Rd_read_data( d->rdec, trailer, Ft_size );
|
|
|
|
const unsigned long long data_size = LZd_data_position( d );
|
|
|
|
const unsigned long long member_size = Rd_member_position( d->rdec );
|
2025-02-17 20:45:25 +01:00
|
|
|
unsigned td_crc;
|
|
|
|
unsigned long long td_size, tm_size;
|
2025-02-17 18:43:10 +01:00
|
|
|
bool error = false;
|
|
|
|
|
2025-02-17 20:27:34 +01:00
|
|
|
if( size < Ft_size )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:05:47 +01:00
|
|
|
error = true;
|
2025-02-17 20:27:34 +01:00
|
|
|
if( verbosity >= 0 )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:05:47 +01:00
|
|
|
Pp_show_msg( pp, 0 );
|
|
|
|
fprintf( stderr, "Trailer truncated at trailer position %d;"
|
|
|
|
" some checks may fail.\n", size );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:27:34 +01:00
|
|
|
while( size < Ft_size ) trailer[size++] = 0;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:12:24 +01:00
|
|
|
|
2025-02-17 20:45:25 +01:00
|
|
|
td_crc = Ft_get_data_crc( trailer );
|
|
|
|
if( td_crc != LZd_crc( d ) )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
error = true;
|
2025-02-17 20:27:34 +01:00
|
|
|
if( verbosity >= 0 )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
Pp_show_msg( pp, 0 );
|
2025-02-17 20:45:25 +01:00
|
|
|
fprintf( stderr, "CRC mismatch; stored %08X, computed %08X\n",
|
|
|
|
td_crc, LZd_crc( d ) );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
}
|
2025-02-17 20:45:25 +01:00
|
|
|
td_size = Ft_get_data_size( trailer );
|
|
|
|
if( td_size != data_size )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
error = true;
|
2025-02-17 20:27:34 +01:00
|
|
|
if( verbosity >= 0 )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
Pp_show_msg( pp, 0 );
|
2025-02-17 20:45:25 +01:00
|
|
|
fprintf( stderr, "Data size mismatch; stored %llu (0x%llX), computed %llu (0x%llX)\n",
|
|
|
|
td_size, td_size, data_size, data_size );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
}
|
2025-02-17 20:45:25 +01:00
|
|
|
tm_size = Ft_get_member_size( trailer );
|
|
|
|
if( tm_size != member_size )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
error = true;
|
2025-02-17 20:27:34 +01:00
|
|
|
if( verbosity >= 0 )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
Pp_show_msg( pp, 0 );
|
2025-02-17 20:45:25 +01:00
|
|
|
fprintf( stderr, "Member size mismatch; stored %llu (0x%llX), computed %llu (0x%llX)\n",
|
|
|
|
tm_size, tm_size, member_size, member_size );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
}
|
2025-02-17 20:45:25 +01:00
|
|
|
if( error ) return false;
|
|
|
|
if( verbosity >= 2 )
|
|
|
|
{
|
|
|
|
if( verbosity >= 4 ) show_header( d->dictionary_size );
|
|
|
|
if( data_size == 0 || member_size == 0 )
|
|
|
|
fputs( "no data compressed. ", stderr );
|
|
|
|
else
|
|
|
|
fprintf( stderr, "%6.3f:1, %5.2f%% ratio, %5.2f%% saved. ",
|
|
|
|
(double)data_size / member_size,
|
|
|
|
( 100.0 * member_size ) / data_size,
|
|
|
|
100.0 - ( ( 100.0 * member_size ) / data_size ) );
|
|
|
|
if( verbosity >= 4 ) fprintf( stderr, "CRC %08X, ", td_crc );
|
|
|
|
if( verbosity >= 3 )
|
|
|
|
fprintf( stderr, "decompressed %9llu, compressed %8llu. ",
|
|
|
|
data_size, member_size );
|
|
|
|
}
|
|
|
|
return true;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2025-02-17 19:14:54 +01:00
|
|
|
/* Return value: 0 = OK, 1 = decoder error, 2 = unexpected EOF,
|
|
|
|
3 = trailer error, 4 = unknown marker found. */
|
2025-02-17 20:32:06 +01:00
|
|
|
int LZd_decode_member( struct LZ_decoder * const d,
|
2025-02-17 18:33:31 +01:00
|
|
|
struct Pretty_print * const pp )
|
|
|
|
{
|
2025-02-17 20:32:06 +01:00
|
|
|
struct Range_decoder * const rdec = d->rdec;
|
2025-02-17 20:44:01 +01:00
|
|
|
Bit_model bm_literal[1<<literal_context_bits][0x300];
|
|
|
|
Bit_model bm_match[states][pos_states];
|
|
|
|
Bit_model bm_rep[states];
|
|
|
|
Bit_model bm_rep0[states];
|
|
|
|
Bit_model bm_rep1[states];
|
|
|
|
Bit_model bm_rep2[states];
|
|
|
|
Bit_model bm_len[states][pos_states];
|
|
|
|
Bit_model bm_dis_slot[len_states][1<<dis_slot_bits];
|
|
|
|
Bit_model bm_dis[modeled_distances-end_dis_model+1];
|
|
|
|
Bit_model bm_align[dis_align_size];
|
|
|
|
struct Len_model match_len_model;
|
|
|
|
struct Len_model rep_len_model;
|
2025-02-17 20:12:24 +01:00
|
|
|
unsigned rep0 = 0; /* rep[0-3] latest four distances */
|
|
|
|
unsigned rep1 = 0; /* used for efficient coding of */
|
|
|
|
unsigned rep2 = 0; /* repeated distances */
|
|
|
|
unsigned rep3 = 0;
|
2025-02-17 18:33:31 +01:00
|
|
|
State state = 0;
|
|
|
|
|
2025-02-17 20:44:01 +01:00
|
|
|
Bm_array_init( bm_literal[0], (1 << literal_context_bits) * 0x300 );
|
|
|
|
Bm_array_init( bm_match[0], states * pos_states );
|
|
|
|
Bm_array_init( bm_rep, states );
|
|
|
|
Bm_array_init( bm_rep0, states );
|
|
|
|
Bm_array_init( bm_rep1, states );
|
|
|
|
Bm_array_init( bm_rep2, states );
|
|
|
|
Bm_array_init( bm_len[0], states * pos_states );
|
|
|
|
Bm_array_init( bm_dis_slot[0], len_states * (1 << dis_slot_bits) );
|
|
|
|
Bm_array_init( bm_dis, modeled_distances - end_dis_model + 1 );
|
|
|
|
Bm_array_init( bm_align, dis_align_size );
|
|
|
|
Lm_init( &match_len_model );
|
|
|
|
Lm_init( &rep_len_model );
|
|
|
|
|
2025-02-17 20:27:34 +01:00
|
|
|
Rd_load( rdec );
|
|
|
|
while( !Rd_finished( rdec ) )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:32:06 +01:00
|
|
|
const int pos_state = LZd_data_position( d ) & pos_state_mask;
|
2025-02-17 20:44:01 +01:00
|
|
|
if( Rd_decode_bit( rdec, &bm_match[state][pos_state] ) == 0 ) /* 1st bit */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
Bit_model * const bm = bm_literal[get_lit_state(LZd_peek_prev( d ))];
|
2025-02-17 18:33:31 +01:00
|
|
|
if( St_is_char( state ) )
|
2025-02-17 20:12:24 +01:00
|
|
|
{
|
|
|
|
state -= ( state < 4 ) ? state : 3;
|
2025-02-17 20:44:01 +01:00
|
|
|
LZd_put_byte( d, Rd_decode_tree8( rdec, bm ) );
|
2025-02-17 20:12:24 +01:00
|
|
|
}
|
2025-02-17 18:33:31 +01:00
|
|
|
else
|
2025-02-17 20:12:24 +01:00
|
|
|
{
|
|
|
|
state -= ( state < 10 ) ? 3 : 6;
|
2025-02-17 20:44:01 +01:00
|
|
|
LZd_put_byte( d, Rd_decode_matched( rdec, bm, LZd_peek( d, rep0 ) ) );
|
2025-02-17 20:12:24 +01:00
|
|
|
}
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:40:56 +01:00
|
|
|
else /* match or repeated match */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
int len;
|
2025-02-17 20:44:01 +01:00
|
|
|
if( Rd_decode_bit( rdec, &bm_rep[state] ) != 0 ) /* 2nd bit */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
if( Rd_decode_bit( rdec, &bm_rep0[state] ) == 0 ) /* 3rd bit */
|
|
|
|
{
|
|
|
|
if( Rd_decode_bit( rdec, &bm_len[state][pos_state] ) == 0 ) /* 4th bit */
|
|
|
|
{ state = St_set_short_rep( state );
|
|
|
|
LZd_put_byte( d, LZd_peek( d, rep0 ) ); continue; }
|
|
|
|
}
|
|
|
|
else
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:12:24 +01:00
|
|
|
unsigned distance;
|
2025-02-17 20:44:01 +01:00
|
|
|
if( Rd_decode_bit( rdec, &bm_rep1[state] ) == 0 ) /* 4th bit */
|
2025-02-17 18:33:31 +01:00
|
|
|
distance = rep1;
|
|
|
|
else
|
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
if( Rd_decode_bit( rdec, &bm_rep2[state] ) == 0 ) /* 5th bit */
|
2025-02-17 18:33:31 +01:00
|
|
|
distance = rep2;
|
2025-02-17 20:24:33 +01:00
|
|
|
else
|
|
|
|
{ distance = rep3; rep3 = rep2; }
|
2025-02-17 18:33:31 +01:00
|
|
|
rep2 = rep1;
|
|
|
|
}
|
|
|
|
rep1 = rep0;
|
|
|
|
rep0 = distance;
|
|
|
|
}
|
2025-02-17 20:24:33 +01:00
|
|
|
state = St_set_rep( state );
|
2025-02-17 20:44:01 +01:00
|
|
|
len = min_match_len + Rd_decode_len( rdec, &rep_len_model, pos_state );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:40:56 +01:00
|
|
|
else /* match */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
unsigned distance;
|
|
|
|
len = min_match_len + Rd_decode_len( rdec, &match_len_model, pos_state );
|
|
|
|
distance = Rd_decode_tree6( rdec, bm_dis_slot[get_len_state(len)] );
|
|
|
|
if( distance >= start_dis_model )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
const unsigned dis_slot = distance;
|
2025-02-17 18:33:31 +01:00
|
|
|
const int direct_bits = ( dis_slot >> 1 ) - 1;
|
2025-02-17 20:44:01 +01:00
|
|
|
distance = ( 2 | ( dis_slot & 1 ) ) << direct_bits;
|
2025-02-17 18:33:31 +01:00
|
|
|
if( dis_slot < end_dis_model )
|
2025-02-17 20:44:01 +01:00
|
|
|
distance += Rd_decode_tree_reversed( rdec,
|
|
|
|
bm_dis + ( distance - dis_slot ), direct_bits );
|
2025-02-17 18:33:31 +01:00
|
|
|
else
|
|
|
|
{
|
2025-02-17 20:44:01 +01:00
|
|
|
distance +=
|
|
|
|
Rd_decode( rdec, direct_bits - dis_align_bits ) << dis_align_bits;
|
|
|
|
distance += Rd_decode_tree_reversed4( rdec, bm_align );
|
|
|
|
if( distance == 0xFFFFFFFFU ) /* marker found */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:27:34 +01:00
|
|
|
Rd_normalize( rdec );
|
2025-02-17 20:32:06 +01:00
|
|
|
LZd_flush_data( d );
|
2025-02-17 19:14:54 +01:00
|
|
|
if( len == min_match_len ) /* End Of Stream marker */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:32:06 +01:00
|
|
|
if( LZd_verify_trailer( d, pp ) ) return 0; else return 3;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 19:14:54 +01:00
|
|
|
if( len == min_match_len + 1 ) /* Sync Flush marker */
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
2025-02-17 20:27:34 +01:00
|
|
|
Rd_load( rdec ); continue;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:27:34 +01:00
|
|
|
if( verbosity >= 0 )
|
2025-02-17 18:33:31 +01:00
|
|
|
{
|
|
|
|
Pp_show_msg( pp, 0 );
|
2025-02-17 20:40:56 +01:00
|
|
|
fprintf( stderr, "Unsupported marker code '%d'\n", len );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
return 4;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2025-02-17 20:44:01 +01:00
|
|
|
rep3 = rep2; rep2 = rep1; rep1 = rep0; rep0 = distance;
|
2025-02-17 20:12:24 +01:00
|
|
|
state = St_set_match( state );
|
2025-02-17 20:42:17 +01:00
|
|
|
if( rep0 >= d->dictionary_size || ( rep0 >= d->pos && !d->pos_wrapped ) )
|
2025-02-17 20:32:06 +01:00
|
|
|
{ LZd_flush_data( d ); return 1; }
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
2025-02-17 20:32:06 +01:00
|
|
|
LZd_copy_block( d, rep0, len );
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|
|
|
|
}
|
2025-02-17 20:32:06 +01:00
|
|
|
LZd_flush_data( d );
|
2025-02-17 20:05:47 +01:00
|
|
|
return 2;
|
2025-02-17 18:33:31 +01:00
|
|
|
}
|