Lev Walkin | a85b37d | 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 |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 5 | * stream is compared with the corresponding .out file. |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 6 | */ |
Lev Walkin | 3234ecc | 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> |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 11 | #include <unistd.h> /* for chdir(2), getcwd(3) */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 12 | #include <string.h> |
| 13 | #include <dirent.h> |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 14 | #include <ctype.h> /* for isspace(3) */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 15 | #include <assert.h> |
| 16 | #include <errno.h> |
| 17 | |
| 18 | #include <PDU.h> |
| 19 | |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 20 | #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 Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 28 | enum expectation { |
| 29 | EXP_OK, /* Encoding/decoding must succeed */ |
| 30 | EXP_BROKEN, /* Decoding must fail */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 31 | EXP_DIFFERENT, /* Reconstruction will yield different encoding */ |
| 32 | }; |
| 33 | |
| 34 | static unsigned char buf[4096]; |
| 35 | static int buf_offset; |
| 36 | |
| 37 | static 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 Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 45 | fprintf(stderr, "=> ["); |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 46 | for(; b < bend; b++) |
| 47 | fprintf(stderr, "%c", *b); |
Lev Walkin | 1715b32 | 2013-03-28 04:02:13 -0700 | [diff] [blame] | 48 | fprintf(stderr, "]:%zd\n", size); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 49 | buf_offset += size; |
| 50 | return 0; |
| 51 | } |
| 52 | |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 53 | static void |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 54 | save_object_as(PDU_t *st, enum asn_transfer_syntax syntax) { |
| 55 | asn_enc_rval_t rval; /* Return value */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 56 | |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 57 | buf_offset = 0; |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 58 | |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 59 | rval = asn_encode(0, syntax, &asn_DEF_PDU, st, _buf_writer, 0); |
| 60 | |
| 61 | if (rval.encoded == -1) { |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 62 | fprintf(stderr, |
| 63 | "Cannot encode %s: %s\n", |
| 64 | rval.failed_type->name, strerror(errno)); |
| 65 | assert(rval.encoded != -1); |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 66 | return; |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 67 | } |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 68 | |
Lev Walkin | 4fe2882 | 2017-09-18 02:57:34 -0700 | [diff] [blame] | 69 | fprintf(stderr, "SAVED OBJECT IN SIZE %d/%zu\n", buf_offset, rval.encoded); |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 70 | |
Lev Walkin | 4fe2882 | 2017-09-18 02:57:34 -0700 | [diff] [blame] | 71 | assert(buf_offset == rval.encoded); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 72 | } |
| 73 | |
| 74 | static PDU_t * |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 75 | load_object_from(enum expectation expectation, unsigned char *fbuf, size_t size, enum asn_transfer_syntax syntax) { |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 76 | asn_dec_rval_t rval; |
| 77 | PDU_t *st = 0; |
Lev Walkin | b7c40b6 | 2013-03-28 05:54:12 -0700 | [diff] [blame] | 78 | size_t csize = 1; |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 79 | |
Lev Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 80 | if(getenv("INITIAL_CHUNK_SIZE")) |
| 81 | csize = atoi(getenv("INITIAL_CHUNK_SIZE")); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 82 | |
| 83 | /* Perform multiple iterations with multiple chunks sizes */ |
Lev Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 84 | for(; csize < 20; csize += 1) { |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 85 | int fbuf_offset = 0; |
| 86 | int fbuf_left = size; |
| 87 | int fbuf_chunk = csize; |
| 88 | |
Lev Walkin | b7c40b6 | 2013-03-28 05:54:12 -0700 | [diff] [blame] | 89 | fprintf(stderr, "LOADING OBJECT OF SIZE %zd, chunks %zd\n", |
Lev Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 90 | size, csize); |
| 91 | |
Bi-Ruei, Chiu | 1f87ac0 | 2017-08-20 01:25:45 +0800 | [diff] [blame] | 92 | if(st) ASN_STRUCT_FREE(asn_DEF_PDU, st); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 93 | st = 0; |
| 94 | |
| 95 | do { |
Lev Walkin | 15d38f4 | 2014-09-17 01:19:31 -0700 | [diff] [blame] | 96 | ASN_DEBUG("Decoding bytes %d..%d (left %d)", |
Lev Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 97 | fbuf_offset, |
| 98 | fbuf_chunk < fbuf_left |
| 99 | ? fbuf_chunk : fbuf_left, |
| 100 | fbuf_left); |
Lev Walkin | 15d38f4 | 2014-09-17 01:19:31 -0700 | [diff] [blame] | 101 | #ifdef EMIT_ASN_DEBUG |
Lev Walkin | 41ffcac | 2005-02-18 14:26:30 +0000 | [diff] [blame] | 102 | if(st) { |
| 103 | fprintf(stderr, "=== currently ===\n"); |
| 104 | asn_fprint(stderr, &asn_DEF_PDU, st); |
| 105 | fprintf(stderr, "=== end ===\n"); |
| 106 | } |
Lev Walkin | 15d38f4 | 2014-09-17 01:19:31 -0700 | [diff] [blame] | 107 | #endif |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 108 | rval = asn_decode(0, syntax, &asn_DEF_PDU, (void **)&st, |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 109 | fbuf + fbuf_offset, |
| 110 | fbuf_chunk < fbuf_left |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 111 | ? fbuf_chunk : fbuf_left); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 112 | 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 Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 122 | if(syntax == ATS_BER) { |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 123 | assert(fbuf_offset == (ssize_t)size); |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 124 | } else { |
Lev Walkin | a75b247 | 2017-09-18 00:38:43 -0700 | [diff] [blame] | 125 | assert((fbuf_offset + 1 /* "\n" */ == (ssize_t)size |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 126 | && fbuf[size - 1] == '\n') |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 127 | || (fbuf_offset + 2 /* "\r\n" */ == (ssize_t)size |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 128 | && fbuf[size - 2] == '\r' |
| 129 | && fbuf[size - 1] == '\n') |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 130 | ); |
| 131 | } |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 132 | } else { |
| 133 | assert(rval.code != RC_OK); |
| 134 | fprintf(stderr, "Failed, but this was expected\n"); |
Bi-Ruei, Chiu | 1f87ac0 | 2017-08-20 01:25:45 +0800 | [diff] [blame] | 135 | ASN_STRUCT_FREE(asn_DEF_PDU, st); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 136 | 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 Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 144 | static int |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 145 | xer_encoding_equal(void *obufp, size_t osize, void *nbufp, size_t nsize) { |
| 146 | char *obuf = obufp; |
| 147 | char *nbuf = nbufp; |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 148 | 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 Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 177 | |
| 178 | static void |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 179 | process_XER_data(enum expectation expectation, unsigned char *fbuf, size_t size) { |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 180 | PDU_t *st; |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 181 | |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 182 | st = load_object_from(expectation, fbuf, size, ATS_BASIC_XER); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 183 | if(!st) return; |
| 184 | |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 185 | /* Save and re-load as DER */ |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 186 | save_object_as(st, ATS_DER); |
| 187 | st = load_object_from(expectation, buf, buf_offset, ATS_BER); |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 188 | assert(st); |
| 189 | |
Lev Walkin | 7489807 | 2017-09-18 00:56:06 -0700 | [diff] [blame] | 190 | save_object_as(st, ATS_BASIC_XER); |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 191 | fprintf(stderr, "=== original ===\n"); |
| 192 | fwrite(fbuf, 1, size, stderr); |
| 193 | fprintf(stderr, "=== re-encoded ===\n"); |
| 194 | fwrite(buf, 1, buf_offset, stderr); |
| 195 | fprintf(stderr, "=== end ===\n"); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 196 | |
| 197 | switch(expectation) { |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 198 | case EXP_DIFFERENT: |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 199 | assert(!xer_encoding_equal(fbuf, size, buf, buf_offset)); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 200 | break; |
| 201 | case EXP_BROKEN: |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 202 | assert(!xer_encoding_equal(fbuf, size, buf, buf_offset)); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 203 | break; |
| 204 | case EXP_OK: |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 205 | assert(xer_encoding_equal(fbuf, size, buf, buf_offset)); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 206 | break; |
| 207 | } |
| 208 | |
Bi-Ruei, Chiu | 1f87ac0 | 2017-08-20 01:25:45 +0800 | [diff] [blame] | 209 | ASN_STRUCT_FREE(asn_DEF_PDU, st); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 210 | } |
| 211 | |
| 212 | /* |
| 213 | * Decode the .der files and try to regenerate them. |
| 214 | */ |
| 215 | static int |
| 216 | process(const char *fname) { |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 217 | char prevdir[256]; |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 218 | unsigned char fbuf[4096]; |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 219 | char *ext = strrchr(fname, '.'); |
| 220 | enum expectation expectation; |
| 221 | int ret; |
| 222 | int rd; |
| 223 | FILE *fp; |
| 224 | |
| 225 | if(ext == 0 || strcmp(ext, ".in")) |
| 226 | return 0; |
| 227 | |
| 228 | switch(ext[-1]) { |
| 229 | case 'B': /* The file is intentionally broken */ |
| 230 | expectation = EXP_BROKEN; break; |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 231 | case 'X': |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 232 | case 'D': /* Reconstructing should yield different data */ |
| 233 | expectation = EXP_DIFFERENT; break; |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 234 | case 'E': |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 235 | default: |
| 236 | expectation = EXP_OK; break; |
| 237 | } |
| 238 | |
| 239 | fprintf(stderr, "\nProcessing file [../%s]\n", fname); |
| 240 | |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 241 | getcwd(prevdir, sizeof(prevdir)); |
| 242 | ret = chdir(SRCDIR_S "/data-70"); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 243 | assert(ret == 0); |
| 244 | fp = fopen(fname, "r"); |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 245 | ret = chdir(prevdir); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 246 | assert(ret == 0); |
| 247 | assert(fp); |
| 248 | |
| 249 | rd = fread(fbuf, 1, sizeof(fbuf), fp); |
| 250 | fclose(fp); |
| 251 | |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 252 | assert(rd > 0 && (size_t)rd < sizeof(fbuf)); /* expect small files */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 253 | |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 254 | process_XER_data(expectation, fbuf, rd); |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 255 | |
| 256 | return 1; |
| 257 | } |
| 258 | |
Lev Walkin | c8c286a | 2017-09-18 03:19:37 -0700 | [diff] [blame] | 259 | #ifdef ENABLE_LIBFUZZER |
| 260 | |
| 261 | int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { |
| 262 | PDU_t *st = 0; |
| 263 | asn_dec_rval_t rval; |
| 264 | rval = asn_decode(0, ATS_BASIC_XER, &asn_DEF_PDU, (void **)&st, Data, Size); |
| 265 | assert(rval.consumed <= Size); |
| 266 | ASN_STRUCT_FREE(asn_DEF_PDU, st); |
| 267 | return 0; |
| 268 | } |
| 269 | |
| 270 | #else |
| 271 | |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 272 | int |
| 273 | main() { |
| 274 | DIR *dir; |
| 275 | struct dirent *dent; |
| 276 | int processed_files = 0; |
| 277 | char *str; |
| 278 | |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 279 | /* Process a specific test file */ |
| 280 | str = getenv("DATA_70_FILE"); |
Lev Walkin | 2a744a7 | 2013-03-27 01:56:23 -0700 | [diff] [blame] | 281 | if(str && strncmp(str, "data-70-", 8) == 0) |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 282 | process(str); |
| 283 | |
Lev Walkin | e0d321a | 2014-09-11 01:28:57 -0700 | [diff] [blame] | 284 | dir = opendir(SRCDIR_S "/data-70"); |
Lev Walkin | a85b37d | 2005-02-18 10:13:44 +0000 | [diff] [blame] | 285 | assert(dir); |
| 286 | |
| 287 | /* |
| 288 | * Process each file in that directory. |
| 289 | */ |
Lev Walkin | 3234ecc | 2005-02-14 17:20:23 +0000 | [diff] [blame] | 290 | while((dent = readdir(dir))) { |
| 291 | if(strncmp(dent->d_name, "data-70-", 8) == 0) |
| 292 | if(process(dent->d_name)) |
| 293 | processed_files++; |
| 294 | } |
| 295 | |
| 296 | assert(processed_files); |
| 297 | closedir(dir); |
| 298 | |
| 299 | return 0; |
| 300 | } |
| 301 | |
Lev Walkin | c8c286a | 2017-09-18 03:19:37 -0700 | [diff] [blame] | 302 | #endif |