Tests: test_filter_flags: Clean up minor issues.

Here are the list of the most significant issues addressed:
- Avoid using internal common.h header. It's not good to copy the
constants like this but common.h cannot be included for use outside
of liblzma. This is the quickest thing to do that could be fixed later.

- Omit the INIT_FILTER macro. Initialization should be done with just
regular designated initializers.

- Use start_offset = 257 for BCJ tests. It demonstrates that Filter
Flags encoder and decoder don't validate the options thoroughly.
257 is valid only for the x86 filter. This is a bit silly but
not a significant problem in practice because the encoder and
decoder initialization functions will catch bad alignment still.
Perhaps this should be fixed but it's not urgent and doesn't need
to be in 5.4.x.

- Various tweaks to comments such as filter id -> Filter ID
This commit is contained in:
Lasse Collin 2023-01-06 22:53:38 +02:00
parent 6b44cead95
commit 43521e77ac
1 changed files with 78 additions and 75 deletions

View File

@ -12,46 +12,41 @@
/////////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////////
#include "tests.h" #include "tests.h"
// Including the internal header file for access to the
// LZMA_FILTER_RESERVED_START macro
#include "common/common.h"
// FIXME: This is from src/liblzma/common/common.h but it cannot be
// Used to create filters and easily to set id and options // included here. This constant is needed in only a few files, perhaps
#define INIT_FILTER(_id, _options) {\ // move it to some other internal header or create a new one?
.id = _id, \ #define LZMA_FILTER_RESERVED_START (LZMA_VLI_C(1) << 62)
.options = _options \
}
#if defined(HAVE_ENCODERS) #if defined(HAVE_ENCODERS)
// No tests are run without encoders, so init the global filters // No tests are run without encoders, so init the global filters
// only when the encoders are enabled. // only when the encoders are enabled.
static lzma_filter lzma1_filter = INIT_FILTER(LZMA_FILTER_LZMA1, NULL); static lzma_filter lzma1_filter = { LZMA_FILTER_LZMA1, NULL };
static lzma_filter lzma2_filter = INIT_FILTER(LZMA_FILTER_LZMA2, NULL); static lzma_filter lzma2_filter = { LZMA_FILTER_LZMA2, NULL };
static lzma_filter delta_filter = INIT_FILTER(LZMA_FILTER_DELTA, NULL); static lzma_filter delta_filter = { LZMA_FILTER_DELTA, NULL };
static lzma_filter bcj_filters_encoders[] = { static lzma_filter bcj_filters_encoders[] = {
#ifdef HAVE_ENCODER_X86 #ifdef HAVE_ENCODER_X86
INIT_FILTER(LZMA_FILTER_X86, NULL), { LZMA_FILTER_X86, NULL },
#endif #endif
#ifdef HAVE_ENCODER_POWERPC #ifdef HAVE_ENCODER_POWERPC
INIT_FILTER(LZMA_FILTER_POWERPC, NULL), { LZMA_FILTER_POWERPC, NULL },
#endif #endif
#ifdef HAVE_ENCODER_IA64 #ifdef HAVE_ENCODER_IA64
INIT_FILTER(LZMA_FILTER_IA64, NULL), { LZMA_FILTER_IA64, NULL },
#endif #endif
#ifdef HAVE_ENCODER_ARM #ifdef HAVE_ENCODER_ARM
INIT_FILTER(LZMA_FILTER_ARM, NULL), { LZMA_FILTER_ARM, NULL },
#endif #endif
#ifdef HAVE_ENCODER_ARM64 #ifdef HAVE_ENCODER_ARM64
INIT_FILTER(LZMA_FILTER_ARM64, NULL), { LZMA_FILTER_ARM64, NULL },
#endif #endif
#ifdef HAVE_ENCODER_ARMTHUMB #ifdef HAVE_ENCODER_ARMTHUMB
INIT_FILTER(LZMA_FILTER_ARMTHUMB, NULL), { LZMA_FILTER_ARMTHUMB, NULL },
#endif #endif
#ifdef HAVE_ENCODER_SPARC #ifdef HAVE_ENCODER_SPARC
INIT_FILTER(LZMA_FILTER_SPARC, NULL), { LZMA_FILTER_SPARC, NULL },
#endif #endif
}; };
@ -62,25 +57,25 @@ static lzma_filter bcj_filters_encoders[] = {
#ifdef HAVE_DECODERS #ifdef HAVE_DECODERS
static lzma_filter bcj_filters_decoders[] = { static lzma_filter bcj_filters_decoders[] = {
#ifdef HAVE_DECODER_X86 #ifdef HAVE_DECODER_X86
INIT_FILTER(LZMA_FILTER_X86, NULL), { LZMA_FILTER_X86, NULL },
#endif #endif
#ifdef HAVE_DECODER_POWERPC #ifdef HAVE_DECODER_POWERPC
INIT_FILTER(LZMA_FILTER_POWERPC, NULL), { LZMA_FILTER_POWERPC, NULL },
#endif #endif
#ifdef HAVE_DECODER_IA64 #ifdef HAVE_DECODER_IA64
INIT_FILTER(LZMA_FILTER_IA64, NULL), { LZMA_FILTER_IA64, NULL },
#endif #endif
#ifdef HAVE_DECODER_ARM #ifdef HAVE_DECODER_ARM
INIT_FILTER(LZMA_FILTER_ARM, NULL), { LZMA_FILTER_ARM, NULL },
#endif #endif
#ifdef HAVE_DECODER_ARM64 #ifdef HAVE_DECODER_ARM64
INIT_FILTER(LZMA_FILTER_ARM64, NULL), { LZMA_FILTER_ARM64, NULL },
#endif #endif
#ifdef HAVE_DECODER_ARMTHUMB #ifdef HAVE_DECODER_ARMTHUMB
INIT_FILTER(LZMA_FILTER_ARMTHUMB, NULL), { LZMA_FILTER_ARMTHUMB, NULL },
#endif #endif
#ifdef HAVE_DECODER_SPARC #ifdef HAVE_DECODER_SPARC
INIT_FILTER(LZMA_FILTER_SPARC, NULL), { LZMA_FILTER_SPARC, NULL },
#endif #endif
}; };
#endif #endif
@ -121,8 +116,8 @@ test_lzma_filter_flags_size(void)
assert_true(size != 0 && size < LZMA_BLOCK_HEADER_SIZE_MAX); assert_true(size != 0 && size < LZMA_BLOCK_HEADER_SIZE_MAX);
} }
// Test invalid filter ids // Test invalid Filter IDs
lzma_filter bad_filter = INIT_FILTER(2, NULL); lzma_filter bad_filter = { 2, NULL };
assert_lzma_ret(lzma_filter_flags_size(&size, &bad_filter), assert_lzma_ret(lzma_filter_flags_size(&size, &bad_filter),
LZMA_OPTIONS_ERROR); LZMA_OPTIONS_ERROR);
@ -142,38 +137,40 @@ test_lzma_filter_flags_size(void)
// Avoid data -> encode -> decode -> compare to data. // Avoid data -> encode -> decode -> compare to data.
// Instead create expected encoding and compare to result from // Instead create expected encoding and compare to result from
// lzma_filter_flags_encode. // lzma_filter_flags_encode.
// Filter flags for xz are encoded as: // Filter Flags in .xz are encoded as:
// |Filter ID (VLI)|Size of Properties (VLI)|Filter Properties| // |Filter ID (VLI)|Size of Properties (VLI)|Filter Properties|
#if defined(HAVE_ENCODERS) && defined(HAVE_DECODERS) #if defined(HAVE_ENCODERS) && defined(HAVE_DECODERS)
static void static void
verify_filter_flags_encode(lzma_filter *filter, bool should_encode) verify_filter_flags_encode(lzma_filter *filter, bool should_encode)
{ {
uint32_t size = 0; uint32_t size = 0;
// First calculate the size of filter flags to know how much
// memory to allocate to hold the filter flags encoded // First calculate the size of Filter Flags to know how much
// memory to allocate to hold the encoded Filter Flags
assert_lzma_ret(lzma_filter_flags_size(&size, filter), LZMA_OK); assert_lzma_ret(lzma_filter_flags_size(&size, filter), LZMA_OK);
uint8_t *encoded_out = tuktest_malloc(size * sizeof(uint8_t)); uint8_t *encoded_out = tuktest_malloc(size * sizeof(uint8_t));
size_t out_pos = 0; size_t out_pos = 0;
if(!should_encode) { if (!should_encode) {
assert_false(lzma_filter_flags_encode(filter, encoded_out, assert_false(lzma_filter_flags_encode(filter, encoded_out,
&out_pos, size) == LZMA_OK); &out_pos, size) == LZMA_OK);
return; return;
} }
// Next encode the filter flags for the provided filter // Next encode the Filter Flags for the provided filter
assert_lzma_ret(lzma_filter_flags_encode(filter, encoded_out, assert_lzma_ret(lzma_filter_flags_encode(filter, encoded_out,
&out_pos, size), LZMA_OK); &out_pos, size), LZMA_OK);
assert_uint_eq(size, out_pos); assert_uint_eq(size, out_pos);
// Next decode the vli for the filter ID and verify it matches
// the expected filter id // Next decode the VLI for the Filter ID and verify it matches
// the expected Filter ID
size_t filter_id_vli_size = 0; size_t filter_id_vli_size = 0;
lzma_vli filter_id = 0; lzma_vli filter_id = 0;
assert_lzma_ret(lzma_vli_decode(&filter_id, NULL, encoded_out, assert_lzma_ret(lzma_vli_decode(&filter_id, NULL, encoded_out,
&filter_id_vli_size, size), LZMA_OK); &filter_id_vli_size, size), LZMA_OK);
assert_uint_eq(filter->id, filter_id); assert_uint_eq(filter->id, filter_id);
// Next decode the size of properites and ensure it equals // Next decode the Size of Properites and ensure it equals
// the expected size // the expected size.
// Expected size should be: // Expected size should be:
// total filter flag length - size of filter id VLI + size of // total filter flag length - size of filter id VLI + size of
// property size VLI // property size VLI
@ -196,67 +193,72 @@ test_lzma_filter_flags_encode(void)
#if !defined(HAVE_ENCODERS) || !defined(HAVE_DECODERS) #if !defined(HAVE_ENCODERS) || !defined(HAVE_DECODERS)
assert_skip("Encoder or decoder support disabled"); assert_skip("Encoder or decoder support disabled");
#else #else
// No test for LZMA1 since the xz format does not support LZMA1 // No test for LZMA1 since the .xz format does not support LZMA1
// and so the flags cannot be encoded for that filter // and so the flags cannot be encoded for that filter
if (lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2)) { if (lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2)) {
// Test with NULL options that should fail // Test with NULL options that should fail
lzma_options_lzma *options = lzma2_filter.options; lzma_options_lzma *options = lzma2_filter.options;
lzma2_filter.options = NULL; lzma2_filter.options = NULL;
verify_filter_flags_encode(&lzma2_filter, false); verify_filter_flags_encode(&lzma2_filter, false);
// Place options back in the filter, and test should pass // Place options back in the filter, and test should pass
lzma2_filter.options = options; lzma2_filter.options = options;
verify_filter_flags_encode(&lzma2_filter, true); verify_filter_flags_encode(&lzma2_filter, true);
} }
// NOTE: Many BCJ filters require that start_offset is a multiple
// of some power of two. The Filter Flags encoder and decoder don't
// completely validate the options and thus 257 passes the tests
// with all BCJ filters. It would be caught when initializing
// a filter chain encoder or decoder.
lzma_options_bcj bcj_options = { lzma_options_bcj bcj_options = {
.start_offset = 200 .start_offset = 257
}; };
for (uint32_t i = 0; i < ARRAY_SIZE(bcj_filters_encoders); i++) { for (uint32_t i = 0; i < ARRAY_SIZE(bcj_filters_encoders); i++) {
// NULL options should pass for bcj filters // NULL options should pass for bcj filters
verify_filter_flags_encode(&bcj_filters_encoders[i], true); verify_filter_flags_encode(&bcj_filters_encoders[i], true);
lzma_filter bcj_with_options = INIT_FILTER( lzma_filter bcj_with_options = {
bcj_filters_encoders[i].id, &bcj_options); bcj_filters_encoders[i].id, &bcj_options };
verify_filter_flags_encode(&bcj_with_options, true); verify_filter_flags_encode(&bcj_with_options, true);
} }
if (lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) { if (lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) {
lzma_options_delta delta_ops_below_min = { lzma_options_delta delta_opts_below_min = {
.type = LZMA_DELTA_TYPE_BYTE, .type = LZMA_DELTA_TYPE_BYTE,
.dist = LZMA_DELTA_DIST_MIN - 1 .dist = LZMA_DELTA_DIST_MIN - 1
}; };
lzma_options_delta delta_ops_above_max = { lzma_options_delta delta_opts_above_max = {
.type = LZMA_DELTA_TYPE_BYTE, .type = LZMA_DELTA_TYPE_BYTE,
.dist = LZMA_DELTA_DIST_MAX + 1 .dist = LZMA_DELTA_DIST_MAX + 1
}; };
verify_filter_flags_encode(&delta_filter, true); verify_filter_flags_encode(&delta_filter, true);
lzma_filter delta_filter_bad_options = INIT_FILTER( lzma_filter delta_filter_bad_options = {
LZMA_FILTER_DELTA, &delta_ops_below_min); LZMA_FILTER_DELTA, &delta_opts_below_min };
// Next test error case using minimum - 1 delta distance // Next test error case using minimum - 1 delta distance
verify_filter_flags_encode(&delta_filter_bad_options, false); verify_filter_flags_encode(&delta_filter_bad_options, false);
// Next test error case using maximum + 1 delta distance // Next test error case using maximum + 1 delta distance
delta_filter_bad_options.options = &delta_ops_above_max; delta_filter_bad_options.options = &delta_opts_above_max;
verify_filter_flags_encode(&delta_filter_bad_options, false); verify_filter_flags_encode(&delta_filter_bad_options, false);
// Next test null case // Next test NULL case
delta_filter_bad_options.options = NULL; delta_filter_bad_options.options = NULL;
verify_filter_flags_encode(&delta_filter_bad_options, false); verify_filter_flags_encode(&delta_filter_bad_options, false);
} }
// Test expected failing cases // Test expected failing cases
lzma_filter bad_filter = INIT_FILTER(LZMA_FILTER_RESERVED_START, lzma_filter bad_filter = { LZMA_FILTER_RESERVED_START, NULL };
NULL);
size_t out_pos = 0; size_t out_pos = 0;
size_t out_size = LZMA_BLOCK_HEADER_SIZE_MAX; size_t out_size = LZMA_BLOCK_HEADER_SIZE_MAX;
uint8_t out[LZMA_BLOCK_HEADER_SIZE_MAX]; uint8_t out[LZMA_BLOCK_HEADER_SIZE_MAX];
// Filter id outside of valid range // Filter ID outside of valid range
assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out, &out_pos, assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out, &out_pos,
out_size), LZMA_PROG_ERROR); out_size), LZMA_PROG_ERROR);
out_pos = 0; out_pos = 0;
@ -265,7 +267,7 @@ test_lzma_filter_flags_encode(void)
out_size), LZMA_PROG_ERROR); out_size), LZMA_PROG_ERROR);
out_pos = 0; out_pos = 0;
// Invalid filter id // Invalid Filter ID
bad_filter.id = 2; bad_filter.id = 2;
assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out, &out_pos, assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out, &out_pos,
out_size), LZMA_OPTIONS_ERROR); out_size), LZMA_OPTIONS_ERROR);
@ -294,6 +296,7 @@ test_lzma_filter_flags_encode(void)
// Invalid options // Invalid options
if (lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) { if (lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) {
bad_filter.id = LZMA_FILTER_DELTA; bad_filter.id = LZMA_FILTER_DELTA;
// First test with NULL options // First test with NULL options
assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out, assert_lzma_ret(lzma_filter_flags_encode(&bad_filter, out,
&out_pos, out_size), LZMA_PROG_ERROR); &out_pos, out_size), LZMA_PROG_ERROR);
@ -325,10 +328,12 @@ verify_filter_flags_decode(lzma_filter *filter_in, lzma_filter *filter_out)
assert_lzma_ret(lzma_filter_flags_size(&total_size, filter_in), assert_lzma_ret(lzma_filter_flags_size(&total_size, filter_in),
LZMA_OK); LZMA_OK);
assert_uint(total_size, >, 0);
uint8_t *filter_flag_buffer = tuktest_malloc(total_size); uint8_t *filter_flag_buffer = tuktest_malloc(total_size);
uint32_t properties_size = 0; uint32_t properties_size = 0;
size_t out_pos = 0, in_pos = 0; size_t out_pos = 0;
size_t in_pos = 0;
assert_lzma_ret(lzma_properties_size(&properties_size, filter_in), assert_lzma_ret(lzma_properties_size(&properties_size, filter_in),
LZMA_OK); LZMA_OK);
assert_lzma_ret(lzma_vli_encode(filter_in->id, NULL, assert_lzma_ret(lzma_vli_encode(filter_in->id, NULL,
@ -353,12 +358,11 @@ test_lzma_filter_flags_decode(void)
assert_skip("Encoder or decoder support disabled"); assert_skip("Encoder or decoder support disabled");
#else #else
// For each filter, only run the decoder test if both the encoder // For each filter, only run the decoder test if both the encoder
// and decoder is enabled. This is because verify_filter_flags_decode // and decoder are enabled. This is because verify_filter_flags_decode
// uses lzma_filter_flags_size, which requires the encoder. // uses lzma_filter_flags_size which requires the encoder.
if (lzma_filter_decoder_is_supported(LZMA_FILTER_LZMA2) && if (lzma_filter_decoder_is_supported(LZMA_FILTER_LZMA2) &&
lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2)) { lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2)) {
lzma_filter lzma2_decoded = INIT_FILTER(LZMA_FILTER_LZMA2, lzma_filter lzma2_decoded = { LZMA_FILTER_LZMA2, NULL };
NULL);
verify_filter_flags_decode(&lzma2_filter, &lzma2_decoded); verify_filter_flags_decode(&lzma2_filter, &lzma2_decoded);
@ -376,11 +380,11 @@ test_lzma_filter_flags_decode(void)
for (uint32_t i = 0; i < ARRAY_SIZE(bcj_filters_decoders); i++) { for (uint32_t i = 0; i < ARRAY_SIZE(bcj_filters_decoders); i++) {
if (lzma_filter_encoder_is_supported( if (lzma_filter_encoder_is_supported(
bcj_filters_decoders[i].id)) { bcj_filters_decoders[i].id)) {
lzma_filter bcj_decoded = INIT_FILTER( lzma_filter bcj_decoded = {
bcj_filters_decoders[i].id, NULL); bcj_filters_decoders[i].id, NULL };
lzma_filter bcj_encoded = INIT_FILTER( lzma_filter bcj_encoded = {
bcj_filters_decoders[i].id, NULL); bcj_filters_decoders[i].id, NULL };
// First test without options // First test without options
verify_filter_flags_decode(&bcj_encoded, verify_filter_flags_decode(&bcj_encoded,
@ -389,24 +393,22 @@ test_lzma_filter_flags_decode(void)
// Next test with offset // Next test with offset
lzma_options_bcj options = { lzma_options_bcj options = {
.start_offset = 200 .start_offset = 257
}; };
bcj_encoded.options = &options; bcj_encoded.options = &options;
verify_filter_flags_decode(&bcj_encoded, verify_filter_flags_decode(&bcj_encoded,
&bcj_decoded); &bcj_decoded);
lzma_options_bcj *decoded_ops = bcj_decoded.options; lzma_options_bcj *decoded_opts = bcj_decoded.options;
assert_uint_eq(decoded_ops->start_offset, assert_uint_eq(decoded_opts->start_offset,
options.start_offset); options.start_offset);
free(decoded_ops); free(decoded_opts);
} }
} }
if (lzma_filter_decoder_is_supported(LZMA_FILTER_DELTA) && if (lzma_filter_decoder_is_supported(LZMA_FILTER_DELTA) &&
lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) { lzma_filter_encoder_is_supported(LZMA_FILTER_DELTA)) {
lzma_filter delta_decoded = INIT_FILTER(LZMA_FILTER_DELTA, lzma_filter delta_decoded = { LZMA_FILTER_DELTA, NULL };
NULL);
verify_filter_flags_decode(&delta_filter, &delta_decoded); verify_filter_flags_decode(&delta_filter, &delta_decoded);
lzma_options_delta *expected = delta_filter.options; lzma_options_delta *expected = delta_filter.options;
@ -421,7 +423,7 @@ test_lzma_filter_flags_decode(void)
uint8_t bad_encoded_filter[LZMA_BLOCK_HEADER_SIZE_MAX]; uint8_t bad_encoded_filter[LZMA_BLOCK_HEADER_SIZE_MAX];
lzma_filter bad_filter; lzma_filter bad_filter;
// Filter outside of valid range // Filter ID outside of valid range
lzma_vli bad_filter_id = LZMA_FILTER_RESERVED_START; lzma_vli bad_filter_id = LZMA_FILTER_RESERVED_START;
size_t bad_encoded_out_pos = 0; size_t bad_encoded_out_pos = 0;
size_t in_pos = 0; size_t in_pos = 0;
@ -437,7 +439,7 @@ test_lzma_filter_flags_decode(void)
bad_encoded_out_pos = 0; bad_encoded_out_pos = 0;
in_pos = 0; in_pos = 0;
// Invalid filter Id // Invalid Filter ID
bad_filter_id = 2; bad_filter_id = 2;
bad_encoded_out_pos = 0; bad_encoded_out_pos = 0;
in_pos = 0; in_pos = 0;
@ -446,11 +448,12 @@ test_lzma_filter_flags_decode(void)
bad_encoded_filter, &bad_encoded_out_pos, bad_encoded_filter, &bad_encoded_out_pos,
LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OK); LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OK);
// Next encode propery size of 0 // Next encode Size of Properties with the value of 0
assert_lzma_ret(lzma_vli_encode(0, NULL, assert_lzma_ret(lzma_vli_encode(0, NULL,
bad_encoded_filter, &bad_encoded_out_pos, bad_encoded_filter, &bad_encoded_out_pos,
LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OK); LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OK);
// Decode should fail on bad filter id
// Decode should fail on bad Filter ID
assert_lzma_ret(lzma_filter_flags_decode(&bad_filter, NULL, assert_lzma_ret(lzma_filter_flags_decode(&bad_filter, NULL,
bad_encoded_filter, &in_pos, bad_encoded_filter, &in_pos,
LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OPTIONS_ERROR); LZMA_BLOCK_HEADER_SIZE_MAX), LZMA_OPTIONS_ERROR);
@ -458,7 +461,7 @@ test_lzma_filter_flags_decode(void)
in_pos = 0; in_pos = 0;
// Outsize too small // Outsize too small
// Encode the lzma2 filter normally, but then set // Encode the LZMA2 filter normally, but then set
// the out size when decoding as too small // the out size when decoding as too small
if (lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2) && if (lzma_filter_encoder_is_supported(LZMA_FILTER_LZMA2) &&
lzma_filter_decoder_is_supported(LZMA_FILTER_LZMA2)) { lzma_filter_decoder_is_supported(LZMA_FILTER_LZMA2)) {