diff options
Diffstat (limited to 'unzcrash.c')
-rw-r--r-- | unzcrash.c | 126 |
1 files changed, 126 insertions, 0 deletions
diff --git a/unzcrash.c b/unzcrash.c new file mode 100644 index 0000000..f0f17fc --- /dev/null +++ b/unzcrash.c | |||
@@ -0,0 +1,126 @@ | |||
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 | } | ||