Skip to content

Instantly share code, notes, and snippets.

@pcmoore

pcmoore/libseccomp-issues_148_1

Created March 29, 2019 22:26
Show Gist options
  • Save pcmoore/ec93299cf460683464fdc3847b4cdf13 to your computer and use it in GitHub Desktop.
Save pcmoore/ec93299cf460683464fdc3847b4cdf13 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
libseccomp-issues_148_1
line OP JT JF K
=================================
0000: 0x20 0x00 0x00 0x00000004 ld $data[4]
0001: 0x15 0x00 0x85 0xc000003e jeq 3221225534 true:0002 false:0135
0002: 0x20 0x00 0x00 0x00000000 ld $data[0]
0003: 0x35 0x00 0x01 0x40000000 jge 1073741824 true:0004 false:0005
0004: 0x15 0x00 0x82 0xffffffff jeq 4294967295 true:0005 false:0135
0005: 0x15 0x11 0x00 0x00000000 jeq 0 true:0023 false:0006
0006: 0x15 0x10 0x00 0x00000001 jeq 1 true:0023 false:0007
0007: 0x15 0x0f 0x00 0x00000003 jeq 3 true:0023 false:0008
0008: 0x15 0x0e 0x00 0x00000004 jeq 4 true:0023 false:0009
0009: 0x15 0x0d 0x00 0x00000005 jeq 5 true:0023 false:0010
0010: 0x15 0x0c 0x00 0x00000007 jeq 7 true:0023 false:0011
0011: 0x15 0x0b 0x00 0x00000008 jeq 8 true:0023 false:0012
0012: 0x15 0x0a 0x00 0x00000009 jeq 9 true:0023 false:0013
0013: 0x15 0x09 0x00 0x0000000b jeq 11 true:0023 false:0014
0014: 0x15 0x08 0x00 0x0000000c jeq 12 true:0023 false:0015
0015: 0x15 0x07 0x00 0x0000000f jeq 15 true:0023 false:0016
0016: 0x15 0x06 0x00 0x00000014 jeq 20 true:0023 false:0017
0017: 0x15 0x05 0x00 0x00000015 jeq 21 true:0023 false:0018
0018: 0x15 0x04 0x00 0x00000016 jeq 22 true:0023 false:0019
0019: 0x15 0x03 0x00 0x00000018 jeq 24 true:0023 false:0020
0020: 0x15 0x02 0x00 0x0000001c jeq 28 true:0023 false:0021
0021: 0x15 0x01 0x00 0x00000023 jeq 35 true:0023 false:0022
0022: 0x15 0x00 0x01 0x00000027 jeq 39 true:0023 false:0024
0023: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0024: 0x15 0xff 0x00 0x0000002a jeq 42 true:0280 false:0025
0025: 0x15 0xfe 0x00 0x0000002c jeq 44 true:0280 false:0026
0026: 0x15 0xfd 0x00 0x0000002d jeq 45 true:0280 false:0027
0027: 0x15 0xfc 0x00 0x0000002e jeq 46 true:0280 false:0028
0028: 0x15 0xfb 0x00 0x0000002f jeq 47 true:0280 false:0029
0029: 0x15 0xfa 0x00 0x00000030 jeq 48 true:0280 false:0030
0030: 0x15 0xf9 0x00 0x00000031 jeq 49 true:0280 false:0031
0031: 0x15 0xf8 0x00 0x00000032 jeq 50 true:0280 false:0032
0032: 0x15 0xf7 0x00 0x00000033 jeq 51 true:0280 false:0033
0033: 0x15 0xf6 0x00 0x00000038 jeq 56 true:0280 false:0034
0034: 0x15 0xf5 0x00 0x0000003c jeq 60 true:0280 false:0035
0035: 0x15 0xf4 0x00 0x0000003d jeq 61 true:0280 false:0036
0036: 0x15 0xf3 0x00 0x0000003f jeq 63 true:0280 false:0037
0037: 0x15 0xf2 0x00 0x00000048 jeq 72 true:0280 false:0038
0038: 0x15 0xf1 0x00 0x0000004e jeq 78 true:0280 false:0039
0039: 0x15 0xf0 0x00 0x00000053 jeq 83 true:0280 false:0040
0040: 0x15 0xef 0x00 0x00000057 jeq 87 true:0280 false:0041
0041: 0x15 0xee 0x00 0x0000005b jeq 91 true:0280 false:0042
0042: 0x15 0xed 0x00 0x00000060 jeq 96 true:0280 false:0043
0043: 0x15 0xec 0x00 0x00000061 jeq 97 true:0280 false:0044
0044: 0x15 0xeb 0x00 0x00000063 jeq 99 true:0280 false:0045
0045: 0x15 0xea 0x00 0x00000066 jeq 102 true:0280 false:0046
0046: 0x15 0xe9 0x00 0x00000068 jeq 104 true:0280 false:0047
0047: 0x15 0xe8 0x00 0x0000006b jeq 107 true:0280 false:0048
0048: 0x15 0xe7 0x00 0x0000006c jeq 108 true:0280 false:0049
0049: 0x15 0xe6 0x00 0x00000083 jeq 131 true:0280 false:0050
0050: 0x15 0xe5 0x00 0x00000097 jeq 151 true:0280 false:0051
0051: 0x15 0x00 0x01 0x0000009c jeq 156 true:0052 false:0053
0052: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0053: 0x15 0xe2 0x00 0x000000a0 jeq 160 true:0280 false:0054
0054: 0x15 0xe1 0x00 0x000000ba jeq 186 true:0280 false:0055
0055: 0x15 0xe0 0x00 0x000000ca jeq 202 true:0280 false:0056
0056: 0x15 0xdf 0x00 0x000000cc jeq 204 true:0280 false:0057
0057: 0x15 0xde 0x00 0x000000d5 jeq 213 true:0280 false:0058
0058: 0x15 0xdd 0x00 0x000000d9 jeq 217 true:0280 false:0059
0059: 0x15 0xdc 0x00 0x000000e4 jeq 228 true:0280 false:0060
0060: 0x15 0xdb 0x00 0x000000e7 jeq 231 true:0280 false:0061
0061: 0x15 0xda 0x00 0x000000e8 jeq 232 true:0280 false:0062
0062: 0x15 0xd9 0x00 0x00000111 jeq 273 true:0280 false:0063
0063: 0x15 0xd8 0x00 0x00000119 jeq 281 true:0280 false:0064
0064: 0x15 0xd7 0x00 0x00000122 jeq 290 true:0280 false:0065
0065: 0x15 0xd6 0x00 0x00000125 jeq 293 true:0280 false:0066
0066: 0x15 0xd5 0x00 0x0000012e jeq 302 true:0280 false:0067
0067: 0x15 0xd4 0x00 0x0000013e jeq 318 true:0280 false:0068
0068: 0x15 0xd3 0x00 0xffffd8b2 jeq 4294957234 true:0280 false:0069
0069: 0x15 0xd2 0x00 0xffffd8b6 jeq 4294957238 true:0280 false:0070
0070: 0x15 0xd1 0x00 0xffffd8d6 jeq 4294957270 true:0280 false:0071
0071: 0x15 0xd0 0x00 0xffffd8db jeq 4294957275 true:0280 false:0072
0072: 0x15 0xcf 0x00 0xffffd8df jeq 4294957279 true:0280 false:0073
0073: 0x15 0xce 0x00 0xffffd8e0 jeq 4294957280 true:0280 false:0074
0074: 0x15 0xcd 0x00 0xffffd8e1 jeq 4294957281 true:0280 false:0075
0075: 0x15 0xcc 0x00 0xffffd8e6 jeq 4294957286 true:0280 false:0076
0076: 0x15 0x00 0x06 0x00000002 jeq 2 true:0077 false:0083
0077: 0x20 0x00 0x00 0x0000001c ld $data[28]
0078: 0x15 0x00 0xcd 0x00000000 jeq 0 true:0079 false:0284
0079: 0x20 0x00 0x00 0x00000018 ld $data[24]
0080: 0x54 0x00 0x00 0xfff5f6ff and 0xfff5f6ff
0081: 0x15 0x00 0xca 0x00000000 jeq 0 true:0082 false:0284
0082: 0x06 0x00 0x00 0x0005000d ret ERRNO(13)
0083: 0x15 0x00 0x04 0x00000010 jeq 16 true:0084 false:0088
0084: 0x20 0x00 0x00 0x0000001c ld $data[28]
0085: 0x15 0x00 0xc6 0x00000000 jeq 0 true:0086 false:0284
0086: 0x20 0x00 0x00 0x00000018 ld $data[24]
0087: 0x15 0xc0 0xc4 0x0000894b jeq 35147 true:0280 false:0284
0088: 0x15 0x00 0x04 0x0000003e jeq 62 true:0089 false:0093
0089: 0x20 0x00 0x00 0x0000001c ld $data[28]
0090: 0x15 0x00 0xc1 0x00000000 jeq 0 true:0091 false:0284
0091: 0x20 0x00 0x00 0x00000018 ld $data[24]
0092: 0x15 0xbb 0xbf 0x00000000 jeq 0 true:0280 false:0284
0093: 0x15 0x01 0x00 0x0000005a jeq 90 true:0095 false:0094
0094: 0x15 0x00 0x04 0x0000005c jeq 92 true:0095 false:0099
0095: 0x20 0x00 0x00 0x00000014 ld $data[20]
0096: 0x15 0x00 0xbb 0x00007ae9 jeq 31465 true:0097 false:0284
0097: 0x20 0x00 0x00 0x00000010 ld $data[16]
0098: 0x15 0xb5 0xb9 0xc0e8d000 jeq 3236483072 true:0280 false:0284
0099: 0x15 0x00 0x04 0x0000009d jeq 157 true:0100 false:0104
0100: 0x20 0x00 0x00 0x00000014 ld $data[20]
0101: 0x15 0x00 0xb6 0x00000000 jeq 0 true:0102 false:0284
0102: 0x20 0x00 0x00 0x00000010 ld $data[16]
0103: 0x15 0xb0 0xb4 0x00000004 jeq 4 true:0280 false:0284
0104: 0x15 0x00 0x04 0x000000c9 jeq 201 true:0105 false:0109
0105: 0x20 0x00 0x00 0x00000014 ld $data[20]
0106: 0x15 0x00 0xb1 0x00000000 jeq 0 true:0107 false:0284
0107: 0x20 0x00 0x00 0x00000010 ld $data[16]
0108: 0x15 0xab 0xaf 0x00000000 jeq 0 true:0280 false:0284
0109: 0x15 0x00 0x05 0x00000120 jeq 288 true:0110 false:0115
0110: 0x20 0x00 0x00 0x0000002c ld $data[44]
0111: 0x15 0x00 0xac 0x00000000 jeq 0 true:0112 false:0284
0112: 0x20 0x00 0x00 0x00000028 ld $data[40]
0113: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0114: 0x15 0xa5 0xa9 0x00000000 jeq 0 true:0280 false:0284
0115: 0x15 0x00 0x04 0x0000000e jeq 14 true:0116 false:0120
0116: 0x20 0x00 0x00 0x00000014 ld $data[20]
0117: 0x15 0x00 0xa6 0x00000000 jeq 0 true:0118 false:0284
0118: 0x20 0x00 0x00 0x00000010 ld $data[16]
0119: 0x15 0xa0 0xeb 0x00000002 jeq 2 true:0280 false:0355
0120: 0x15 0x00 0x05 0x00000049 jeq 73 true:0121 false:0126
0121: 0x20 0x00 0x00 0x0000001c ld $data[28]
0122: 0x15 0x00 0xa1 0x00000000 jeq 0 true:0123 false:0284
0123: 0x20 0x00 0x00 0x00000018 ld $data[24]
0124: 0x15 0x9b 0x00 0x00000008 jeq 8 true:0280 false:0125
0125: 0x15 0x9a 0x9e 0x00000006 jeq 6 true:0280 false:0284
0126: 0x15 0x00 0x09 0x00000019 jeq 25 true:0127 false:0136
0127: 0x20 0x00 0x00 0x0000002c ld $data[44]
0128: 0x15 0x00 0x02 0x00000000 jeq 0 true:0129 false:0131
0129: 0x20 0x00 0x00 0x00000028 ld $data[40]
0130: 0x15 0x95 0x00 0x00000001 jeq 1 true:0280 false:0131
0131: 0x20 0x00 0x00 0x00000014 ld $data[20]
0132: 0x15 0x00 0x97 0x00007ae9 jeq 31465 true:0133 false:0284
0133: 0x20 0x00 0x00 0x00000010 ld $data[16]
0134: 0x15 0x00 0x95 0xbfa8d000 jeq 3215511552 true:0135 false:0284
0135: 0x06 0x00 0x00 0x00000000 ret KILL
0136: 0x15 0x00 0x08 0x00000035 jeq 53 true:0137 false:0145
0137: 0x20 0x00 0x00 0x00000014 ld $data[20]
0138: 0x15 0x00 0x91 0x00000000 jeq 0 true:0139 false:0284
0139: 0x20 0x00 0x00 0x00000010 ld $data[16]
0140: 0x15 0x00 0x8f 0x00000001 jeq 1 true:0141 false:0284
0141: 0x20 0x00 0x00 0x0000001c ld $data[28]
0142: 0x15 0x00 0x8d 0x00000000 jeq 0 true:0143 false:0284
0143: 0x20 0x00 0x00 0x00000018 ld $data[24]
0144: 0x15 0x87 0x8b 0x00080001 jeq 524289 true:0280 false:0284
0145: 0x15 0x00 0x04 0x000000e9 jeq 233 true:0146 false:0150
0146: 0x20 0x00 0x00 0x0000001c ld $data[28]
0147: 0x15 0x00 0x88 0x00000000 jeq 0 true:0148 false:0284
0148: 0x20 0x00 0x00 0x00000018 ld $data[24]
0149: 0x15 0x82 0x0a 0x00000003 jeq 3 true:0280 false:0160
0150: 0x15 0x00 0x0a 0x0000000d jeq 13 true:0151 false:0161
0151: 0x20 0x00 0x00 0x00000014 ld $data[20]
0152: 0x15 0x00 0x83 0x00000000 jeq 0 true:0153 false:0284
0153: 0x20 0x00 0x00 0x00000010 ld $data[16]
0154: 0x15 0x7d 0x00 0x00000019 jeq 25 true:0280 false:0155
0155: 0x15 0x7c 0x00 0x00000011 jeq 17 true:0280 false:0156
0156: 0x15 0x7b 0x00 0x0000000f jeq 15 true:0280 false:0157
0157: 0x15 0x7a 0x00 0x0000000d jeq 13 true:0280 false:0158
0158: 0x15 0x79 0x00 0x0000000c jeq 12 true:0280 false:0159
0159: 0x15 0x78 0x00 0x0000000a jeq 10 true:0280 false:0160
0160: 0x15 0x77 0xc2 0x00000002 jeq 2 true:0280 false:0355
0161: 0x15 0x00 0x0f 0xffffd8e7 jeq 4294957287 true:0162 false:0177
0162: 0x20 0x00 0x00 0x0000001c ld $data[28]
0163: 0x15 0x00 0x78 0x00000000 jeq 0 true:0164 false:0284
0164: 0x20 0x00 0x00 0x00000018 ld $data[24]
0165: 0x15 0x00 0x04 0x00000004 jeq 4 true:0166 false:0170
0166: 0x20 0x00 0x00 0x00000024 ld $data[36]
0167: 0x15 0x00 0x02 0x00000000 jeq 0 true:0168 false:0170
0168: 0x20 0x00 0x00 0x00000020 ld $data[32]
0169: 0x15 0x6e 0x00 0x00000802 jeq 2050 true:0280 false:0170
0170: 0x20 0x00 0x00 0x00000018 ld $data[24]
0171: 0x15 0x6c 0x00 0x00000003 jeq 3 true:0280 false:0172
0172: 0x15 0x00 0xb6 0x00000002 jeq 2 true:0173 false:0355
0173: 0x20 0x00 0x00 0x00000024 ld $data[36]
0174: 0x15 0x00 0xb4 0x00000000 jeq 0 true:0175 false:0355
0175: 0x20 0x00 0x00 0x00000020 ld $data[32]
0176: 0x15 0x67 0xb2 0x00000001 jeq 1 true:0280 false:0355
0177: 0x15 0x00 0x17 0x00000036 jeq 54 true:0178 false:0201
0178: 0x20 0x00 0x00 0x0000001c ld $data[28]
0179: 0x15 0x00 0x68 0x00000000 jeq 0 true:0180 false:0284
0180: 0x20 0x00 0x00 0x00000018 ld $data[24]
0181: 0x15 0x00 0x04 0x00000029 jeq 41 true:0182 false:0186
0182: 0x20 0x00 0x00 0x00000024 ld $data[36]
0183: 0x15 0x00 0x02 0x00000000 jeq 0 true:0184 false:0186
0184: 0x20 0x00 0x00 0x00000020 ld $data[32]
0185: 0x15 0x5e 0x00 0x0000001a jeq 26 true:0280 false:0186
0186: 0x20 0x00 0x00 0x00000018 ld $data[24]
0187: 0x15 0x00 0x07 0x00000001 jeq 1 true:0188 false:0195
0188: 0x20 0x00 0x00 0x00000024 ld $data[36]
0189: 0x15 0x00 0x05 0x00000000 jeq 0 true:0190 false:0195
0190: 0x20 0x00 0x00 0x00000020 ld $data[32]
0191: 0x15 0x58 0x00 0x00000020 jeq 32 true:0280 false:0192
0192: 0x15 0x57 0x00 0x00000008 jeq 8 true:0280 false:0193
0193: 0x15 0x56 0x00 0x00000007 jeq 7 true:0280 false:0194
0194: 0x15 0x55 0x00 0x00000002 jeq 2 true:0280 false:0195
0195: 0x20 0x00 0x00 0x00000018 ld $data[24]
0196: 0x15 0x00 0x57 0x00000000 jeq 0 true:0197 false:0284
0197: 0x20 0x00 0x00 0x00000024 ld $data[36]
0198: 0x15 0x00 0x55 0x00000000 jeq 0 true:0199 false:0284
0199: 0x20 0x00 0x00 0x00000020 ld $data[32]
0200: 0x15 0x4f 0x53 0x00000013 jeq 19 true:0280 false:0284
0201: 0x15 0x00 0x1c 0x00000037 jeq 55 true:0202 false:0230
0202: 0x20 0x00 0x00 0x0000001c ld $data[28]
0203: 0x15 0x00 0x50 0x00000000 jeq 0 true:0204 false:0284
0204: 0x20 0x00 0x00 0x00000018 ld $data[24]
0205: 0x15 0x00 0x04 0x00000029 jeq 41 true:0206 false:0210
0206: 0x20 0x00 0x00 0x00000024 ld $data[36]
0207: 0x15 0x00 0x02 0x00000000 jeq 0 true:0208 false:0210
0208: 0x20 0x00 0x00 0x00000020 ld $data[32]
0209: 0x15 0x46 0x00 0x00000050 jeq 80 true:0280 false:0210
0210: 0x20 0x00 0x00 0x00000018 ld $data[24]
0211: 0x15 0x00 0x04 0x00000006 jeq 6 true:0212 false:0216
0212: 0x20 0x00 0x00 0x00000024 ld $data[36]
0213: 0x15 0x00 0x02 0x00000000 jeq 0 true:0214 false:0216
0214: 0x20 0x00 0x00 0x00000020 ld $data[32]
0215: 0x15 0x40 0x00 0x0000000b jeq 11 true:0280 false:0216
0216: 0x20 0x00 0x00 0x00000018 ld $data[24]
0217: 0x15 0x00 0x06 0x00000001 jeq 1 true:0218 false:0224
0218: 0x20 0x00 0x00 0x00000024 ld $data[36]
0219: 0x15 0x00 0x04 0x00000000 jeq 0 true:0220 false:0224
0220: 0x20 0x00 0x00 0x00000020 ld $data[32]
0221: 0x15 0x3a 0x00 0x0000001e jeq 30 true:0280 false:0222
0222: 0x15 0x39 0x00 0x00000007 jeq 7 true:0280 false:0223
0223: 0x15 0x38 0x00 0x00000004 jeq 4 true:0280 false:0224
0224: 0x20 0x00 0x00 0x00000018 ld $data[24]
0225: 0x15 0x00 0x3a 0x00000000 jeq 0 true:0226 false:0284
0226: 0x20 0x00 0x00 0x00000024 ld $data[36]
0227: 0x15 0x00 0x38 0x00000000 jeq 0 true:0228 false:0284
0228: 0x20 0x00 0x00 0x00000020 ld $data[32]
0229: 0x15 0x32 0x36 0x00000050 jeq 80 true:0280 false:0284
0230: 0x15 0x00 0x1d 0xffffd8d3 jeq 4294957267 true:0231 false:0260
0231: 0x20 0x00 0x00 0x00000024 ld $data[36]
0232: 0x15 0x00 0x33 0x00000000 jeq 0 true:0233 false:0284
0233: 0x20 0x00 0x00 0x00000020 ld $data[32]
0234: 0x15 0x00 0x04 0x00000005 jeq 5 true:0235 false:0239
0235: 0x20 0x00 0x00 0x0000002c ld $data[44]
0236: 0x15 0x00 0x02 0x00000000 jeq 0 true:0237 false:0239
0237: 0x20 0x00 0x00 0x00000028 ld $data[40]
0238: 0x15 0x29 0x00 0x00000802 jeq 2050 true:0280 false:0239
0239: 0x20 0x00 0x00 0x00000020 ld $data[32]
0240: 0x15 0x00 0x07 0x00000003 jeq 3 true:0241 false:0248
0241: 0x20 0x00 0x00 0x0000002c ld $data[44]
0242: 0x15 0x00 0x05 0x00000000 jeq 0 true:0243 false:0248
0243: 0x20 0x00 0x00 0x00000028 ld $data[40]
0244: 0x15 0x23 0x00 0x00020022 jeq 131106 true:0280 false:0245
0245: 0x15 0x22 0x00 0x00000812 jeq 2066 true:0280 false:0246
0246: 0x15 0x21 0x00 0x00000032 jeq 50 true:0280 false:0247
0247: 0x15 0x20 0x00 0x00000022 jeq 34 true:0280 false:0248
0248: 0x20 0x00 0x00 0x00000020 ld $data[32]
0249: 0x15 0x00 0x04 0x00000001 jeq 1 true:0250 false:0254
0250: 0x20 0x00 0x00 0x0000002c ld $data[44]
0251: 0x15 0x00 0x02 0x00000000 jeq 0 true:0252 false:0254
0252: 0x20 0x00 0x00 0x00000028 ld $data[40]
0253: 0x15 0x1a 0x00 0x00000002 jeq 2 true:0280 false:0254
0254: 0x20 0x00 0x00 0x00000020 ld $data[32]
0255: 0x15 0x00 0x1c 0x00000000 jeq 0 true:0256 false:0284
0256: 0x20 0x00 0x00 0x0000002c ld $data[44]
0257: 0x15 0x00 0x1a 0x00000000 jeq 0 true:0258 false:0284
0258: 0x20 0x00 0x00 0x00000028 ld $data[40]
0259: 0x15 0x14 0x18 0x00004022 jeq 16418 true:0280 false:0284
0260: 0x15 0x00 0x1f 0x0000000a jeq 10 true:0261 false:0292
0261: 0x20 0x00 0x00 0x00000024 ld $data[36]
0262: 0x15 0x00 0x03 0x00000000 jeq 0 true:0263 false:0266
0263: 0x20 0x00 0x00 0x00000020 ld $data[32]
0264: 0x15 0x0f 0x00 0x00000001 jeq 1 true:0280 false:0265
0265: 0x15 0x0e 0x00 0x00000000 jeq 0 true:0280 false:0266
0266: 0x20 0x00 0x00 0x00000014 ld $data[20]
0267: 0x25 0x0e 0x00 0x00007ae9 jgt 31465 true:0282 false:0268
0268: 0x15 0x00 0x0d 0x00007ae9 jeq 31465 true:0269 false:0282
0269: 0x20 0x00 0x00 0x00000010 ld $data[16]
0270: 0x35 0x0a 0x00 0xbfa8d000 jge 3215511552 true:0281 false:0271
0271: 0x20 0x00 0x00 0x0000001c ld $data[28]
0272: 0x25 0x08 0x00 0x00000000 jgt 0 true:0281 false:0273
0273: 0x15 0x00 0x02 0x00000000 jeq 0 true:0274 false:0276
0274: 0x20 0x00 0x00 0x00000018 ld $data[24]
0275: 0x25 0x05 0x00 0x01400000 jgt 20971520 true:0281 false:0276
0276: 0x20 0x00 0x00 0x00000024 ld $data[36]
0277: 0x15 0x00 0x03 0x00000000 jeq 0 true:0278 false:0281
0278: 0x20 0x00 0x00 0x00000020 ld $data[32]
0279: 0x15 0x00 0x01 0x00000003 jeq 3 true:0280 false:0281
0280: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0281: 0x25 0x00 0x02 0xc0e8dc39 jgt 3236486201 true:0282 false:0284
0282: 0x20 0x00 0x00 0x0000001c ld $data[28]
0283: 0x25 0x00 0x01 0x00000000 jgt 0 true:0284 false:0285
0284: 0x06 0x00 0x00 0x00030000 ret TRAP
0285: 0x15 0x00 0x02 0x00000000 jeq 0 true:0286 false:0288
0286: 0x20 0x00 0x00 0x00000018 ld $data[24]
0287: 0x25 0xfd 0x00 0x01400000 jgt 20971520 true:0541 false:0288
0288: 0x20 0x00 0x00 0x00000024 ld $data[36]
0289: 0x15 0x00 0xfb 0x00000000 jeq 0 true:0290 false:0541
0290: 0x20 0x00 0x00 0x00000020 ld $data[32]
0291: 0x15 0xfa 0xf9 0x00000003 jeq 3 true:0542 false:0541
0292: 0x15 0x00 0x41 0x00000029 jeq 41 true:0293 false:0358
0293: 0x20 0x00 0x00 0x00000014 ld $data[20]
0294: 0x15 0x00 0xf6 0x00000000 jeq 0 true:0295 false:0541
0295: 0x20 0x00 0x00 0x00000010 ld $data[16]
0296: 0x15 0x00 0x09 0x00000010 jeq 16 true:0297 false:0306
0297: 0x20 0x00 0x00 0x0000001c ld $data[28]
0298: 0x15 0x00 0x07 0x00000000 jeq 0 true:0299 false:0306
0299: 0x20 0x00 0x00 0x00000018 ld $data[24]
0300: 0x54 0x00 0x00 0xfff7ffff and 0xfff7ffff
0301: 0x15 0x00 0x04 0x00000003 jeq 3 true:0302 false:0306
0302: 0x20 0x00 0x00 0x00000024 ld $data[36]
0303: 0x15 0x00 0x02 0x00000000 jeq 0 true:0304 false:0306
0304: 0x20 0x00 0x00 0x00000020 ld $data[32]
0305: 0x15 0xec 0x00 0x00000000 jeq 0 true:0542 false:0306
0306: 0x20 0x00 0x00 0x00000010 ld $data[16]
0307: 0x15 0x00 0x11 0x0000000a jeq 10 true:0308 false:0325
0308: 0x20 0x00 0x00 0x0000001c ld $data[28]
0309: 0x15 0x00 0x0f 0x00000000 jeq 0 true:0310 false:0325
0310: 0x20 0x00 0x00 0x00000018 ld $data[24]
0311: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0312: 0x15 0x00 0x05 0x00000002 jeq 2 true:0313 false:0318
0313: 0x20 0x00 0x00 0x00000024 ld $data[36]
0314: 0x15 0x00 0x03 0x00000000 jeq 0 true:0315 false:0318
0315: 0x20 0x00 0x00 0x00000020 ld $data[32]
0316: 0x15 0xe1 0x00 0x00000011 jeq 17 true:0542 false:0317
0317: 0x15 0xe0 0x00 0x00000000 jeq 0 true:0542 false:0318
0318: 0x20 0x00 0x00 0x00000018 ld $data[24]
0319: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0320: 0x15 0x00 0x04 0x00000001 jeq 1 true:0321 false:0325
0321: 0x20 0x00 0x00 0x00000024 ld $data[36]
0322: 0x15 0x00 0x02 0x00000000 jeq 0 true:0323 false:0325
0323: 0x20 0x00 0x00 0x00000020 ld $data[32]
0324: 0x15 0xd9 0x00 0x00000006 jeq 6 true:0542 false:0325
0325: 0x20 0x00 0x00 0x00000010 ld $data[16]
0326: 0x15 0x00 0x11 0x00000002 jeq 2 true:0327 false:0344
0327: 0x20 0x00 0x00 0x0000001c ld $data[28]
0328: 0x15 0x00 0x0f 0x00000000 jeq 0 true:0329 false:0344
0329: 0x20 0x00 0x00 0x00000018 ld $data[24]
0330: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0331: 0x15 0x00 0x05 0x00000002 jeq 2 true:0332 false:0337
0332: 0x20 0x00 0x00 0x00000024 ld $data[36]
0333: 0x15 0x00 0x03 0x00000000 jeq 0 true:0334 false:0337
0334: 0x20 0x00 0x00 0x00000020 ld $data[32]
0335: 0x15 0xce 0x00 0x00000011 jeq 17 true:0542 false:0336
0336: 0x15 0xcd 0x00 0x00000000 jeq 0 true:0542 false:0337
0337: 0x20 0x00 0x00 0x00000018 ld $data[24]
0338: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0339: 0x15 0x00 0x04 0x00000001 jeq 1 true:0340 false:0344
0340: 0x20 0x00 0x00 0x00000024 ld $data[36]
0341: 0x15 0x00 0x02 0x00000000 jeq 0 true:0342 false:0344
0342: 0x20 0x00 0x00 0x00000020 ld $data[32]
0343: 0x15 0xc6 0x00 0x00000006 jeq 6 true:0542 false:0344
0344: 0x20 0x00 0x00 0x00000010 ld $data[16]
0345: 0x15 0x00 0xc3 0x00000001 jeq 1 true:0346 false:0541
0346: 0x20 0x00 0x00 0x0000001c ld $data[28]
0347: 0x15 0x00 0xc1 0x00000000 jeq 0 true:0348 false:0541
0348: 0x20 0x00 0x00 0x00000018 ld $data[24]
0349: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0350: 0x15 0x00 0x04 0x00000002 jeq 2 true:0351 false:0355
0351: 0x20 0x00 0x00 0x00000024 ld $data[36]
0352: 0x15 0x00 0x02 0x00000000 jeq 0 true:0353 false:0355
0353: 0x20 0x00 0x00 0x00000020 ld $data[32]
0354: 0x15 0xbb 0x00 0x00000000 jeq 0 true:0542 false:0355
0355: 0x20 0x00 0x00 0x00000018 ld $data[24]
0356: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0357: 0x15 0xb8 0xb7 0x00000001 jeq 1 true:0542 false:0541
0358: 0x15 0x00 0x6e 0x00000052 jeq 82 true:0359 false:0469
0359: 0x20 0x00 0x00 0x00000014 ld $data[20]
0360: 0x15 0x00 0xb4 0x00007ae9 jeq 31465 true:0361 false:0541
0361: 0x20 0x00 0x00 0x00000010 ld $data[16]
0362: 0x15 0x00 0x04 0xc0e8d4f9 jeq 3236484345 true:0363 false:0367
0363: 0x20 0x00 0x00 0x0000001c ld $data[28]
0364: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0365 false:0367
0365: 0x20 0x00 0x00 0x00000018 ld $data[24]
0366: 0x15 0xaf 0x00 0xc0e8d51c jeq 3236484380 true:0542 false:0367
0367: 0x20 0x00 0x00 0x00000010 ld $data[16]
0368: 0x15 0x00 0x04 0xc0e8d4af jeq 3236484271 true:0369 false:0373
0369: 0x20 0x00 0x00 0x0000001c ld $data[28]
0370: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0371 false:0373
0371: 0x20 0x00 0x00 0x00000018 ld $data[24]
0372: 0x15 0xa9 0x00 0xc0e8d4d6 jeq 3236484310 true:0542 false:0373
0373: 0x20 0x00 0x00 0x00000010 ld $data[16]
0374: 0x15 0x00 0x04 0xc0e8d45d jeq 3236484189 true:0375 false:0379
0375: 0x20 0x00 0x00 0x0000001c ld $data[28]
0376: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0377 false:0379
0377: 0x20 0x00 0x00 0x00000018 ld $data[24]
0378: 0x15 0xa3 0x00 0xc0e8d488 jeq 3236484232 true:0542 false:0379
0379: 0x20 0x00 0x00 0x00000010 ld $data[16]
0380: 0x15 0x00 0x04 0xc0e8d3f7 jeq 3236484087 true:0381 false:0385
0381: 0x20 0x00 0x00 0x0000001c ld $data[28]
0382: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0383 false:0385
0383: 0x20 0x00 0x00 0x00000018 ld $data[24]
0384: 0x15 0x9d 0x00 0xc0e8d42c jeq 3236484140 true:0542 false:0385
0385: 0x20 0x00 0x00 0x00000010 ld $data[16]
0386: 0x15 0x00 0x04 0xc0e8d399 jeq 3236483993 true:0387 false:0391
0387: 0x20 0x00 0x00 0x0000001c ld $data[28]
0388: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0389 false:0391
0389: 0x20 0x00 0x00 0x00000018 ld $data[24]
0390: 0x15 0x97 0x00 0xc0e8d3ca jeq 3236484042 true:0542 false:0391
0391: 0x20 0x00 0x00 0x00000010 ld $data[16]
0392: 0x15 0x00 0x04 0xc0e8d371 jeq 3236483953 true:0393 false:0397
0393: 0x20 0x00 0x00 0x0000001c ld $data[28]
0394: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0395 false:0397
0395: 0x20 0x00 0x00 0x00000018 ld $data[24]
0396: 0x15 0x91 0x00 0xc0e8d34d jeq 3236483917 true:0542 false:0397
0397: 0x20 0x00 0x00 0x00000010 ld $data[16]
0398: 0x15 0x00 0x04 0xc0e8d325 jeq 3236483877 true:0399 false:0403
0399: 0x20 0x00 0x00 0x0000001c ld $data[28]
0400: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0401 false:0403
0401: 0x20 0x00 0x00 0x00000018 ld $data[24]
0402: 0x15 0x8b 0x00 0xc0e8d34d jeq 3236483917 true:0542 false:0403
0403: 0x20 0x00 0x00 0x00000010 ld $data[16]
0404: 0x15 0x00 0x04 0xc0e8d2f9 jeq 3236483833 true:0405 false:0409
0405: 0x20 0x00 0x00 0x0000001c ld $data[28]
0406: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0407 false:0409
0407: 0x20 0x00 0x00 0x00000018 ld $data[24]
0408: 0x15 0x85 0x00 0xc0e8d325 jeq 3236483877 true:0542 false:0409
0409: 0x20 0x00 0x00 0x00000010 ld $data[16]
0410: 0x15 0x00 0x04 0xc0e8d2d0 jeq 3236483792 true:0411 false:0415
0411: 0x20 0x00 0x00 0x0000001c ld $data[28]
0412: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0413 false:0415
0413: 0x20 0x00 0x00 0x00000018 ld $data[24]
0414: 0x15 0x7f 0x00 0xc0e8d2ab jeq 3236483755 true:0542 false:0415
0415: 0x20 0x00 0x00 0x00000010 ld $data[16]
0416: 0x15 0x00 0x04 0xc0e8d282 jeq 3236483714 true:0417 false:0421
0417: 0x20 0x00 0x00 0x0000001c ld $data[28]
0418: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0419 false:0421
0419: 0x20 0x00 0x00 0x00000018 ld $data[24]
0420: 0x15 0x79 0x00 0xc0e8d2ab jeq 3236483755 true:0542 false:0421
0421: 0x20 0x00 0x00 0x00000010 ld $data[16]
0422: 0x15 0x00 0x04 0xc0e8d255 jeq 3236483669 true:0423 false:0427
0423: 0x20 0x00 0x00 0x0000001c ld $data[28]
0424: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0425 false:0427
0425: 0x20 0x00 0x00 0x00000018 ld $data[24]
0426: 0x15 0x73 0x00 0xc0e8d282 jeq 3236483714 true:0542 false:0427
0427: 0x20 0x00 0x00 0x00000010 ld $data[16]
0428: 0x15 0x00 0x04 0xc0e8d22e jeq 3236483630 true:0429 false:0433
0429: 0x20 0x00 0x00 0x0000001c ld $data[28]
0430: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0431 false:0433
0431: 0x20 0x00 0x00 0x00000018 ld $data[24]
0432: 0x15 0x6d 0x00 0xc0e8d20b jeq 3236483595 true:0542 false:0433
0433: 0x20 0x00 0x00 0x00000010 ld $data[16]
0434: 0x15 0x00 0x04 0xc0e8d1e0 jeq 3236483552 true:0435 false:0439
0435: 0x20 0x00 0x00 0x0000001c ld $data[28]
0436: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0437 false:0439
0437: 0x20 0x00 0x00 0x00000018 ld $data[24]
0438: 0x15 0x67 0x00 0xc0e8d06d jeq 3236483181 true:0542 false:0439
0439: 0x20 0x00 0x00 0x00000010 ld $data[16]
0440: 0x15 0x00 0x04 0xc0e8d1c4 jeq 3236483524 true:0441 false:0445
0441: 0x20 0x00 0x00 0x0000001c ld $data[28]
0442: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0443 false:0445
0443: 0x20 0x00 0x00 0x00000018 ld $data[24]
0444: 0x15 0x61 0x00 0xc0e8d0b7 jeq 3236483255 true:0542 false:0445
0445: 0x20 0x00 0x00 0x00000010 ld $data[16]
0446: 0x15 0x00 0x04 0xc0e8d18a jeq 3236483466 true:0447 false:0451
0447: 0x20 0x00 0x00 0x0000001c ld $data[28]
0448: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0449 false:0451
0449: 0x20 0x00 0x00 0x00000018 ld $data[24]
0450: 0x15 0x5b 0x00 0xc0e8d1a9 jeq 3236483497 true:0542 false:0451
0451: 0x20 0x00 0x00 0x00000010 ld $data[16]
0452: 0x15 0x00 0x04 0xc0e8d140 jeq 3236483392 true:0453 false:0457
0453: 0x20 0x00 0x00 0x0000001c ld $data[28]
0454: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0455 false:0457
0455: 0x20 0x00 0x00 0x00000018 ld $data[24]
0456: 0x15 0x55 0x00 0xc0e8d167 jeq 3236483431 true:0542 false:0457
0457: 0x20 0x00 0x00 0x00000010 ld $data[16]
0458: 0x15 0x00 0x04 0xc0e8d0f8 jeq 3236483320 true:0459 false:0463
0459: 0x20 0x00 0x00 0x0000001c ld $data[28]
0460: 0x15 0x00 0x02 0x00007ae9 jeq 31465 true:0461 false:0463
0461: 0x20 0x00 0x00 0x00000018 ld $data[24]
0462: 0x15 0x4f 0x00 0xc0e8d11e jeq 3236483358 true:0542 false:0463
0463: 0x20 0x00 0x00 0x00000010 ld $data[16]
0464: 0x15 0x00 0x4c 0xc0e8d06d jeq 3236483181 true:0465 false:0541
0465: 0x20 0x00 0x00 0x0000001c ld $data[28]
0466: 0x15 0x00 0x4a 0x00007ae9 jeq 31465 true:0467 false:0541
0467: 0x20 0x00 0x00 0x00000018 ld $data[24]
0468: 0x15 0x49 0x48 0xc0e8d20b jeq 3236483595 true:0542 false:0541
0469: 0x15 0x00 0x47 0x00000101 jeq 257 true:0470 false:0541
0470: 0x20 0x00 0x00 0x00000024 ld $data[36]
0471: 0x15 0x00 0x03 0x00000000 jeq 0 true:0472 false:0475
0472: 0x20 0x00 0x00 0x00000020 ld $data[32]
0473: 0x54 0x00 0x00 0xfff5f6ff and 0xfff5f6ff
0474: 0x15 0x44 0x00 0x00000000 jeq 0 true:0543 false:0475
0475: 0x20 0x00 0x00 0x00000014 ld $data[20]
0476: 0x15 0x00 0x0a 0xffffffff jeq 4294967295 true:0477 false:0487
0477: 0x20 0x00 0x00 0x00000010 ld $data[16]
0478: 0x15 0x00 0x08 0xffffff9c jeq 4294967196 true:0479 false:0487
0479: 0x20 0x00 0x00 0x0000001c ld $data[28]
0480: 0x15 0x00 0x06 0x00007ae9 jeq 31465 true:0481 false:0487
0481: 0x20 0x00 0x00 0x00000018 ld $data[24]
0482: 0x15 0x00 0x04 0xc0e8d651 jeq 3236484689 true:0483 false:0487
0483: 0x20 0x00 0x00 0x00000024 ld $data[36]
0484: 0x15 0x00 0x02 0x00000000 jeq 0 true:0485 false:0487
0485: 0x20 0x00 0x00 0x00000020 ld $data[32]
0486: 0x15 0x37 0x00 0x00090800 jeq 591872 true:0542 false:0487
0487: 0x20 0x00 0x00 0x00000014 ld $data[20]
0488: 0x15 0x00 0x34 0x00000000 jeq 0 true:0489 false:0541
0489: 0x20 0x00 0x00 0x00000010 ld $data[16]
0490: 0x15 0x00 0x32 0xffffff9c jeq 4294967196 true:0491 false:0541
0491: 0x20 0x00 0x00 0x0000001c ld $data[28]
0492: 0x15 0x00 0x30 0x00007ae9 jeq 31465 true:0493 false:0541
0493: 0x20 0x00 0x00 0x00000018 ld $data[24]
0494: 0x15 0x2f 0x00 0xc0e8d63a jeq 3236484666 true:0542 false:0495
0495: 0x15 0x2e 0x00 0xc0e8d60d jeq 3236484621 true:0542 false:0496
0496: 0x15 0x2d 0x00 0xc0e8d5e2 jeq 3236484578 true:0542 false:0497
0497: 0x15 0x2c 0x00 0xc0e8d5bc jeq 3236484540 true:0542 false:0498
0498: 0x15 0x2b 0x00 0xc0e8d5af jeq 3236484527 true:0542 false:0499
0499: 0x15 0x2a 0x00 0xc0e8d5a2 jeq 3236484514 true:0542 false:0500
0500: 0x15 0x29 0x00 0xc0e8d596 jeq 3236484502 true:0542 false:0501
0501: 0x15 0x28 0x00 0xc0e8d58b jeq 3236484491 true:0542 false:0502
0502: 0x15 0x27 0x00 0xc0e8d57d jeq 3236484477 true:0542 false:0503
0503: 0x15 0x26 0x00 0xc0e8d56c jeq 3236484460 true:0542 false:0504
0504: 0x15 0x25 0x00 0xc0e8d55d jeq 3236484445 true:0542 false:0505
0505: 0x15 0x24 0x00 0xc0e8d53b jeq 3236484411 true:0542 false:0506
0506: 0x15 0x23 0x00 0xc0e8d51c jeq 3236484380 true:0542 false:0507
0507: 0x15 0x22 0x00 0xc0e8d4f9 jeq 3236484345 true:0542 false:0508
0508: 0x15 0x21 0x00 0xc0e8d4d6 jeq 3236484310 true:0542 false:0509
0509: 0x15 0x20 0x00 0xc0e8d4af jeq 3236484271 true:0542 false:0510
0510: 0x15 0x1f 0x00 0xc0e8d488 jeq 3236484232 true:0542 false:0511
0511: 0x15 0x1e 0x00 0xc0e8d45d jeq 3236484189 true:0542 false:0512
0512: 0x15 0x1d 0x00 0xc0e8d42c jeq 3236484140 true:0542 false:0513
0513: 0x15 0x1c 0x00 0xc0e8d3f7 jeq 3236484087 true:0542 false:0514
0514: 0x15 0x1b 0x00 0xc0e8d3ca jeq 3236484042 true:0542 false:0515
0515: 0x15 0x1a 0x00 0xc0e8d399 jeq 3236483993 true:0542 false:0516
0516: 0x15 0x19 0x00 0xc0e8d371 jeq 3236483953 true:0542 false:0517
0517: 0x15 0x18 0x00 0xc0e8d34d jeq 3236483917 true:0542 false:0518
0518: 0x15 0x17 0x00 0xc0e8d325 jeq 3236483877 true:0542 false:0519
0519: 0x15 0x16 0x00 0xc0e8d2f9 jeq 3236483833 true:0542 false:0520
0520: 0x15 0x15 0x00 0xc0e8d2d0 jeq 3236483792 true:0542 false:0521
0521: 0x15 0x14 0x00 0xc0e8d2ab jeq 3236483755 true:0542 false:0522
0522: 0x15 0x13 0x00 0xc0e8d282 jeq 3236483714 true:0542 false:0523
0523: 0x15 0x12 0x00 0xc0e8d255 jeq 3236483669 true:0542 false:0524
0524: 0x15 0x11 0x00 0xc0e8d22e jeq 3236483630 true:0542 false:0525
0525: 0x15 0x10 0x00 0xc0e8d20b jeq 3236483595 true:0542 false:0526
0526: 0x15 0x0f 0x00 0xc0e8d1e0 jeq 3236483552 true:0542 false:0527
0527: 0x15 0x0e 0x00 0xc0e8d1c4 jeq 3236483524 true:0542 false:0528
0528: 0x15 0x0d 0x00 0xc0e8d1a9 jeq 3236483497 true:0542 false:0529
0529: 0x15 0x0c 0x00 0xc0e8d18a jeq 3236483466 true:0542 false:0530
0530: 0x15 0x0b 0x00 0xc0e8d167 jeq 3236483431 true:0542 false:0531
0531: 0x15 0x0a 0x00 0xc0e8d140 jeq 3236483392 true:0542 false:0532
0532: 0x15 0x09 0x00 0xc0e8d11e jeq 3236483358 true:0542 false:0533
0533: 0x15 0x08 0x00 0xc0e8d0f8 jeq 3236483320 true:0542 false:0534
0534: 0x15 0x07 0x00 0xc0e8d0e6 jeq 3236483302 true:0542 false:0535
0535: 0x15 0x06 0x00 0xc0e8d0b7 jeq 3236483255 true:0542 false:0536
0536: 0x15 0x05 0x00 0xc0e8d06d jeq 3236483181 true:0542 false:0537
0537: 0x15 0x04 0x00 0xc0e8d064 jeq 3236483172 true:0542 false:0538
0538: 0x15 0x03 0x00 0xc0e8d048 jeq 3236483144 true:0542 false:0539
0539: 0x15 0x02 0x00 0xc0e8d01a jeq 3236483098 true:0542 false:0540
0540: 0x15 0x01 0x00 0xc0e8d011 jeq 3236483089 true:0542 false:0541
0541: 0x06 0x00 0x00 0x00030000 ret TRAP
0542: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0543: 0x06 0x00 0x00 0x0005000d ret ERRNO(13)
0544: 0x06 0x00 0x00 0x00000000 ret KILL
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment