Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | #undef NDEBUG |
| 2 | #include <stdio.h> |
| 3 | #include <stdlib.h> |
| 4 | #include <sys/types.h> |
| 5 | #include <string.h> |
| 6 | #include <assert.h> |
| 7 | |
| 8 | #include <T.h> |
| 9 | |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 10 | |
| 11 | /* |
| 12 | * Test that the optional member (c) is really optional. |
| 13 | */ |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 14 | uint8_t buf1[] = { |
| 15 | 32 | 17, /* [UNIVERSAL 17], constructed */ |
| 16 | 8, /* L */ |
| 17 | |
| 18 | /* a INTEGER */ |
| 19 | 64 | 3, /* [APPLICATION 3] */ |
| 20 | 1, /* L */ |
| 21 | 96, |
| 22 | |
| 23 | /* b IA5String */ |
| 24 | 22, /* [UNIVERSAL 22] */ |
| 25 | 3, /* L */ |
| 26 | 'x', |
| 27 | 'y', |
| 28 | 'z' |
| 29 | }; |
| 30 | |
| 31 | /* |
| 32 | * This buffer aims at checking the duplication. |
| 33 | */ |
| 34 | uint8_t buf2[] = { |
| 35 | 32 | 17, /* [UNIVERSAL 17], constructed */ |
| 36 | 8, /* L */ |
| 37 | |
| 38 | /* a INTEGER */ |
| 39 | 64 | 3, /* [APPLICATION 3] */ |
| 40 | 1, /* L */ |
| 41 | 96, |
| 42 | |
| 43 | /* a INTEGER _again_ */ |
| 44 | 64 | 3, /* [APPLICATION 3] */ |
| 45 | 1, /* L */ |
| 46 | 97, |
| 47 | }; |
| 48 | |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 49 | /* |
| 50 | * This buffer checks that an unexpected member may be properly ignored. |
| 51 | */ |
| 52 | uint8_t buf3[] = { |
| 53 | 32 | 17, /* [UNIVERSAL 17], constructed */ |
| 54 | 14, /* L */ |
| 55 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 56 | /* INTEGER */ |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 57 | 64 | 3, /* [APPLICATION 3] */ |
| 58 | 1, /* L */ |
| 59 | 96, |
| 60 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 61 | /* IA5String */ |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 62 | 22, /* [UNIVERSAL 22] */ |
| 63 | 3, /* L */ |
| 64 | 'x', |
| 65 | 'y', |
| 66 | 'z', |
| 67 | |
| 68 | /* unexpected INTEGER */ |
| 69 | 64 | 4, /* [APPLICATION 4] */ |
| 70 | 1, /* L */ |
| 71 | 96, |
| 72 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 73 | /* [2] BOOLEAN */ |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 74 | ((2 << 6) + 2), /* [2] */ |
| 75 | 1, /* L */ |
| 76 | 0xff |
| 77 | }; |
| 78 | |
| 79 | /* |
| 80 | * This buffer checks that an unexpected member may be properly ignored. |
| 81 | * This time, with indefinite length encoding. |
| 82 | */ |
| 83 | uint8_t buf4[] = { |
| 84 | 32 | 17, /* [UNIVERSAL 17], constructed */ |
| 85 | 16, /* L */ |
| 86 | |
| 87 | /* a INTEGER */ |
| 88 | 64 | 3, /* [APPLICATION 3] */ |
| 89 | 1, /* L */ |
| 90 | 96, |
| 91 | |
| 92 | /* b IA5String */ |
| 93 | 22, /* [UNIVERSAL 22] */ |
| 94 | 3, /* L */ |
| 95 | 'x', |
| 96 | 'y', |
| 97 | 'z', |
| 98 | |
| 99 | /* unexpected data structure */ |
| 100 | 32 | 64 | 4, /* [APPLICATION 4] */ |
| 101 | 0x80, /* indefinite L */ |
| 102 | 64 | 1, /* [APPLICATION 1] */ |
| 103 | 2, /* L */ |
| 104 | 'a', 'b', |
| 105 | |
| 106 | 0x00, |
| 107 | 0x00 |
| 108 | }; |
| 109 | |
| 110 | /* |
| 111 | * This buffer checks that an unexpected member may be properly ignored. |
| 112 | * This time, with indefinite length encoding at the outer level too. |
| 113 | */ |
| 114 | uint8_t buf5[] = { |
| 115 | 32 | 17, /* [UNIVERSAL 17], constructed */ |
| 116 | 0x80, /* indefinite L */ |
| 117 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 118 | /* INTEGER */ |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 119 | 64 | 3, /* [APPLICATION 3] */ |
| 120 | 1, /* L */ |
| 121 | 96, |
| 122 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 123 | /* IA5String */ |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 124 | 22, /* [UNIVERSAL 22] */ |
| 125 | 3, /* L */ |
| 126 | 'x', |
| 127 | 'y', |
| 128 | 'z', |
| 129 | |
| 130 | /* unexpected data structure */ |
| 131 | 32 | 64 | 4, /* [APPLICATION 4] */ |
| 132 | 0x80, /* indefinite L */ |
| 133 | 64 | 1, /* [APPLICATION 1] */ |
| 134 | 2, /* L */ |
| 135 | 'a', 'b', |
| 136 | |
| 137 | 0x00, |
| 138 | 0x00, |
| 139 | |
| 140 | 0x00, |
| 141 | 0x00 |
| 142 | }; |
| 143 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 144 | static void |
Lev Walkin | 1715b32 | 2013-03-28 04:02:13 -0700 | [diff] [blame] | 145 | check(int is_ok, uint8_t *buf, size_t size, size_t consumed) { |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 146 | T_t t, *tp; |
Lev Walkin | 90bf7ae | 2004-10-20 15:46:56 +0000 | [diff] [blame] | 147 | asn_dec_rval_t rval; |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 148 | |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 149 | fprintf(stderr, "\nMust %s:\n", is_ok?"suceed":"fail"); |
| 150 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 151 | tp = memset(&t, 0, sizeof(t)); |
| 152 | |
| 153 | fprintf(stderr, "Buf %p\n", buf); |
Lev Walkin | c7400c5 | 2004-09-29 13:14:36 +0000 | [diff] [blame] | 154 | rval = ber_decode(0, &asn_DEF_T, (void **)&tp, buf, size); |
Lev Walkin | 1715b32 | 2013-03-28 04:02:13 -0700 | [diff] [blame] | 155 | fprintf(stderr, "Returned code %d, consumed %zd (out of %zd)\n", |
| 156 | (int)rval.code, rval.consumed, size); |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 157 | |
| 158 | if(is_ok) { |
| 159 | assert(rval.code == RC_OK); |
| 160 | assert(rval.consumed == consumed); |
| 161 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 162 | assert(t.i.size == 1); |
| 163 | assert(t.i.buf[0] == 96); |
| 164 | assert(t.s.size == 3); |
Lev Walkin | 5b63acf | 2014-01-14 01:48:37 -0800 | [diff] [blame] | 165 | assert(strcmp((char *)t.s.buf, "xyz") == 0); |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 166 | if(buf == buf3) { |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 167 | assert(t.b); |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 168 | } else { |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 169 | assert(t.b == 0); |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 170 | } |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 171 | } else { |
| 172 | if(rval.code == RC_OK) { |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 173 | assert(t.i.size != 1 |
| 174 | || t.s.size != 3 |
| 175 | || !t.b |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 176 | ); |
| 177 | } |
| 178 | assert(rval.consumed <= consumed); |
| 179 | } |
| 180 | } |
| 181 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 182 | |
| 183 | static char xer_buf[128]; |
| 184 | static int xer_off; |
| 185 | |
| 186 | static int |
| 187 | xer_cb(const void *buffer, size_t size, void *key) { |
| 188 | (void)key; |
| 189 | assert(xer_off + size < sizeof(xer_buf)); |
| 190 | memcpy(xer_buf + xer_off, buffer, size); |
| 191 | xer_off += size; |
| 192 | return 0; |
| 193 | } |
| 194 | |
| 195 | static void |
| 196 | check_xer(uint8_t *buf, uint8_t size, char *xer_sample) { |
| 197 | T_t *tp = 0; |
Lev Walkin | 90bf7ae | 2004-10-20 15:46:56 +0000 | [diff] [blame] | 198 | asn_dec_rval_t rval; |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 199 | asn_enc_rval_t er; |
| 200 | int xer_sample_len = strlen(xer_sample); |
| 201 | |
| 202 | rval = ber_decode(0, &asn_DEF_T, (void **)&tp, buf, size); |
| 203 | assert(rval.code == RC_OK); |
| 204 | assert(rval.consumed == size); |
| 205 | assert(tp); |
| 206 | |
| 207 | xer_off = 0; |
| 208 | er = xer_encode(&asn_DEF_T, tp, XER_F_CANONICAL, xer_cb, 0); |
| 209 | assert(er.encoded == xer_off); |
| 210 | assert(xer_off); |
| 211 | xer_buf[xer_off] = 0; |
| 212 | printf("[%s] vs [%s]\n", xer_buf, xer_sample); |
Lev Walkin | 4a6f3cf | 2004-10-03 10:54:34 +0000 | [diff] [blame] | 213 | assert(xer_off == xer_sample_len); |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 214 | assert(memcmp(xer_buf, xer_sample, xer_off) == 0); |
| 215 | } |
| 216 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 217 | static void |
Lev Walkin | 1715b32 | 2013-03-28 04:02:13 -0700 | [diff] [blame] | 218 | try_corrupt(uint8_t *buf, size_t size) { |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 219 | uint8_t *tmp; |
| 220 | int i; |
| 221 | |
| 222 | fprintf(stderr, "\nCorrupting...\n"); |
| 223 | |
| 224 | tmp = alloca(size); |
| 225 | |
| 226 | for(i = 0; i < 1000; i++) { |
| 227 | int loc; |
| 228 | memcpy(tmp, buf, size); |
| 229 | |
| 230 | /* Corrupt random _non-value_ location. */ |
| 231 | do { loc = random() % size; } while(tmp[loc] >= 70); |
| 232 | do { tmp[loc] = buf[loc] ^ random(); } while( |
| 233 | (tmp[loc] == buf[loc]) |
| 234 | || (buf[loc] == 0 && tmp[loc] == 0x80)); |
| 235 | |
| 236 | fprintf(stderr, "\nTry %d: corrupting byte %d (%d->%d)\n", |
| 237 | i, loc, buf[loc], tmp[loc]); |
| 238 | |
| 239 | check(0, tmp, size, size); |
| 240 | } |
| 241 | } |
| 242 | |
| 243 | int |
| 244 | main(int ac, char **av) { |
| 245 | |
Lev Walkin | d9bd775 | 2004-06-05 08:17:50 +0000 | [diff] [blame] | 246 | (void)ac; /* Unused argument */ |
| 247 | (void)av; /* Unused argument */ |
| 248 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 249 | check(1, buf1, sizeof(buf1) + 20, sizeof(buf1)); |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 250 | check(0, buf2, sizeof(buf2) + 1, 5); |
Lev Walkin | 22b81a8 | 2004-08-13 12:38:42 +0000 | [diff] [blame] | 251 | check(1, buf3, sizeof(buf3) + 1, sizeof(buf3)); |
| 252 | check(1, buf4, sizeof(buf4), sizeof(buf4)); |
| 253 | check(1, buf5, sizeof(buf5), sizeof(buf5)); |
| 254 | check(1, buf5, sizeof(buf5) + 1, sizeof(buf5)); |
| 255 | check(0, buf5, sizeof(buf5) - 1, sizeof(buf5)); |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 256 | |
Lev Walkin | 2a8672e | 2004-10-03 09:14:49 +0000 | [diff] [blame] | 257 | check_xer(buf1, sizeof(buf1), "<T><s>xyz</s><i>96</i></T>"); |
| 258 | check_xer(buf3, sizeof(buf3), "<T><s>xyz</s><i>96</i><b><true/></b></T>"); |
| 259 | |
Lev Walkin | f15320b | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 260 | fprintf(stderr, "\nPseudo-random buffer corruptions must fail\n"); |
| 261 | try_corrupt(buf1, sizeof(buf1)); |
| 262 | |
| 263 | return 0; |
| 264 | } |