Skip to content

Instantly share code, notes, and snippets.

@pcmoore

pcmoore/libseccomp-issues_148_3

Created April 5, 2019 02:54
Show Gist options
  • Save pcmoore/118734e31844fad7c336a08ea1a908f7 to your computer and use it in GitHub Desktop.
Save pcmoore/118734e31844fad7c336a08ea1a908f7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
libseccomp-issues_148_3
line OP JT JF K
=================================
0000: 0x20 0x00 0x00 0x00000004 ld $data[4]
0001: 0x15 0x00 0x7f 0xc000003e jeq 3221225534 true:0002 false:0129
0002: 0x20 0x00 0x00 0x00000000 ld $data[0]
0003: 0x35 0x00 0x01 0x40000000 jge 1073741824 true:0004 false:0005
0004: 0x15 0x00 0x7c 0xffffffff jeq 4294967295 true:0005 false:0129
0005: 0x15 0x0f 0x00 0x00000000 jeq 0 true:0021 false:0006
0006: 0x15 0x0e 0x00 0x00000001 jeq 1 true:0021 false:0007
0007: 0x15 0x0d 0x00 0x00000003 jeq 3 true:0021 false:0008
0008: 0x15 0x0c 0x00 0x00000004 jeq 4 true:0021 false:0009
0009: 0x15 0x0b 0x00 0x00000005 jeq 5 true:0021 false:0010
0010: 0x15 0x0a 0x00 0x00000007 jeq 7 true:0021 false:0011
0011: 0x15 0x09 0x00 0x00000008 jeq 8 true:0021 false:0012
0012: 0x15 0x08 0x00 0x00000009 jeq 9 true:0021 false:0013
0013: 0x15 0x07 0x00 0x0000000b jeq 11 true:0021 false:0014
0014: 0x15 0x06 0x00 0x0000000c jeq 12 true:0021 false:0015
0015: 0x15 0x05 0x00 0x0000000f jeq 15 true:0021 false:0016
0016: 0x15 0x04 0x00 0x00000014 jeq 20 true:0021 false:0017
0017: 0x15 0x03 0x00 0x00000015 jeq 21 true:0021 false:0018
0018: 0x15 0x02 0x00 0x00000016 jeq 22 true:0021 false:0019
0019: 0x15 0x01 0x00 0x00000018 jeq 24 true:0021 false:0020
0020: 0x15 0x00 0x01 0x0000001c jeq 28 true:0021 false:0022
0021: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0022: 0x15 0xff 0x00 0x00000023 jeq 35 true:0278 false:0023
0023: 0x15 0xfe 0x00 0x00000027 jeq 39 true:0278 false:0024
0024: 0x15 0xfd 0x00 0x0000002a jeq 42 true:0278 false:0025
0025: 0x15 0xfc 0x00 0x0000002c jeq 44 true:0278 false:0026
0026: 0x15 0xfb 0x00 0x0000002d jeq 45 true:0278 false:0027
0027: 0x15 0xfa 0x00 0x0000002e jeq 46 true:0278 false:0028
0028: 0x15 0xf9 0x00 0x0000002f jeq 47 true:0278 false:0029
0029: 0x15 0xf8 0x00 0x00000030 jeq 48 true:0278 false:0030
0030: 0x15 0xf7 0x00 0x00000031 jeq 49 true:0278 false:0031
0031: 0x15 0xf6 0x00 0x00000032 jeq 50 true:0278 false:0032
0032: 0x15 0xf5 0x00 0x00000033 jeq 51 true:0278 false:0033
0033: 0x15 0xf4 0x00 0x00000038 jeq 56 true:0278 false:0034
0034: 0x15 0xf3 0x00 0x0000003c jeq 60 true:0278 false:0035
0035: 0x15 0xf2 0x00 0x0000003d jeq 61 true:0278 false:0036
0036: 0x15 0xf1 0x00 0x0000003f jeq 63 true:0278 false:0037
0037: 0x15 0xf0 0x00 0x00000048 jeq 72 true:0278 false:0038
0038: 0x15 0xef 0x00 0x0000004e jeq 78 true:0278 false:0039
0039: 0x15 0xee 0x00 0x00000053 jeq 83 true:0278 false:0040
0040: 0x15 0xed 0x00 0x00000057 jeq 87 true:0278 false:0041
0041: 0x15 0xec 0x00 0x0000005b jeq 91 true:0278 false:0042
0042: 0x15 0xeb 0x00 0x00000060 jeq 96 true:0278 false:0043
0043: 0x15 0xea 0x00 0x00000061 jeq 97 true:0278 false:0044
0044: 0x15 0xe9 0x00 0x00000063 jeq 99 true:0278 false:0045
0045: 0x15 0xe8 0x00 0x00000066 jeq 102 true:0278 false:0046
0046: 0x15 0xe7 0x00 0x00000068 jeq 104 true:0278 false:0047
0047: 0x15 0xe6 0x00 0x0000006b jeq 107 true:0278 false:0048
0048: 0x15 0xe5 0x00 0x0000006c jeq 108 true:0278 false:0049
0049: 0x15 0xe4 0x00 0x00000083 jeq 131 true:0278 false:0050
0050: 0x15 0xe3 0x00 0x00000097 jeq 151 true:0278 false:0051
0051: 0x15 0x00 0x01 0x0000009c jeq 156 true:0052 false:0053
0052: 0x06 0x00 0x00 0x00050001 ret ERRNO(1)
0053: 0x15 0xe0 0x00 0x000000a0 jeq 160 true:0278 false:0054
0054: 0x15 0xdf 0x00 0x000000ba jeq 186 true:0278 false:0055
0055: 0x15 0xde 0x00 0x000000ca jeq 202 true:0278 false:0056
0056: 0x15 0xdd 0x00 0x000000cc jeq 204 true:0278 false:0057
0057: 0x15 0xdc 0x00 0x000000d5 jeq 213 true:0278 false:0058
0058: 0x15 0xdb 0x00 0x000000d9 jeq 217 true:0278 false:0059
0059: 0x15 0xda 0x00 0x000000e4 jeq 228 true:0278 false:0060
0060: 0x15 0xd9 0x00 0x000000e7 jeq 231 true:0278 false:0061
0061: 0x15 0xd8 0x00 0x000000e8 jeq 232 true:0278 false:0062
0062: 0x15 0xd7 0x00 0x00000111 jeq 273 true:0278 false:0063
0063: 0x15 0xd6 0x00 0x00000119 jeq 281 true:0278 false:0064
0064: 0x15 0xd5 0x00 0x00000122 jeq 290 true:0278 false:0065
0065: 0x15 0xd4 0x00 0x00000125 jeq 293 true:0278 false:0066
0066: 0x15 0xd3 0x00 0x0000012e jeq 302 true:0278 false:0067
0067: 0x15 0xd2 0x00 0x0000013e jeq 318 true:0278 false:0068
0068: 0x15 0xd1 0x00 0xffffd8b2 jeq 4294957234 true:0278 false:0069
0069: 0x15 0xd0 0x00 0xffffd8b6 jeq 4294957238 true:0278 false:0070
0070: 0x15 0xcf 0x00 0xffffd8d6 jeq 4294957270 true:0278 false:0071
0071: 0x15 0xce 0x00 0xffffd8db jeq 4294957275 true:0278 false:0072
0072: 0x15 0xcd 0x00 0xffffd8df jeq 4294957279 true:0278 false:0073
0073: 0x15 0xcc 0x00 0xffffd8e0 jeq 4294957280 true:0278 false:0074
0074: 0x15 0xcb 0x00 0xffffd8e1 jeq 4294957281 true:0278 false:0075
0075: 0x15 0xca 0x00 0xffffd8e6 jeq 4294957286 true:0278 false:0076
0076: 0x15 0x00 0x06 0x00000002 jeq 2 true:0077 false:0083
0077: 0x20 0x00 0x00 0x0000001c ld $data[28]
0078: 0x15 0x00 0xc9 0x00000000 jeq 0 true:0079 false:0280
0079: 0x20 0x00 0x00 0x00000018 ld $data[24]
0080: 0x54 0x00 0x00 0xfff5f6ff and 0xfff5f6ff
0081: 0x15 0x00 0xc6 0x00000000 jeq 0 true:0082 false:0280
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 0xc2 0x00000000 jeq 0 true:0086 false:0280
0086: 0x20 0x00 0x00 0x00000018 ld $data[24]
0087: 0x15 0xbe 0xc0 0x0000894b jeq 35147 true:0278 false:0280
0088: 0x15 0x00 0x04 0x0000003e jeq 62 true:0089 false:0093
0089: 0x20 0x00 0x00 0x0000001c ld $data[28]
0090: 0x15 0x00 0xbd 0x00000000 jeq 0 true:0091 false:0280
0091: 0x20 0x00 0x00 0x00000018 ld $data[24]
0092: 0x15 0xb9 0xbb 0x00000000 jeq 0 true:0278 false:0280
0093: 0x15 0x00 0x04 0x0000009d jeq 157 true:0094 false:0098
0094: 0x20 0x00 0x00 0x00000014 ld $data[20]
0095: 0x15 0x00 0xb8 0x00000000 jeq 0 true:0096 false:0280
0096: 0x20 0x00 0x00 0x00000010 ld $data[16]
0097: 0x15 0xb4 0xb6 0x00000004 jeq 4 true:0278 false:0280
0098: 0x15 0x00 0x04 0x000000c9 jeq 201 true:0099 false:0103
0099: 0x20 0x00 0x00 0x00000014 ld $data[20]
0100: 0x15 0x00 0xb3 0x00000000 jeq 0 true:0101 false:0280
0101: 0x20 0x00 0x00 0x00000010 ld $data[16]
0102: 0x15 0xaf 0xb1 0x00000000 jeq 0 true:0278 false:0280
0103: 0x15 0x00 0x05 0x00000120 jeq 288 true:0104 false:0109
0104: 0x20 0x00 0x00 0x0000002c ld $data[44]
0105: 0x15 0x00 0xae 0x00000000 jeq 0 true:0106 false:0280
0106: 0x20 0x00 0x00 0x00000028 ld $data[40]
0107: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0108: 0x15 0xa9 0xab 0x00000000 jeq 0 true:0278 false:0280
0109: 0x15 0x00 0x04 0x0000000e jeq 14 true:0110 false:0114
0110: 0x20 0x00 0x00 0x00000014 ld $data[20]
0111: 0x15 0x00 0xa8 0x00000000 jeq 0 true:0112 false:0280
0112: 0x20 0x00 0x00 0x00000010 ld $data[16]
0113: 0x15 0xa4 0x2a 0x00000002 jeq 2 true:0278 false:0156
0114: 0x15 0x00 0x05 0x00000049 jeq 73 true:0115 false:0120
0115: 0x20 0x00 0x00 0x0000001c ld $data[28]
0116: 0x15 0x00 0xa3 0x00000000 jeq 0 true:0117 false:0280
0117: 0x20 0x00 0x00 0x00000018 ld $data[24]
0118: 0x15 0x9f 0x00 0x00000008 jeq 8 true:0278 false:0119
0119: 0x15 0x9e 0xa0 0x00000006 jeq 6 true:0278 false:0280
0120: 0x15 0x00 0x09 0x00000019 jeq 25 true:0121 false:0130
0121: 0x20 0x00 0x00 0x0000002c ld $data[44]
0122: 0x15 0x00 0x02 0x00000000 jeq 0 true:0123 false:0125
0123: 0x20 0x00 0x00 0x00000028 ld $data[40]
0124: 0x15 0x99 0x00 0x00000001 jeq 1 true:0278 false:0125
0125: 0x20 0x00 0x00 0x00000014 ld $data[20]
0126: 0x15 0x00 0x99 0x00007f6e jeq 32622 true:0127 false:0280
0127: 0x20 0x00 0x00 0x00000010 ld $data[16]
0128: 0x15 0x00 0x97 0x761c8000 jeq 1981579264 true:0129 false:0280
0129: 0x06 0x00 0x00 0x00000000 ret KILL
0130: 0x15 0x00 0x08 0x00000035 jeq 53 true:0131 false:0139
0131: 0x20 0x00 0x00 0x00000014 ld $data[20]
0132: 0x15 0x00 0x93 0x00000000 jeq 0 true:0133 false:0280
0133: 0x20 0x00 0x00 0x00000010 ld $data[16]
0134: 0x15 0x00 0x91 0x00000001 jeq 1 true:0135 false:0280
0135: 0x20 0x00 0x00 0x0000001c ld $data[28]
0136: 0x15 0x00 0x8f 0x00000000 jeq 0 true:0137 false:0280
0137: 0x20 0x00 0x00 0x00000018 ld $data[24]
0138: 0x15 0x8b 0x8d 0x00080001 jeq 524289 true:0278 false:0280
0139: 0x15 0x00 0x05 0x000000e9 jeq 233 true:0140 false:0145
0140: 0x20 0x00 0x00 0x0000001c ld $data[28]
0141: 0x15 0x00 0x8a 0x00000000 jeq 0 true:0142 false:0280
0142: 0x20 0x00 0x00 0x00000018 ld $data[24]
0143: 0x15 0x86 0x00 0x00000003 jeq 3 true:0278 false:0144
0144: 0x15 0x85 0x1c 0x00000002 jeq 2 true:0278 false:0173
0145: 0x15 0x00 0x0b 0x0000000d jeq 13 true:0146 false:0157
0146: 0x20 0x00 0x00 0x00000014 ld $data[20]
0147: 0x15 0x00 0x84 0x00000000 jeq 0 true:0148 false:0280
0148: 0x20 0x00 0x00 0x00000010 ld $data[16]
0149: 0x15 0x80 0x00 0x00000019 jeq 25 true:0278 false:0150
0150: 0x15 0x7f 0x00 0x00000011 jeq 17 true:0278 false:0151
0151: 0x15 0x7e 0x00 0x0000000f jeq 15 true:0278 false:0152
0152: 0x15 0x7d 0x00 0x0000000d jeq 13 true:0278 false:0153
0153: 0x15 0x7c 0x00 0x0000000c jeq 12 true:0278 false:0154
0154: 0x15 0x7b 0x00 0x0000000a jeq 10 true:0278 false:0155
0155: 0x15 0x7a 0x00 0x00000002 jeq 2 true:0278 false:0156
0156: 0x15 0x79 0x7b 0x00000001 jeq 1 true:0278 false:0280
0157: 0x15 0x00 0x11 0xffffd8e7 jeq 4294957287 true:0158 false:0175
0158: 0x20 0x00 0x00 0x0000001c ld $data[28]
0159: 0x15 0x00 0x78 0x00000000 jeq 0 true:0160 false:0280
0160: 0x20 0x00 0x00 0x00000018 ld $data[24]
0161: 0x15 0x00 0x04 0x00000004 jeq 4 true:0162 false:0166
0162: 0x20 0x00 0x00 0x00000024 ld $data[36]
0163: 0x15 0x00 0x02 0x00000000 jeq 0 true:0164 false:0166
0164: 0x20 0x00 0x00 0x00000020 ld $data[32]
0165: 0x15 0x70 0x00 0x00000802 jeq 2050 true:0278 false:0166
0166: 0x20 0x00 0x00 0x00000018 ld $data[24]
0167: 0x15 0x6e 0x00 0x00000003 jeq 3 true:0278 false:0168
0168: 0x15 0x00 0x04 0x00000002 jeq 2 true:0169 false:0173
0169: 0x20 0x00 0x00 0x00000024 ld $data[36]
0170: 0x15 0x00 0x02 0x00000000 jeq 0 true:0171 false:0173
0171: 0x20 0x00 0x00 0x00000020 ld $data[32]
0172: 0x15 0x69 0x00 0x00000001 jeq 1 true:0278 false:0173
0173: 0x20 0x00 0x00 0x00000018 ld $data[24]
0174: 0x15 0x67 0x69 0x00000001 jeq 1 true:0278 false:0280
0175: 0x15 0x00 0x17 0x00000036 jeq 54 true:0176 false:0199
0176: 0x20 0x00 0x00 0x0000001c ld $data[28]
0177: 0x15 0x00 0x66 0x00000000 jeq 0 true:0178 false:0280
0178: 0x20 0x00 0x00 0x00000018 ld $data[24]
0179: 0x15 0x00 0x04 0x00000029 jeq 41 true:0180 false:0184
0180: 0x20 0x00 0x00 0x00000024 ld $data[36]
0181: 0x15 0x00 0x02 0x00000000 jeq 0 true:0182 false:0184
0182: 0x20 0x00 0x00 0x00000020 ld $data[32]
0183: 0x15 0x5e 0x00 0x0000001a jeq 26 true:0278 false:0184
0184: 0x20 0x00 0x00 0x00000018 ld $data[24]
0185: 0x15 0x00 0x07 0x00000001 jeq 1 true:0186 false:0193
0186: 0x20 0x00 0x00 0x00000024 ld $data[36]
0187: 0x15 0x00 0x05 0x00000000 jeq 0 true:0188 false:0193
0188: 0x20 0x00 0x00 0x00000020 ld $data[32]
0189: 0x15 0x58 0x00 0x00000020 jeq 32 true:0278 false:0190
0190: 0x15 0x57 0x00 0x00000008 jeq 8 true:0278 false:0191
0191: 0x15 0x56 0x00 0x00000007 jeq 7 true:0278 false:0192
0192: 0x15 0x55 0x00 0x00000002 jeq 2 true:0278 false:0193
0193: 0x20 0x00 0x00 0x00000018 ld $data[24]
0194: 0x15 0x00 0x55 0x00000000 jeq 0 true:0195 false:0280
0195: 0x20 0x00 0x00 0x00000024 ld $data[36]
0196: 0x15 0x00 0x53 0x00000000 jeq 0 true:0197 false:0280
0197: 0x20 0x00 0x00 0x00000020 ld $data[32]
0198: 0x15 0x4f 0x51 0x00000013 jeq 19 true:0278 false:0280
0199: 0x15 0x00 0x1c 0x00000037 jeq 55 true:0200 false:0228
0200: 0x20 0x00 0x00 0x0000001c ld $data[28]
0201: 0x15 0x00 0x4e 0x00000000 jeq 0 true:0202 false:0280
0202: 0x20 0x00 0x00 0x00000018 ld $data[24]
0203: 0x15 0x00 0x04 0x00000029 jeq 41 true:0204 false:0208
0204: 0x20 0x00 0x00 0x00000024 ld $data[36]
0205: 0x15 0x00 0x02 0x00000000 jeq 0 true:0206 false:0208
0206: 0x20 0x00 0x00 0x00000020 ld $data[32]
0207: 0x15 0x46 0x00 0x00000050 jeq 80 true:0278 false:0208
0208: 0x20 0x00 0x00 0x00000018 ld $data[24]
0209: 0x15 0x00 0x04 0x00000006 jeq 6 true:0210 false:0214
0210: 0x20 0x00 0x00 0x00000024 ld $data[36]
0211: 0x15 0x00 0x02 0x00000000 jeq 0 true:0212 false:0214
0212: 0x20 0x00 0x00 0x00000020 ld $data[32]
0213: 0x15 0x40 0x00 0x0000000b jeq 11 true:0278 false:0214
0214: 0x20 0x00 0x00 0x00000018 ld $data[24]
0215: 0x15 0x00 0x06 0x00000001 jeq 1 true:0216 false:0222
0216: 0x20 0x00 0x00 0x00000024 ld $data[36]
0217: 0x15 0x00 0x04 0x00000000 jeq 0 true:0218 false:0222
0218: 0x20 0x00 0x00 0x00000020 ld $data[32]
0219: 0x15 0x3a 0x00 0x0000001e jeq 30 true:0278 false:0220
0220: 0x15 0x39 0x00 0x00000007 jeq 7 true:0278 false:0221
0221: 0x15 0x38 0x00 0x00000004 jeq 4 true:0278 false:0222
0222: 0x20 0x00 0x00 0x00000018 ld $data[24]
0223: 0x15 0x00 0x38 0x00000000 jeq 0 true:0224 false:0280
0224: 0x20 0x00 0x00 0x00000024 ld $data[36]
0225: 0x15 0x00 0x36 0x00000000 jeq 0 true:0226 false:0280
0226: 0x20 0x00 0x00 0x00000020 ld $data[32]
0227: 0x15 0x32 0x34 0x00000050 jeq 80 true:0278 false:0280
0228: 0x15 0x00 0x1d 0xffffd8d3 jeq 4294957267 true:0229 false:0258
0229: 0x20 0x00 0x00 0x00000024 ld $data[36]
0230: 0x15 0x00 0x31 0x00000000 jeq 0 true:0231 false:0280
0231: 0x20 0x00 0x00 0x00000020 ld $data[32]
0232: 0x15 0x00 0x04 0x00000005 jeq 5 true:0233 false:0237
0233: 0x20 0x00 0x00 0x0000002c ld $data[44]
0234: 0x15 0x00 0x02 0x00000000 jeq 0 true:0235 false:0237
0235: 0x20 0x00 0x00 0x00000028 ld $data[40]
0236: 0x15 0x29 0x00 0x00000802 jeq 2050 true:0278 false:0237
0237: 0x20 0x00 0x00 0x00000020 ld $data[32]
0238: 0x15 0x00 0x07 0x00000003 jeq 3 true:0239 false:0246
0239: 0x20 0x00 0x00 0x0000002c ld $data[44]
0240: 0x15 0x00 0x05 0x00000000 jeq 0 true:0241 false:0246
0241: 0x20 0x00 0x00 0x00000028 ld $data[40]
0242: 0x15 0x23 0x00 0x00020022 jeq 131106 true:0278 false:0243
0243: 0x15 0x22 0x00 0x00000812 jeq 2066 true:0278 false:0244
0244: 0x15 0x21 0x00 0x00000032 jeq 50 true:0278 false:0245
0245: 0x15 0x20 0x00 0x00000022 jeq 34 true:0278 false:0246
0246: 0x20 0x00 0x00 0x00000020 ld $data[32]
0247: 0x15 0x00 0x04 0x00000001 jeq 1 true:0248 false:0252
0248: 0x20 0x00 0x00 0x0000002c ld $data[44]
0249: 0x15 0x00 0x02 0x00000000 jeq 0 true:0250 false:0252
0250: 0x20 0x00 0x00 0x00000028 ld $data[40]
0251: 0x15 0x1a 0x00 0x00000002 jeq 2 true:0278 false:0252
0252: 0x20 0x00 0x00 0x00000020 ld $data[32]
0253: 0x15 0x00 0x1a 0x00000000 jeq 0 true:0254 false:0280
0254: 0x20 0x00 0x00 0x0000002c ld $data[44]
0255: 0x15 0x00 0x18 0x00000000 jeq 0 true:0256 false:0280
0256: 0x20 0x00 0x00 0x00000028 ld $data[40]
0257: 0x15 0x14 0x16 0x00004022 jeq 16418 true:0278 false:0280
0258: 0x15 0x00 0x1f 0x0000000a jeq 10 true:0259 false:0290
0259: 0x20 0x00 0x00 0x00000024 ld $data[36]
0260: 0x15 0x00 0x03 0x00000000 jeq 0 true:0261 false:0264
0261: 0x20 0x00 0x00 0x00000020 ld $data[32]
0262: 0x15 0x0f 0x00 0x00000001 jeq 1 true:0278 false:0263
0263: 0x15 0x0e 0x00 0x00000000 jeq 0 true:0278 false:0264
0264: 0x20 0x00 0x00 0x00000014 ld $data[20]
0265: 0x25 0x0f 0x00 0x00007f6e jgt 32622 true:0281 false:0266
0266: 0x15 0x00 0x0e 0x00007f6e jeq 32622 true:0267 false:0281
0267: 0x20 0x00 0x00 0x00000010 ld $data[16]
0268: 0x35 0x0a 0x00 0x761c8000 jge 1981579264 true:0279 false:0269
0269: 0x20 0x00 0x00 0x0000001c ld $data[28]
0270: 0x25 0x08 0x00 0x00000000 jgt 0 true:0279 false:0271
0271: 0x15 0x00 0x02 0x00000000 jeq 0 true:0272 false:0274
0272: 0x20 0x00 0x00 0x00000018 ld $data[24]
0273: 0x25 0x05 0x00 0x01400000 jgt 20971520 true:0279 false:0274
0274: 0x20 0x00 0x00 0x00000024 ld $data[36]
0275: 0x15 0x00 0x03 0x00000000 jeq 0 true:0276 false:0279
0276: 0x20 0x00 0x00 0x00000020 ld $data[32]
0277: 0x15 0x00 0x01 0x00000003 jeq 3 true:0278 false:0279
0278: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0279: 0x25 0x01 0x00 0x775c881f jgt 2002552863 true:0281 false:0280
0280: 0x06 0x00 0x00 0x00030000 ret TRAP
0281: 0x20 0x00 0x00 0x0000001c ld $data[28]
0282: 0x25 0xff 0x00 0x00000000 jgt 0 true:0538 false:0283
0283: 0x15 0x00 0x02 0x00000000 jeq 0 true:0284 false:0286
0284: 0x20 0x00 0x00 0x00000018 ld $data[24]
0285: 0x25 0xfc 0x00 0x01400000 jgt 20971520 true:0538 false:0286
0286: 0x20 0x00 0x00 0x00000024 ld $data[36]
0287: 0x15 0x00 0xfa 0x00000000 jeq 0 true:0288 false:0538
0288: 0x20 0x00 0x00 0x00000020 ld $data[32]
0289: 0x15 0xf9 0xf8 0x00000003 jeq 3 true:0539 false:0538
0290: 0x15 0x00 0x41 0x00000029 jeq 41 true:0291 false:0356
0291: 0x20 0x00 0x00 0x00000014 ld $data[20]
0292: 0x15 0x00 0xf5 0x00000000 jeq 0 true:0293 false:0538
0293: 0x20 0x00 0x00 0x00000010 ld $data[16]
0294: 0x15 0x00 0x09 0x00000010 jeq 16 true:0295 false:0304
0295: 0x20 0x00 0x00 0x0000001c ld $data[28]
0296: 0x15 0x00 0x07 0x00000000 jeq 0 true:0297 false:0304
0297: 0x20 0x00 0x00 0x00000018 ld $data[24]
0298: 0x54 0x00 0x00 0xfff7ffff and 0xfff7ffff
0299: 0x15 0x00 0x04 0x00000003 jeq 3 true:0300 false:0304
0300: 0x20 0x00 0x00 0x00000024 ld $data[36]
0301: 0x15 0x00 0x02 0x00000000 jeq 0 true:0302 false:0304
0302: 0x20 0x00 0x00 0x00000020 ld $data[32]
0303: 0x15 0xeb 0x00 0x00000000 jeq 0 true:0539 false:0304
0304: 0x20 0x00 0x00 0x00000010 ld $data[16]
0305: 0x15 0x00 0x11 0x0000000a jeq 10 true:0306 false:0323
0306: 0x20 0x00 0x00 0x0000001c ld $data[28]
0307: 0x15 0x00 0x0f 0x00000000 jeq 0 true:0308 false:0323
0308: 0x20 0x00 0x00 0x00000018 ld $data[24]
0309: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0310: 0x15 0x00 0x05 0x00000002 jeq 2 true:0311 false:0316
0311: 0x20 0x00 0x00 0x00000024 ld $data[36]
0312: 0x15 0x00 0x03 0x00000000 jeq 0 true:0313 false:0316
0313: 0x20 0x00 0x00 0x00000020 ld $data[32]
0314: 0x15 0xe0 0x00 0x00000011 jeq 17 true:0539 false:0315
0315: 0x15 0xdf 0x00 0x00000000 jeq 0 true:0539 false:0316
0316: 0x20 0x00 0x00 0x00000018 ld $data[24]
0317: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0318: 0x15 0x00 0x04 0x00000001 jeq 1 true:0319 false:0323
0319: 0x20 0x00 0x00 0x00000024 ld $data[36]
0320: 0x15 0x00 0x02 0x00000000 jeq 0 true:0321 false:0323
0321: 0x20 0x00 0x00 0x00000020 ld $data[32]
0322: 0x15 0xd8 0x00 0x00000006 jeq 6 true:0539 false:0323
0323: 0x20 0x00 0x00 0x00000010 ld $data[16]
0324: 0x15 0x00 0x11 0x00000002 jeq 2 true:0325 false:0342
0325: 0x20 0x00 0x00 0x0000001c ld $data[28]
0326: 0x15 0x00 0x0f 0x00000000 jeq 0 true:0327 false:0342
0327: 0x20 0x00 0x00 0x00000018 ld $data[24]
0328: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0329: 0x15 0x00 0x05 0x00000002 jeq 2 true:0330 false:0335
0330: 0x20 0x00 0x00 0x00000024 ld $data[36]
0331: 0x15 0x00 0x03 0x00000000 jeq 0 true:0332 false:0335
0332: 0x20 0x00 0x00 0x00000020 ld $data[32]
0333: 0x15 0xcd 0x00 0x00000011 jeq 17 true:0539 false:0334
0334: 0x15 0xcc 0x00 0x00000000 jeq 0 true:0539 false:0335
0335: 0x20 0x00 0x00 0x00000018 ld $data[24]
0336: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0337: 0x15 0x00 0x04 0x00000001 jeq 1 true:0338 false:0342
0338: 0x20 0x00 0x00 0x00000024 ld $data[36]
0339: 0x15 0x00 0x02 0x00000000 jeq 0 true:0340 false:0342
0340: 0x20 0x00 0x00 0x00000020 ld $data[32]
0341: 0x15 0xc5 0x00 0x00000006 jeq 6 true:0539 false:0342
0342: 0x20 0x00 0x00 0x00000010 ld $data[16]
0343: 0x15 0x00 0xc2 0x00000001 jeq 1 true:0344 false:0538
0344: 0x20 0x00 0x00 0x0000001c ld $data[28]
0345: 0x15 0x00 0xc0 0x00000000 jeq 0 true:0346 false:0538
0346: 0x20 0x00 0x00 0x00000018 ld $data[24]
0347: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0348: 0x15 0x00 0x04 0x00000002 jeq 2 true:0349 false:0353
0349: 0x20 0x00 0x00 0x00000024 ld $data[36]
0350: 0x15 0x00 0x02 0x00000000 jeq 0 true:0351 false:0353
0351: 0x20 0x00 0x00 0x00000020 ld $data[32]
0352: 0x15 0xba 0x00 0x00000000 jeq 0 true:0539 false:0353
0353: 0x20 0x00 0x00 0x00000018 ld $data[24]
0354: 0x54 0x00 0x00 0xfff7f7ff and 0xfff7f7ff
0355: 0x15 0xb7 0xb6 0x00000001 jeq 1 true:0539 false:0538
0356: 0x15 0x00 0x6e 0x00000052 jeq 82 true:0357 false:0467
0357: 0x20 0x00 0x00 0x00000014 ld $data[20]
0358: 0x15 0x00 0xb3 0x00007f6e jeq 32622 true:0359 false:0538
0359: 0x20 0x00 0x00 0x00000010 ld $data[16]
0360: 0x15 0x00 0x04 0x775c833c jeq 2002551612 true:0361 false:0365
0361: 0x20 0x00 0x00 0x0000001c ld $data[28]
0362: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0363 false:0365
0363: 0x20 0x00 0x00 0x00000018 ld $data[24]
0364: 0x15 0xae 0x00 0x775c8352 jeq 2002551634 true:0539 false:0365
0365: 0x20 0x00 0x00 0x00000010 ld $data[16]
0366: 0x15 0x00 0x04 0x775c830c jeq 2002551564 true:0367 false:0371
0367: 0x20 0x00 0x00 0x0000001c ld $data[28]
0368: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0369 false:0371
0369: 0x20 0x00 0x00 0x00000018 ld $data[24]
0370: 0x15 0xa8 0x00 0x775c8326 jeq 2002551590 true:0539 false:0371
0371: 0x20 0x00 0x00 0x00000010 ld $data[16]
0372: 0x15 0x00 0x04 0x775c82d4 jeq 2002551508 true:0373 false:0377
0373: 0x20 0x00 0x00 0x0000001c ld $data[28]
0374: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0375 false:0377
0375: 0x20 0x00 0x00 0x00000018 ld $data[24]
0376: 0x15 0xa2 0x00 0x775c82f2 jeq 2002551538 true:0539 false:0377
0377: 0x20 0x00 0x00 0x00000010 ld $data[16]
0378: 0x15 0x00 0x04 0x775c8288 jeq 2002551432 true:0379 false:0383
0379: 0x20 0x00 0x00 0x0000001c ld $data[28]
0380: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0381 false:0383
0381: 0x20 0x00 0x00 0x00000018 ld $data[24]
0382: 0x15 0x9c 0x00 0x775c82b0 jeq 2002551472 true:0539 false:0383
0383: 0x20 0x00 0x00 0x00000010 ld $data[16]
0384: 0x15 0x00 0x04 0x775c8244 jeq 2002551364 true:0385 false:0389
0385: 0x20 0x00 0x00 0x0000001c ld $data[28]
0386: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0387 false:0389
0387: 0x20 0x00 0x00 0x00000018 ld $data[24]
0388: 0x15 0x96 0x00 0x775c8268 jeq 2002551400 true:0539 false:0389
0389: 0x20 0x00 0x00 0x00000010 ld $data[16]
0390: 0x15 0x00 0x04 0x775c8229 jeq 2002551337 true:0391 false:0395
0391: 0x20 0x00 0x00 0x0000001c ld $data[28]
0392: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0393 false:0395
0393: 0x20 0x00 0x00 0x00000018 ld $data[24]
0394: 0x15 0x90 0x00 0x775c8212 jeq 2002551314 true:0539 false:0395
0395: 0x20 0x00 0x00 0x00000010 ld $data[16]
0396: 0x15 0x00 0x04 0x775c81f7 jeq 2002551287 true:0397 false:0401
0397: 0x20 0x00 0x00 0x0000001c ld $data[28]
0398: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0399 false:0401
0399: 0x20 0x00 0x00 0x00000018 ld $data[24]
0400: 0x15 0x8a 0x00 0x775c8212 jeq 2002551314 true:0539 false:0401
0401: 0x20 0x00 0x00 0x00000010 ld $data[16]
0402: 0x15 0x00 0x04 0x775c81d8 jeq 2002551256 true:0403 false:0407
0403: 0x20 0x00 0x00 0x0000001c ld $data[28]
0404: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0405 false:0407
0405: 0x20 0x00 0x00 0x00000018 ld $data[24]
0406: 0x15 0x84 0x00 0x775c81f7 jeq 2002551287 true:0539 false:0407
0407: 0x20 0x00 0x00 0x00000010 ld $data[16]
0408: 0x15 0x00 0x04 0x775c81bc jeq 2002551228 true:0409 false:0413
0409: 0x20 0x00 0x00 0x0000001c ld $data[28]
0410: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0411 false:0413
0411: 0x20 0x00 0x00 0x00000018 ld $data[24]
0412: 0x15 0x7e 0x00 0x775c81a4 jeq 2002551204 true:0539 false:0413
0413: 0x20 0x00 0x00 0x00000010 ld $data[16]
0414: 0x15 0x00 0x04 0x775c8188 jeq 2002551176 true:0415 false:0419
0415: 0x20 0x00 0x00 0x0000001c ld $data[28]
0416: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0417 false:0419
0417: 0x20 0x00 0x00 0x00000018 ld $data[24]
0418: 0x15 0x78 0x00 0x775c81a4 jeq 2002551204 true:0539 false:0419
0419: 0x20 0x00 0x00 0x00000010 ld $data[16]
0420: 0x15 0x00 0x04 0x775c8168 jeq 2002551144 true:0421 false:0425
0421: 0x20 0x00 0x00 0x0000001c ld $data[28]
0422: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0423 false:0425
0423: 0x20 0x00 0x00 0x00000018 ld $data[24]
0424: 0x15 0x72 0x00 0x775c8188 jeq 2002551176 true:0539 false:0425
0425: 0x20 0x00 0x00 0x00000010 ld $data[16]
0426: 0x15 0x00 0x04 0x775c814e jeq 2002551118 true:0427 false:0431
0427: 0x20 0x00 0x00 0x0000001c ld $data[28]
0428: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0429 false:0431
0429: 0x20 0x00 0x00 0x00000018 ld $data[24]
0430: 0x15 0x6c 0x00 0x775c8138 jeq 2002551096 true:0539 false:0431
0431: 0x20 0x00 0x00 0x00000010 ld $data[16]
0432: 0x15 0x00 0x04 0x775c811a jeq 2002551066 true:0433 false:0437
0433: 0x20 0x00 0x00 0x0000001c ld $data[28]
0434: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0435 false:0437
0435: 0x20 0x00 0x00 0x00000018 ld $data[24]
0436: 0x15 0x66 0x00 0x775c8043 jeq 2002550851 true:0539 false:0437
0437: 0x20 0x00 0x00 0x00000010 ld $data[16]
0438: 0x15 0x00 0x04 0x775c810b jeq 2002551051 true:0439 false:0443
0439: 0x20 0x00 0x00 0x0000001c ld $data[28]
0440: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0441 false:0443
0441: 0x20 0x00 0x00 0x00000018 ld $data[24]
0442: 0x15 0x60 0x00 0x775c8073 jeq 2002550899 true:0539 false:0443
0443: 0x20 0x00 0x00 0x00000010 ld $data[16]
0444: 0x15 0x00 0x04 0x775c80eb jeq 2002551019 true:0445 false:0449
0445: 0x20 0x00 0x00 0x0000001c ld $data[28]
0446: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0447 false:0449
0447: 0x20 0x00 0x00 0x00000018 ld $data[24]
0448: 0x15 0x5a 0x00 0x775c80fd jeq 2002551037 true:0539 false:0449
0449: 0x20 0x00 0x00 0x00000010 ld $data[16]
0450: 0x15 0x00 0x04 0x775c80bb jeq 2002550971 true:0451 false:0455
0451: 0x20 0x00 0x00 0x0000001c ld $data[28]
0452: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0453 false:0455
0453: 0x20 0x00 0x00 0x00000018 ld $data[24]
0454: 0x15 0x54 0x00 0x775c80d5 jeq 2002550997 true:0539 false:0455
0455: 0x20 0x00 0x00 0x00000010 ld $data[16]
0456: 0x15 0x00 0x04 0x775c808d jeq 2002550925 true:0457 false:0461
0457: 0x20 0x00 0x00 0x0000001c ld $data[28]
0458: 0x15 0x00 0x02 0x00007f6e jeq 32622 true:0459 false:0461
0459: 0x20 0x00 0x00 0x00000018 ld $data[24]
0460: 0x15 0x4e 0x00 0x775c80a6 jeq 2002550950 true:0539 false:0461
0461: 0x20 0x00 0x00 0x00000010 ld $data[16]
0462: 0x15 0x00 0x4b 0x775c8043 jeq 2002550851 true:0463 false:0538
0463: 0x20 0x00 0x00 0x0000001c ld $data[28]
0464: 0x15 0x00 0x49 0x00007f6e jeq 32622 true:0465 false:0538
0465: 0x20 0x00 0x00 0x00000018 ld $data[24]
0466: 0x15 0x48 0x47 0x775c8138 jeq 2002551096 true:0539 false:0538
0467: 0x15 0x00 0x46 0x00000101 jeq 257 true:0468 false:0538
0468: 0x20 0x00 0x00 0x00000024 ld $data[36]
0469: 0x15 0x00 0x03 0x00000000 jeq 0 true:0470 false:0473
0470: 0x20 0x00 0x00 0x00000020 ld $data[32]
0471: 0x54 0x00 0x00 0xfff5f6ff and 0xfff5f6ff
0472: 0x15 0x43 0x00 0x00000000 jeq 0 true:0540 false:0473
0473: 0x20 0x00 0x00 0x00000014 ld $data[20]
0474: 0x15 0x00 0x0a 0xffffffff jeq 4294967295 true:0475 false:0485
0475: 0x20 0x00 0x00 0x00000010 ld $data[16]
0476: 0x15 0x00 0x08 0xffffff9c jeq 4294967196 true:0477 false:0485
0477: 0x20 0x00 0x00 0x0000001c ld $data[28]
0478: 0x15 0x00 0x06 0x00007f6e jeq 32622 true:0479 false:0485
0479: 0x20 0x00 0x00 0x00000018 ld $data[24]
0480: 0x15 0x00 0x04 0x775c8450 jeq 2002551888 true:0481 false:0485
0481: 0x20 0x00 0x00 0x00000024 ld $data[36]
0482: 0x15 0x00 0x02 0x00000000 jeq 0 true:0483 false:0485
0483: 0x20 0x00 0x00 0x00000020 ld $data[32]
0484: 0x15 0x36 0x00 0x00090800 jeq 591872 true:0539 false:0485
0485: 0x20 0x00 0x00 0x00000014 ld $data[20]
0486: 0x15 0x00 0x33 0x00000000 jeq 0 true:0487 false:0538
0487: 0x20 0x00 0x00 0x00000010 ld $data[16]
0488: 0x15 0x00 0x31 0xffffff9c jeq 4294967196 true:0489 false:0538
0489: 0x20 0x00 0x00 0x0000001c ld $data[28]
0490: 0x15 0x00 0x2f 0x00007f6e jeq 32622 true:0491 false:0538
0491: 0x20 0x00 0x00 0x00000018 ld $data[24]
0492: 0x15 0x2e 0x00 0x775c8446 jeq 2002551878 true:0539 false:0493
0493: 0x15 0x2d 0x00 0x775c8426 jeq 2002551846 true:0539 false:0494
0494: 0x15 0x2c 0x00 0x775c8408 jeq 2002551816 true:0539 false:0495
0495: 0x15 0x2b 0x00 0x775c83ef jeq 2002551791 true:0539 false:0496
0496: 0x15 0x2a 0x00 0x775c83e2 jeq 2002551778 true:0539 false:0497
0497: 0x15 0x29 0x00 0x775c83d5 jeq 2002551765 true:0539 false:0498
0498: 0x15 0x28 0x00 0x775c83c9 jeq 2002551753 true:0539 false:0499
0499: 0x15 0x27 0x00 0x775c83be jeq 2002551742 true:0539 false:0500
0500: 0x15 0x26 0x00 0x775c83b0 jeq 2002551728 true:0539 false:0501
0501: 0x15 0x25 0x00 0x775c839f jeq 2002551711 true:0539 false:0502
0502: 0x15 0x24 0x00 0x775c8386 jeq 2002551686 true:0539 false:0503
0503: 0x15 0x23 0x00 0x775c8364 jeq 2002551652 true:0539 false:0504
0504: 0x15 0x22 0x00 0x775c8352 jeq 2002551634 true:0539 false:0505
0505: 0x15 0x21 0x00 0x775c833c jeq 2002551612 true:0539 false:0506
0506: 0x15 0x20 0x00 0x775c8326 jeq 2002551590 true:0539 false:0507
0507: 0x15 0x1f 0x00 0x775c830c jeq 2002551564 true:0539 false:0508
0508: 0x15 0x1e 0x00 0x775c82f2 jeq 2002551538 true:0539 false:0509
0509: 0x15 0x1d 0x00 0x775c82d4 jeq 2002551508 true:0539 false:0510
0510: 0x15 0x1c 0x00 0x775c82b0 jeq 2002551472 true:0539 false:0511
0511: 0x15 0x1b 0x00 0x775c8288 jeq 2002551432 true:0539 false:0512
0512: 0x15 0x1a 0x00 0x775c8268 jeq 2002551400 true:0539 false:0513
0513: 0x15 0x19 0x00 0x775c8244 jeq 2002551364 true:0539 false:0514
0514: 0x15 0x18 0x00 0x775c8229 jeq 2002551337 true:0539 false:0515
0515: 0x15 0x17 0x00 0x775c8212 jeq 2002551314 true:0539 false:0516
0516: 0x15 0x16 0x00 0x775c81f7 jeq 2002551287 true:0539 false:0517
0517: 0x15 0x15 0x00 0x775c81d8 jeq 2002551256 true:0539 false:0518
0518: 0x15 0x14 0x00 0x775c81bc jeq 2002551228 true:0539 false:0519
0519: 0x15 0x13 0x00 0x775c81a4 jeq 2002551204 true:0539 false:0520
0520: 0x15 0x12 0x00 0x775c8188 jeq 2002551176 true:0539 false:0521
0521: 0x15 0x11 0x00 0x775c8168 jeq 2002551144 true:0539 false:0522
0522: 0x15 0x10 0x00 0x775c814e jeq 2002551118 true:0539 false:0523
0523: 0x15 0x0f 0x00 0x775c8138 jeq 2002551096 true:0539 false:0524
0524: 0x15 0x0e 0x00 0x775c811a jeq 2002551066 true:0539 false:0525
0525: 0x15 0x0d 0x00 0x775c810b jeq 2002551051 true:0539 false:0526
0526: 0x15 0x0c 0x00 0x775c80fd jeq 2002551037 true:0539 false:0527
0527: 0x15 0x0b 0x00 0x775c80eb jeq 2002551019 true:0539 false:0528
0528: 0x15 0x0a 0x00 0x775c80d5 jeq 2002550997 true:0539 false:0529
0529: 0x15 0x09 0x00 0x775c80bb jeq 2002550971 true:0539 false:0530
0530: 0x15 0x08 0x00 0x775c80a6 jeq 2002550950 true:0539 false:0531
0531: 0x15 0x07 0x00 0x775c808d jeq 2002550925 true:0539 false:0532
0532: 0x15 0x06 0x00 0x775c8088 jeq 2002550920 true:0539 false:0533
0533: 0x15 0x05 0x00 0x775c8073 jeq 2002550899 true:0539 false:0534
0534: 0x15 0x04 0x00 0x775c8043 jeq 2002550851 true:0539 false:0535
0535: 0x15 0x03 0x00 0x775c803a jeq 2002550842 true:0539 false:0536
0536: 0x15 0x02 0x00 0x775c8021 jeq 2002550817 true:0539 false:0537
0537: 0x15 0x01 0x00 0x775c8000 jeq 2002550784 true:0539 false:0538
0538: 0x06 0x00 0x00 0x00030000 ret TRAP
0539: 0x06 0x00 0x00 0x7fff0000 ret ALLOW
0540: 0x06 0x00 0x00 0x0005000d ret ERRNO(13)
0541: 0x06 0x00 0x00 0x00000000 ret KILL
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment