1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
#undef NDEBUG
#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <string.h>
#include <assert.h>
#include <T.h>
#include <T1.h>
uint8_t buf1[] = {
32 | ((2 << 6) + 2), /* [2], constructed */
6,
32 | ((2 << 6) + 3), /* [3], constructed */
4,
32 | ((2 << 6) + 4), /* [4], constructed */
2,
0 | ((2 << 6) + 6), /* [6], primitive */
0
};
uint8_t buf2[] = {
32 | ((2 << 6) + 0), /* [0], constructed */
23,
32 | ((2 << 6) + 1), /* [1], constructed */
6,
32 | ((2 << 6) + 4), /* [4], constructed */
4,
0 | ((2 << 6) + 6), /* [6], primitive */
2,
0xC0,
0x00,
32 | ((2 << 6) + 2), /* [2], constructed */
6,
32 | ((2 << 6) + 4), /* [4], constructed */
4,
0 | ((2 << 6) + 6), /* [6], primitive */
2,
0x80,
0x00,
32 | ((2 << 6) + 3), /* [3], constructed */
5,
0 | ((2 << 6) + 6), /* [6], primitive */
3,
0x80,
0x01,
0x02,
};
static void
check_1(int is_ok, uint8_t *buf, size_t size, size_t consumed) {
asn_TYPE_descriptor_t *td = &asn_DEF_T1;
asn_dec_rval_t rval;
T1_t t, *tp;
tp = memset(&t, 0, sizeof(t));
fprintf(stderr, "Buf %p\n", buf);
rval = ber_decode(0, td, (void **)&tp, buf, size);
fprintf(stderr, "Returned code %d, consumed %zd\n",
(int)rval.code, rval.consumed);
if(is_ok) {
assert(rval.code == RC_OK);
assert(rval.consumed == consumed);
} else {
if(rval.code == RC_OK) {
}
assert(rval.consumed <= consumed);
}
}
static void
check_2(int is_ok, uint8_t *buf, size_t size, size_t consumed) {
asn_TYPE_descriptor_t *td = &asn_DEF_T;
asn_dec_rval_t rval;
T_t t, *tp;
tp = memset(&t, 0, sizeof(t));
fprintf(stderr, "Buf %p\n", buf);
rval = ber_decode(0, td, (void **)&tp, buf, size);
fprintf(stderr, "Returned code %d, consumed %zd\n",
(int)rval.code, rval.consumed);
if(is_ok) {
assert(rval.code == RC_OK);
assert(rval.consumed == consumed);
} else {
if(rval.code == RC_OK) {
}
assert(rval.consumed <= consumed);
}
}
int
main(int ac, char **av) {
(void)ac; /* Unused argument */
(void)av; /* Unused argument */
check_1(1, buf1, sizeof(buf1), sizeof(buf1));
check_1(0, buf1, sizeof(buf1) - 1, sizeof(buf1) - 1);
check_2(1, buf2, sizeof(buf2), sizeof(buf2));
check_2(0, buf2, sizeof(buf2) - 1, sizeof(buf2) - 1);
return 0;
}
|