forked from ElementsProject/lightning
-
Notifications
You must be signed in to change notification settings - Fork 0
/
run-bigsize.c
379 lines (362 loc) · 11.9 KB
/
run-bigsize.c
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
#include <ccan/array_size/array_size.h>
#include <ccan/str/hex/hex.h>
#include <ccan/tal/grab_file/grab_file.h>
#include <ccan/tal/str/str.h>
#include <common/amount.h>
#include <common/json.c>
#include <common/utils.h>
#include <wire/wire.h>
static const char *reason;
#define SUPERVERBOSE(r) do { if (!reason) reason = (r); } while(0)
#include <common/bigsize.c>
/* AUTOGENERATED MOCKS START */
/* Generated stub for amount_asset_is_main */
bool amount_asset_is_main(struct amount_asset *asset UNNEEDED)
{ fprintf(stderr, "amount_asset_is_main called!\n"); abort(); }
/* Generated stub for amount_asset_to_sat */
struct amount_sat amount_asset_to_sat(struct amount_asset *asset UNNEEDED)
{ fprintf(stderr, "amount_asset_to_sat called!\n"); abort(); }
/* Generated stub for amount_sat */
struct amount_sat amount_sat(u64 satoshis UNNEEDED)
{ fprintf(stderr, "amount_sat called!\n"); abort(); }
/* Generated stub for amount_sat_add */
bool amount_sat_add(struct amount_sat *val UNNEEDED,
struct amount_sat a UNNEEDED,
struct amount_sat b UNNEEDED)
{ fprintf(stderr, "amount_sat_add called!\n"); abort(); }
/* Generated stub for amount_sat_eq */
bool amount_sat_eq(struct amount_sat a UNNEEDED, struct amount_sat b UNNEEDED)
{ fprintf(stderr, "amount_sat_eq called!\n"); abort(); }
/* Generated stub for amount_sat_greater_eq */
bool amount_sat_greater_eq(struct amount_sat a UNNEEDED, struct amount_sat b UNNEEDED)
{ fprintf(stderr, "amount_sat_greater_eq called!\n"); abort(); }
/* Generated stub for amount_sat_sub */
bool amount_sat_sub(struct amount_sat *val UNNEEDED,
struct amount_sat a UNNEEDED,
struct amount_sat b UNNEEDED)
{ fprintf(stderr, "amount_sat_sub called!\n"); abort(); }
/* Generated stub for amount_sat_to_asset */
struct amount_asset amount_sat_to_asset(struct amount_sat *sat UNNEEDED, const u8 *asset UNNEEDED)
{ fprintf(stderr, "amount_sat_to_asset called!\n"); abort(); }
/* Generated stub for amount_tx_fee */
struct amount_sat amount_tx_fee(u32 fee_per_kw UNNEEDED, size_t weight UNNEEDED)
{ fprintf(stderr, "amount_tx_fee called!\n"); abort(); }
/* Generated stub for fromwire */
const u8 *fromwire(const u8 **cursor UNNEEDED, size_t *max UNNEEDED, void *copy UNNEEDED, size_t n UNNEEDED)
{ fprintf(stderr, "fromwire called!\n"); abort(); }
/* Generated stub for fromwire_amount_sat */
struct amount_sat fromwire_amount_sat(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_amount_sat called!\n"); abort(); }
/* Generated stub for fromwire_bool */
bool fromwire_bool(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_bool called!\n"); abort(); }
/* Generated stub for fromwire_fail */
void *fromwire_fail(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_fail called!\n"); abort(); }
/* Generated stub for fromwire_secp256k1_ecdsa_signature */
void fromwire_secp256k1_ecdsa_signature(const u8 **cursor UNNEEDED, size_t *max UNNEEDED,
secp256k1_ecdsa_signature *signature UNNEEDED)
{ fprintf(stderr, "fromwire_secp256k1_ecdsa_signature called!\n"); abort(); }
/* Generated stub for fromwire_sha256 */
void fromwire_sha256(const u8 **cursor UNNEEDED, size_t *max UNNEEDED, struct sha256 *sha256 UNNEEDED)
{ fprintf(stderr, "fromwire_sha256 called!\n"); abort(); }
/* Generated stub for fromwire_tal_arrn */
u8 *fromwire_tal_arrn(const tal_t *ctx UNNEEDED,
const u8 **cursor UNNEEDED, size_t *max UNNEEDED, size_t num UNNEEDED)
{ fprintf(stderr, "fromwire_tal_arrn called!\n"); abort(); }
/* Generated stub for fromwire_u16 */
u16 fromwire_u16(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_u16 called!\n"); abort(); }
/* Generated stub for fromwire_u32 */
u32 fromwire_u32(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_u32 called!\n"); abort(); }
/* Generated stub for fromwire_u64 */
u64 fromwire_u64(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_u64 called!\n"); abort(); }
/* Generated stub for fromwire_u8 */
u8 fromwire_u8(const u8 **cursor UNNEEDED, size_t *max UNNEEDED)
{ fprintf(stderr, "fromwire_u8 called!\n"); abort(); }
/* Generated stub for json_add_member */
void json_add_member(struct json_stream *js UNNEEDED,
const char *fieldname UNNEEDED,
bool quote UNNEEDED,
const char *fmt UNNEEDED, ...)
{ fprintf(stderr, "json_add_member called!\n"); abort(); }
/* Generated stub for json_member_direct */
char *json_member_direct(struct json_stream *js UNNEEDED,
const char *fieldname UNNEEDED, size_t extra UNNEEDED)
{ fprintf(stderr, "json_member_direct called!\n"); abort(); }
/* Generated stub for towire */
void towire(u8 **pptr UNNEEDED, const void *data UNNEEDED, size_t len UNNEEDED)
{ fprintf(stderr, "towire called!\n"); abort(); }
/* Generated stub for towire_amount_sat */
void towire_amount_sat(u8 **pptr UNNEEDED, const struct amount_sat sat UNNEEDED)
{ fprintf(stderr, "towire_amount_sat called!\n"); abort(); }
/* Generated stub for towire_bool */
void towire_bool(u8 **pptr UNNEEDED, bool v UNNEEDED)
{ fprintf(stderr, "towire_bool called!\n"); abort(); }
/* Generated stub for towire_secp256k1_ecdsa_signature */
void towire_secp256k1_ecdsa_signature(u8 **pptr UNNEEDED,
const secp256k1_ecdsa_signature *signature UNNEEDED)
{ fprintf(stderr, "towire_secp256k1_ecdsa_signature called!\n"); abort(); }
/* Generated stub for towire_sha256 */
void towire_sha256(u8 **pptr UNNEEDED, const struct sha256 *sha256 UNNEEDED)
{ fprintf(stderr, "towire_sha256 called!\n"); abort(); }
/* Generated stub for towire_u16 */
void towire_u16(u8 **pptr UNNEEDED, u16 v UNNEEDED)
{ fprintf(stderr, "towire_u16 called!\n"); abort(); }
/* Generated stub for towire_u32 */
void towire_u32(u8 **pptr UNNEEDED, u32 v UNNEEDED)
{ fprintf(stderr, "towire_u32 called!\n"); abort(); }
/* Generated stub for towire_u64 */
void towire_u64(u8 **pptr UNNEEDED, u64 v UNNEEDED)
{ fprintf(stderr, "towire_u64 called!\n"); abort(); }
/* Generated stub for towire_u8 */
void towire_u8(u8 **pptr UNNEEDED, u8 v UNNEEDED)
{ fprintf(stderr, "towire_u8 called!\n"); abort(); }
/* Generated stub for towire_u8_array */
void towire_u8_array(u8 **pptr UNNEEDED, const u8 *arr UNNEEDED, size_t num UNNEEDED)
{ fprintf(stderr, "towire_u8_array called!\n"); abort(); }
/* AUTOGENERATED MOCKS END */
/* BOLT #1:
*
* A correct implementation should pass against these test vectors:
* ```json
* [
* {
* "name": "zero",
* "value": 0,
* "bytes": "00"
* },
* {
* "name": "one byte high",
* "value": 252,
* "bytes": "fc"
* },
* {
* "name": "two byte low",
* "value": 253,
* "bytes": "fd00fd"
* },
* {
* "name": "two byte high",
* "value": 65535,
* "bytes": "fdffff"
* },
* {
* "name": "four byte low",
* "value": 65536,
* "bytes": "fe00010000"
* },
* {
* "name": "four byte high",
* "value": 4294967295,
* "bytes": "feffffffff"
* },
* {
* "name": "eight byte low",
* "value": 4294967296,
* "bytes": "ff0000000100000000"
* },
* {
* "name": "eight byte high",
* "value": 18446744073709551615,
* "bytes": "ffffffffffffffffff"
* },
* {
* "name": "two byte not canonical",
* "value": 0,
* "bytes": "fd00fc",
* "exp_error": "decoded bigsize is not canonical"
* },
* {
* "name": "four byte not canonical",
* "value": 0,
* "bytes": "fe0000ffff",
* "exp_error": "decoded bigsize is not canonical"
* },
* {
* "name": "eight byte not canonical",
* "value": 0,
* "bytes": "ff00000000ffffffff",
* "exp_error": "decoded bigsize is not canonical"
* },
* {
* "name": "two byte short read",
* "value": 0,
* "bytes": "fd00",
* "exp_error": "unexpected EOF"
* },
* {
* "name": "four byte short read",
* "value": 0,
* "bytes": "feffff",
* "exp_error": "unexpected EOF"
* },
* {
* "name": "eight byte short read",
* "value": 0,
* "bytes": "ffffffffff",
* "exp_error": "unexpected EOF"
* },
* {
* "name": "one byte no read",
* "value": 0,
* "bytes": "",
* "exp_error": "EOF"
* },
* {
* "name": "two byte no read",
* "value": 0,
* "bytes": "fd",
* "exp_error": "unexpected EOF"
* },
* {
* "name": "four byte no read",
* "value": 0,
* "bytes": "fe",
* "exp_error": "unexpected EOF"
* },
* {
* "name": "eight byte no read",
* "value": 0,
* "bytes": "ff",
* "exp_error": "unexpected EOF"
* }
* ]
* ```
*/
static void test_decode(const char *json, const jsmntok_t toks[])
{
size_t i;
const jsmntok_t *t;
json_for_each_arr(i, t, toks) {
const jsmntok_t *err = json_get_member(json, t, "exp_error");
const jsmntok_t *bytes = json_get_member(json, t, "bytes");
u64 num, expect;
const u8 *b;
size_t len;
if (!json_to_u64(json, json_get_member(json, t, "value"),
&expect))
abort();
b = tal_hexdata(tmpctx, json + bytes->start,
bytes->end - bytes->start);
reason = NULL;
len = bigsize_get(b, tal_bytelen(b), &num);
if (err) {
assert(len == 0);
assert(json_tok_streq(json, err, reason));
} else {
assert(len == tal_bytelen(b));
assert(num == expect);
}
}
}
/* BOLT #1:
*
* A correct implementation should pass against the following test vectors:
* ```json
* [
* {
* "name": "zero",
* "value": 0,
* "bytes": "00"
* },
* {
* "name": "one byte high",
* "value": 252,
* "bytes": "fc"
* },
* {
* "name": "two byte low",
* "value": 253,
* "bytes": "fd00fd"
* },
* {
* "name": "two byte high",
* "value": 65535,
* "bytes": "fdffff"
* },
* {
* "name": "four byte low",
* "value": 65536,
* "bytes": "fe00010000"
* },
* {
* "name": "four byte high",
* "value": 4294967295,
* "bytes": "feffffffff"
* },
* {
* "name": "eight byte low",
* "value": 4294967296,
* "bytes": "ff0000000100000000"
* },
* {
* "name": "eight byte high",
* "value": 18446744073709551615,
* "bytes": "ffffffffffffffffff"
* }
* ]
* ```
*/
static void test_encode(const char *json, const jsmntok_t toks[])
{
size_t i;
const jsmntok_t *t;
u8 buf[BIGSIZE_MAX_LEN];
json_for_each_arr(i, t, toks) {
const jsmntok_t *bytes = json_get_member(json, t, "bytes");
u64 num;
const u8 *expect;
size_t len;
if (!json_to_u64(json, json_get_member(json, t, "value"),
&num))
abort();
expect = tal_hexdata(tmpctx, json + bytes->start,
bytes->end - bytes->start);
len = bigsize_put(buf, num);
assert(memeq(buf, len, expect, tal_bytelen(expect)));
}
}
int main(int argc, char *argv[])
{
char **lines, *json = NULL;
int test_count = 0;
setup_locale();
setup_tmpctx();
lines = tal_strsplit(tmpctx, grab_file(tmpctx, tal_fmt(tmpctx, "%s.c",
argv[0])),
"\n", STR_NO_EMPTY);
for (size_t i = 0; lines[i]; i++) {
const char *l = lines[i];
if (!strstarts(l, " * "))
continue;
l += 3;
if (streq(l, "```json"))
json = tal_strdup(tmpctx, "");
else if (streq(l, "```")) {
jsmn_parser parser;
jsmntok_t toks[500];
jsmn_init(&parser);
if (jsmn_parse(&parser, json, strlen(json),
toks, ARRAY_SIZE(toks)) < 0)
abort();
switch (test_count) {
case 0:
test_decode(json, toks);
break;
case 1:
test_encode(json, toks);
break;
default:
abort();
}
test_count++;
json = NULL;
} else if (json)
tal_append_fmt(&json, "%s", l);
}
assert(test_count == 2);
tal_free(tmpctx);
}