blob: 124c800f86f80fc460a23e67a3d47d13c74120aa [file] [log] [blame]
vlmc0ed2362005-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
5 * stream is compared with the corresponding .out file.
6 */
vlmfe78e1a2005-02-14 17:20:23 +00007#undef NDEBUG
8#include <stdio.h>
9#include <stdlib.h>
10#include <sys/types.h>
11#include <unistd.h> /* for chdir(2) */
12#include <string.h>
13#include <dirent.h>
14#include <assert.h>
15#include <errno.h>
16
17#include <PDU.h>
18
19enum expectation {
20 EXP_OK, /* Encoding/decoding must succeed */
vlm79f84702005-07-03 05:21:52 +000021 EXP_CXER_EXACT, /* Encoding/decoding using CXER must be exact */
22 EXP_CXER_DIFF, /* Encoding/decoding using CXER must be different */
vlmfe78e1a2005-02-14 17:20:23 +000023 EXP_BROKEN, /* Decoding must fail */
vlmfe78e1a2005-02-14 17:20:23 +000024 EXP_DIFFERENT, /* Reconstruction will yield different encoding */
25};
26
27static unsigned char buf[4096];
28static int buf_offset;
29
30static int
31_buf_writer(const void *buffer, size_t size, void *app_key) {
32 unsigned char *b, *bend;
33 (void)app_key;
34 assert(buf_offset + size < sizeof(buf));
35 memcpy(buf + buf_offset, buffer, size);
36 b = buf + buf_offset;
37 bend = b + size;
vlm76477b22005-02-18 14:26:30 +000038 fprintf(stderr, "=> [");
vlm337167e2005-11-26 11:25:14 +000039 for(; b < bend; b++) {
40 if(*b >= 32 && *b < 127 && *b != '%')
41 fprintf(stderr, "%c", *b);
42 else
vlm86380d32006-10-09 12:07:58 +000043 fprintf(stderr, "%%%02x", *b);
vlm337167e2005-11-26 11:25:14 +000044 }
vlm76477b22005-02-18 14:26:30 +000045 fprintf(stderr, "]:%ld\n", (long)size);
vlmfe78e1a2005-02-14 17:20:23 +000046 buf_offset += size;
47 return 0;
48}
49
vlmc0ed2362005-02-18 10:13:44 +000050enum der_or_xer {
51 AS_DER,
52 AS_XER,
vlm79f84702005-07-03 05:21:52 +000053 AS_CXER,
vlmc0ed2362005-02-18 10:13:44 +000054};
55
56static void
57save_object_as(PDU_t *st, enum der_or_xer how) {
vlmfe78e1a2005-02-14 17:20:23 +000058 asn_enc_rval_t rval; /* Return value */
59
60 buf_offset = 0;
vlmc0ed2362005-02-18 10:13:44 +000061
62 /*
63 * Save object using specified method.
64 */
65 switch(how) {
66 case AS_DER:
67 rval = der_encode(&asn_DEF_PDU, st,
68 _buf_writer, 0);
69 break;
70 case AS_XER:
71 rval = xer_encode(&asn_DEF_PDU, st, XER_F_BASIC,
72 _buf_writer, 0);
73 break;
vlm79f84702005-07-03 05:21:52 +000074 case AS_CXER:
75 rval = xer_encode(&asn_DEF_PDU, st, XER_F_CANONICAL,
76 _buf_writer, 0);
77 break;
vlmc0ed2362005-02-18 10:13:44 +000078 }
vlmfe78e1a2005-02-14 17:20:23 +000079 if (rval.encoded == -1) {
80 fprintf(stderr,
81 "Cannot encode %s: %s\n",
82 rval.failed_type->name, strerror(errno));
83 assert(rval.encoded != -1);
vlmc0ed2362005-02-18 10:13:44 +000084 return;
vlmfe78e1a2005-02-14 17:20:23 +000085 }
86
vlmfe78e1a2005-02-14 17:20:23 +000087 fprintf(stderr, "SAVED OBJECT IN SIZE %d\n", buf_offset);
vlmfe78e1a2005-02-14 17:20:23 +000088}
89
90static PDU_t *
vlmc0ed2362005-02-18 10:13:44 +000091load_object_from(enum expectation expectation, char *fbuf, int size, enum der_or_xer how) {
vlmfe78e1a2005-02-14 17:20:23 +000092 asn_dec_rval_t rval;
vlmc0ed2362005-02-18 10:13:44 +000093 asn_dec_rval_t (*zer_decode)(struct asn_codec_ctx_s *,
vlmb9b8be42005-03-29 16:50:58 +000094 asn_TYPE_descriptor_t *, void **, const void *, size_t);
vlmfe78e1a2005-02-14 17:20:23 +000095 PDU_t *st = 0;
vlm76477b22005-02-18 14:26:30 +000096 int csize = 1;
vlmfe78e1a2005-02-14 17:20:23 +000097
vlmc0ed2362005-02-18 10:13:44 +000098 if(how == AS_DER)
99 zer_decode = ber_decode;
100 else
101 zer_decode = xer_decode;
vlmc0ed2362005-02-18 10:13:44 +0000102
vlm76477b22005-02-18 14:26:30 +0000103 if(getenv("INITIAL_CHUNK_SIZE"))
104 csize = atoi(getenv("INITIAL_CHUNK_SIZE"));
vlmfe78e1a2005-02-14 17:20:23 +0000105
106 /* Perform multiple iterations with multiple chunks sizes */
vlm76477b22005-02-18 14:26:30 +0000107 for(; csize < 20; csize += 1) {
vlmfe78e1a2005-02-14 17:20:23 +0000108 int fbuf_offset = 0;
109 int fbuf_left = size;
110 int fbuf_chunk = csize;
111
vlm76477b22005-02-18 14:26:30 +0000112 fprintf(stderr, "LOADING OBJECT OF SIZE %d, chunks %d\n",
113 size, csize);
114
vlmfe78e1a2005-02-14 17:20:23 +0000115 if(st) asn_DEF_PDU.free_struct(&asn_DEF_PDU, st, 0);
116 st = 0;
117
118 do {
vlm76477b22005-02-18 14:26:30 +0000119 fprintf(stderr, "Decoding bytes %d..%d (left %d)\n",
120 fbuf_offset,
121 fbuf_chunk < fbuf_left
122 ? fbuf_chunk : fbuf_left,
123 fbuf_left);
124 if(st) {
125 fprintf(stderr, "=== currently ===\n");
126 asn_fprint(stderr, &asn_DEF_PDU, st);
127 fprintf(stderr, "=== end ===\n");
128 }
vlmc0ed2362005-02-18 10:13:44 +0000129 rval = zer_decode(0, &asn_DEF_PDU, (void **)&st,
vlmfe78e1a2005-02-14 17:20:23 +0000130 fbuf + fbuf_offset,
131 fbuf_chunk < fbuf_left
vlmc0ed2362005-02-18 10:13:44 +0000132 ? fbuf_chunk : fbuf_left);
vlmfe78e1a2005-02-14 17:20:23 +0000133 fbuf_offset += rval.consumed;
134 fbuf_left -= rval.consumed;
135 if(rval.code == RC_WMORE)
136 fbuf_chunk += 1; /* Give little more */
137 else
138 fbuf_chunk = csize; /* Back off */
139 } while(fbuf_left && rval.code == RC_WMORE);
140
141 if(expectation != EXP_BROKEN) {
142 assert(rval.code == RC_OK);
vlmc0ed2362005-02-18 10:13:44 +0000143 if(how == AS_DER) {
144 assert(fbuf_offset == size);
145 } else {
146 assert(fbuf_offset - size < 2
vlmfe78e1a2005-02-14 17:20:23 +0000147 || (fbuf_offset + 1 /* "\n" */ == size
148 && fbuf[size - 1] == '\n')
149 || (fbuf_offset + 2 /* "\r\n" */ == size
150 && fbuf[size - 2] == '\r'
151 && fbuf[size - 1] == '\n')
vlmc0ed2362005-02-18 10:13:44 +0000152 );
153 }
vlmfe78e1a2005-02-14 17:20:23 +0000154 } else {
155 assert(rval.code != RC_OK);
156 fprintf(stderr, "Failed, but this was expected\n");
157 asn_DEF_PDU.free_struct(&asn_DEF_PDU, st, 0);
158 st = 0; /* ignore leak for now */
159 }
160 }
161
162 if(st) asn_fprint(stderr, &asn_DEF_PDU, st);
163 return st;
164}
165
vlmc0ed2362005-02-18 10:13:44 +0000166static int
167xer_encoding_equal(char *obuf, size_t osize, char *nbuf, size_t nsize) {
168 char *oend = obuf + osize;
169 char *nend = nbuf + nsize;
170
171 if((osize && !nsize) || (!osize && nsize))
172 return 0; /* not equal apriori */
173
174 while(1) {
175 while(obuf < oend && isspace(*obuf)) obuf++;
176 while(nbuf < nend && isspace(*nbuf)) nbuf++;
177
178 if(obuf == oend || nbuf == nend) {
179 if(obuf == oend && nbuf == nend)
180 break;
181 fprintf(stderr, "%s data in reconstructed encoding\n",
182 (obuf == oend) ? "More" : "Less");
183 return 0;
184 }
185
186 if(*obuf != *nbuf) {
187 printf("%c%c != %c%c\n",
188 obuf[0], obuf[1],
189 nbuf[0], nbuf[1]);
190 return 0;
191 }
192 obuf++, nbuf++;
193 }
194
195 return 1;
196}
vlmfe78e1a2005-02-14 17:20:23 +0000197
198static void
vlmc0ed2362005-02-18 10:13:44 +0000199process_XER_data(enum expectation expectation, char *fbuf, int size) {
vlmfe78e1a2005-02-14 17:20:23 +0000200 PDU_t *st;
201 int ret;
202
vlmc0ed2362005-02-18 10:13:44 +0000203 st = load_object_from(expectation, fbuf, size, AS_XER);
vlmfe78e1a2005-02-14 17:20:23 +0000204 if(!st) return;
205
vlmc0ed2362005-02-18 10:13:44 +0000206 /* Save and re-load as DER */
207 save_object_as(st, AS_DER);
208 st = load_object_from(expectation, buf, buf_offset, AS_DER);
209 assert(st);
210
vlm79f84702005-07-03 05:21:52 +0000211 save_object_as(st,
212 (expectation == EXP_CXER_EXACT
213 || expectation == EXP_CXER_DIFF)
214 ? AS_CXER : AS_XER);
vlmc0ed2362005-02-18 10:13:44 +0000215 fprintf(stderr, "=== original ===\n");
216 fwrite(fbuf, 1, size, stderr);
217 fprintf(stderr, "=== re-encoded ===\n");
218 fwrite(buf, 1, buf_offset, stderr);
219 fprintf(stderr, "=== end ===\n");
vlmfe78e1a2005-02-14 17:20:23 +0000220
221 switch(expectation) {
vlmfe78e1a2005-02-14 17:20:23 +0000222 case EXP_DIFFERENT:
vlmc0ed2362005-02-18 10:13:44 +0000223 assert(!xer_encoding_equal(fbuf, size, buf, buf_offset));
vlmfe78e1a2005-02-14 17:20:23 +0000224 break;
225 case EXP_BROKEN:
vlmc0ed2362005-02-18 10:13:44 +0000226 assert(!xer_encoding_equal(fbuf, size, buf, buf_offset));
vlmfe78e1a2005-02-14 17:20:23 +0000227 break;
vlm79f84702005-07-03 05:21:52 +0000228 case EXP_CXER_EXACT:
229 buf[buf_offset++] = '\n';
230 assert(size == buf_offset);
231 assert(memcmp(fbuf, buf, size) == 0);
232 break;
233 case EXP_CXER_DIFF:
234 buf[buf_offset++] = '\n';
235 assert(size != buf_offset
236 || memcmp(fbuf, buf, size));
237 break;
vlmfe78e1a2005-02-14 17:20:23 +0000238 case EXP_OK:
vlmc0ed2362005-02-18 10:13:44 +0000239 assert(xer_encoding_equal(fbuf, size, buf, buf_offset));
vlmfe78e1a2005-02-14 17:20:23 +0000240 break;
241 }
242
243 asn_DEF_PDU.free_struct(&asn_DEF_PDU, st, 0);
244}
245
246/*
247 * Decode the .der files and try to regenerate them.
248 */
249static int
250process(const char *fname) {
251 char fbuf[4096];
252 char *ext = strrchr(fname, '.');
253 enum expectation expectation;
254 int ret;
255 int rd;
256 FILE *fp;
257
258 if(ext == 0 || strcmp(ext, ".in"))
259 return 0;
260
261 switch(ext[-1]) {
262 case 'B': /* The file is intentionally broken */
263 expectation = EXP_BROKEN; break;
264 case 'D': /* Reconstructing should yield different data */
265 expectation = EXP_DIFFERENT; break;
vlm79f84702005-07-03 05:21:52 +0000266 case 'E': /* Byte to byte exact reconstruction */
267 expectation = EXP_CXER_EXACT; break;
268 case 'X': /* Should fail byte-to-byte comparison */
269 expectation = EXP_CXER_DIFF; break;
vlmfe78e1a2005-02-14 17:20:23 +0000270 default:
271 expectation = EXP_OK; break;
272 }
273
274 fprintf(stderr, "\nProcessing file [../%s]\n", fname);
275
276 ret = chdir("../data-70");
277 assert(ret == 0);
278 fp = fopen(fname, "r");
279 ret = chdir("../test-check-70");
280 assert(ret == 0);
281 assert(fp);
282
283 rd = fread(fbuf, 1, sizeof(fbuf), fp);
284 fclose(fp);
285
286 assert(rd < sizeof(fbuf)); /* expect small files */
287
vlmc0ed2362005-02-18 10:13:44 +0000288 process_XER_data(expectation, fbuf, rd);
vlmfe78e1a2005-02-14 17:20:23 +0000289
290 return 1;
291}
292
293int
294main() {
295 DIR *dir;
296 struct dirent *dent;
297 int processed_files = 0;
298 char *str;
299
vlmfe78e1a2005-02-14 17:20:23 +0000300 /* Process a specific test file */
301 str = getenv("DATA_70_FILE");
vlm79f84702005-07-03 05:21:52 +0000302 if(str && strncmp(str, "data-70-", 8) == 0) {
vlmfe78e1a2005-02-14 17:20:23 +0000303 process(str);
vlm79f84702005-07-03 05:21:52 +0000304 return 0;
305 }
vlmfe78e1a2005-02-14 17:20:23 +0000306
vlmc0ed2362005-02-18 10:13:44 +0000307 dir = opendir("../data-70");
308 assert(dir);
309
310 /*
311 * Process each file in that directory.
312 */
vlmfe78e1a2005-02-14 17:20:23 +0000313 while((dent = readdir(dir))) {
314 if(strncmp(dent->d_name, "data-70-", 8) == 0)
315 if(process(dent->d_name))
316 processed_files++;
317 }
318
319 assert(processed_files);
320 closedir(dir);
321
322 return 0;
323}
324