vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 1 | /* |
| 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 | */ |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 7 | #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 | |
| 19 | enum expectation { |
| 20 | EXP_OK, /* Encoding/decoding must succeed */ |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 21 | EXP_CXER_EXACT, /* Encoding/decoding using CXER must be exact */ |
| 22 | EXP_CXER_DIFF, /* Encoding/decoding using CXER must be different */ |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 23 | EXP_BROKEN, /* Decoding must fail */ |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 24 | EXP_DIFFERENT, /* Reconstruction will yield different encoding */ |
| 25 | }; |
| 26 | |
| 27 | static unsigned char buf[4096]; |
| 28 | static int buf_offset; |
| 29 | |
| 30 | static 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; |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 38 | fprintf(stderr, "=> ["); |
vlm | 337167e | 2005-11-26 11:25:14 +0000 | [diff] [blame^] | 39 | for(; b < bend; b++) { |
| 40 | if(*b >= 32 && *b < 127 && *b != '%') |
| 41 | fprintf(stderr, "%c", *b); |
| 42 | else |
| 43 | fprintf(stderr, "%%02x", *b); |
| 44 | } |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 45 | fprintf(stderr, "]:%ld\n", (long)size); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 46 | buf_offset += size; |
| 47 | return 0; |
| 48 | } |
| 49 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 50 | enum der_or_xer { |
| 51 | AS_DER, |
| 52 | AS_XER, |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 53 | AS_CXER, |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 54 | }; |
| 55 | |
| 56 | static void |
| 57 | save_object_as(PDU_t *st, enum der_or_xer how) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 58 | asn_enc_rval_t rval; /* Return value */ |
| 59 | |
| 60 | buf_offset = 0; |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 61 | |
| 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; |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 74 | case AS_CXER: |
| 75 | rval = xer_encode(&asn_DEF_PDU, st, XER_F_CANONICAL, |
| 76 | _buf_writer, 0); |
| 77 | break; |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 78 | } |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 79 | 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); |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 84 | return; |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 85 | } |
| 86 | |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 87 | fprintf(stderr, "SAVED OBJECT IN SIZE %d\n", buf_offset); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | static PDU_t * |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 91 | load_object_from(enum expectation expectation, char *fbuf, int size, enum der_or_xer how) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 92 | asn_dec_rval_t rval; |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 93 | asn_dec_rval_t (*zer_decode)(struct asn_codec_ctx_s *, |
vlm | b9b8be4 | 2005-03-29 16:50:58 +0000 | [diff] [blame] | 94 | asn_TYPE_descriptor_t *, void **, const void *, size_t); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 95 | PDU_t *st = 0; |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 96 | int csize = 1; |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 97 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 98 | if(how == AS_DER) |
| 99 | zer_decode = ber_decode; |
| 100 | else |
| 101 | zer_decode = xer_decode; |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 102 | |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 103 | if(getenv("INITIAL_CHUNK_SIZE")) |
| 104 | csize = atoi(getenv("INITIAL_CHUNK_SIZE")); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 105 | |
| 106 | /* Perform multiple iterations with multiple chunks sizes */ |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 107 | for(; csize < 20; csize += 1) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 108 | int fbuf_offset = 0; |
| 109 | int fbuf_left = size; |
| 110 | int fbuf_chunk = csize; |
| 111 | |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 112 | fprintf(stderr, "LOADING OBJECT OF SIZE %d, chunks %d\n", |
| 113 | size, csize); |
| 114 | |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 115 | if(st) asn_DEF_PDU.free_struct(&asn_DEF_PDU, st, 0); |
| 116 | st = 0; |
| 117 | |
| 118 | do { |
vlm | 76477b2 | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 119 | 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 | } |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 129 | rval = zer_decode(0, &asn_DEF_PDU, (void **)&st, |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 130 | fbuf + fbuf_offset, |
| 131 | fbuf_chunk < fbuf_left |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 132 | ? fbuf_chunk : fbuf_left); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 133 | 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); |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 143 | if(how == AS_DER) { |
| 144 | assert(fbuf_offset == size); |
| 145 | } else { |
| 146 | assert(fbuf_offset - size < 2 |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 147 | || (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') |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 152 | ); |
| 153 | } |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 154 | } 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 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 166 | static int |
| 167 | xer_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 | } |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 197 | |
| 198 | static void |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 199 | process_XER_data(enum expectation expectation, char *fbuf, int size) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 200 | PDU_t *st; |
| 201 | int ret; |
| 202 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 203 | st = load_object_from(expectation, fbuf, size, AS_XER); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 204 | if(!st) return; |
| 205 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 206 | /* 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 | |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 211 | save_object_as(st, |
| 212 | (expectation == EXP_CXER_EXACT |
| 213 | || expectation == EXP_CXER_DIFF) |
| 214 | ? AS_CXER : AS_XER); |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 215 | 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"); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 220 | |
| 221 | switch(expectation) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 222 | case EXP_DIFFERENT: |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 223 | assert(!xer_encoding_equal(fbuf, size, buf, buf_offset)); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 224 | break; |
| 225 | case EXP_BROKEN: |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 226 | assert(!xer_encoding_equal(fbuf, size, buf, buf_offset)); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 227 | break; |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 228 | 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; |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 238 | case EXP_OK: |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 239 | assert(xer_encoding_equal(fbuf, size, buf, buf_offset)); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 240 | 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 | */ |
| 249 | static int |
| 250 | process(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; |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 266 | 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; |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 270 | 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 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 288 | process_XER_data(expectation, fbuf, rd); |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 289 | |
| 290 | return 1; |
| 291 | } |
| 292 | |
| 293 | int |
| 294 | main() { |
| 295 | DIR *dir; |
| 296 | struct dirent *dent; |
| 297 | int processed_files = 0; |
| 298 | char *str; |
| 299 | |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 300 | /* Process a specific test file */ |
| 301 | str = getenv("DATA_70_FILE"); |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 302 | if(str && strncmp(str, "data-70-", 8) == 0) { |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 303 | process(str); |
vlm | 79f8470 | 2005-07-03 05:21:52 +0000 | [diff] [blame] | 304 | return 0; |
| 305 | } |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 306 | |
vlm | c0ed236 | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 307 | dir = opendir("../data-70"); |
| 308 | assert(dir); |
| 309 | |
| 310 | /* |
| 311 | * Process each file in that directory. |
| 312 | */ |
vlm | fe78e1a | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 313 | 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 | |