1 |
|
---|
2 | /* A test program written to test robustness to decompression of
|
---|
3 | corrupted data. Usage is
|
---|
4 | unzcrash filename
|
---|
5 | and the program will read the specified file, compress it (in memory),
|
---|
6 | and then repeatedly decompress it, each time with a different bit of
|
---|
7 | the compressed data inverted, so as to test all possible one-bit errors.
|
---|
8 | This should not cause any invalid memory accesses. If it does,
|
---|
9 | I want to know about it!
|
---|
10 |
|
---|
11 | p.s. As you can see from the above description, the process is
|
---|
12 | incredibly slow. A file of size eg 5KB will cause it to run for
|
---|
13 | many hours.
|
---|
14 | */
|
---|
15 |
|
---|
16 | #include <stdio.h>
|
---|
17 | #include <assert.h>
|
---|
18 | #include "bzlib.h"
|
---|
19 |
|
---|
20 | #define M_BLOCK 1000000
|
---|
21 |
|
---|
22 | typedef unsigned char uchar;
|
---|
23 |
|
---|
24 | #define M_BLOCK_OUT (M_BLOCK + 1000000)
|
---|
25 | uchar inbuf[M_BLOCK];
|
---|
26 | uchar outbuf[M_BLOCK_OUT];
|
---|
27 | uchar zbuf[M_BLOCK + 600 + (M_BLOCK / 100)];
|
---|
28 |
|
---|
29 | int nIn, nOut, nZ;
|
---|
30 |
|
---|
31 | static char *bzerrorstrings[] = {
|
---|
32 | "OK"
|
---|
33 | ,"SEQUENCE_ERROR"
|
---|
34 | ,"PARAM_ERROR"
|
---|
35 | ,"MEM_ERROR"
|
---|
36 | ,"DATA_ERROR"
|
---|
37 | ,"DATA_ERROR_MAGIC"
|
---|
38 | ,"IO_ERROR"
|
---|
39 | ,"UNEXPECTED_EOF"
|
---|
40 | ,"OUTBUFF_FULL"
|
---|
41 | ,"???" /* for future */
|
---|
42 | ,"???" /* for future */
|
---|
43 | ,"???" /* for future */
|
---|
44 | ,"???" /* for future */
|
---|
45 | ,"???" /* for future */
|
---|
46 | ,"???" /* for future */
|
---|
47 | };
|
---|
48 |
|
---|
49 | void flip_bit ( int bit )
|
---|
50 | {
|
---|
51 | int byteno = bit / 8;
|
---|
52 | int bitno = bit % 8;
|
---|
53 | uchar mask = 1 << bitno;
|
---|
54 | //fprintf ( stderr, "(byte %d bit %d mask %d)",
|
---|
55 | // byteno, bitno, (int)mask );
|
---|
56 | zbuf[byteno] ^= mask;
|
---|
57 | }
|
---|
58 |
|
---|
59 | int main ( int argc, char** argv )
|
---|
60 | {
|
---|
61 | FILE* f;
|
---|
62 | int r;
|
---|
63 | int bit;
|
---|
64 | int i;
|
---|
65 |
|
---|
66 | if (argc != 2) {
|
---|
67 | fprintf ( stderr, "usage: unzcrash filename\n" );
|
---|
68 | return 1;
|
---|
69 | }
|
---|
70 |
|
---|
71 | f = fopen ( argv[1], "r" );
|
---|
72 | if (!f) {
|
---|
73 | fprintf ( stderr, "unzcrash: can't open %s\n", argv[1] );
|
---|
74 | return 1;
|
---|
75 | }
|
---|
76 |
|
---|
77 | nIn = fread ( inbuf, 1, M_BLOCK, f );
|
---|
78 | fprintf ( stderr, "%d bytes read\n", nIn );
|
---|
79 |
|
---|
80 | nZ = M_BLOCK;
|
---|
81 | r = BZ2_bzBuffToBuffCompress (
|
---|
82 | zbuf, &nZ, inbuf, nIn, 9, 0, 30 );
|
---|
83 |
|
---|
84 | assert (r == BZ_OK);
|
---|
85 | fprintf ( stderr, "%d after compression\n", nZ );
|
---|
86 |
|
---|
87 | for (bit = 0; bit < nZ*8; bit++) {
|
---|
88 | fprintf ( stderr, "bit %d ", bit );
|
---|
89 | flip_bit ( bit );
|
---|
90 | nOut = M_BLOCK_OUT;
|
---|
91 | r = BZ2_bzBuffToBuffDecompress (
|
---|
92 | outbuf, &nOut, zbuf, nZ, 0, 0 );
|
---|
93 | fprintf ( stderr, " %d %s ", r, bzerrorstrings[-r] );
|
---|
94 |
|
---|
95 | if (r != BZ_OK) {
|
---|
96 | fprintf ( stderr, "\n" );
|
---|
97 | } else {
|
---|
98 | if (nOut != nIn) {
|
---|
99 | fprintf(stderr, "nIn/nOut mismatch %d %d\n", nIn, nOut );
|
---|
100 | return 1;
|
---|
101 | } else {
|
---|
102 | for (i = 0; i < nOut; i++)
|
---|
103 | if (inbuf[i] != outbuf[i]) {
|
---|
104 | fprintf(stderr, "mismatch at %d\n", i );
|
---|
105 | return 1;
|
---|
106 | }
|
---|
107 | if (i == nOut) fprintf(stderr, "really ok!\n" );
|
---|
108 | }
|
---|
109 | }
|
---|
110 |
|
---|
111 | flip_bit ( bit );
|
---|
112 | }
|
---|
113 |
|
---|
114 | #if 0
|
---|
115 | assert (nOut == nIn);
|
---|
116 | for (i = 0; i < nOut; i++) {
|
---|
117 | if (inbuf[i] != outbuf[i]) {
|
---|
118 | fprintf ( stderr, "difference at %d !\n", i );
|
---|
119 | return 1;
|
---|
120 | }
|
---|
121 | }
|
---|
122 | #endif
|
---|
123 |
|
---|
124 | fprintf ( stderr, "all ok\n" );
|
---|
125 | return 0;
|
---|
126 | }
|
---|