blob: 821b3d6cfd75bf652733df03fd7c83bf9fd41cfc [file] [log] [blame]
Lev Walkina85b37d2005-02-18 10:13:44 +00001/*
2 * Mode of operation:
3 * Each of the *.in files is XER-decoded, then converted into DER,
4 * then decoded from DER and encoded into XER again. The resulting
Lev Walkin2a744a72013-03-27 01:56:23 -07005 * stream is compared with the corresponding .out file.
Lev Walkina85b37d2005-02-18 10:13:44 +00006 */
Lev Walkin3234ecc2005-02-14 17:20:23 +00007#undef NDEBUG
8#include <stdio.h>
9#include <stdlib.h>
10#include <sys/types.h>
Lev Walkine0d321a2014-09-11 01:28:57 -070011#include <unistd.h> /* for chdir(2), getcwd(3) */
Lev Walkin3234ecc2005-02-14 17:20:23 +000012#include <string.h>
13#include <dirent.h>
Lev Walkin2a744a72013-03-27 01:56:23 -070014#include <ctype.h> /* for isspace(3) */
Lev Walkin3234ecc2005-02-14 17:20:23 +000015#include <assert.h>
16#include <errno.h>
17
18#include <PDU.h>
19
Lev Walkine0d321a2014-09-11 01:28:57 -070020#ifndef SRCDIR
21#define SRCDIR_S ".."
22#else
23#define STRINGIFY_MACRO2(x) #x
24#define STRINGIFY_MACRO(x) STRINGIFY_MACRO2(x)
25#define SRCDIR_S STRINGIFY_MACRO(SRCDIR)
26#endif
27
Lev Walkin3234ecc2005-02-14 17:20:23 +000028enum expectation {
29 EXP_OK, /* Encoding/decoding must succeed */
30 EXP_BROKEN, /* Decoding must fail */
Lev Walkin3234ecc2005-02-14 17:20:23 +000031 EXP_DIFFERENT, /* Reconstruction will yield different encoding */
32};
33
34static unsigned char buf[4096];
35static int buf_offset;
36
37static int
38_buf_writer(const void *buffer, size_t size, void *app_key) {
39 unsigned char *b, *bend;
40 (void)app_key;
41 assert(buf_offset + size < sizeof(buf));
42 memcpy(buf + buf_offset, buffer, size);
43 b = buf + buf_offset;
44 bend = b + size;
Lev Walkin41ffcac2005-02-18 14:26:30 +000045 fprintf(stderr, "=> [");
Lev Walkin2a744a72013-03-27 01:56:23 -070046 for(; b < bend; b++)
47 fprintf(stderr, "%c", *b);
Lev Walkin1715b322013-03-28 04:02:13 -070048 fprintf(stderr, "]:%zd\n", size);
Lev Walkin3234ecc2005-02-14 17:20:23 +000049 buf_offset += size;
50 return 0;
51}
52
Lev Walkina85b37d2005-02-18 10:13:44 +000053static void
Lev Walkin74898072017-09-18 00:56:06 -070054save_object_as(PDU_t *st, enum asn_transfer_syntax syntax) {
55 asn_enc_rval_t rval; /* Return value */
Lev Walkin3234ecc2005-02-14 17:20:23 +000056
Lev Walkin74898072017-09-18 00:56:06 -070057 buf_offset = 0;
Lev Walkina85b37d2005-02-18 10:13:44 +000058
Lev Walkin74898072017-09-18 00:56:06 -070059 rval = asn_encode(0, syntax, &asn_DEF_PDU, st, _buf_writer, 0);
60
61 if (rval.encoded == -1) {
Lev Walkin3234ecc2005-02-14 17:20:23 +000062 fprintf(stderr,
63 "Cannot encode %s: %s\n",
64 rval.failed_type->name, strerror(errno));
65 assert(rval.encoded != -1);
Lev Walkina85b37d2005-02-18 10:13:44 +000066 return;
Lev Walkin74898072017-09-18 00:56:06 -070067 }
Lev Walkin3234ecc2005-02-14 17:20:23 +000068
Lev Walkin4fe28822017-09-18 02:57:34 -070069 fprintf(stderr, "SAVED OBJECT IN SIZE %d/%zu\n", buf_offset, rval.encoded);
Lev Walkin74898072017-09-18 00:56:06 -070070
Lev Walkin4fe28822017-09-18 02:57:34 -070071 assert(buf_offset == rval.encoded);
Lev Walkin3234ecc2005-02-14 17:20:23 +000072}
73
74static PDU_t *
Lev Walkin74898072017-09-18 00:56:06 -070075load_object_from(enum expectation expectation, unsigned char *fbuf, size_t size, enum asn_transfer_syntax syntax) {
Lev Walkin3234ecc2005-02-14 17:20:23 +000076 asn_dec_rval_t rval;
77 PDU_t *st = 0;
Lev Walkinb7c40b62013-03-28 05:54:12 -070078 size_t csize = 1;
Lev Walkin3234ecc2005-02-14 17:20:23 +000079
Lev Walkin41ffcac2005-02-18 14:26:30 +000080 if(getenv("INITIAL_CHUNK_SIZE"))
81 csize = atoi(getenv("INITIAL_CHUNK_SIZE"));
Lev Walkin3234ecc2005-02-14 17:20:23 +000082
83 /* Perform multiple iterations with multiple chunks sizes */
Lev Walkin41ffcac2005-02-18 14:26:30 +000084 for(; csize < 20; csize += 1) {
Lev Walkin3234ecc2005-02-14 17:20:23 +000085 int fbuf_offset = 0;
86 int fbuf_left = size;
87 int fbuf_chunk = csize;
88
Lev Walkinb7c40b62013-03-28 05:54:12 -070089 fprintf(stderr, "LOADING OBJECT OF SIZE %zd, chunks %zd\n",
Lev Walkin41ffcac2005-02-18 14:26:30 +000090 size, csize);
91
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +080092 if(st) ASN_STRUCT_FREE(asn_DEF_PDU, st);
Lev Walkin3234ecc2005-02-14 17:20:23 +000093 st = 0;
94
95 do {
Lev Walkin15d38f42014-09-17 01:19:31 -070096 ASN_DEBUG("Decoding bytes %d..%d (left %d)",
Lev Walkin41ffcac2005-02-18 14:26:30 +000097 fbuf_offset,
98 fbuf_chunk < fbuf_left
99 ? fbuf_chunk : fbuf_left,
100 fbuf_left);
Lev Walkin15d38f42014-09-17 01:19:31 -0700101#ifdef EMIT_ASN_DEBUG
Lev Walkin41ffcac2005-02-18 14:26:30 +0000102 if(st) {
103 fprintf(stderr, "=== currently ===\n");
104 asn_fprint(stderr, &asn_DEF_PDU, st);
105 fprintf(stderr, "=== end ===\n");
106 }
Lev Walkin15d38f42014-09-17 01:19:31 -0700107#endif
Lev Walkin74898072017-09-18 00:56:06 -0700108 rval = asn_decode(0, syntax, &asn_DEF_PDU, (void **)&st,
Lev Walkin3234ecc2005-02-14 17:20:23 +0000109 fbuf + fbuf_offset,
110 fbuf_chunk < fbuf_left
Lev Walkina85b37d2005-02-18 10:13:44 +0000111 ? fbuf_chunk : fbuf_left);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000112 fbuf_offset += rval.consumed;
113 fbuf_left -= rval.consumed;
114 if(rval.code == RC_WMORE)
115 fbuf_chunk += 1; /* Give little more */
116 else
117 fbuf_chunk = csize; /* Back off */
118 } while(fbuf_left && rval.code == RC_WMORE);
119
120 if(expectation != EXP_BROKEN) {
121 assert(rval.code == RC_OK);
Lev Walkin74898072017-09-18 00:56:06 -0700122 if(syntax == ATS_BER) {
Lev Walkin5b63acf2014-01-14 01:48:37 -0800123 assert(fbuf_offset == (ssize_t)size);
Lev Walkina85b37d2005-02-18 10:13:44 +0000124 } else {
Lev Walkina75b2472017-09-18 00:38:43 -0700125 assert((fbuf_offset + 1 /* "\n" */ == (ssize_t)size
Lev Walkin3234ecc2005-02-14 17:20:23 +0000126 && fbuf[size - 1] == '\n')
Lev Walkin5b63acf2014-01-14 01:48:37 -0800127 || (fbuf_offset + 2 /* "\r\n" */ == (ssize_t)size
Lev Walkin3234ecc2005-02-14 17:20:23 +0000128 && fbuf[size - 2] == '\r'
129 && fbuf[size - 1] == '\n')
Lev Walkina85b37d2005-02-18 10:13:44 +0000130 );
131 }
Lev Walkin3234ecc2005-02-14 17:20:23 +0000132 } else {
133 assert(rval.code != RC_OK);
134 fprintf(stderr, "Failed, but this was expected\n");
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +0800135 ASN_STRUCT_FREE(asn_DEF_PDU, st);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000136 st = 0; /* ignore leak for now */
137 }
138 }
139
140 if(st) asn_fprint(stderr, &asn_DEF_PDU, st);
141 return st;
142}
143
Lev Walkina85b37d2005-02-18 10:13:44 +0000144static int
Lev Walkin5b63acf2014-01-14 01:48:37 -0800145xer_encoding_equal(void *obufp, size_t osize, void *nbufp, size_t nsize) {
146 char *obuf = obufp;
147 char *nbuf = nbufp;
Lev Walkina85b37d2005-02-18 10:13:44 +0000148 char *oend = obuf + osize;
149 char *nend = nbuf + nsize;
150
151 if((osize && !nsize) || (!osize && nsize))
152 return 0; /* not equal apriori */
153
154 while(1) {
155 while(obuf < oend && isspace(*obuf)) obuf++;
156 while(nbuf < nend && isspace(*nbuf)) nbuf++;
157
158 if(obuf == oend || nbuf == nend) {
159 if(obuf == oend && nbuf == nend)
160 break;
161 fprintf(stderr, "%s data in reconstructed encoding\n",
162 (obuf == oend) ? "More" : "Less");
163 return 0;
164 }
165
166 if(*obuf != *nbuf) {
167 printf("%c%c != %c%c\n",
168 obuf[0], obuf[1],
169 nbuf[0], nbuf[1]);
170 return 0;
171 }
172 obuf++, nbuf++;
173 }
174
175 return 1;
176}
Lev Walkin3234ecc2005-02-14 17:20:23 +0000177
178static void
Lev Walkin5b63acf2014-01-14 01:48:37 -0800179process_XER_data(enum expectation expectation, unsigned char *fbuf, size_t size) {
Lev Walkin3234ecc2005-02-14 17:20:23 +0000180 PDU_t *st;
Lev Walkin3234ecc2005-02-14 17:20:23 +0000181
Lev Walkin74898072017-09-18 00:56:06 -0700182 st = load_object_from(expectation, fbuf, size, ATS_BASIC_XER);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000183 if(!st) return;
184
Lev Walkina85b37d2005-02-18 10:13:44 +0000185 /* Save and re-load as DER */
Lev Walkin74898072017-09-18 00:56:06 -0700186 save_object_as(st, ATS_DER);
Vasil Velichkovcef21e02017-10-09 23:40:17 +0300187 ASN_STRUCT_FREE(asn_DEF_PDU, st);
Lev Walkin74898072017-09-18 00:56:06 -0700188 st = load_object_from(expectation, buf, buf_offset, ATS_BER);
Lev Walkina85b37d2005-02-18 10:13:44 +0000189 assert(st);
190
Lev Walkin74898072017-09-18 00:56:06 -0700191 save_object_as(st, ATS_BASIC_XER);
Lev Walkina85b37d2005-02-18 10:13:44 +0000192 fprintf(stderr, "=== original ===\n");
193 fwrite(fbuf, 1, size, stderr);
194 fprintf(stderr, "=== re-encoded ===\n");
195 fwrite(buf, 1, buf_offset, stderr);
196 fprintf(stderr, "=== end ===\n");
Lev Walkin3234ecc2005-02-14 17:20:23 +0000197
198 switch(expectation) {
Lev Walkin3234ecc2005-02-14 17:20:23 +0000199 case EXP_DIFFERENT:
Lev Walkina85b37d2005-02-18 10:13:44 +0000200 assert(!xer_encoding_equal(fbuf, size, buf, buf_offset));
Lev Walkin3234ecc2005-02-14 17:20:23 +0000201 break;
202 case EXP_BROKEN:
Lev Walkina85b37d2005-02-18 10:13:44 +0000203 assert(!xer_encoding_equal(fbuf, size, buf, buf_offset));
Lev Walkin3234ecc2005-02-14 17:20:23 +0000204 break;
205 case EXP_OK:
Lev Walkina85b37d2005-02-18 10:13:44 +0000206 assert(xer_encoding_equal(fbuf, size, buf, buf_offset));
Lev Walkin3234ecc2005-02-14 17:20:23 +0000207 break;
208 }
209
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +0800210 ASN_STRUCT_FREE(asn_DEF_PDU, st);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000211}
212
213/*
214 * Decode the .der files and try to regenerate them.
215 */
216static int
217process(const char *fname) {
Lev Walkine0d321a2014-09-11 01:28:57 -0700218 char prevdir[256];
Lev Walkin5b63acf2014-01-14 01:48:37 -0800219 unsigned char fbuf[4096];
Lev Walkin3234ecc2005-02-14 17:20:23 +0000220 char *ext = strrchr(fname, '.');
221 enum expectation expectation;
222 int ret;
223 int rd;
224 FILE *fp;
225
226 if(ext == 0 || strcmp(ext, ".in"))
227 return 0;
228
229 switch(ext[-1]) {
230 case 'B': /* The file is intentionally broken */
231 expectation = EXP_BROKEN; break;
Lev Walkin2a744a72013-03-27 01:56:23 -0700232 case 'X':
Lev Walkin3234ecc2005-02-14 17:20:23 +0000233 case 'D': /* Reconstructing should yield different data */
234 expectation = EXP_DIFFERENT; break;
Lev Walkin2a744a72013-03-27 01:56:23 -0700235 case 'E':
Lev Walkin3234ecc2005-02-14 17:20:23 +0000236 default:
237 expectation = EXP_OK; break;
238 }
239
240 fprintf(stderr, "\nProcessing file [../%s]\n", fname);
241
Lev Walkine0d321a2014-09-11 01:28:57 -0700242 getcwd(prevdir, sizeof(prevdir));
243 ret = chdir(SRCDIR_S "/data-70");
Lev Walkin3234ecc2005-02-14 17:20:23 +0000244 assert(ret == 0);
245 fp = fopen(fname, "r");
Lev Walkine0d321a2014-09-11 01:28:57 -0700246 ret = chdir(prevdir);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000247 assert(ret == 0);
248 assert(fp);
249
250 rd = fread(fbuf, 1, sizeof(fbuf), fp);
251 fclose(fp);
252
Lev Walkin5b63acf2014-01-14 01:48:37 -0800253 assert(rd > 0 && (size_t)rd < sizeof(fbuf)); /* expect small files */
Lev Walkin3234ecc2005-02-14 17:20:23 +0000254
Lev Walkina85b37d2005-02-18 10:13:44 +0000255 process_XER_data(expectation, fbuf, rd);
Lev Walkin3234ecc2005-02-14 17:20:23 +0000256
257 return 1;
258}
259
Lev Walkinc8c286a2017-09-18 03:19:37 -0700260#ifdef ENABLE_LIBFUZZER
261
262int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
263 PDU_t *st = 0;
264 asn_dec_rval_t rval;
265 rval = asn_decode(0, ATS_BASIC_XER, &asn_DEF_PDU, (void **)&st, Data, Size);
266 assert(rval.consumed <= Size);
267 ASN_STRUCT_FREE(asn_DEF_PDU, st);
268 return 0;
269}
270
271#else
272
Lev Walkin3234ecc2005-02-14 17:20:23 +0000273int
274main() {
275 DIR *dir;
276 struct dirent *dent;
277 int processed_files = 0;
278 char *str;
279
Lev Walkin3234ecc2005-02-14 17:20:23 +0000280 /* Process a specific test file */
281 str = getenv("DATA_70_FILE");
Lev Walkin2a744a72013-03-27 01:56:23 -0700282 if(str && strncmp(str, "data-70-", 8) == 0)
Lev Walkin3234ecc2005-02-14 17:20:23 +0000283 process(str);
284
Lev Walkine0d321a2014-09-11 01:28:57 -0700285 dir = opendir(SRCDIR_S "/data-70");
Lev Walkina85b37d2005-02-18 10:13:44 +0000286 assert(dir);
287
288 /*
289 * Process each file in that directory.
290 */
Lev Walkin3234ecc2005-02-14 17:20:23 +0000291 while((dent = readdir(dir))) {
292 if(strncmp(dent->d_name, "data-70-", 8) == 0)
293 if(process(dent->d_name))
294 processed_files++;
295 }
296
297 assert(processed_files);
298 closedir(dir);
299
300 return 0;
301}
302
Lev Walkinc8c286a2017-09-18 03:19:37 -0700303#endif