-
-
Notifications
You must be signed in to change notification settings - Fork 3.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Return ENOSYS in nspawn for "unknown" syscalls #16819
Conversation
The calls to find_program("tools/*") are moved earlier so they can be used in libshared/ (and it doesn't make sense to split them).
Pffff, looks like some ancient python version. I'll rework that part. |
3c84be3
to
b3068f3
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
looks great, some comments though
if line.startswith('s390_') and not s390: | ||
continue | ||
if line.startswith('arm_') and not arm: | ||
continue |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i hope they never come up with a syscall where they us the verb "to arm"... i.e. "arm_timer()" or so ;-)
src/shared/seccomp-util.c
Outdated
@@ -944,25 +960,35 @@ int seccomp_add_syscall_filter_item(scmp_filter_ctx *seccomp, const char *name, | |||
return r; | |||
} | |||
|
|||
if (ret_added) { | |||
r = strv_extend(ret_added, name); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
not a fan of naming parameters that are not output-only ret_
, because that suggests we'd only overwrite the parameter, never read it. Hence drop the ret_
prefix here...
(that said, I think the functioon exported to other code ideally would have an output-only param. i.e. ideally only the internal helper functions use params for this that are both input and output)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I renamed the parameter, but I didn't make change the interface otherwise. This function has essentially one user, and making the parameter output-only would complicate that user, and slow things down (because we'd need to concat the strvs).
…alls While at it, start removing the "seccomp_" prefix from our own functions. It is used by libseccomp.
$ sudo ./dump_seccomp_filter $PIDOF_NSPAWN_PAYLOAD obj $ ~/src/libseccomp/build/tools/scmp_bpf_disasm <obj Before the addition of @known to filter: line OP JT JF K ================================= 0000: 0x20 0x00 0x00 0x00000004 ld $data[4] 0001: 0x15 0x00 0x6d 0x40000003 jeq 1073741827 true:0002 false:0111 0002: 0x20 0x00 0x00 0x00000000 ld $data[0] 0003: 0x15 0x6b 0x00 0x00000000 jeq 0 true:0111 false:0004 0004: 0x15 0x6a 0x00 0x00000001 jeq 1 true:0111 false:0005 0005: 0x15 0x69 0x00 0x00000002 jeq 2 true:0111 false:0006 0006: 0x15 0x68 0x00 0x00000003 jeq 3 true:0111 false:0007 0007: 0x15 0x67 0x00 0x00000004 jeq 4 true:0111 false:0008 0008: 0x15 0x66 0x00 0x00000005 jeq 5 true:0111 false:0009 0009: 0x15 0x65 0x00 0x00000006 jeq 6 true:0111 false:0010 0010: 0x15 0x64 0x00 0x00000007 jeq 7 true:0111 false:0011 0011: 0x15 0x63 0x00 0x00000008 jeq 8 true:0111 false:0012 0012: 0x15 0x62 0x00 0x00000009 jeq 9 true:0111 false:0013 0013: 0x15 0x61 0x00 0x0000000a jeq 10 true:0111 false:0014 0014: 0x15 0x60 0x00 0x0000000b jeq 11 true:0111 false:0015 0015: 0x15 0x5f 0x00 0x0000000c jeq 12 true:0111 false:0016 0016: 0x15 0x5e 0x00 0x0000000d jeq 13 true:0111 false:0017 0017: 0x15 0x5d 0x00 0x0000000e jeq 14 true:0111 false:0018 0018: 0x15 0x5c 0x00 0x0000000f jeq 15 true:0111 false:0019 0019: 0x15 0x5b 0x00 0x00000010 jeq 16 true:0111 false:0020 0020: 0x15 0x5a 0x00 0x00000012 jeq 18 true:0111 false:0021 0021: 0x15 0x59 0x00 0x00000013 jeq 19 true:0111 false:0022 0022: 0x15 0x58 0x00 0x00000014 jeq 20 true:0111 false:0023 0023: 0x15 0x57 0x00 0x00000015 jeq 21 true:0111 false:0024 0024: 0x15 0x56 0x00 0x00000016 jeq 22 true:0111 false:0025 0025: 0x15 0x55 0x00 0x00000017 jeq 23 true:0111 false:0026 0026: 0x15 0x54 0x00 0x00000018 jeq 24 true:0111 false:0027 0027: 0x15 0x53 0x00 0x0000001a jeq 26 true:0111 false:0028 0028: 0x15 0x52 0x00 0x0000001b jeq 27 true:0111 false:0029 0029: 0x15 0x51 0x00 0x0000001c jeq 28 true:0111 false:0030 0030: 0x15 0x50 0x00 0x0000001d jeq 29 true:0111 false:0031 0031: 0x15 0x4f 0x00 0x0000001e jeq 30 true:0111 false:0032 0032: 0x15 0x4e 0x00 0x00000021 jeq 33 true:0111 false:0033 0033: 0x15 0x4d 0x00 0x00000022 jeq 34 true:0111 false:0034 0034: 0x15 0x4c 0x00 0x00000024 jeq 36 true:0111 false:0035 0035: 0x15 0x4b 0x00 0x00000025 jeq 37 true:0111 false:0036 0036: 0x15 0x4a 0x00 0x00000026 jeq 38 true:0111 false:0037 0037: 0x15 0x49 0x00 0x00000027 jeq 39 true:0111 false:0038 0038: 0x15 0x48 0x00 0x00000028 jeq 40 true:0111 false:0039 0039: 0x15 0x47 0x00 0x00000029 jeq 41 true:0111 false:0040 0040: 0x15 0x46 0x00 0x0000002a jeq 42 true:0111 false:0041 0041: 0x15 0x45 0x00 0x0000002b jeq 43 true:0111 false:0042 0042: 0x15 0x44 0x00 0x0000002d jeq 45 true:0111 false:0043 0043: 0x15 0x43 0x00 0x0000002e jeq 46 true:0111 false:0044 0044: 0x15 0x42 0x00 0x0000002f jeq 47 true:0111 false:0045 0045: 0x15 0x41 0x00 0x00000030 jeq 48 true:0111 false:0046 0046: 0x15 0x40 0x00 0x00000031 jeq 49 true:0111 false:0047 0047: 0x15 0x3f 0x00 0x00000032 jeq 50 true:0111 false:0048 0048: 0x15 0x3e 0x00 0x00000034 jeq 52 true:0111 false:0049 0049: 0x15 0x3d 0x00 0x00000036 jeq 54 true:0111 false:0050 0050: 0x15 0x3c 0x00 0x00000037 jeq 55 true:0111 false:0051 0051: 0x15 0x3b 0x00 0x00000039 jeq 57 true:0111 false:0052 0052: 0x15 0x3a 0x00 0x0000003b jeq 59 true:0111 false:0053 0053: 0x15 0x39 0x00 0x0000003c jeq 60 true:0111 false:0054 0054: 0x15 0x38 0x00 0x0000003d jeq 61 true:0111 false:0055 0055: 0x15 0x37 0x00 0x0000003f jeq 63 true:0111 false:0056 0056: 0x15 0x36 0x00 0x00000040 jeq 64 true:0111 false:0057 0057: 0x15 0x35 0x00 0x00000041 jeq 65 true:0111 false:0058 0058: 0x15 0x34 0x00 0x00000042 jeq 66 true:0111 false:0059 0059: 0x15 0x33 0x00 0x00000043 jeq 67 true:0111 false:0060 0060: 0x15 0x32 0x00 0x00000046 jeq 70 true:0111 false:0061 0061: 0x15 0x31 0x00 0x00000047 jeq 71 true:0111 false:0062 0062: 0x15 0x30 0x00 0x00000048 jeq 72 true:0111 false:0063 0063: 0x15 0x2f 0x00 0x00000049 jeq 73 true:0111 false:0064 0064: 0x15 0x2e 0x00 0x0000004a jeq 74 true:0111 false:0065 0065: 0x15 0x2d 0x00 0x0000004b jeq 75 true:0111 false:0066 0066: 0x15 0x2c 0x00 0x0000004c jeq 76 true:0111 false:0067 0067: 0x15 0x2b 0x00 0x0000004d jeq 77 true:0111 false:0068 0068: 0x15 0x2a 0x00 0x0000004e jeq 78 true:0111 false:0069 0069: 0x15 0x29 0x00 0x00000050 jeq 80 true:0111 false:0070 0070: 0x15 0x28 0x00 0x00000051 jeq 81 true:0111 false:0071 0071: 0x15 0x27 0x00 0x00000052 jeq 82 true:0111 false:0072 0072: 0x15 0x26 0x00 0x00000053 jeq 83 true:0111 false:0073 0073: 0x15 0x25 0x00 0x00000054 jeq 84 true:0111 false:0074 0074: 0x15 0x24 0x00 0x00000055 jeq 85 true:0111 false:0075 0075: 0x15 0x23 0x00 0x00000058 jeq 88 true:0111 false:0076 0076: 0x15 0x22 0x00 0x00000059 jeq 89 true:0111 false:0077 0077: 0x15 0x21 0x00 0x0000005a jeq 90 true:0111 false:0078 0078: 0x15 0x20 0x00 0x0000005b jeq 91 true:0111 false:0079 0079: 0x15 0x1f 0x00 0x0000005c jeq 92 true:0111 false:0080 0080: 0x15 0x1e 0x00 0x0000005d jeq 93 true:0111 false:0081 0081: 0x15 0x1d 0x00 0x0000005e jeq 94 true:0111 false:0082 0082: 0x15 0x1c 0x00 0x0000005f jeq 95 true:0111 false:0083 0083: 0x15 0x1b 0x00 0x00000060 jeq 96 true:0111 false:0084 0084: 0x15 0x1a 0x00 0x00000061 jeq 97 true:0111 false:0085 0085: 0x15 0x19 0x00 0x00000063 jeq 99 true:0111 false:0086 0086: 0x15 0x18 0x00 0x00000064 jeq 100 true:0111 false:0087 0087: 0x15 0x17 0x00 0x00000066 jeq 102 true:0111 false:0088 0088: 0x15 0x16 0x00 0x00000068 jeq 104 true:0111 false:0089 0089: 0x15 0x15 0x00 0x00000069 jeq 105 true:0111 false:0090 0090: 0x15 0x14 0x00 0x0000006a jeq 106 true:0111 false:0091 0091: 0x15 0x13 0x00 0x0000006b jeq 107 true:0111 false:0092 0092: 0x15 0x12 0x00 0x0000006c jeq 108 true:0111 false:0093 0093: 0x15 0x11 0x00 0x0000006d jeq 109 true:0111 false:0094 0094: 0x15 0x10 0x00 0x0000006f jeq 111 true:0111 false:0095 0095: 0x15 0x0f 0x00 0x00000072 jeq 114 true:0111 false:0096 0096: 0x15 0x0e 0x00 0x00000074 jeq 116 true:0111 false:0097 0097: 0x15 0x0d 0x00 0x00000075 jeq 117 true:0111 false:0098 0098: 0x15 0x0c 0x00 0x00000076 jeq 118 true:0111 false:0099 0099: 0x15 0x0b 0x00 0x00000077 jeq 119 true:0111 false:0100 0100: 0x15 0x0a 0x00 0x00000078 jeq 120 true:0111 false:0101 0101: 0x15 0x09 0x00 0x00000079 jeq 121 true:0111 false:0102 0102: 0x15 0x08 0x00 0x0000007a jeq 122 true:0111 false:0103 0103: 0x15 0x07 0x00 0x0000007d jeq 125 true:0111 false:0104 0104: 0x15 0x06 0x00 0x0000007e jeq 126 true:0111 false:0105 0105: 0x15 0x05 0x00 0x00000084 jeq 132 true:0111 false:0106 0106: 0x15 0x04 0x00 0x00000085 jeq 133 true:0111 false:0107 0107: 0x15 0x03 0x00 0x00000088 jeq 136 true:0111 false:0108 0108: 0x15 0x02 0x00 0x0000008a jeq 138 true:0111 false:0109 0109: 0x15 0x01 0x00 0x0000008b jeq 139 true:0111 false:0110 0110: 0x15 0x00 0x01 0x0000008c jeq 140 true:0111 false:0112 0111: 0x06 0x00 0x00 0x7fff0000 ret ALLOW 0112: 0x15 0xff 0x00 0x0000008d jeq 141 true:0368 false:0113 0113: 0x15 0xfe 0x00 0x0000008e jeq 142 true:0368 false:0114 0114: 0x15 0xfd 0x00 0x0000008f jeq 143 true:0368 false:0115 0115: 0x15 0xfc 0x00 0x00000090 jeq 144 true:0368 false:0116 0116: 0x15 0xfb 0x00 0x00000091 jeq 145 true:0368 false:0117 0117: 0x15 0xfa 0x00 0x00000092 jeq 146 true:0368 false:0118 0118: 0x15 0xf9 0x00 0x00000093 jeq 147 true:0368 false:0119 0119: 0x15 0xf8 0x00 0x00000094 jeq 148 true:0368 false:0120 0120: 0x15 0xf7 0x00 0x0000009a jeq 154 true:0368 false:0121 0121: 0x15 0xf6 0x00 0x0000009b jeq 155 true:0368 false:0122 0122: 0x15 0xf5 0x00 0x0000009c jeq 156 true:0368 false:0123 0123: 0x15 0xf4 0x00 0x0000009d jeq 157 true:0368 false:0124 0124: 0x15 0xf3 0x00 0x0000009e jeq 158 true:0368 false:0125 0125: 0x15 0xf2 0x00 0x0000009f jeq 159 true:0368 false:0126 0126: 0x15 0xf1 0x00 0x000000a0 jeq 160 true:0368 false:0127 0127: 0x15 0xf0 0x00 0x000000a1 jeq 161 true:0368 false:0128 0128: 0x15 0xef 0x00 0x000000a2 jeq 162 true:0368 false:0129 0129: 0x15 0xee 0x00 0x000000a3 jeq 163 true:0368 false:0130 0130: 0x15 0xed 0x00 0x000000a4 jeq 164 true:0368 false:0131 0131: 0x15 0xec 0x00 0x000000a5 jeq 165 true:0368 false:0132 0132: 0x15 0xeb 0x00 0x000000a8 jeq 168 true:0368 false:0133 0133: 0x15 0xea 0x00 0x000000aa jeq 170 true:0368 false:0134 0134: 0x15 0xe9 0x00 0x000000ab jeq 171 true:0368 false:0135 0135: 0x15 0xe8 0x00 0x000000ac jeq 172 true:0368 false:0136 0136: 0x15 0xe7 0x00 0x000000ad jeq 173 true:0368 false:0137 0137: 0x15 0xe6 0x00 0x000000ae jeq 174 true:0368 false:0138 0138: 0x15 0xe5 0x00 0x000000af jeq 175 true:0368 false:0139 0139: 0x15 0xe4 0x00 0x000000b0 jeq 176 true:0368 false:0140 0140: 0x15 0xe3 0x00 0x000000b1 jeq 177 true:0368 false:0141 0141: 0x15 0xe2 0x00 0x000000b2 jeq 178 true:0368 false:0142 0142: 0x15 0xe1 0x00 0x000000b3 jeq 179 true:0368 false:0143 0143: 0x15 0xe0 0x00 0x000000b4 jeq 180 true:0368 false:0144 0144: 0x15 0xdf 0x00 0x000000b5 jeq 181 true:0368 false:0145 0145: 0x15 0xde 0x00 0x000000b6 jeq 182 true:0368 false:0146 0146: 0x15 0xdd 0x00 0x000000b7 jeq 183 true:0368 false:0147 0147: 0x15 0xdc 0x00 0x000000b8 jeq 184 true:0368 false:0148 0148: 0x15 0xdb 0x00 0x000000b9 jeq 185 true:0368 false:0149 0149: 0x15 0xda 0x00 0x000000ba jeq 186 true:0368 false:0150 0150: 0x15 0xd9 0x00 0x000000bb jeq 187 true:0368 false:0151 0151: 0x15 0xd8 0x00 0x000000be jeq 190 true:0368 false:0152 0152: 0x15 0xd7 0x00 0x000000bf jeq 191 true:0368 false:0153 0153: 0x15 0xd6 0x00 0x000000c0 jeq 192 true:0368 false:0154 0154: 0x15 0xd5 0x00 0x000000c1 jeq 193 true:0368 false:0155 0155: 0x15 0xd4 0x00 0x000000c2 jeq 194 true:0368 false:0156 0156: 0x15 0xd3 0x00 0x000000c3 jeq 195 true:0368 false:0157 0157: 0x15 0xd2 0x00 0x000000c4 jeq 196 true:0368 false:0158 0158: 0x15 0xd1 0x00 0x000000c5 jeq 197 true:0368 false:0159 0159: 0x15 0xd0 0x00 0x000000c6 jeq 198 true:0368 false:0160 0160: 0x15 0xcf 0x00 0x000000c7 jeq 199 true:0368 false:0161 0161: 0x15 0xce 0x00 0x000000c8 jeq 200 true:0368 false:0162 0162: 0x15 0xcd 0x00 0x000000c9 jeq 201 true:0368 false:0163 0163: 0x15 0xcc 0x00 0x000000ca jeq 202 true:0368 false:0164 0164: 0x15 0xcb 0x00 0x000000cb jeq 203 true:0368 false:0165 0165: 0x15 0xca 0x00 0x000000cc jeq 204 true:0368 false:0166 0166: 0x15 0xc9 0x00 0x000000cd jeq 205 true:0368 false:0167 0167: 0x15 0xc8 0x00 0x000000ce jeq 206 true:0368 false:0168 0168: 0x15 0xc7 0x00 0x000000cf jeq 207 true:0368 false:0169 0169: 0x15 0xc6 0x00 0x000000d0 jeq 208 true:0368 false:0170 0170: 0x15 0xc5 0x00 0x000000d1 jeq 209 true:0368 false:0171 0171: 0x15 0xc4 0x00 0x000000d2 jeq 210 true:0368 false:0172 0172: 0x15 0xc3 0x00 0x000000d3 jeq 211 true:0368 false:0173 0173: 0x15 0xc2 0x00 0x000000d4 jeq 212 true:0368 false:0174 0174: 0x15 0xc1 0x00 0x000000d5 jeq 213 true:0368 false:0175 0175: 0x15 0xc0 0x00 0x000000d6 jeq 214 true:0368 false:0176 0176: 0x15 0xbf 0x00 0x000000d7 jeq 215 true:0368 false:0177 0177: 0x15 0xbe 0x00 0x000000d8 jeq 216 true:0368 false:0178 0178: 0x15 0xbd 0x00 0x000000d9 jeq 217 true:0368 false:0179 0179: 0x15 0xbc 0x00 0x000000da jeq 218 true:0368 false:0180 0180: 0x15 0xbb 0x00 0x000000db jeq 219 true:0368 false:0181 0181: 0x15 0xba 0x00 0x000000dc jeq 220 true:0368 false:0182 0182: 0x15 0xb9 0x00 0x000000dd jeq 221 true:0368 false:0183 0183: 0x15 0xb8 0x00 0x000000e0 jeq 224 true:0368 false:0184 0184: 0x15 0xb7 0x00 0x000000e1 jeq 225 true:0368 false:0185 0185: 0x15 0xb6 0x00 0x000000e2 jeq 226 true:0368 false:0186 0186: 0x15 0xb5 0x00 0x000000e3 jeq 227 true:0368 false:0187 0187: 0x15 0xb4 0x00 0x000000e4 jeq 228 true:0368 false:0188 0188: 0x15 0xb3 0x00 0x000000e5 jeq 229 true:0368 false:0189 0189: 0x15 0xb2 0x00 0x000000e6 jeq 230 true:0368 false:0190 0190: 0x15 0xb1 0x00 0x000000e7 jeq 231 true:0368 false:0191 0191: 0x15 0xb0 0x00 0x000000e8 jeq 232 true:0368 false:0192 0192: 0x15 0xaf 0x00 0x000000e9 jeq 233 true:0368 false:0193 0193: 0x15 0xae 0x00 0x000000ea jeq 234 true:0368 false:0194 0194: 0x15 0xad 0x00 0x000000eb jeq 235 true:0368 false:0195 0195: 0x15 0xac 0x00 0x000000ec jeq 236 true:0368 false:0196 0196: 0x15 0xab 0x00 0x000000ed jeq 237 true:0368 false:0197 0197: 0x15 0xaa 0x00 0x000000ee jeq 238 true:0368 false:0198 0198: 0x15 0xa9 0x00 0x000000ef jeq 239 true:0368 false:0199 0199: 0x15 0xa8 0x00 0x000000f0 jeq 240 true:0368 false:0200 0200: 0x15 0xa7 0x00 0x000000f1 jeq 241 true:0368 false:0201 0201: 0x15 0xa6 0x00 0x000000f2 jeq 242 true:0368 false:0202 0202: 0x15 0xa5 0x00 0x000000f3 jeq 243 true:0368 false:0203 0203: 0x15 0xa4 0x00 0x000000f4 jeq 244 true:0368 false:0204 0204: 0x15 0xa3 0x00 0x000000f5 jeq 245 true:0368 false:0205 0205: 0x15 0xa2 0x00 0x000000f6 jeq 246 true:0368 false:0206 0206: 0x15 0xa1 0x00 0x000000f7 jeq 247 true:0368 false:0207 0207: 0x15 0xa0 0x00 0x000000f8 jeq 248 true:0368 false:0208 0208: 0x15 0x9f 0x00 0x000000f9 jeq 249 true:0368 false:0209 0209: 0x15 0x9e 0x00 0x000000fa jeq 250 true:0368 false:0210 0210: 0x15 0x9d 0x00 0x000000fc jeq 252 true:0368 false:0211 0211: 0x15 0x9c 0x00 0x000000fe jeq 254 true:0368 false:0212 0212: 0x15 0x9b 0x00 0x000000ff jeq 255 true:0368 false:0213 0213: 0x15 0x9a 0x00 0x00000100 jeq 256 true:0368 false:0214 0214: 0x15 0x99 0x00 0x00000101 jeq 257 true:0368 false:0215 0215: 0x15 0x98 0x00 0x00000102 jeq 258 true:0368 false:0216 0216: 0x15 0x97 0x00 0x00000103 jeq 259 true:0368 false:0217 0217: 0x15 0x96 0x00 0x00000104 jeq 260 true:0368 false:0218 0218: 0x15 0x95 0x00 0x00000105 jeq 261 true:0368 false:0219 0219: 0x15 0x94 0x00 0x00000106 jeq 262 true:0368 false:0220 0220: 0x15 0x93 0x00 0x00000107 jeq 263 true:0368 false:0221 0221: 0x15 0x92 0x00 0x00000109 jeq 265 true:0368 false:0222 0222: 0x15 0x91 0x00 0x0000010a jeq 266 true:0368 false:0223 0223: 0x15 0x90 0x00 0x0000010b jeq 267 true:0368 false:0224 0224: 0x15 0x8f 0x00 0x0000010c jeq 268 true:0368 false:0225 0225: 0x15 0x8e 0x00 0x0000010d jeq 269 true:0368 false:0226 0226: 0x15 0x8d 0x00 0x0000010e jeq 270 true:0368 false:0227 0227: 0x15 0x8c 0x00 0x0000010f jeq 271 true:0368 false:0228 0228: 0x15 0x8b 0x00 0x00000110 jeq 272 true:0368 false:0229 0229: 0x15 0x8a 0x00 0x00000112 jeq 274 true:0368 false:0230 0230: 0x15 0x89 0x00 0x00000113 jeq 275 true:0368 false:0231 0231: 0x15 0x88 0x00 0x00000114 jeq 276 true:0368 false:0232 0232: 0x15 0x87 0x00 0x00000115 jeq 277 true:0368 false:0233 0233: 0x15 0x86 0x00 0x00000116 jeq 278 true:0368 false:0234 0234: 0x15 0x85 0x00 0x00000117 jeq 279 true:0368 false:0235 0235: 0x15 0x84 0x00 0x00000118 jeq 280 true:0368 false:0236 0236: 0x15 0x83 0x00 0x00000119 jeq 281 true:0368 false:0237 0237: 0x15 0x82 0x00 0x0000011a jeq 282 true:0368 false:0238 0238: 0x15 0x81 0x00 0x0000011c jeq 284 true:0368 false:0239 0239: 0x15 0x80 0x00 0x00000121 jeq 289 true:0368 false:0240 0240: 0x15 0x7f 0x00 0x00000122 jeq 290 true:0368 false:0241 0241: 0x15 0x7e 0x00 0x00000123 jeq 291 true:0368 false:0242 0242: 0x15 0x7d 0x00 0x00000124 jeq 292 true:0368 false:0243 0243: 0x15 0x7c 0x00 0x00000125 jeq 293 true:0368 false:0244 0244: 0x15 0x7b 0x00 0x00000126 jeq 294 true:0368 false:0245 0245: 0x15 0x7a 0x00 0x00000127 jeq 295 true:0368 false:0246 0246: 0x15 0x79 0x00 0x00000128 jeq 296 true:0368 false:0247 0247: 0x15 0x78 0x00 0x00000129 jeq 297 true:0368 false:0248 0248: 0x15 0x77 0x00 0x0000012a jeq 298 true:0368 false:0249 0249: 0x15 0x76 0x00 0x0000012b jeq 299 true:0368 false:0250 0250: 0x15 0x75 0x00 0x0000012c jeq 300 true:0368 false:0251 0251: 0x15 0x74 0x00 0x0000012d jeq 301 true:0368 false:0252 0252: 0x15 0x73 0x00 0x0000012e jeq 302 true:0368 false:0253 0253: 0x15 0x72 0x00 0x0000012f jeq 303 true:0368 false:0254 0254: 0x15 0x71 0x00 0x00000130 jeq 304 true:0368 false:0255 0255: 0x15 0x70 0x00 0x00000131 jeq 305 true:0368 false:0256 0256: 0x15 0x6f 0x00 0x00000132 jeq 306 true:0368 false:0257 0257: 0x15 0x6e 0x00 0x00000133 jeq 307 true:0368 false:0258 0258: 0x15 0x6d 0x00 0x00000134 jeq 308 true:0368 false:0259 0259: 0x15 0x6c 0x00 0x00000135 jeq 309 true:0368 false:0260 0260: 0x15 0x6b 0x00 0x00000136 jeq 310 true:0368 false:0261 0261: 0x15 0x6a 0x00 0x00000137 jeq 311 true:0368 false:0262 0262: 0x15 0x69 0x00 0x00000138 jeq 312 true:0368 false:0263 0263: 0x15 0x68 0x00 0x00000139 jeq 313 true:0368 false:0264 0264: 0x15 0x67 0x00 0x0000013a jeq 314 true:0368 false:0265 0265: 0x15 0x66 0x00 0x0000013b jeq 315 true:0368 false:0266 0266: 0x15 0x65 0x00 0x0000013c jeq 316 true:0368 false:0267 0267: 0x15 0x64 0x00 0x0000013d jeq 317 true:0368 false:0268 0268: 0x15 0x63 0x00 0x0000013e jeq 318 true:0368 false:0269 0269: 0x15 0x62 0x00 0x0000013f jeq 319 true:0368 false:0270 0270: 0x15 0x61 0x00 0x00000140 jeq 320 true:0368 false:0271 0271: 0x15 0x60 0x00 0x00000141 jeq 321 true:0368 false:0272 0272: 0x15 0x5f 0x00 0x00000142 jeq 322 true:0368 false:0273 0273: 0x15 0x5e 0x00 0x00000143 jeq 323 true:0368 false:0274 0274: 0x15 0x5d 0x00 0x00000144 jeq 324 true:0368 false:0275 0275: 0x15 0x5c 0x00 0x00000145 jeq 325 true:0368 false:0276 0276: 0x15 0x5b 0x00 0x00000146 jeq 326 true:0368 false:0277 0277: 0x15 0x5a 0x00 0x00000147 jeq 327 true:0368 false:0278 0278: 0x15 0x59 0x00 0x00000148 jeq 328 true:0368 false:0279 0279: 0x15 0x58 0x00 0x00000149 jeq 329 true:0368 false:0280 0280: 0x15 0x57 0x00 0x0000014a jeq 330 true:0368 false:0281 0281: 0x15 0x56 0x00 0x0000014b jeq 331 true:0368 false:0282 0282: 0x15 0x55 0x00 0x0000014c jeq 332 true:0368 false:0283 0283: 0x15 0x54 0x00 0x0000014d jeq 333 true:0368 false:0284 0284: 0x15 0x53 0x00 0x0000014e jeq 334 true:0368 false:0285 0285: 0x15 0x52 0x00 0x0000014f jeq 335 true:0368 false:0286 0286: 0x15 0x51 0x00 0x00000151 jeq 337 true:0368 false:0287 0287: 0x15 0x50 0x00 0x00000154 jeq 340 true:0368 false:0288 0288: 0x15 0x4f 0x00 0x00000155 jeq 341 true:0368 false:0289 0289: 0x15 0x4e 0x00 0x00000158 jeq 344 true:0368 false:0290 0290: 0x15 0x4d 0x00 0x00000159 jeq 345 true:0368 false:0291 0291: 0x15 0x4c 0x00 0x0000015a jeq 346 true:0368 false:0292 0292: 0x15 0x4b 0x00 0x0000015b jeq 347 true:0368 false:0293 0293: 0x15 0x4a 0x00 0x0000015c jeq 348 true:0368 false:0294 0294: 0x15 0x49 0x00 0x0000015d jeq 349 true:0368 false:0295 0295: 0x15 0x48 0x00 0x0000015f jeq 351 true:0368 false:0296 0296: 0x15 0x47 0x00 0x00000160 jeq 352 true:0368 false:0297 0297: 0x15 0x46 0x00 0x00000161 jeq 353 true:0368 false:0298 0298: 0x15 0x45 0x00 0x00000162 jeq 354 true:0368 false:0299 0299: 0x15 0x44 0x00 0x00000163 jeq 355 true:0368 false:0300 0300: 0x15 0x43 0x00 0x00000164 jeq 356 true:0368 false:0301 0301: 0x15 0x42 0x00 0x00000166 jeq 358 true:0368 false:0302 0302: 0x15 0x41 0x00 0x00000167 jeq 359 true:0368 false:0303 0303: 0x15 0x40 0x00 0x00000168 jeq 360 true:0368 false:0304 0304: 0x15 0x3f 0x00 0x00000169 jeq 361 true:0368 false:0305 0305: 0x15 0x3e 0x00 0x0000016a jeq 362 true:0368 false:0306 0306: 0x15 0x3d 0x00 0x0000016b jeq 363 true:0368 false:0307 0307: 0x15 0x3c 0x00 0x0000016c jeq 364 true:0368 false:0308 0308: 0x15 0x3b 0x00 0x0000016d jeq 365 true:0368 false:0309 0309: 0x15 0x3a 0x00 0x0000016e jeq 366 true:0368 false:0310 0310: 0x15 0x39 0x00 0x0000016f jeq 367 true:0368 false:0311 0311: 0x15 0x38 0x00 0x00000170 jeq 368 true:0368 false:0312 0312: 0x15 0x37 0x00 0x00000171 jeq 369 true:0368 false:0313 0313: 0x15 0x36 0x00 0x00000172 jeq 370 true:0368 false:0314 0314: 0x15 0x35 0x00 0x00000173 jeq 371 true:0368 false:0315 0315: 0x15 0x34 0x00 0x00000174 jeq 372 true:0368 false:0316 0316: 0x15 0x33 0x00 0x00000175 jeq 373 true:0368 false:0317 0317: 0x15 0x32 0x00 0x00000176 jeq 374 true:0368 false:0318 0318: 0x15 0x31 0x00 0x00000177 jeq 375 true:0368 false:0319 0319: 0x15 0x30 0x00 0x00000179 jeq 377 true:0368 false:0320 0320: 0x15 0x2f 0x00 0x0000017a jeq 378 true:0368 false:0321 0321: 0x15 0x2e 0x00 0x0000017b jeq 379 true:0368 false:0322 0322: 0x15 0x2d 0x00 0x0000017f jeq 383 true:0368 false:0323 0323: 0x15 0x2c 0x00 0x00000180 jeq 384 true:0368 false:0324 0324: 0x15 0x2b 0x00 0x00000181 jeq 385 true:0368 false:0325 0325: 0x15 0x2a 0x00 0x00000182 jeq 386 true:0368 false:0326 0326: 0x15 0x29 0x00 0x00000189 jeq 393 true:0368 false:0327 0327: 0x15 0x28 0x00 0x0000018a jeq 394 true:0368 false:0328 0328: 0x15 0x27 0x00 0x0000018b jeq 395 true:0368 false:0329 0329: 0x15 0x26 0x00 0x0000018c jeq 396 true:0368 false:0330 0330: 0x15 0x25 0x00 0x0000018d jeq 397 true:0368 false:0331 0331: 0x15 0x24 0x00 0x0000018e jeq 398 true:0368 false:0332 0332: 0x15 0x23 0x00 0x0000018f jeq 399 true:0368 false:0333 0333: 0x15 0x22 0x00 0x00000190 jeq 400 true:0368 false:0334 0334: 0x15 0x21 0x00 0x00000191 jeq 401 true:0368 false:0335 0335: 0x15 0x20 0x00 0x00000192 jeq 402 true:0368 false:0336 0336: 0x15 0x1f 0x00 0x00000193 jeq 403 true:0368 false:0337 0337: 0x15 0x1e 0x00 0x00000196 jeq 406 true:0368 false:0338 0338: 0x15 0x1d 0x00 0x00000197 jeq 407 true:0368 false:0339 0339: 0x15 0x1c 0x00 0x00000198 jeq 408 true:0368 false:0340 0340: 0x15 0x1b 0x00 0x00000199 jeq 409 true:0368 false:0341 0341: 0x15 0x1a 0x00 0x0000019a jeq 410 true:0368 false:0342 0342: 0x15 0x19 0x00 0x0000019b jeq 411 true:0368 false:0343 0343: 0x15 0x18 0x00 0x0000019c jeq 412 true:0368 false:0344 0344: 0x15 0x17 0x00 0x0000019d jeq 413 true:0368 false:0345 0345: 0x15 0x16 0x00 0x0000019e jeq 414 true:0368 false:0346 0346: 0x15 0x15 0x00 0x000001a0 jeq 416 true:0368 false:0347 0347: 0x15 0x14 0x00 0x000001a1 jeq 417 true:0368 false:0348 0348: 0x15 0x13 0x00 0x000001a2 jeq 418 true:0368 false:0349 0349: 0x15 0x12 0x00 0x000001a3 jeq 419 true:0368 false:0350 0350: 0x15 0x11 0x00 0x000001a4 jeq 420 true:0368 false:0351 0351: 0x15 0x10 0x00 0x000001a5 jeq 421 true:0368 false:0352 0352: 0x15 0x0f 0x00 0x000001a6 jeq 422 true:0368 false:0353 0353: 0x15 0x0e 0x00 0x000001a8 jeq 424 true:0368 false:0354 0354: 0x15 0x0d 0x00 0x000001a9 jeq 425 true:0368 false:0355 0355: 0x15 0x0c 0x00 0x000001aa jeq 426 true:0368 false:0356 0356: 0x15 0x0b 0x00 0x000001ab jeq 427 true:0368 false:0357 0357: 0x15 0x0a 0x00 0x000001ac jeq 428 true:0368 false:0358 0358: 0x15 0x09 0x00 0x000001ad jeq 429 true:0368 false:0359 0359: 0x15 0x08 0x00 0x000001ae jeq 430 true:0368 false:0360 0360: 0x15 0x07 0x00 0x000001af jeq 431 true:0368 false:0361 0361: 0x15 0x06 0x00 0x000001b0 jeq 432 true:0368 false:0362 0362: 0x15 0x05 0x00 0x000001b1 jeq 433 true:0368 false:0363 0363: 0x15 0x04 0x00 0x000001b2 jeq 434 true:0368 false:0364 0364: 0x15 0x03 0x00 0x000001b3 jeq 435 true:0368 false:0365 0365: 0x15 0x02 0x00 0x000001b5 jeq 437 true:0368 false:0366 0366: 0x15 0x01 0x00 0x000001b7 jeq 439 true:0368 false:0367 0367: 0x06 0x00 0x00 0x00050001 ret ERRNO(1) 0368: 0x06 0x00 0x00 0x7fff0000 ret ALLOW After the addition of @known: line OP JT JF K ================================= 0000: 0x20 0x00 0x00 0x00000004 ld $data[4] 0001: 0x15 0x00 0xa4 0x40000003 jeq 1073741827 true:0002 false:0166 0002: 0x20 0x00 0x00 0x00000000 ld $data[0] 0003: 0x15 0xa2 0x00 0x00000000 jeq 0 true:0166 false:0004 0004: 0x15 0xa1 0x00 0x00000001 jeq 1 true:0166 false:0005 0005: 0x15 0xa0 0x00 0x00000002 jeq 2 true:0166 false:0006 0006: 0x15 0x9f 0x00 0x00000003 jeq 3 true:0166 false:0007 0007: 0x15 0x9e 0x00 0x00000004 jeq 4 true:0166 false:0008 0008: 0x15 0x9d 0x00 0x00000005 jeq 5 true:0166 false:0009 0009: 0x15 0x9c 0x00 0x00000006 jeq 6 true:0166 false:0010 0010: 0x15 0x9b 0x00 0x00000007 jeq 7 true:0166 false:0011 0011: 0x15 0x9a 0x00 0x00000008 jeq 8 true:0166 false:0012 0012: 0x15 0x99 0x00 0x00000009 jeq 9 true:0166 false:0013 0013: 0x15 0x98 0x00 0x0000000a jeq 10 true:0166 false:0014 0014: 0x15 0x97 0x00 0x0000000b jeq 11 true:0166 false:0015 0015: 0x15 0x96 0x00 0x0000000c jeq 12 true:0166 false:0016 0016: 0x15 0x95 0x00 0x0000000d jeq 13 true:0166 false:0017 0017: 0x15 0x94 0x00 0x0000000e jeq 14 true:0166 false:0018 0018: 0x15 0x93 0x00 0x0000000f jeq 15 true:0166 false:0019 0019: 0x15 0x92 0x00 0x00000010 jeq 16 true:0166 false:0020 0020: 0x15 0x91 0x00 0x00000012 jeq 18 true:0166 false:0021 0021: 0x15 0x90 0x00 0x00000013 jeq 19 true:0166 false:0022 0022: 0x15 0x8f 0x00 0x00000014 jeq 20 true:0166 false:0023 0023: 0x15 0x8e 0x00 0x00000015 jeq 21 true:0166 false:0024 0024: 0x15 0x8d 0x00 0x00000016 jeq 22 true:0166 false:0025 0025: 0x15 0x8c 0x00 0x00000017 jeq 23 true:0166 false:0026 0026: 0x15 0x8b 0x00 0x00000018 jeq 24 true:0166 false:0027 0027: 0x15 0x87 0x00 0x00000019 jeq 25 true:0163 false:0028 0028: 0x15 0x89 0x00 0x0000001a jeq 26 true:0166 false:0029 0029: 0x15 0x88 0x00 0x0000001b jeq 27 true:0166 false:0030 0030: 0x15 0x87 0x00 0x0000001c jeq 28 true:0166 false:0031 0031: 0x15 0x86 0x00 0x0000001d jeq 29 true:0166 false:0032 0032: 0x15 0x85 0x00 0x0000001e jeq 30 true:0166 false:0033 0033: 0x15 0x84 0x00 0x00000021 jeq 33 true:0166 false:0034 0034: 0x15 0x83 0x00 0x00000022 jeq 34 true:0166 false:0035 0035: 0x15 0x82 0x00 0x00000024 jeq 36 true:0166 false:0036 0036: 0x15 0x81 0x00 0x00000025 jeq 37 true:0166 false:0037 0037: 0x15 0x80 0x00 0x00000026 jeq 38 true:0166 false:0038 0038: 0x15 0x7f 0x00 0x00000027 jeq 39 true:0166 false:0039 0039: 0x15 0x7e 0x00 0x00000028 jeq 40 true:0166 false:0040 0040: 0x15 0x7d 0x00 0x00000029 jeq 41 true:0166 false:0041 0041: 0x15 0x7c 0x00 0x0000002a jeq 42 true:0166 false:0042 0042: 0x15 0x7b 0x00 0x0000002b jeq 43 true:0166 false:0043 0043: 0x15 0x7a 0x00 0x0000002d jeq 45 true:0166 false:0044 0044: 0x15 0x79 0x00 0x0000002e jeq 46 true:0166 false:0045 0045: 0x15 0x78 0x00 0x0000002f jeq 47 true:0166 false:0046 0046: 0x15 0x77 0x00 0x00000030 jeq 48 true:0166 false:0047 0047: 0x15 0x76 0x00 0x00000031 jeq 49 true:0166 false:0048 0048: 0x15 0x75 0x00 0x00000032 jeq 50 true:0166 false:0049 0049: 0x15 0x71 0x00 0x00000033 jeq 51 true:0163 false:0050 0050: 0x15 0x73 0x00 0x00000034 jeq 52 true:0166 false:0051 0051: 0x15 0x72 0x00 0x00000036 jeq 54 true:0166 false:0052 0052: 0x15 0x71 0x00 0x00000037 jeq 55 true:0166 false:0053 0053: 0x15 0x70 0x00 0x00000039 jeq 57 true:0166 false:0054 0054: 0x15 0x6f 0x00 0x0000003b jeq 59 true:0166 false:0055 0055: 0x15 0x6e 0x00 0x0000003c jeq 60 true:0166 false:0056 0056: 0x15 0x6d 0x00 0x0000003d jeq 61 true:0166 false:0057 0057: 0x15 0x69 0x00 0x0000003e jeq 62 true:0163 false:0058 0058: 0x15 0x6b 0x00 0x0000003f jeq 63 true:0166 false:0059 0059: 0x15 0x6a 0x00 0x00000040 jeq 64 true:0166 false:0060 0060: 0x15 0x69 0x00 0x00000041 jeq 65 true:0166 false:0061 0061: 0x15 0x68 0x00 0x00000042 jeq 66 true:0166 false:0062 0062: 0x15 0x67 0x00 0x00000043 jeq 67 true:0166 false:0063 0063: 0x15 0x63 0x00 0x00000044 jeq 68 true:0163 false:0064 0064: 0x15 0x62 0x00 0x00000045 jeq 69 true:0163 false:0065 0065: 0x15 0x64 0x00 0x00000046 jeq 70 true:0166 false:0066 0066: 0x15 0x63 0x00 0x00000047 jeq 71 true:0166 false:0067 0067: 0x15 0x62 0x00 0x00000048 jeq 72 true:0166 false:0068 0068: 0x15 0x61 0x00 0x00000049 jeq 73 true:0166 false:0069 0069: 0x15 0x60 0x00 0x0000004a jeq 74 true:0166 false:0070 0070: 0x15 0x5f 0x00 0x0000004b jeq 75 true:0166 false:0071 0071: 0x15 0x5e 0x00 0x0000004c jeq 76 true:0166 false:0072 0072: 0x15 0x5d 0x00 0x0000004d jeq 77 true:0166 false:0073 0073: 0x15 0x5c 0x00 0x0000004e jeq 78 true:0166 false:0074 0074: 0x15 0x58 0x00 0x0000004f jeq 79 true:0163 false:0075 0075: 0x15 0x5a 0x00 0x00000050 jeq 80 true:0166 false:0076 0076: 0x15 0x59 0x00 0x00000051 jeq 81 true:0166 false:0077 0077: 0x15 0x58 0x00 0x00000052 jeq 82 true:0166 false:0078 0078: 0x15 0x57 0x00 0x00000053 jeq 83 true:0166 false:0079 0079: 0x15 0x56 0x00 0x00000054 jeq 84 true:0166 false:0080 0080: 0x15 0x55 0x00 0x00000055 jeq 85 true:0166 false:0081 0081: 0x15 0x51 0x00 0x00000056 jeq 86 true:0163 false:0082 0082: 0x15 0x50 0x00 0x00000057 jeq 87 true:0163 false:0083 0083: 0x15 0x52 0x00 0x00000058 jeq 88 true:0166 false:0084 0084: 0x15 0x51 0x00 0x00000059 jeq 89 true:0166 false:0085 0085: 0x15 0x50 0x00 0x0000005a jeq 90 true:0166 false:0086 0086: 0x15 0x4f 0x00 0x0000005b jeq 91 true:0166 false:0087 0087: 0x15 0x4e 0x00 0x0000005c jeq 92 true:0166 false:0088 0088: 0x15 0x4d 0x00 0x0000005d jeq 93 true:0166 false:0089 0089: 0x15 0x4c 0x00 0x0000005e jeq 94 true:0166 false:0090 0090: 0x15 0x4b 0x00 0x0000005f jeq 95 true:0166 false:0091 0091: 0x15 0x4a 0x00 0x00000060 jeq 96 true:0166 false:0092 0092: 0x15 0x49 0x00 0x00000061 jeq 97 true:0166 false:0093 0093: 0x15 0x48 0x00 0x00000063 jeq 99 true:0166 false:0094 0094: 0x15 0x47 0x00 0x00000064 jeq 100 true:0166 false:0095 0095: 0x15 0x43 0x00 0x00000065 jeq 101 true:0163 false:0096 0096: 0x15 0x45 0x00 0x00000066 jeq 102 true:0166 false:0097 0097: 0x15 0x41 0x00 0x00000067 jeq 103 true:0163 false:0098 0098: 0x15 0x43 0x00 0x00000068 jeq 104 true:0166 false:0099 0099: 0x15 0x42 0x00 0x00000069 jeq 105 true:0166 false:0100 0100: 0x15 0x41 0x00 0x0000006a jeq 106 true:0166 false:0101 0101: 0x15 0x40 0x00 0x0000006b jeq 107 true:0166 false:0102 0102: 0x15 0x3f 0x00 0x0000006c jeq 108 true:0166 false:0103 0103: 0x15 0x3e 0x00 0x0000006d jeq 109 true:0166 false:0104 0104: 0x15 0x3a 0x00 0x0000006e jeq 110 true:0163 false:0105 0105: 0x15 0x3c 0x00 0x0000006f jeq 111 true:0166 false:0106 0106: 0x15 0x38 0x00 0x00000070 jeq 112 true:0163 false:0107 0107: 0x15 0x37 0x00 0x00000071 jeq 113 true:0163 false:0108 0108: 0x15 0x39 0x00 0x00000072 jeq 114 true:0166 false:0109 0109: 0x15 0x35 0x00 0x00000073 jeq 115 true:0163 false:0110 0110: 0x15 0x37 0x00 0x00000074 jeq 116 true:0166 false:0111 0111: 0x15 0x36 0x00 0x00000075 jeq 117 true:0166 false:0112 0112: 0x15 0x35 0x00 0x00000076 jeq 118 true:0166 false:0113 0113: 0x15 0x34 0x00 0x00000077 jeq 119 true:0166 false:0114 0114: 0x15 0x33 0x00 0x00000078 jeq 120 true:0166 false:0115 0115: 0x15 0x32 0x00 0x00000079 jeq 121 true:0166 false:0116 0116: 0x15 0x31 0x00 0x0000007a jeq 122 true:0166 false:0117 0117: 0x15 0x2d 0x00 0x0000007b jeq 123 true:0163 false:0118 0118: 0x15 0x2c 0x00 0x0000007c jeq 124 true:0163 false:0119 0119: 0x15 0x2e 0x00 0x0000007d jeq 125 true:0166 false:0120 0120: 0x15 0x2d 0x00 0x0000007e jeq 126 true:0166 false:0121 0121: 0x15 0x29 0x00 0x0000007f jeq 127 true:0163 false:0122 0122: 0x15 0x28 0x00 0x00000080 jeq 128 true:0163 false:0123 0123: 0x15 0x27 0x00 0x00000081 jeq 129 true:0163 false:0124 0124: 0x15 0x26 0x00 0x00000082 jeq 130 true:0163 false:0125 0125: 0x15 0x25 0x00 0x00000083 jeq 131 true:0163 false:0126 0126: 0x15 0x27 0x00 0x00000084 jeq 132 true:0166 false:0127 0127: 0x15 0x26 0x00 0x00000085 jeq 133 true:0166 false:0128 0128: 0x15 0x22 0x00 0x00000086 jeq 134 true:0163 false:0129 0129: 0x15 0x21 0x00 0x00000087 jeq 135 true:0163 false:0130 0130: 0x15 0x23 0x00 0x00000088 jeq 136 true:0166 false:0131 0131: 0x15 0x22 0x00 0x0000008a jeq 138 true:0166 false:0132 0132: 0x15 0x21 0x00 0x0000008b jeq 139 true:0166 false:0133 0133: 0x15 0x20 0x00 0x0000008c jeq 140 true:0166 false:0134 0134: 0x15 0x1f 0x00 0x0000008d jeq 141 true:0166 false:0135 0135: 0x15 0x1e 0x00 0x0000008e jeq 142 true:0166 false:0136 0136: 0x15 0x1d 0x00 0x0000008f jeq 143 true:0166 false:0137 0137: 0x15 0x1c 0x00 0x00000090 jeq 144 true:0166 false:0138 0138: 0x15 0x1b 0x00 0x00000091 jeq 145 true:0166 false:0139 0139: 0x15 0x1a 0x00 0x00000092 jeq 146 true:0166 false:0140 0140: 0x15 0x19 0x00 0x00000093 jeq 147 true:0166 false:0141 0141: 0x15 0x18 0x00 0x00000094 jeq 148 true:0166 false:0142 0142: 0x15 0x14 0x00 0x00000095 jeq 149 true:0163 false:0143 0143: 0x15 0x13 0x00 0x00000096 jeq 150 true:0163 false:0144 0144: 0x15 0x12 0x00 0x00000097 jeq 151 true:0163 false:0145 0145: 0x15 0x11 0x00 0x00000098 jeq 152 true:0163 false:0146 0146: 0x15 0x10 0x00 0x00000099 jeq 153 true:0163 false:0147 0147: 0x15 0x12 0x00 0x0000009a jeq 154 true:0166 false:0148 0148: 0x15 0x11 0x00 0x0000009b jeq 155 true:0166 false:0149 0149: 0x15 0x10 0x00 0x0000009c jeq 156 true:0166 false:0150 0150: 0x15 0x0f 0x00 0x0000009d jeq 157 true:0166 false:0151 0151: 0x15 0x0e 0x00 0x0000009e jeq 158 true:0166 false:0152 0152: 0x15 0x0d 0x00 0x0000009f jeq 159 true:0166 false:0153 0153: 0x15 0x0c 0x00 0x000000a0 jeq 160 true:0166 false:0154 0154: 0x15 0x0b 0x00 0x000000a1 jeq 161 true:0166 false:0155 0155: 0x15 0x0a 0x00 0x000000a2 jeq 162 true:0166 false:0156 0156: 0x15 0x09 0x00 0x000000a3 jeq 163 true:0166 false:0157 0157: 0x15 0x08 0x00 0x000000a4 jeq 164 true:0166 false:0158 0158: 0x15 0x07 0x00 0x000000a5 jeq 165 true:0166 false:0159 0159: 0x15 0x03 0x00 0x000000a6 jeq 166 true:0163 false:0160 0160: 0x15 0x02 0x00 0x000000a7 jeq 167 true:0163 false:0161 0161: 0x15 0x04 0x00 0x000000a8 jeq 168 true:0166 false:0162 0162: 0x15 0x00 0x01 0x000000a9 jeq 169 true:0163 false:0164 0163: 0x06 0x00 0x00 0x00050001 ret ERRNO(1) 0164: 0x15 0x01 0x00 0x000000aa jeq 170 true:0166 false:0165 0165: 0x15 0x00 0x01 0x000000ab jeq 171 true:0166 false:0167 0166: 0x06 0x00 0x00 0x7fff0000 ret ALLOW 0167: 0x15 0xff 0x00 0x000000ac jeq 172 true:0423 false:0168 0168: 0x15 0xfe 0x00 0x000000ad jeq 173 true:0423 false:0169 0169: 0x15 0xfd 0x00 0x000000ae jeq 174 true:0423 false:0170 0170: 0x15 0xfc 0x00 0x000000af jeq 175 true:0423 false:0171 0171: 0x15 0xfb 0x00 0x000000b0 jeq 176 true:0423 false:0172 0172: 0x15 0xfa 0x00 0x000000b1 jeq 177 true:0423 false:0173 0173: 0x15 0xf9 0x00 0x000000b2 jeq 178 true:0423 false:0174 0174: 0x15 0xf8 0x00 0x000000b3 jeq 179 true:0423 false:0175 0175: 0x15 0xf7 0x00 0x000000b4 jeq 180 true:0423 false:0176 0176: 0x15 0xf6 0x00 0x000000b5 jeq 181 true:0423 false:0177 0177: 0x15 0xf5 0x00 0x000000b6 jeq 182 true:0423 false:0178 0178: 0x15 0xf4 0x00 0x000000b7 jeq 183 true:0423 false:0179 0179: 0x15 0xf3 0x00 0x000000b8 jeq 184 true:0423 false:0180 0180: 0x15 0xf2 0x00 0x000000b9 jeq 185 true:0423 false:0181 0181: 0x15 0xf1 0x00 0x000000ba jeq 186 true:0423 false:0182 0182: 0x15 0xf0 0x00 0x000000bb jeq 187 true:0423 false:0183 0183: 0x15 0xec 0x00 0x000000bc jeq 188 true:0420 false:0184 0184: 0x15 0xee 0x00 0x000000be jeq 190 true:0423 false:0185 0185: 0x15 0xed 0x00 0x000000bf jeq 191 true:0423 false:0186 0186: 0x15 0xec 0x00 0x000000c0 jeq 192 true:0423 false:0187 0187: 0x15 0xeb 0x00 0x000000c1 jeq 193 true:0423 false:0188 0188: 0x15 0xea 0x00 0x000000c2 jeq 194 true:0423 false:0189 0189: 0x15 0xe9 0x00 0x000000c3 jeq 195 true:0423 false:0190 0190: 0x15 0xe8 0x00 0x000000c4 jeq 196 true:0423 false:0191 0191: 0x15 0xe7 0x00 0x000000c5 jeq 197 true:0423 false:0192 0192: 0x15 0xe6 0x00 0x000000c6 jeq 198 true:0423 false:0193 0193: 0x15 0xe5 0x00 0x000000c7 jeq 199 true:0423 false:0194 0194: 0x15 0xe4 0x00 0x000000c8 jeq 200 true:0423 false:0195 0195: 0x15 0xe3 0x00 0x000000c9 jeq 201 true:0423 false:0196 0196: 0x15 0xe2 0x00 0x000000ca jeq 202 true:0423 false:0197 0197: 0x15 0xe1 0x00 0x000000cb jeq 203 true:0423 false:0198 0198: 0x15 0xe0 0x00 0x000000cc jeq 204 true:0423 false:0199 0199: 0x15 0xdf 0x00 0x000000cd jeq 205 true:0423 false:0200 0200: 0x15 0xde 0x00 0x000000ce jeq 206 true:0423 false:0201 0201: 0x15 0xdd 0x00 0x000000cf jeq 207 true:0423 false:0202 0202: 0x15 0xdc 0x00 0x000000d0 jeq 208 true:0423 false:0203 0203: 0x15 0xdb 0x00 0x000000d1 jeq 209 true:0423 false:0204 0204: 0x15 0xda 0x00 0x000000d2 jeq 210 true:0423 false:0205 0205: 0x15 0xd9 0x00 0x000000d3 jeq 211 true:0423 false:0206 0206: 0x15 0xd8 0x00 0x000000d4 jeq 212 true:0423 false:0207 0207: 0x15 0xd7 0x00 0x000000d5 jeq 213 true:0423 false:0208 0208: 0x15 0xd6 0x00 0x000000d6 jeq 214 true:0423 false:0209 0209: 0x15 0xd5 0x00 0x000000d7 jeq 215 true:0423 false:0210 0210: 0x15 0xd4 0x00 0x000000d8 jeq 216 true:0423 false:0211 0211: 0x15 0xd3 0x00 0x000000d9 jeq 217 true:0423 false:0212 0212: 0x15 0xd2 0x00 0x000000da jeq 218 true:0423 false:0213 0213: 0x15 0xd1 0x00 0x000000db jeq 219 true:0423 false:0214 0214: 0x15 0xd0 0x00 0x000000dc jeq 220 true:0423 false:0215 0215: 0x15 0xcf 0x00 0x000000dd jeq 221 true:0423 false:0216 0216: 0x15 0xce 0x00 0x000000e0 jeq 224 true:0423 false:0217 0217: 0x15 0xcd 0x00 0x000000e1 jeq 225 true:0423 false:0218 0218: 0x15 0xcc 0x00 0x000000e2 jeq 226 true:0423 false:0219 0219: 0x15 0xcb 0x00 0x000000e3 jeq 227 true:0423 false:0220 0220: 0x15 0xca 0x00 0x000000e4 jeq 228 true:0423 false:0221 0221: 0x15 0xc9 0x00 0x000000e5 jeq 229 true:0423 false:0222 0222: 0x15 0xc8 0x00 0x000000e6 jeq 230 true:0423 false:0223 0223: 0x15 0xc7 0x00 0x000000e7 jeq 231 true:0423 false:0224 0224: 0x15 0xc6 0x00 0x000000e8 jeq 232 true:0423 false:0225 0225: 0x15 0xc5 0x00 0x000000e9 jeq 233 true:0423 false:0226 0226: 0x15 0xc4 0x00 0x000000ea jeq 234 true:0423 false:0227 0227: 0x15 0xc3 0x00 0x000000eb jeq 235 true:0423 false:0228 0228: 0x15 0xc2 0x00 0x000000ec jeq 236 true:0423 false:0229 0229: 0x15 0xc1 0x00 0x000000ed jeq 237 true:0423 false:0230 0230: 0x15 0xc0 0x00 0x000000ee jeq 238 true:0423 false:0231 0231: 0x15 0xbf 0x00 0x000000ef jeq 239 true:0423 false:0232 0232: 0x15 0xbe 0x00 0x000000f0 jeq 240 true:0423 false:0233 0233: 0x15 0xbd 0x00 0x000000f1 jeq 241 true:0423 false:0234 0234: 0x15 0xbc 0x00 0x000000f2 jeq 242 true:0423 false:0235 0235: 0x15 0xbb 0x00 0x000000f3 jeq 243 true:0423 false:0236 0236: 0x15 0xba 0x00 0x000000f4 jeq 244 true:0423 false:0237 0237: 0x15 0xb9 0x00 0x000000f5 jeq 245 true:0423 false:0238 0238: 0x15 0xb8 0x00 0x000000f6 jeq 246 true:0423 false:0239 0239: 0x15 0xb7 0x00 0x000000f7 jeq 247 true:0423 false:0240 0240: 0x15 0xb6 0x00 0x000000f8 jeq 248 true:0423 false:0241 0241: 0x15 0xb5 0x00 0x000000f9 jeq 249 true:0423 false:0242 0242: 0x15 0xb4 0x00 0x000000fa jeq 250 true:0423 false:0243 0243: 0x15 0xb3 0x00 0x000000fc jeq 252 true:0423 false:0244 0244: 0x15 0xaf 0x00 0x000000fd jeq 253 true:0420 false:0245 0245: 0x15 0xb1 0x00 0x000000fe jeq 254 true:0423 false:0246 0246: 0x15 0xb0 0x00 0x000000ff jeq 255 true:0423 false:0247 0247: 0x15 0xaf 0x00 0x00000100 jeq 256 true:0423 false:0248 0248: 0x15 0xae 0x00 0x00000101 jeq 257 true:0423 false:0249 0249: 0x15 0xad 0x00 0x00000102 jeq 258 true:0423 false:0250 0250: 0x15 0xac 0x00 0x00000103 jeq 259 true:0423 false:0251 0251: 0x15 0xab 0x00 0x00000104 jeq 260 true:0423 false:0252 0252: 0x15 0xaa 0x00 0x00000105 jeq 261 true:0423 false:0253 0253: 0x15 0xa9 0x00 0x00000106 jeq 262 true:0423 false:0254 0254: 0x15 0xa8 0x00 0x00000107 jeq 263 true:0423 false:0255 0255: 0x15 0xa4 0x00 0x00000108 jeq 264 true:0420 false:0256 0256: 0x15 0xa6 0x00 0x00000109 jeq 265 true:0423 false:0257 0257: 0x15 0xa5 0x00 0x0000010a jeq 266 true:0423 false:0258 0258: 0x15 0xa4 0x00 0x0000010b jeq 267 true:0423 false:0259 0259: 0x15 0xa3 0x00 0x0000010c jeq 268 true:0423 false:0260 0260: 0x15 0xa2 0x00 0x0000010d jeq 269 true:0423 false:0261 0261: 0x15 0xa1 0x00 0x0000010e jeq 270 true:0423 false:0262 0262: 0x15 0xa0 0x00 0x0000010f jeq 271 true:0423 false:0263 0263: 0x15 0x9f 0x00 0x00000110 jeq 272 true:0423 false:0264 0264: 0x15 0x9e 0x00 0x00000112 jeq 274 true:0423 false:0265 0265: 0x15 0x9d 0x00 0x00000113 jeq 275 true:0423 false:0266 0266: 0x15 0x9c 0x00 0x00000114 jeq 276 true:0423 false:0267 0267: 0x15 0x9b 0x00 0x00000115 jeq 277 true:0423 false:0268 0268: 0x15 0x9a 0x00 0x00000116 jeq 278 true:0423 false:0269 0269: 0x15 0x99 0x00 0x00000117 jeq 279 true:0423 false:0270 0270: 0x15 0x98 0x00 0x00000118 jeq 280 true:0423 false:0271 0271: 0x15 0x97 0x00 0x00000119 jeq 281 true:0423 false:0272 0272: 0x15 0x96 0x00 0x0000011a jeq 282 true:0423 false:0273 0273: 0x15 0x92 0x00 0x0000011b jeq 283 true:0420 false:0274 0274: 0x15 0x94 0x00 0x0000011c jeq 284 true:0423 false:0275 0275: 0x15 0x90 0x00 0x0000011e jeq 286 true:0420 false:0276 0276: 0x15 0x8f 0x00 0x0000011f jeq 287 true:0420 false:0277 0277: 0x15 0x8e 0x00 0x00000120 jeq 288 true:0420 false:0278 0278: 0x15 0x90 0x00 0x00000121 jeq 289 true:0423 false:0279 0279: 0x15 0x8f 0x00 0x00000122 jeq 290 true:0423 false:0280 0280: 0x15 0x8e 0x00 0x00000123 jeq 291 true:0423 false:0281 0281: 0x15 0x8d 0x00 0x00000124 jeq 292 true:0423 false:0282 0282: 0x15 0x8c 0x00 0x00000125 jeq 293 true:0423 false:0283 0283: 0x15 0x8b 0x00 0x00000126 jeq 294 true:0423 false:0284 0284: 0x15 0x8a 0x00 0x00000127 jeq 295 true:0423 false:0285 0285: 0x15 0x89 0x00 0x00000128 jeq 296 true:0423 false:0286 0286: 0x15 0x88 0x00 0x00000129 jeq 297 true:0423 false:0287 0287: 0x15 0x87 0x00 0x0000012a jeq 298 true:0423 false:0288 0288: 0x15 0x86 0x00 0x0000012b jeq 299 true:0423 false:0289 0289: 0x15 0x85 0x00 0x0000012c jeq 300 true:0423 false:0290 0290: 0x15 0x84 0x00 0x0000012d jeq 301 true:0423 false:0291 0291: 0x15 0x83 0x00 0x0000012e jeq 302 true:0423 false:0292 0292: 0x15 0x82 0x00 0x0000012f jeq 303 true:0423 false:0293 0293: 0x15 0x81 0x00 0x00000130 jeq 304 true:0423 false:0294 0294: 0x15 0x80 0x00 0x00000131 jeq 305 true:0423 false:0295 0295: 0x15 0x7f 0x00 0x00000132 jeq 306 true:0423 false:0296 0296: 0x15 0x7e 0x00 0x00000133 jeq 307 true:0423 false:0297 0297: 0x15 0x7d 0x00 0x00000134 jeq 308 true:0423 false:0298 0298: 0x15 0x7c 0x00 0x00000135 jeq 309 true:0423 false:0299 0299: 0x15 0x7b 0x00 0x00000136 jeq 310 true:0423 false:0300 0300: 0x15 0x7a 0x00 0x00000137 jeq 311 true:0423 false:0301 0301: 0x15 0x79 0x00 0x00000138 jeq 312 true:0423 false:0302 0302: 0x15 0x78 0x00 0x00000139 jeq 313 true:0423 false:0303 0303: 0x15 0x77 0x00 0x0000013a jeq 314 true:0423 false:0304 0304: 0x15 0x76 0x00 0x0000013b jeq 315 true:0423 false:0305 0305: 0x15 0x75 0x00 0x0000013c jeq 316 true:0423 false:0306 0306: 0x15 0x74 0x00 0x0000013d jeq 317 true:0423 false:0307 0307: 0x15 0x73 0x00 0x0000013e jeq 318 true:0423 false:0308 0308: 0x15 0x72 0x00 0x0000013f jeq 319 true:0423 false:0309 0309: 0x15 0x71 0x00 0x00000140 jeq 320 true:0423 false:0310 0310: 0x15 0x70 0x00 0x00000141 jeq 321 true:0423 false:0311 0311: 0x15 0x6f 0x00 0x00000142 jeq 322 true:0423 false:0312 0312: 0x15 0x6e 0x00 0x00000143 jeq 323 true:0423 false:0313 0313: 0x15 0x6d 0x00 0x00000144 jeq 324 true:0423 false:0314 0314: 0x15 0x6c 0x00 0x00000145 jeq 325 true:0423 false:0315 0315: 0x15 0x6b 0x00 0x00000146 jeq 326 true:0423 false:0316 0316: 0x15 0x6a 0x00 0x00000147 jeq 327 true:0423 false:0317 0317: 0x15 0x69 0x00 0x00000148 jeq 328 true:0423 false:0318 0318: 0x15 0x68 0x00 0x00000149 jeq 329 true:0423 false:0319 0319: 0x15 0x67 0x00 0x0000014a jeq 330 true:0423 false:0320 0320: 0x15 0x66 0x00 0x0000014b jeq 331 true:0423 false:0321 0321: 0x15 0x65 0x00 0x0000014c jeq 332 true:0423 false:0322 0322: 0x15 0x64 0x00 0x0000014d jeq 333 true:0423 false:0323 0323: 0x15 0x63 0x00 0x0000014e jeq 334 true:0423 false:0324 0324: 0x15 0x62 0x00 0x0000014f jeq 335 true:0423 false:0325 0325: 0x15 0x5e 0x00 0x00000150 jeq 336 true:0420 false:0326 0326: 0x15 0x60 0x00 0x00000151 jeq 337 true:0423 false:0327 0327: 0x15 0x5c 0x00 0x00000152 jeq 338 true:0420 false:0328 0328: 0x15 0x5b 0x00 0x00000153 jeq 339 true:0420 false:0329 0329: 0x15 0x5d 0x00 0x00000154 jeq 340 true:0423 false:0330 0330: 0x15 0x5c 0x00 0x00000155 jeq 341 true:0423 false:0331 0331: 0x15 0x58 0x00 0x00000156 jeq 342 true:0420 false:0332 0332: 0x15 0x57 0x00 0x00000157 jeq 343 true:0420 false:0333 0333: 0x15 0x59 0x00 0x00000158 jeq 344 true:0423 false:0334 0334: 0x15 0x58 0x00 0x00000159 jeq 345 true:0423 false:0335 0335: 0x15 0x57 0x00 0x0000015a jeq 346 true:0423 false:0336 0336: 0x15 0x56 0x00 0x0000015b jeq 347 true:0423 false:0337 0337: 0x15 0x55 0x00 0x0000015c jeq 348 true:0423 false:0338 0338: 0x15 0x54 0x00 0x0000015d jeq 349 true:0423 false:0339 0339: 0x15 0x50 0x00 0x0000015e jeq 350 true:0420 false:0340 0340: 0x15 0x52 0x00 0x0000015f jeq 351 true:0423 false:0341 0341: 0x15 0x51 0x00 0x00000160 jeq 352 true:0423 false:0342 0342: 0x15 0x50 0x00 0x00000161 jeq 353 true:0423 false:0343 0343: 0x15 0x4f 0x00 0x00000162 jeq 354 true:0423 false:0344 0344: 0x15 0x4e 0x00 0x00000163 jeq 355 true:0423 false:0345 0345: 0x15 0x4d 0x00 0x00000164 jeq 356 true:0423 false:0346 0346: 0x15 0x49 0x00 0x00000165 jeq 357 true:0420 false:0347 0347: 0x15 0x4b 0x00 0x00000166 jeq 358 true:0423 false:0348 0348: 0x15 0x4a 0x00 0x00000167 jeq 359 true:0423 false:0349 0349: 0x15 0x49 0x00 0x00000168 jeq 360 true:0423 false:0350 0350: 0x15 0x48 0x00 0x00000169 jeq 361 true:0423 false:0351 0351: 0x15 0x47 0x00 0x0000016a jeq 362 true:0423 false:0352 0352: 0x15 0x46 0x00 0x0000016b jeq 363 true:0423 false:0353 0353: 0x15 0x45 0x00 0x0000016c jeq 364 true:0423 false:0354 0354: 0x15 0x44 0x00 0x0000016d jeq 365 true:0423 false:0355 0355: 0x15 0x43 0x00 0x0000016e jeq 366 true:0423 false:0356 0356: 0x15 0x42 0x00 0x0000016f jeq 367 true:0423 false:0357 0357: 0x15 0x41 0x00 0x00000170 jeq 368 true:0423 false:0358 0358: 0x15 0x40 0x00 0x00000171 jeq 369 true:0423 false:0359 0359: 0x15 0x3f 0x00 0x00000172 jeq 370 true:0423 false:0360 0360: 0x15 0x3e 0x00 0x00000173 jeq 371 true:0423 false:0361 0361: 0x15 0x3d 0x00 0x00000174 jeq 372 true:0423 false:0362 0362: 0x15 0x3c 0x00 0x00000175 jeq 373 true:0423 false:0363 0363: 0x15 0x3b 0x00 0x00000176 jeq 374 true:0423 false:0364 0364: 0x15 0x3a 0x00 0x00000177 jeq 375 true:0423 false:0365 0365: 0x15 0x36 0x00 0x00000178 jeq 376 true:0420 false:0366 0366: 0x15 0x38 0x00 0x00000179 jeq 377 true:0423 false:0367 0367: 0x15 0x37 0x00 0x0000017a jeq 378 true:0423 false:0368 0368: 0x15 0x36 0x00 0x0000017b jeq 379 true:0423 false:0369 0369: 0x15 0x32 0x00 0x0000017c jeq 380 true:0420 false:0370 0370: 0x15 0x31 0x00 0x0000017d jeq 381 true:0420 false:0371 0371: 0x15 0x30 0x00 0x0000017e jeq 382 true:0420 false:0372 0372: 0x15 0x32 0x00 0x0000017f jeq 383 true:0423 false:0373 0373: 0x15 0x31 0x00 0x00000180 jeq 384 true:0423 false:0374 0374: 0x15 0x30 0x00 0x00000181 jeq 385 true:0423 false:0375 0375: 0x15 0x2f 0x00 0x00000182 jeq 386 true:0423 false:0376 0376: 0x15 0x2e 0x00 0x00000189 jeq 393 true:0423 false:0377 0377: 0x15 0x2d 0x00 0x0000018a jeq 394 true:0423 false:0378 0378: 0x15 0x2c 0x00 0x0000018b jeq 395 true:0423 false:0379 0379: 0x15 0x2b 0x00 0x0000018c jeq 396 true:0423 false:0380 0380: 0x15 0x2a 0x00 0x0000018d jeq 397 true:0423 false:0381 0381: 0x15 0x29 0x00 0x0000018e jeq 398 true:0423 false:0382 0382: 0x15 0x28 0x00 0x0000018f jeq 399 true:0423 false:0383 0383: 0x15 0x27 0x00 0x00000190 jeq 400 true:0423 false:0384 0384: 0x15 0x26 0x00 0x00000191 jeq 401 true:0423 false:0385 0385: 0x15 0x25 0x00 0x00000192 jeq 402 true:0423 false:0386 0386: 0x15 0x24 0x00 0x00000193 jeq 403 true:0423 false:0387 0387: 0x15 0x20 0x00 0x00000194 jeq 404 true:0420 false:0388 0388: 0x15 0x1f 0x00 0x00000195 jeq 405 true:0420 false:0389 0389: 0x15 0x21 0x00 0x00000196 jeq 406 true:0423 false:0390 0390: 0x15 0x20 0x00 0x00000197 jeq 407 true:0423 false:0391 0391: 0x15 0x1f 0x00 0x00000198 jeq 408 true:0423 false:0392 0392: 0x15 0x1e 0x00 0x00000199 jeq 409 true:0423 false:0393 0393: 0x15 0x1d 0x00 0x0000019a jeq 410 true:0423 false:0394 0394: 0x15 0x1c 0x00 0x0000019b jeq 411 true:0423 false:0395 0395: 0x15 0x1b 0x00 0x0000019c jeq 412 true:0423 false:0396 0396: 0x15 0x1a 0x00 0x0000019d jeq 413 true:0423 false:0397 0397: 0x15 0x19 0x00 0x0000019e jeq 414 true:0423 false:0398 0398: 0x15 0x18 0x00 0x000001a0 jeq 416 true:0423 false:0399 0399: 0x15 0x17 0x00 0x000001a1 jeq 417 true:0423 false:0400 0400: 0x15 0x16 0x00 0x000001a2 jeq 418 true:0423 false:0401 0401: 0x15 0x15 0x00 0x000001a3 jeq 419 true:0423 false:0402 0402: 0x15 0x14 0x00 0x000001a4 jeq 420 true:0423 false:0403 0403: 0x15 0x13 0x00 0x000001a5 jeq 421 true:0423 false:0404 0404: 0x15 0x12 0x00 0x000001a6 jeq 422 true:0423 false:0405 0405: 0x15 0x0e 0x00 0x000001a7 jeq 423 true:0420 false:0406 0406: 0x15 0x10 0x00 0x000001a8 jeq 424 true:0423 false:0407 0407: 0x15 0x0f 0x00 0x000001a9 jeq 425 true:0423 false:0408 0408: 0x15 0x0e 0x00 0x000001aa jeq 426 true:0423 false:0409 0409: 0x15 0x0d 0x00 0x000001ab jeq 427 true:0423 false:0410 0410: 0x15 0x0c 0x00 0x000001ac jeq 428 true:0423 false:0411 0411: 0x15 0x0b 0x00 0x000001ad jeq 429 true:0423 false:0412 0412: 0x15 0x0a 0x00 0x000001ae jeq 430 true:0423 false:0413 0413: 0x15 0x09 0x00 0x000001af jeq 431 true:0423 false:0414 0414: 0x15 0x08 0x00 0x000001b0 jeq 432 true:0423 false:0415 0415: 0x15 0x07 0x00 0x000001b1 jeq 433 true:0423 false:0416 0416: 0x15 0x06 0x00 0x000001b2 jeq 434 true:0423 false:0417 0417: 0x15 0x05 0x00 0x000001b3 jeq 435 true:0423 false:0418 0418: 0x15 0x04 0x00 0x000001b5 jeq 437 true:0423 false:0419 0419: 0x15 0x00 0x01 0x000001b6 jeq 438 true:0420 false:0421 0420: 0x06 0x00 0x00 0x00050001 ret ERRNO(1) 0421: 0x15 0x01 0x00 0x000001b7 jeq 439 true:0423 false:0422 0422: 0x06 0x00 0x00 0x00050026 ret ERRNO(38) 0423: 0x06 0x00 0x00 0x7fff0000 ret ALLOW With the optimization on: line OP JT JF K ================================= 0000: 0x20 0x00 0x00 0x00000004 ld $data[4] 0001: 0x15 0x00 0x0d 0x40000003 jeq 1073741827 true:0002 false:0015 0002: 0x20 0x00 0x00 0x00000000 ld $data[0] 0003: 0x25 0x01 0x00 0x000000a9 jgt 169 true:0005 false:0004 0004: 0x05 0x00 0x00 0x00000143 jmp 0328 0005: 0x25 0x00 0xa0 0x0000012f jgt 303 true:0006 false:0166 0006: 0x25 0x00 0x50 0x0000016f jgt 367 true:0007 false:0087 0007: 0x25 0x00 0x28 0x00000195 jgt 405 true:0008 false:0048 0008: 0x25 0x00 0x14 0x000001a6 jgt 422 true:0009 false:0029 0009: 0x25 0x00 0x0a 0x000001ae jgt 430 true:0010 false:0020 0010: 0x25 0x00 0x05 0x000001b2 jgt 434 true:0011 false:0016 0011: 0x15 0x03 0x00 0x000001b7 jeq 439 true:0015 false:0012 0012: 0x15 0xd9 0x00 0x000001b6 jeq 438 true:0230 false:0013 0013: 0x15 0x01 0x00 0x000001b5 jeq 437 true:0015 false:0014 0014: 0x15 0x00 0xfd 0x000001b3 jeq 435 true:0015 false:0268 0015: 0x06 0x00 0x00 0x7fff0000 ret ALLOW 0016: 0x15 0xff 0x00 0x000001b2 jeq 434 true:0272 false:0017 0017: 0x15 0xfe 0x00 0x000001b1 jeq 433 true:0272 false:0018 0018: 0x15 0xfd 0x00 0x000001b0 jeq 432 true:0272 false:0019 0019: 0x15 0xfc 0xf8 0x000001af jeq 431 true:0272 false:0268 0020: 0x25 0x00 0x04 0x000001aa jgt 426 true:0021 false:0025 0021: 0x15 0xfa 0x00 0x000001ae jeq 430 true:0272 false:0022 0022: 0x15 0xf9 0x00 0x000001ad jeq 429 true:0272 false:0023 0023: 0x15 0xf8 0x00 0x000001ac jeq 428 true:0272 false:0024 0024: 0x15 0xf7 0xf3 0x000001ab jeq 427 true:0272 false:0268 0025: 0x15 0xf6 0x00 0x000001aa jeq 426 true:0272 false:0026 0026: 0x15 0xf5 0x00 0x000001a9 jeq 425 true:0272 false:0027 0027: 0x15 0xf4 0x00 0x000001a8 jeq 424 true:0272 false:0028 0028: 0x15 0xc9 0xef 0x000001a7 jeq 423 true:0230 false:0268 0029: 0x25 0x00 0x09 0x0000019d jgt 413 true:0030 false:0039 0030: 0x25 0x00 0x04 0x000001a2 jgt 418 true:0031 false:0035 0031: 0x15 0xf0 0x00 0x000001a6 jeq 422 true:0272 false:0032 0032: 0x15 0xef 0x00 0x000001a5 jeq 421 true:0272 false:0033 0033: 0x15 0xee 0x00 0x000001a4 jeq 420 true:0272 false:0034 0034: 0x15 0xed 0xe9 0x000001a3 jeq 419 true:0272 false:0268 0035: 0x15 0xec 0x00 0x000001a2 jeq 418 true:0272 false:0036 0036: 0x15 0xeb 0x00 0x000001a1 jeq 417 true:0272 false:0037 0037: 0x15 0xea 0x00 0x000001a0 jeq 416 true:0272 false:0038 0038: 0x15 0xe9 0xe5 0x0000019e jeq 414 true:0272 false:0268 0039: 0x25 0x00 0x04 0x00000199 jgt 409 true:0040 false:0044 0040: 0x15 0xe7 0x00 0x0000019d jeq 413 true:0272 false:0041 0041: 0x15 0xe6 0x00 0x0000019c jeq 412 true:0272 false:0042 0042: 0x15 0xe5 0x00 0x0000019b jeq 411 true:0272 false:0043 0043: 0x15 0xe4 0xe0 0x0000019a jeq 410 true:0272 false:0268 0044: 0x15 0xe3 0x00 0x00000199 jeq 409 true:0272 false:0045 0045: 0x15 0xe2 0x00 0x00000198 jeq 408 true:0272 false:0046 0046: 0x15 0xe1 0x00 0x00000197 jeq 407 true:0272 false:0047 0047: 0x15 0xe0 0xdc 0x00000196 jeq 406 true:0272 false:0268 0048: 0x25 0x00 0x13 0x0000017f jgt 383 true:0049 false:0068 0049: 0x25 0x00 0x09 0x0000018d jgt 397 true:0050 false:0059 0050: 0x25 0x00 0x04 0x00000191 jgt 401 true:0051 false:0055 0051: 0x15 0xb2 0x00 0x00000195 jeq 405 true:0230 false:0052 0052: 0x15 0xb1 0x00 0x00000194 jeq 404 true:0230 false:0053 0053: 0x15 0xda 0x00 0x00000193 jeq 403 true:0272 false:0054 0054: 0x15 0xd9 0xd5 0x00000192 jeq 402 true:0272 false:0268 0055: 0x15 0xd8 0x00 0x00000191 jeq 401 true:0272 false:0056 0056: 0x15 0xd7 0x00 0x00000190 jeq 400 true:0272 false:0057 0057: 0x15 0xd6 0x00 0x0000018f jeq 399 true:0272 false:0058 0058: 0x15 0xd5 0xd1 0x0000018e jeq 398 true:0272 false:0268 0059: 0x25 0x00 0x04 0x00000189 jgt 393 true:0060 false:0064 0060: 0x15 0xd3 0x00 0x0000018d jeq 397 true:0272 false:0061 0061: 0x15 0xd2 0x00 0x0000018c jeq 396 true:0272 false:0062 0062: 0x15 0xd1 0x00 0x0000018b jeq 395 true:0272 false:0063 0063: 0x15 0xd0 0xcc 0x0000018a jeq 394 true:0272 false:0268 0064: 0x15 0xcf 0x00 0x00000189 jeq 393 true:0272 false:0065 0065: 0x15 0xce 0x00 0x00000182 jeq 386 true:0272 false:0066 0066: 0x15 0xcd 0x00 0x00000181 jeq 385 true:0272 false:0067 0067: 0x15 0xcc 0xc8 0x00000180 jeq 384 true:0272 false:0268 0068: 0x25 0x00 0x09 0x00000177 jgt 375 true:0069 false:0078 0069: 0x25 0x00 0x04 0x0000017b jgt 379 true:0070 false:0074 0070: 0x15 0xc9 0x00 0x0000017f jeq 383 true:0272 false:0071 0071: 0x15 0x9e 0x00 0x0000017e jeq 382 true:0230 false:0072 0072: 0x15 0x9d 0x00 0x0000017d jeq 381 true:0230 false:0073 0073: 0x15 0x9c 0xc2 0x0000017c jeq 380 true:0230 false:0268 0074: 0x15 0xc5 0x00 0x0000017b jeq 379 true:0272 false:0075 0075: 0x15 0xc4 0x00 0x0000017a jeq 378 true:0272 false:0076 0076: 0x15 0xc3 0x00 0x00000179 jeq 377 true:0272 false:0077 0077: 0x15 0x98 0xbe 0x00000178 jeq 376 true:0230 false:0268 0078: 0x25 0x00 0x04 0x00000173 jgt 371 true:0079 false:0083 0079: 0x15 0xc0 0x00 0x00000177 jeq 375 true:0272 false:0080 0080: 0x15 0xbf 0x00 0x00000176 jeq 374 true:0272 false:0081 0081: 0x15 0xbe 0x00 0x00000175 jeq 373 true:0272 false:0082 0082: 0x15 0xbd 0xb9 0x00000174 jeq 372 true:0272 false:0268 0083: 0x15 0xbc 0x00 0x00000173 jeq 371 true:0272 false:0084 0084: 0x15 0xbb 0x00 0x00000172 jeq 370 true:0272 false:0085 0085: 0x15 0xba 0x00 0x00000171 jeq 369 true:0272 false:0086 0086: 0x15 0xb9 0xb5 0x00000170 jeq 368 true:0272 false:0268 0087: 0x25 0x00 0x27 0x0000014f jgt 335 true:0088 false:0127 0088: 0x25 0x00 0x13 0x0000015f jgt 351 true:0089 false:0108 0089: 0x25 0x00 0x09 0x00000167 jgt 359 true:0090 false:0099 0090: 0x25 0x00 0x04 0x0000016b jgt 363 true:0091 false:0095 0091: 0x15 0xb4 0x00 0x0000016f jeq 367 true:0272 false:0092 0092: 0x15 0xb3 0x00 0x0000016e jeq 366 true:0272 false:0093 0093: 0x15 0xb2 0x00 0x0000016d jeq 365 true:0272 false:0094 0094: 0x15 0xb1 0xad 0x0000016c jeq 364 true:0272 false:0268 0095: 0x15 0xb0 0x00 0x0000016b jeq 363 true:0272 false:0096 0096: 0x15 0xaf 0x00 0x0000016a jeq 362 true:0272 false:0097 0097: 0x15 0xae 0x00 0x00000169 jeq 361 true:0272 false:0098 0098: 0x15 0xad 0xa9 0x00000168 jeq 360 true:0272 false:0268 0099: 0x25 0x00 0x04 0x00000163 jgt 355 true:0100 false:0104 0100: 0x15 0xab 0x00 0x00000167 jeq 359 true:0272 false:0101 0101: 0x15 0xaa 0x00 0x00000166 jeq 358 true:0272 false:0102 0102: 0x15 0x7f 0x00 0x00000165 jeq 357 true:0230 false:0103 0103: 0x15 0xa8 0xa4 0x00000164 jeq 356 true:0272 false:0268 0104: 0x15 0xa7 0x00 0x00000163 jeq 355 true:0272 false:0105 0105: 0x15 0xa6 0x00 0x00000162 jeq 354 true:0272 false:0106 0106: 0x15 0xa5 0x00 0x00000161 jeq 353 true:0272 false:0107 0107: 0x15 0xa4 0xa0 0x00000160 jeq 352 true:0272 false:0268 0108: 0x25 0x00 0x09 0x00000157 jgt 343 true:0109 false:0118 0109: 0x25 0x00 0x04 0x0000015b jgt 347 true:0110 false:0114 0110: 0x15 0xa1 0x00 0x0000015f jeq 351 true:0272 false:0111 0111: 0x15 0x76 0x00 0x0000015e jeq 350 true:0230 false:0112 0112: 0x15 0x9f 0x00 0x0000015d jeq 349 true:0272 false:0113 0113: 0x15 0x9e 0x9a 0x0000015c jeq 348 true:0272 false:0268 0114: 0x15 0x9d 0x00 0x0000015b jeq 347 true:0272 false:0115 0115: 0x15 0x9c 0x00 0x0000015a jeq 346 true:0272 false:0116 0116: 0x15 0x9b 0x00 0x00000159 jeq 345 true:0272 false:0117 0117: 0x15 0x9a 0x96 0x00000158 jeq 344 true:0272 false:0268 0118: 0x25 0x00 0x04 0x00000153 jgt 339 true:0119 false:0123 0119: 0x15 0x6e 0x00 0x00000157 jeq 343 true:0230 false:0120 0120: 0x15 0x6d 0x00 0x00000156 jeq 342 true:0230 false:0121 0121: 0x15 0x96 0x00 0x00000155 jeq 341 true:0272 false:0122 0122: 0x15 0x95 0x91 0x00000154 jeq 340 true:0272 false:0268 0123: 0x15 0x6a 0x00 0x00000153 jeq 339 true:0230 false:0124 0124: 0x15 0x69 0x00 0x00000152 jeq 338 true:0230 false:0125 0125: 0x15 0x92 0x00 0x00000151 jeq 337 true:0272 false:0126 0126: 0x15 0x67 0x8d 0x00000150 jeq 336 true:0230 false:0268 0127: 0x25 0x00 0x13 0x0000013f jgt 319 true:0128 false:0147 0128: 0x25 0x00 0x09 0x00000147 jgt 327 true:0129 false:0138 0129: 0x25 0x00 0x04 0x0000014b jgt 331 true:0130 false:0134 0130: 0x15 0x8d 0x00 0x0000014f jeq 335 true:0272 false:0131 0131: 0x15 0x8c 0x00 0x0000014e jeq 334 true:0272 false:0132 0132: 0x15 0x8b 0x00 0x0000014d jeq 333 true:0272 false:0133 0133: 0x15 0x8a 0x86 0x0000014c jeq 332 true:0272 false:0268 0134: 0x15 0x89 0x00 0x0000014b jeq 331 true:0272 false:0135 0135: 0x15 0x88 0x00 0x0000014a jeq 330 true:0272 false:0136 0136: 0x15 0x87 0x00 0x00000149 jeq 329 true:0272 false:0137 0137: 0x15 0x86 0x82 0x00000148 jeq 328 true:0272 false:0268 0138: 0x25 0x00 0x04 0x00000143 jgt 323 true:0139 false:0143 0139: 0x15 0x84 0x00 0x00000147 jeq 327 true:0272 false:0140 0140: 0x15 0x83 0x00 0x00000146 jeq 326 true:0272 false:0141 0141: 0x15 0x82 0x00 0x00000145 jeq 325 true:0272 false:0142 0142: 0x15 0x81 0x7d 0x00000144 jeq 324 true:0272 false:0268 0143: 0x15 0x80 0x00 0x00000143 jeq 323 true:0272 false:0144 0144: 0x15 0x7f 0x00 0x00000142 jeq 322 true:0272 false:0145 0145: 0x15 0x7e 0x00 0x00000141 jeq 321 true:0272 false:0146 0146: 0x15 0x7d 0x79 0x00000140 jeq 320 true:0272 false:0268 0147: 0x25 0x00 0x09 0x00000137 jgt 311 true:0148 false:0157 0148: 0x25 0x00 0x04 0x0000013b jgt 315 true:0149 false:0153 0149: 0x15 0x7a 0x00 0x0000013f jeq 319 true:0272 false:0150 0150: 0x15 0x79 0x00 0x0000013e jeq 318 true:0272 false:0151 0151: 0x15 0x78 0x00 0x0000013d jeq 317 true:0272 false:0152 0152: 0x15 0x77 0x73 0x0000013c jeq 316 true:0272 false:0268 0153: 0x15 0x76 0x00 0x0000013b jeq 315 true:0272 false:0154 0154: 0x15 0x75 0x00 0x0000013a jeq 314 true:0272 false:0155 0155: 0x15 0x74 0x00 0x00000139 jeq 313 true:0272 false:0156 0156: 0x15 0x73 0x6f 0x00000138 jeq 312 true:0272 false:0268 0157: 0x25 0x00 0x04 0x00000133 jgt 307 true:0158 false:0162 0158: 0x15 0x71 0x00 0x00000137 jeq 311 true:0272 false:0159 0159: 0x15 0x70 0x00 0x00000136 jeq 310 true:0272 false:0160 0160: 0x15 0x6f 0x00 0x00000135 jeq 309 true:0272 false:0161 0161: 0x15 0x6e 0x6a 0x00000134 jeq 308 true:0272 false:0268 0162: 0x15 0x6d 0x00 0x00000133 jeq 307 true:0272 false:0163 0163: 0x15 0x6c 0x00 0x00000132 jeq 306 true:0272 false:0164 0164: 0x15 0x6b 0x00 0x00000131 jeq 305 true:0272 false:0165 0165: 0x15 0x6a 0x66 0x00000130 jeq 304 true:0272 false:0268 0166: 0x25 0x00 0x50 0x000000ec jgt 236 true:0167 false:0247 0167: 0x25 0x00 0x27 0x0000010d jgt 269 true:0168 false:0207 0168: 0x25 0x00 0x13 0x0000011f jgt 287 true:0169 false:0188 0169: 0x25 0x00 0x09 0x00000127 jgt 295 true:0170 false:0179 0170: 0x25 0x00 0x04 0x0000012b jgt 299 true:0171 false:0175 0171: 0x15 0x64 0x00 0x0000012f jeq 303 true:0272 false:0172 0172: 0x15 0x63 0x00 0x0000012e jeq 302 true:0272 false:0173 0173: 0x15 0x62 0x00 0x0000012d jeq 301 true:0272 false:0174 0174: 0x15 0x61 0x5d 0x0000012c jeq 300 true:0272 false:0268 0175: 0x15 0x60 0x00 0x0000012b jeq 299 true:0272 false:0176 0176: 0x15 0x5f 0x00 0x0000012a jeq 298 true:0272 false:0177 0177: 0x15 0x5e 0x00 0x00000129 jeq 297 true:0272 false:0178 0178: 0x15 0x5d 0x59 0x00000128 jeq 296 true:0272 false:0268 0179: 0x25 0x00 0x04 0x00000123 jgt 291 true:0180 false:0184 0180: 0x15 0x5b 0x00 0x00000127 jeq 295 true:0272 false:0181 0181: 0x15 0x5a 0x00 0x00000126 jeq 294 true:0272 false:0182 0182: 0x15 0x59 0x00 0x00000125 jeq 293 true:0272 false:0183 0183: 0x15 0x58 0x54 0x00000124 jeq 292 true:0272 false:0268 0184: 0x15 0x57 0x00 0x00000123 jeq 291 true:0272 false:0185 0185: 0x15 0x56 0x00 0x00000122 jeq 290 true:0272 false:0186 0186: 0x15 0x55 0x00 0x00000121 jeq 289 true:0272 false:0187 0187: 0x15 0x2a 0x50 0x00000120 jeq 288 true:0230 false:0268 0188: 0x25 0x00 0x09 0x00000116 jgt 278 true:0189 false:0198 0189: 0x25 0x00 0x04 0x0000011a jgt 282 true:0190 false:0194 0190: 0x15 0x27 0x00 0x0000011f jeq 287 true:0230 false:0191 0191: 0x15 0x26 0x00 0x0000011e jeq 286 true:0230 false:0192 0192: 0x15 0x4f 0x00 0x0000011c jeq 284 true:0272 false:0193 0193: 0x15 0x24 0x4a 0x0000011b jeq 283 true:0230 false:0268 0194: 0x15 0x4d 0x00 0x0000011a jeq 282 true:0272 false:0195 0195: 0x15 0x4c 0x00 0x00000119 jeq 281 true:0272 false:0196 0196: 0x15 0x4b 0x00 0x00000118 jeq 280 true:0272 false:0197 0197: 0x15 0x4a 0x46 0x00000117 jeq 279 true:0272 false:0268 0198: 0x25 0x00 0x04 0x00000112 jgt 274 true:0199 false:0203 0199: 0x15 0x48 0x00 0x00000116 jeq 278 true:0272 false:0200 0200: 0x15 0x47 0x00 0x00000115 jeq 277 true:0272 false:0201 0201: 0x15 0x46 0x00 0x00000114 jeq 276 true:0272 false:0202 0202: 0x15 0x45 0x41 0x00000113 jeq 275 true:0272 false:0268 0203: 0x15 0x44 0x00 0x00000112 jeq 274 true:0272 false:0204 0204: 0x15 0x43 0x00 0x00000110 jeq 272 true:0272 false:0205 0205: 0x15 0x42 0x00 0x0000010f jeq 271 true:0272 false:0206 0206: 0x15 0x41 0x3d 0x0000010e jeq 270 true:0272 false:0268 0207: 0x25 0x00 0x13 0x000000fd jgt 253 true:0208 false:0227 0208: 0x25 0x00 0x09 0x00000105 jgt 261 true:0209 false:0218 0209: 0x25 0x00 0x04 0x00000109 jgt 265 true:0210 false:0214 0210: 0x15 0x3d 0x00 0x0000010d jeq 269 true:0272 false:0211 0211: 0x15 0x3c 0x00 0x0000010c jeq 268 true:0272 false:0212 0212: 0x15 0x3b 0x00 0x0000010b jeq 267 tru…
Python3.4 works, but 2.7 returns a tuple from os.uname().
b3068f3
to
8694114
Compare
Updated. |
FYI: When constructing a similar list for Firejail, I used the following
etc. |
But we need multiple architectures, and we want them now, i.e. without waiting for some distro package to update |
bionic-amd64: 406/809 test-path FAIL 30.91 s (exit status 1). |
On Linux the major C libraries expect that syscalls that are blocked from running in the container runtime return ENOSYS to allow fallbacks to be used. Returning EPERM by default is not useful particularly for syscalls that would return EPERM for actual access restrictions e.g. the new faccessat2. The runtime-spec should set the standard and recommend ENOSYS be returned just like a kernel would that doesn't support that syscall. This allows C runtimes to fall back on other possible implementations given the userspace policies. Please see the upstream discussions: https://lwn.net/Articles/738694/ - Discusses fragility of syscall filtering. opencontainers/runc#2151 - glibc and musl request ENOSYS return for unknown syscalls. systemd/systemd#16739 - Discusses systemd-nspawn breakage with faccessat2. systemd/systemd#16819 - General policy for systemd-nspawn to return ENOSYS. seccomp/libseccomp#286 - Block unknown syscalls and erturn ENOSYS.
On Linux the major C libraries expect that syscalls that are blocked from running in the container runtime return ENOSYS to allow fallbacks to be used. Returning EPERM by default is not useful particularly for syscalls that would return EPERM for actual access restrictions e.g. the new faccessat2. The runtime-spec should set the standard and recommend ENOSYS be returned just like a kernel would that doesn't support that syscall. This allows C runtimes to fall back on other possible implementations given the userspace policies. Please see the upstream discussions: https://lwn.net/Articles/738694/ - Discusses fragility of syscall filtering. opencontainers/runc#2151 - glibc and musl request ENOSYS return for unknown syscalls. systemd/systemd#16739 - Discusses systemd-nspawn breakage with faccessat2. systemd/systemd#16819 - General policy for systemd-nspawn to return ENOSYS. seccomp/libseccomp#286 - Block unknown syscalls and return ENOSYS.
C.f. #16739.