Coverage Report

Created: 2023-06-07 06:53

/src/libfsntfs/libfwnt/libfwnt_lznt1.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * LZNT1 (de)compression functions
3
 *
4
 * Copyright (C) 2009-2022, Joachim Metz <joachim.metz@gmail.com>
5
 *
6
 * Refer to AUTHORS for acknowledgements.
7
 *
8
 * This program is free software: you can redistribute it and/or modify
9
 * it under the terms of the GNU Lesser General Public License as published by
10
 * the Free Software Foundation, either version 3 of the License, or
11
 * (at your option) any later version.
12
 *
13
 * This program is distributed in the hope that it will be useful,
14
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16
 * GNU General Public License for more details.
17
 *
18
 * You should have received a copy of the GNU Lesser General Public License
19
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
20
 */
21
22
#include <common.h>
23
#include <byte_stream.h>
24
#include <memory.h>
25
#include <types.h>
26
27
#include "libfwnt_libcerror.h"
28
#include "libfwnt_libcnotify.h"
29
#include "libfwnt_lznt1.h"
30
31
/* Decompresses a LZNT1 compressed chunk
32
 * Returns 1 on success or -1 on error
33
 */
34
int libfwnt_lznt1_decompress_chunk(
35
     const uint8_t *compressed_data,
36
     size_t compressed_data_size,
37
     size_t *compressed_data_offset,
38
     size_t compression_chunk_size,
39
     uint8_t *uncompressed_data,
40
     size_t *uncompressed_data_size,
41
     libcerror_error_t **error )
42
406
{
43
406
  static char *function                   = "libfwnt_lznt1_decompress_chunk";
44
406
  size_t compression_tuple_index          = 0;
45
406
  size_t compression_tuple_threshold      = 0;
46
406
  size_t safe_compressed_data_offset      = 0;
47
406
  size_t safe_uncompressed_data_size      = 0;
48
406
  size_t uncompressed_data_offset         = 0;
49
406
  uint16_t compression_tuple              = 0;
50
406
  uint16_t compression_tuple_offset_shift = 0;
51
406
  uint16_t compression_tuple_size         = 0;
52
406
  uint16_t compression_tuple_size_mask    = 0;
53
406
  int16_t compression_tuple_offset        = 0;
54
406
  uint8_t compression_flag_bit_index      = 0;
55
406
  uint8_t compression_flag_byte           = 0;
56
57
406
  if( compressed_data == NULL )
58
0
  {
59
0
    libcerror_error_set(
60
0
     error,
61
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
62
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
63
0
     "%s: invalid compressed data.",
64
0
     function );
65
66
0
    return( -1 );
67
0
  }
68
406
  if( compressed_data_size > (size_t) SSIZE_MAX )
69
0
  {
70
0
    libcerror_error_set(
71
0
     error,
72
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
73
0
     LIBCERROR_ARGUMENT_ERROR_VALUE_EXCEEDS_MAXIMUM,
74
0
     "%s: invalid compressed data size value exceeds maximum.",
75
0
     function );
76
77
0
    return( -1 );
78
0
  }
79
406
  if( compressed_data_offset == NULL )
80
0
  {
81
0
    libcerror_error_set(
82
0
     error,
83
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
84
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
85
0
     "%s: invalid compressed data offset.",
86
0
     function );
87
88
0
    return( -1 );
89
0
  }
90
406
  safe_compressed_data_offset = *compressed_data_offset;
91
92
406
  if( safe_compressed_data_offset >= compressed_data_size )
93
0
  {
94
0
    libcerror_error_set(
95
0
     error,
96
0
     LIBCERROR_ERROR_DOMAIN_RUNTIME,
97
0
     LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
98
0
     "%s: invalid compressed data offset value out of bounds.",
99
0
     function );
100
101
0
    return( -1 );
102
0
  }
103
406
  if( compression_chunk_size > (size_t) SSIZE_MAX )
104
0
  {
105
0
    libcerror_error_set(
106
0
     error,
107
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
108
0
     LIBCERROR_ARGUMENT_ERROR_VALUE_EXCEEDS_MAXIMUM,
109
0
     "%s: invalid compression chunk size value exceeds maximum.",
110
0
     function );
111
112
0
    return( -1 );
113
0
  }
114
406
  if( compression_chunk_size > ( compressed_data_size - safe_compressed_data_offset ) )
115
2
  {
116
2
    libcerror_error_set(
117
2
     error,
118
2
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
119
2
     LIBCERROR_ARGUMENT_ERROR_VALUE_TOO_SMALL,
120
2
     "%s: compressed data too small.",
121
2
     function );
122
123
2
    return( -1 );
124
2
  }
125
404
  if( uncompressed_data == NULL )
126
0
  {
127
0
    libcerror_error_set(
128
0
     error,
129
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
130
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
131
0
     "%s: invalid uncompressed data.",
132
0
     function );
133
134
0
    return( -1 );
135
0
  }
136
404
  if( uncompressed_data_size == NULL )
137
0
  {
138
0
    libcerror_error_set(
139
0
     error,
140
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
141
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
142
0
     "%s: invalid uncompressed data size.",
143
0
     function );
144
145
0
    return( -1 );
146
0
  }
147
404
  safe_uncompressed_data_size = *uncompressed_data_size;
148
149
404
  compression_tuple_threshold    = 16;
150
404
  compression_tuple_offset_shift = 12;
151
404
  compression_tuple_size_mask    = 0x0fff;
152
153
110k
  while( compression_chunk_size > 0 )
154
109k
  {
155
109k
    if( safe_compressed_data_offset >= compressed_data_size )
156
5
    {
157
5
      break;
158
5
    }
159
109k
    compression_flag_byte = compressed_data[ safe_compressed_data_offset ];
160
161
#if defined( HAVE_DEBUG_OUTPUT )
162
    if( libcnotify_verbose != 0 )
163
    {
164
      libcnotify_printf(
165
       "%s: compressed data offset\t\t\t: %" PRIzd " (0x%08" PRIzx ")\n",
166
       function,
167
       safe_compressed_data_offset,
168
       safe_compressed_data_offset );
169
170
      libcnotify_printf(
171
       "%s: compression flag byte\t\t\t: 0x%02" PRIx8 "\n",
172
       function,
173
       compression_flag_byte );
174
175
      libcnotify_printf(
176
       "\n" );
177
    }
178
#endif /* #if defined( HAVE_DEBUG_OUTPUT ) */
179
180
109k
    safe_compressed_data_offset += 1;
181
109k
    compression_chunk_size      -= 1;
182
183
109k
    for( compression_flag_bit_index = 0;
184
986k
         compression_flag_bit_index < 8;
185
876k
         compression_flag_bit_index++ )
186
877k
    {
187
      /* Check if the data is compressed (tag bit is set)
188
       */
189
877k
      if( ( compression_flag_byte & 0x01 ) != 0 )
190
50.9k
      {
191
50.9k
        if( safe_compressed_data_offset >= ( compressed_data_size - 1 ) )
192
0
        {
193
0
          libcerror_error_set(
194
0
           error,
195
0
           LIBCERROR_ERROR_DOMAIN_RUNTIME,
196
0
           LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
197
0
           "%s: invalid compressed data offset value out of bounds.",
198
0
           function );
199
200
0
          return( -1 );
201
0
        }
202
        /* Read the compression ( size, offset ) tuple
203
         */
204
50.9k
        byte_stream_copy_to_uint16_little_endian(
205
50.9k
         &( compressed_data[ safe_compressed_data_offset ] ),
206
50.9k
         compression_tuple );
207
208
50.9k
        compression_tuple_offset = ( compression_tuple >> compression_tuple_offset_shift ) + 1;
209
50.9k
        compression_tuple_size   = ( compression_tuple & compression_tuple_size_mask ) + 3;
210
211
#if defined( HAVE_DEBUG_OUTPUT )
212
        if( libcnotify_verbose != 0 )
213
        {
214
          libcnotify_printf(
215
           "%s: compressed data offset\t\t\t: %" PRIzd " (0x%08" PRIzx ")\n",
216
           function,
217
           safe_compressed_data_offset,
218
           safe_compressed_data_offset );
219
220
          libcnotify_printf(
221
           "%s: compression tuple\t\t\t: 0x%04" PRIx16 " (shift: %" PRIu16 ", mask: 0x%04" PRIx16 ")\n",
222
           function,
223
           compression_tuple,
224
           compression_tuple_offset_shift,
225
           compression_tuple_size_mask );
226
227
          libcnotify_printf(
228
           "%s: compression tuple offset\t\t: %" PRIi16 "\n",
229
           function,
230
           compression_tuple_offset );
231
232
          libcnotify_printf(
233
           "%s: compression tuple size\t\t\t: %" PRIu16 "\n",
234
           function,
235
           compression_tuple_size );
236
237
          libcnotify_printf(
238
           "%s: uncompressed data offset\t\t: %" PRIzd "\n",
239
           function,
240
           uncompressed_data_offset );
241
242
          libcnotify_printf(
243
           "\n" );
244
        }
245
#endif /* #if defined( HAVE_DEBUG_OUTPUT ) */
246
247
50.9k
        safe_compressed_data_offset += 2;
248
50.9k
        compression_chunk_size      -= 2;
249
250
        /* The compression tuple offset refers to an offset in the uncompressed data
251
         */
252
50.9k
        if( (size_t) compression_tuple_offset > uncompressed_data_offset )
253
40
        {
254
40
          libcerror_error_set(
255
40
           error,
256
40
           LIBCERROR_ERROR_DOMAIN_RUNTIME,
257
40
           LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
258
40
           "%s: invalid compression tuple offset value out of bounds.",
259
40
           function );
260
261
40
          return( -1 );
262
40
        }
263
50.9k
        compression_tuple_index = uncompressed_data_offset - compression_tuple_offset;
264
265
438k
        while( compression_tuple_size > 0 )
266
387k
        {
267
387k
          if( compression_tuple_index > uncompressed_data_offset )
268
0
          {
269
0
            libcerror_error_set(
270
0
             error,
271
0
             LIBCERROR_ERROR_DOMAIN_RUNTIME,
272
0
             LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
273
0
             "%s: invalid compression tuple index value out of bounds.",
274
0
             function );
275
276
0
            return( -1 );
277
0
          }
278
387k
          if( uncompressed_data_offset >= safe_uncompressed_data_size )
279
1
          {
280
1
            libcerror_error_set(
281
1
             error,
282
1
             LIBCERROR_ERROR_DOMAIN_RUNTIME,
283
1
             LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
284
1
             "%s: invalid uncompressed data offset value out of bounds.",
285
1
             function );
286
287
1
            return( -1 );
288
1
          }
289
387k
          uncompressed_data[ uncompressed_data_offset++ ] = uncompressed_data[ compression_tuple_index++ ];
290
291
387k
          compression_tuple_size -= 1;
292
387k
        }
293
50.9k
      }
294
826k
      else
295
826k
      {
296
826k
        if( uncompressed_data_offset >= safe_uncompressed_data_size )
297
2
        {
298
2
          libcerror_error_set(
299
2
           error,
300
2
           LIBCERROR_ERROR_DOMAIN_RUNTIME,
301
2
           LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
302
2
           "%s: invalid uncompressed data offset value out of bounds.",
303
2
           function );
304
305
2
          return( -1 );
306
2
        }
307
826k
        if( safe_compressed_data_offset >= compressed_data_size )
308
1
        {
309
1
          libcerror_error_set(
310
1
           error,
311
1
           LIBCERROR_ERROR_DOMAIN_RUNTIME,
312
1
           LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
313
1
           "%s: invalid compressed data offset value out of bounds.",
314
1
           function );
315
316
1
          return( -1 );
317
1
        }
318
826k
        uncompressed_data[ uncompressed_data_offset++ ] = compressed_data[ safe_compressed_data_offset++ ];
319
320
826k
        compression_chunk_size -= 1;
321
826k
      }
322
876k
      compression_flag_byte >>= 1;
323
324
876k
      if( compression_chunk_size == 0 )
325
352
      {
326
352
        break;
327
352
      }
328
      /* The compression tuple size mask and offset shift
329
       * are dependent on the current buffer offset in the uncompressed data
330
       */
331
877k
      while( uncompressed_data_offset > compression_tuple_threshold )
332
1.04k
      {
333
1.04k
        if( compression_tuple_offset_shift == 0 )
334
3
        {
335
3
          libcerror_error_set(
336
3
           error,
337
3
           LIBCERROR_ERROR_DOMAIN_RUNTIME,
338
3
           LIBCERROR_RUNTIME_ERROR_VALUE_OUT_OF_BOUNDS,
339
3
           "%s: invalid compression tuple offset shift value out of bounds.",
340
3
           function );
341
342
3
          return( -1 );
343
3
        }
344
1.04k
        compression_tuple_offset_shift -= 1;
345
1.04k
        compression_tuple_size_mask   >>= 1;
346
1.04k
        compression_tuple_threshold   <<= 1;
347
1.04k
      }
348
876k
    }
349
109k
  }
350
357
  *compressed_data_offset = safe_compressed_data_offset;
351
357
  *uncompressed_data_size = uncompressed_data_offset;
352
353
357
  return( 1 );
354
404
}
355
356
/* Decompresses data using LZNT1 compression
357
 * Returns 1 on success or -1 on error
358
 */
359
int libfwnt_lznt1_decompress(
360
     const uint8_t *compressed_data,
361
     size_t compressed_data_size,
362
     uint8_t *uncompressed_data,
363
     size_t *uncompressed_data_size,
364
     libcerror_error_t **error )
365
199
{
366
199
  static char *function              = "libfwnt_lznt1_decompress";
367
199
  size_t compressed_data_offset      = 0;
368
199
  size_t safe_uncompressed_data_size = 0;
369
199
  size_t uncompressed_chunk_size     = 0;
370
199
  size_t uncompressed_data_offset    = 0;
371
199
  uint16_t compression_chunk_header  = 0;
372
199
  uint16_t compression_chunk_size    = 0;
373
374
199
  if( compressed_data == NULL )
375
0
  {
376
0
    libcerror_error_set(
377
0
     error,
378
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
379
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
380
0
     "%s: invalid compressed data.",
381
0
     function );
382
383
0
    return( -1 );
384
0
  }
385
199
  if( compressed_data_size > (size_t) SSIZE_MAX )
386
0
  {
387
0
    libcerror_error_set(
388
0
     error,
389
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
390
0
     LIBCERROR_ARGUMENT_ERROR_VALUE_EXCEEDS_MAXIMUM,
391
0
     "%s: invalid compressed data size value exceeds maximum.",
392
0
     function );
393
394
0
    return( -1 );
395
0
  }
396
199
  if( uncompressed_data == NULL )
397
0
  {
398
0
    libcerror_error_set(
399
0
     error,
400
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
401
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
402
0
     "%s: invalid uncompressed data.",
403
0
     function );
404
405
0
    return( -1 );
406
0
  }
407
199
  if( uncompressed_data_size == NULL )
408
0
  {
409
0
    libcerror_error_set(
410
0
     error,
411
0
     LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
412
0
     LIBCERROR_ARGUMENT_ERROR_INVALID_VALUE,
413
0
     "%s: invalid uncompressed data size.",
414
0
     function );
415
416
0
    return( -1 );
417
0
  }
418
199
  safe_uncompressed_data_size = *uncompressed_data_size;
419
420
2.20k
  while( compressed_data_offset < compressed_data_size )
421
2.20k
  {
422
2.20k
    if( uncompressed_data_offset >= safe_uncompressed_data_size )
423
4
    {
424
4
      break;
425
4
    }
426
2.19k
    if( ( compressed_data_offset + 1 ) >= compressed_data_size )
427
2
    {
428
2
      libcerror_error_set(
429
2
       error,
430
2
       LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
431
2
       LIBCERROR_ARGUMENT_ERROR_VALUE_TOO_SMALL,
432
2
       "%s: compressed data size value too small.",
433
2
       function );
434
435
2
      return( -1 );
436
2
    }
437
    /* The first 2 bytes contain the compressed chunk header
438
     * 0  - 11  compressed chunk size
439
     * 12 - 14  signature value
440
     * 15   is compressed flag
441
     */
442
2.19k
    byte_stream_copy_to_uint16_little_endian(
443
2.19k
     &( compressed_data[ compressed_data_offset ] ),
444
2.19k
     compression_chunk_header );
445
446
#if defined( HAVE_DEBUG_OUTPUT )
447
    if( libcnotify_verbose != 0 )
448
    {
449
      libcnotify_printf(
450
       "%s: compressed data offset\t\t\t: %" PRIzd " (0x%08" PRIzx ")\n",
451
       function,
452
       compressed_data_offset,
453
       compressed_data_offset );
454
455
      libcnotify_printf(
456
       "%s: compression chunk header\t\t\t: 0x%04" PRIx16 "\n",
457
       function,
458
       compression_chunk_header );
459
460
      libcnotify_printf(
461
       "%s: compressed chunk size\t\t\t\t: %" PRIu16 "\n",
462
       function,
463
       ( compression_chunk_header & 0x0fff ) + 1 );
464
465
      libcnotify_printf(
466
       "%s: signature value\t\t\t\t: %" PRIu16 "\n",
467
       function,
468
       ( compression_chunk_header >> 12 ) & 0x0007 );
469
470
      libcnotify_printf(
471
       "%s: is compressed flag\t\t\t\t: %" PRIu16 "\n",
472
       function,
473
       compression_chunk_header >> 15 );
474
475
      libcnotify_printf(
476
       "\n" );
477
    }
478
#endif /* defined( HAVE_DEBUG_OUTPUT ) */
479
480
2.19k
    compressed_data_offset += 2;
481
482
2.19k
    if( compression_chunk_header == 0 )
483
133
    {
484
133
      break;
485
133
    }
486
2.06k
    compression_chunk_size = ( compression_chunk_header & 0x0fff ) + 1;
487
488
2.06k
    if( ( compression_chunk_header & 0x8000 ) != 0 )
489
406
    {
490
      /* Adjust the compression chunk size for the iteration
491
       */
492
406
      uncompressed_chunk_size = safe_uncompressed_data_size - uncompressed_data_offset;
493
494
406
      if( libfwnt_lznt1_decompress_chunk(
495
406
           compressed_data,
496
406
           compressed_data_size,
497
406
           &compressed_data_offset,
498
406
           compression_chunk_size,
499
406
           &( uncompressed_data[ uncompressed_data_offset ] ),
500
406
           &uncompressed_chunk_size,
501
406
           error ) != 1 )
502
49
      {
503
49
        libcerror_error_set(
504
49
         error,
505
49
         LIBCERROR_ERROR_DOMAIN_COMPRESSION,
506
49
         LIBCERROR_COMPRESSION_ERROR_DECOMPRESS_FAILED,
507
49
         "%s: unable to decompress chunk.",
508
49
         function );
509
510
49
        return( -1 );
511
49
      }
512
357
      uncompressed_data_offset += uncompressed_chunk_size;
513
357
    }
514
1.65k
    else
515
1.65k
    {
516
1.65k
      if( compression_chunk_size > ( compressed_data_size - compressed_data_offset ) )
517
3
      {
518
3
        libcerror_error_set(
519
3
         error,
520
3
         LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
521
3
         LIBCERROR_ARGUMENT_ERROR_VALUE_TOO_SMALL,
522
3
         "%s: compressed data too small.",
523
3
         function );
524
525
3
        return( -1 );
526
3
      }
527
1.65k
      if( compression_chunk_size > ( safe_uncompressed_data_size - uncompressed_data_offset ) )
528
2
      {
529
2
        libcerror_error_set(
530
2
         error,
531
2
         LIBCERROR_ERROR_DOMAIN_ARGUMENTS,
532
2
         LIBCERROR_ARGUMENT_ERROR_VALUE_TOO_SMALL,
533
2
         "%s: uncompressed data too small.",
534
2
         function );
535
536
2
        return( -1 );
537
2
      }
538
1.65k
      if( memory_copy(
539
1.65k
           &( uncompressed_data[ uncompressed_data_offset ] ),
540
1.65k
           &( compressed_data[ compressed_data_offset ] ),
541
1.65k
           compression_chunk_size ) == NULL )
542
0
      {
543
0
        libcerror_error_set(
544
0
         error,
545
0
         LIBCERROR_ERROR_DOMAIN_MEMORY,
546
0
         LIBCERROR_MEMORY_ERROR_COPY_FAILED,
547
0
         "%s: unable to copy copy compressed data to uncompressed data.",
548
0
         function );
549
550
0
        return( -1 );
551
0
      }
552
1.65k
      compressed_data_offset   += (size_t) compression_chunk_size;
553
1.65k
      uncompressed_data_offset += (size_t) compression_chunk_size;
554
1.65k
    }
555
2.06k
  }
556
143
  *uncompressed_data_size = uncompressed_data_offset;
557
558
143
  return( 1 );
559
199
}
560