TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3836-24db-7054-bc3d-5038f0602e87

complete
Chain ID
1
Address
0x216ef5ace4247552f4d4c11769f44776107004ed
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
691 artifact.fetch complete 1 / 3 3 months ago
692 tool.cast_disasm complete 1 / 3 3 months ago
44391 analysis.bundle complete 1 / 3 2 weeks ago
44392 capability.graph complete 1 / 3 2 weeks ago
44393 detector.run complete 1 / 3 2 weeks ago
44394 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
18
EXT*/BALANCE
0
Total opcodes
2030
Flags
selfdestruct_present call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0056
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x13af4035
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0058
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x27dc297e
00000025: EQ
00000026: PUSH2 0x0098
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x41c0e1b5
00000030: EQ
00000031: PUSH2 0x01c0
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x504ac982
0000003b: EQ
0000003c: PUSH2 0x01e7
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x59eaac53
00000046: EQ
00000047: PUSH2 0x04d3
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x5ad77157
00000051: EQ
00000052: PUSH2 0x04eb
00000055: JUMPI
00000056: JUMPDEST
00000057: STOP
00000058: JUMPDEST
00000059: PUSH2 0x0056
0000005c: PUSH1 0x04
0000005e: CALLDATALOAD
0000005f: PUSH1 0x02
00000061: SLOAD
00000062: PUSH1 0x01
00000064: PUSH1 0xa0
00000066: PUSH1 0x02
00000068: EXP
00000069: SUB
0000006a: SWAP1
0000006b: DUP2
0000006c: AND
0000006d: CALLER
0000006e: SWAP1
0000006f: SWAP2
00000070: AND
00000071: EQ
00000072: ISZERO
00000073: PUSH2 0x054a
00000076: JUMPI
00000077: PUSH1 0x02
00000079: DUP1
0000007a: SLOAD
0000007b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000090: NOT
00000091: AND
00000092: DUP3
00000093: OR
00000094: SWAP1
00000095: SSTORE
00000096: POP
00000097: JUMP
00000098: JUMPDEST
00000099: PUSH1 0x20
0000009b: PUSH1 0x24
0000009d: DUP1
0000009e: CALLDATALOAD
0000009f: PUSH1 0x04
000000a1: DUP2
000000a2: DUP2
000000a3: ADD
000000a4: CALLDATALOAD
000000a5: PUSH1 0x1f
000000a7: DUP2
000000a8: ADD
000000a9: DUP6
000000aa: SWAP1
000000ab: DIV
000000ac: SWAP1
000000ad: SWAP5
000000ae: MUL
000000af: PUSH1 0x80
000000b1: SWAP1
000000b2: DUP2
000000b3: ADD
000000b4: PUSH1 0x40
000000b6: MSTORE
000000b7: PUSH1 0x60
000000b9: DUP6
000000ba: DUP2
000000bb: MSTORE
000000bc: PUSH2 0x0056
000000bf: SWAP6
000000c0: DUP4
000000c1: CALLDATALOAD
000000c2: SWAP6
000000c3: SWAP4
000000c4: SWAP5
000000c5: PUSH1 0x44
000000c7: SWAP5
000000c8: SWAP3
000000c9: SWAP4
000000ca: SWAP3
000000cb: ADD
000000cc: SWAP2
000000cd: DUP2
000000ce: SWAP1
000000cf: DUP4
000000d0: DUP3
000000d1: DUP1
000000d2: DUP3
000000d3: DUP5
000000d4: CALLDATACOPY
000000d5: POP
000000d6: SWAP5
000000d7: SWAP7
000000d8: POP
000000d9: POP
000000da: POP
000000db: POP
000000dc: POP
000000dd: POP
000000de: POP
000000df: PUSH1 0x00
000000e1: PUSH1 0x00
000000e3: PUSH2 0x055f
000000e6: PUSH1 0x00
000000e8: PUSH1 0x00
000000ea: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000000ff: SWAP1
00000100: POP
00000101: DUP1
00000102: PUSH1 0x01
00000104: PUSH1 0xa0
00000106: PUSH1 0x02
00000108: EXP
00000109: SUB
0000010a: AND
0000010b: PUSH4 0x38cc4831
00000110: PUSH1 0x40
00000112: MLOAD
00000113: DUP2
00000114: PUSH1 0xe0
00000116: PUSH1 0x02
00000118: EXP
00000119: MUL
0000011a: DUP2
0000011b: MSTORE
0000011c: PUSH1 0x04
0000011e: ADD
0000011f: DUP1
00000120: SWAP1
00000121: POP
00000122: PUSH1 0x20
00000124: PUSH1 0x40
00000126: MLOAD
00000127: DUP1
00000128: DUP4
00000129: SUB
0000012a: DUP2
0000012b: PUSH1 0x00
0000012d: DUP8
0000012e: PUSH2 0x61da
00000131: GAS
00000132: SUB
00000133: CALL
00000134: ISZERO
00000135: PUSH2 0x0002
00000138: JUMPI
00000139: POP
0000013a: POP
0000013b: PUSH1 0x40
0000013d: DUP1
0000013e: MLOAD
0000013f: DUP1
00000140: MLOAD
00000141: DUP6
00000142: SLOAD
00000143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000158: NOT
00000159: AND
0000015a: OR
0000015b: DUP1
0000015c: DUP7
0000015d: SSTORE
0000015e: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000017f: DUP3
00000180: MSTORE
00000181: SWAP2
00000182: MLOAD
00000183: PUSH1 0x01
00000185: PUSH1 0xa0
00000187: PUSH1 0x02
00000189: EXP
0000018a: SUB
0000018b: SWAP3
0000018c: SWAP1
0000018d: SWAP3
0000018e: AND
0000018f: SWAP3
00000190: POP
00000191: PUSH4 0xc281d19e
00000196: SWAP2
00000197: PUSH1 0x04
00000199: DUP3
0000019a: DUP2
0000019b: ADD
0000019c: SWAP3
0000019d: PUSH1 0x20
0000019f: SWAP3
000001a0: SWAP2
000001a1: SWAP1
000001a2: DUP3
000001a3: SWAP1
000001a4: SUB
000001a5: ADD
000001a6: DUP2
000001a7: DUP9
000001a8: DUP8
000001a9: PUSH2 0x61da
000001ac: GAS
000001ad: SUB
000001ae: CALL
000001af: ISZERO
000001b0: PUSH2 0x0002
000001b3: JUMPI
000001b4: POP
000001b5: POP
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: MLOAD
000001ba: SWAP3
000001bb: POP
000001bc: POP
000001bd: POP
000001be: SWAP1
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH2 0x0056
000001c4: PUSH1 0x02
000001c6: SLOAD
000001c7: PUSH1 0x01
000001c9: PUSH1 0xa0
000001cb: PUSH1 0x02
000001cd: EXP
000001ce: SUB
000001cf: SWAP1
000001d0: DUP2
000001d1: AND
000001d2: CALLER
000001d3: SWAP1
000001d4: SWAP2
000001d5: AND
000001d6: EQ
000001d7: ISZERO
000001d8: PUSH2 0x0b16
000001db: JUMPI
000001dc: CALLER
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: PUSH1 0x02
000001e3: EXP
000001e4: SUB
000001e5: AND
000001e6: SELFDESTRUCT
000001e7: JUMPDEST
000001e8: PUSH1 0x80
000001ea: PUSH1 0x20
000001ec: PUSH1 0x04
000001ee: DUP1
000001ef: CALLDATALOAD
000001f0: DUP1
000001f1: DUP3
000001f2: ADD
000001f3: CALLDATALOAD
000001f4: PUSH1 0x1f
000001f6: DUP2
000001f7: ADD
000001f8: DUP5
000001f9: SWAP1
000001fa: DIV
000001fb: SWAP1
000001fc: SWAP4
000001fd: MUL
000001fe: DUP5
000001ff: ADD
00000200: PUSH1 0x40
00000202: MSTORE
00000203: PUSH1 0x60
00000205: DUP4
00000206: DUP2
00000207: MSTORE
00000208: PUSH2 0x054d
0000020b: SWAP5
0000020c: SWAP3
0000020d: SWAP4
0000020e: PUSH1 0x24
00000210: SWAP4
00000211: SWAP2
00000212: SWAP3
00000213: DUP5
00000214: ADD
00000215: SWAP2
00000216: DUP2
00000217: SWAP1
00000218: DUP4
00000219: DUP3
0000021a: DUP1
0000021b: DUP3
0000021c: DUP5
0000021d: CALLDATACOPY
0000021e: POP
0000021f: POP
00000220: PUSH1 0x40
00000222: DUP1
00000223: MLOAD
00000224: PUSH1 0x20
00000226: DUP9
00000227: CALLDATALOAD
00000228: DUP1
00000229: DUP12
0000022a: ADD
0000022b: CALLDATALOAD
0000022c: PUSH1 0x1f
0000022e: DUP2
0000022f: ADD
00000230: DUP4
00000231: SWAP1
00000232: DIV
00000233: DUP4
00000234: MUL
00000235: DUP5
00000236: ADD
00000237: DUP4
00000238: ADD
00000239: SWAP1
0000023a: SWAP5
0000023b: MSTORE
0000023c: DUP4
0000023d: DUP4
0000023e: MSTORE
0000023f: SWAP8
00000240: SWAP10
00000241: SWAP9
00000242: PUSH1 0x44
00000244: SWAP9
00000245: SWAP3
00000246: SWAP8
00000247: POP
00000248: SWAP2
00000249: SWAP1
0000024a: SWAP2
0000024b: ADD
0000024c: SWAP5
0000024d: POP
0000024e: SWAP1
0000024f: SWAP3
00000250: POP
00000251: DUP3
00000252: SWAP2
00000253: POP
00000254: DUP5
00000255: ADD
00000256: DUP4
00000257: DUP3
00000258: DUP1
00000259: DUP3
0000025a: DUP5
0000025b: CALLDATACOPY
0000025c: POP
0000025d: SWAP5
0000025e: SWAP7
0000025f: POP
00000260: POP
00000261: POP
00000262: POP
00000263: POP
00000264: POP
00000265: POP
00000266: PUSH1 0x40
00000268: DUP1
00000269: MLOAD
0000026a: PUSH1 0x20
0000026c: DUP2
0000026d: DUP2
0000026e: ADD
0000026f: DUP4
00000270: MSTORE
00000271: PUSH1 0x00
00000273: DUP1
00000274: DUP4
00000275: MSTORE
00000276: DUP4
00000277: MLOAD
00000278: DUP1
00000279: DUP4
0000027a: ADD
0000027b: DUP6
0000027c: MSTORE
0000027d: DUP2
0000027e: DUP2
0000027f: MSTORE
00000280: DUP5
00000281: MLOAD
00000282: DUP1
00000283: DUP7
00000284: ADD
00000285: DUP7
00000286: MSTORE
00000287: PUSH1 0x0c
00000289: DUP2
0000028a: MSTORE
0000028b: PUSH32 0x4841434b696e4455424c494e0000000000000000000000000000000000000000
000002ac: DUP2
000002ad: DUP6
000002ae: ADD
000002af: MSTORE
000002b0: DUP6
000002b1: MLOAD
000002b2: PUSH1 0xe0
000002b4: PUSH1 0x02
000002b6: EXP
000002b7: PUSH4 0x38cc4831
000002bc: MUL
000002bd: DUP2
000002be: MSTORE
000002bf: SWAP6
000002c0: MLOAD
000002c1: SWAP3
000002c2: SWAP6
000002c3: SWAP2
000002c4: SWAP4
000002c5: DUP7
000002c6: SWAP4
000002c7: SWAP2
000002c8: SWAP3
000002c9: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000002de: SWAP3
000002df: DUP4
000002e0: SWAP3
000002e1: PUSH4 0x38cc4831
000002e6: SWAP3
000002e7: PUSH1 0x04
000002e9: DUP2
000002ea: DUP2
000002eb: ADD
000002ec: SWAP4
000002ed: SWAP2
000002ee: DUP3
000002ef: SWAP1
000002f0: SUB
000002f1: ADD
000002f2: DUP2
000002f3: DUP10
000002f4: DUP8
000002f5: PUSH2 0x61da
000002f8: GAS
000002f9: SUB
000002fa: CALL
000002fb: ISZERO
000002fc: PUSH2 0x0002
000002ff: JUMPI
00000300: POP
00000301: POP
00000302: POP
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: MLOAD
00000308: SWAP1
00000309: PUSH1 0x20
0000030b: ADD
0000030c: POP
0000030d: PUSH1 0x00
0000030f: PUSH1 0x00
00000311: PUSH2 0x0100
00000314: EXP
00000315: DUP2
00000316: SLOAD
00000317: DUP2
00000318: PUSH1 0x01
0000031a: PUSH1 0xa0
0000031c: PUSH1 0x02
0000031e: EXP
0000031f: SUB
00000320: MUL
00000321: NOT
00000322: AND
00000323: SWAP1
00000324: DUP4
00000325: MUL
00000326: OR
00000327: SWAP1
00000328: SSTORE
00000329: POP
0000032a: PUSH1 0x00
0000032c: PUSH1 0x00
0000032e: SWAP1
0000032f: SLOAD
00000330: SWAP1
00000331: PUSH2 0x0100
00000334: EXP
00000335: SWAP1
00000336: DIV
00000337: PUSH1 0x01
00000339: PUSH1 0xa0
0000033b: PUSH1 0x02
0000033d: EXP
0000033e: SUB
0000033f: AND
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: PUSH1 0x02
00000346: EXP
00000347: SUB
00000348: AND
00000349: PUSH4 0x60f66701
0000034e: DUP4
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: DUP3
00000353: PUSH1 0xe0
00000355: PUSH1 0x02
00000357: EXP
00000358: MUL
00000359: DUP2
0000035a: MSTORE
0000035b: PUSH1 0x04
0000035d: ADD
0000035e: DUP1
0000035f: DUP1
00000360: PUSH1 0x20
00000362: ADD
00000363: DUP3
00000364: DUP2
00000365: SUB
00000366: DUP3
00000367: MSTORE
00000368: DUP4
00000369: DUP2
0000036a: DUP2
0000036b: MLOAD
0000036c: DUP2
0000036d: MSTORE
0000036e: PUSH1 0x20
00000370: ADD
00000371: SWAP2
00000372: POP
00000373: DUP1
00000374: MLOAD
00000375: SWAP1
00000376: PUSH1 0x20
00000378: ADD
00000379: SWAP1
0000037a: DUP1
0000037b: DUP4
0000037c: DUP4
0000037d: DUP3
0000037e: SWAP1
0000037f: PUSH1 0x00
00000381: PUSH1 0x04
00000383: PUSH1 0x20
00000385: DUP5
00000386: PUSH1 0x1f
00000388: ADD
00000389: DIV
0000038a: PUSH1 0x03
0000038c: MUL
0000038d: PUSH1 0x0f
0000038f: ADD
00000390: CALL
00000391: POP
00000392: SWAP1
00000393: POP
00000394: SWAP1
00000395: DUP2
00000396: ADD
00000397: SWAP1
00000398: PUSH1 0x1f
0000039a: AND
0000039b: DUP1
0000039c: ISZERO
0000039d: PUSH2 0x03ba
000003a0: JUMPI
000003a1: DUP1
000003a2: DUP3
000003a3: SUB
000003a4: DUP1
000003a5: MLOAD
000003a6: PUSH1 0x01
000003a8: DUP4
000003a9: PUSH1 0x20
000003ab: SUB
000003ac: PUSH2 0x0100
000003af: EXP
000003b0: SUB
000003b1: NOT
000003b2: AND
000003b3: DUP2
000003b4: MSTORE
000003b5: PUSH1 0x20
000003b7: ADD
000003b8: SWAP2
000003b9: POP
000003ba: JUMPDEST
000003bb: POP
000003bc: SWAP3
000003bd: POP
000003be: POP
000003bf: POP
000003c0: PUSH1 0x00
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: DUP4
000003c7: SUB
000003c8: DUP2
000003c9: PUSH1 0x00
000003cb: DUP8
000003cc: PUSH2 0x61da
000003cf: GAS
000003d0: SUB
000003d1: CALL
000003d2: ISZERO
000003d3: PUSH2 0x0002
000003d6: JUMPI
000003d7: POP
000003d8: POP
000003d9: POP
000003da: DUP8
000003db: SWAP5
000003dc: POP
000003dd: DUP7
000003de: SWAP4
000003df: POP
000003e0: DUP5
000003e1: PUSH1 0x00
000003e3: DUP2
000003e4: MLOAD
000003e5: DUP2
000003e6: LT
000003e7: ISZERO
000003e8: PUSH2 0x0002
000003eb: JUMPI
000003ec: POP
000003ed: POP
000003ee: PUSH1 0x80
000003f0: MLOAD
000003f1: PUSH1 0xf8
000003f3: PUSH1 0x02
000003f5: EXP
000003f6: SWAP1
000003f7: DUP2
000003f8: SWAP1
000003f9: DIV
000003fa: MUL
000003fb: PUSH32 0x6200000000000000000000000000000000000000000000000000000000000000
0000041c: EQ
0000041d: ISZERO
0000041e: DUP1
0000041f: PUSH2 0x0462
00000422: JUMPI
00000423: POP
00000424: DUP5
00000425: PUSH1 0x01
00000427: DUP2
00000428: MLOAD
00000429: DUP2
0000042a: LT
0000042b: ISZERO
0000042c: PUSH2 0x0002
0000042f: JUMPI
00000430: POP
00000431: POP
00000432: PUSH1 0x81
00000434: MLOAD
00000435: PUSH1 0xf8
00000437: PUSH1 0x02
00000439: EXP
0000043a: SWAP1
0000043b: DUP2
0000043c: SWAP1
0000043d: DIV
0000043e: MUL
0000043f: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000
00000460: EQ
00000461: ISZERO
00000462: JUMPDEST
00000463: DUP1
00000464: PUSH2 0x04a7
00000467: JUMPI
00000468: POP
00000469: DUP5
0000046a: PUSH1 0x02
0000046c: DUP2
0000046d: MLOAD
0000046e: DUP2
0000046f: LT
00000470: ISZERO
00000471: PUSH2 0x0002
00000474: JUMPI
00000475: POP
00000476: POP
00000477: PUSH1 0x82
00000479: MLOAD
0000047a: PUSH1 0xf8
0000047c: PUSH1 0x02
0000047e: EXP
0000047f: SWAP1
00000480: DUP2
00000481: SWAP1
00000482: DIV
00000483: MUL
00000484: PUSH32 0x6300000000000000000000000000000000000000000000000000000000000000
000004a5: EQ
000004a6: ISZERO
000004a7: JUMPDEST
000004a8: ISZERO
000004a9: PUSH2 0x06c2
000004ac: JUMPI
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: CALLER
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: PUSH1 0x02
000004b7: EXP
000004b8: SUB
000004b9: AND
000004ba: SWAP1
000004bb: DUP5
000004bc: SWAP1
000004bd: CALLVALUE
000004be: SWAP1
000004bf: DUP3
000004c0: DUP2
000004c1: DUP2
000004c2: DUP2
000004c3: DUP6
000004c4: DUP9
000004c5: DUP4
000004c6: CALL
000004c7: SWAP4
000004c8: POP
000004c9: POP
000004ca: POP
000004cb: POP
000004cc: POP
000004cd: POP
000004ce: POP
000004cf: PUSH2 0x06b9
000004d2: JUMP
000004d3: JUMPDEST
000004d4: PUSH2 0x054d
000004d7: PUSH1 0x04
000004d9: CALLDATALOAD
000004da: PUSH1 0x01
000004dc: PUSH1 0x20
000004de: MSTORE
000004df: PUSH1 0x00
000004e1: SWAP1
000004e2: DUP2
000004e3: MSTORE
000004e4: PUSH1 0x40
000004e6: SWAP1
000004e7: KECCAK256
000004e8: SLOAD
000004e9: DUP2
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH2 0x0056
000004ef: PUSH1 0x04
000004f1: CALLDATALOAD
000004f2: PUSH1 0x00
000004f4: DUP1
000004f5: SLOAD
000004f6: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
00000517: PUSH1 0x60
00000519: SWAP1
0000051a: DUP2
0000051b: MSTORE
0000051c: PUSH1 0x64
0000051e: DUP5
0000051f: SWAP1
00000520: MSTORE
00000521: PUSH1 0x01
00000523: PUSH1 0xa0
00000525: PUSH1 0x02
00000527: EXP
00000528: SUB
00000529: SWAP1
0000052a: SWAP2
0000052b: AND
0000052c: SWAP2
0000052d: PUSH4 0x688dcfd7
00000532: SWAP2
00000533: PUSH1 0x84
00000535: SWAP2
00000536: SWAP1
00000537: PUSH1 0x24
00000539: DUP2
0000053a: DUP4
0000053b: DUP8
0000053c: PUSH2 0x61da
0000053f: GAS
00000540: SUB
00000541: CALL
00000542: ISZERO
00000543: PUSH2 0x0002
00000546: JUMPI
00000547: POP
00000548: POP
00000549: POP
0000054a: JUMPDEST
0000054b: POP
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH1 0x40
00000550: DUP1
00000551: MLOAD
00000552: SWAP2
00000553: DUP3
00000554: MSTORE
00000555: MLOAD
00000556: SWAP1
00000557: DUP2
00000558: SWAP1
00000559: SUB
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP1
0000055e: RETURN
0000055f: JUMPDEST
00000560: PUSH1 0x01
00000562: PUSH1 0xa0
00000564: PUSH1 0x02
00000566: EXP
00000567: SUB
00000568: AND
00000569: CALLER
0000056a: PUSH1 0x01
0000056c: PUSH1 0xa0
0000056e: PUSH1 0x02
00000570: EXP
00000571: SUB
00000572: AND
00000573: EQ
00000574: ISZERO
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH2 0x0002
0000057d: JUMP
0000057e: JUMPDEST
0000057f: PUSH2 0x0620
00000582: DUP4
00000583: PUSH1 0x40
00000585: DUP1
00000586: MLOAD
00000587: PUSH1 0x20
00000589: DUP2
0000058a: ADD
0000058b: SWAP1
0000058c: SWAP2
0000058d: MSTORE
0000058e: DUP4
0000058f: SWAP1
00000590: MSTORE
00000591: DUP3
00000592: DUP2
00000593: DUP2
00000594: DUP1
00000595: DUP1
00000596: PUSH1 0x02
00000598: JUMPDEST
00000599: PUSH1 0x2a
0000059b: DUP2
0000059c: LT
0000059d: ISZERO
0000059e: PUSH2 0x0b18
000005a1: JUMPI
000005a2: PUSH2 0x0100
000005a5: DUP5
000005a6: MUL
000005a7: SWAP4
000005a8: POP
000005a9: DUP4
000005aa: POP
000005ab: DUP5
000005ac: DUP2
000005ad: DUP2
000005ae: MLOAD
000005af: DUP2
000005b0: LT
000005b1: ISZERO
000005b2: PUSH2 0x0002
000005b5: JUMPI
000005b6: DUP2
000005b7: MLOAD
000005b8: PUSH1 0x80
000005ba: SWAP2
000005bb: SWAP1
000005bc: SWAP2
000005bd: ADD
000005be: MLOAD
000005bf: PUSH1 0xf8
000005c1: PUSH1 0x02
000005c3: EXP
000005c4: SWAP1
000005c5: DUP2
000005c6: SWAP1
000005c7: DIV
000005c8: DUP2
000005c9: MUL
000005ca: DIV
000005cb: SWAP5
000005cc: POP
000005cd: PUSH1 0x01
000005cf: DUP4
000005d0: ADD
000005d1: SWAP1
000005d2: DUP2
000005d3: LT
000005d4: ISZERO
000005d5: PUSH2 0x0002
000005d8: JUMPI
000005d9: PUSH1 0x80
000005db: ADD
000005dc: MLOAD
000005dd: PUSH1 0xf8
000005df: PUSH1 0x02
000005e1: EXP
000005e2: SWAP1
000005e3: DUP2
000005e4: SWAP1
000005e5: DIV
000005e6: DUP2
000005e7: MUL
000005e8: DIV
000005e9: SWAP3
000005ea: POP
000005eb: POP
000005ec: PUSH1 0x61
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: PUSH1 0x02
000005f4: EXP
000005f5: SUB
000005f6: DUP5
000005f7: AND
000005f8: LT
000005f9: DUP1
000005fa: ISZERO
000005fb: SWAP1
000005fc: PUSH2 0x060f
000005ff: JUMPI
00000600: POP
00000601: PUSH1 0x66
00000603: DUP4
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: PUSH1 0x02
0000060a: EXP
0000060b: SUB
0000060c: AND
0000060d: GT
0000060e: ISZERO
0000060f: JUMPDEST
00000610: ISZERO
00000611: PUSH2 0x0b23
00000614: JUMPI
00000615: PUSH1 0x56
00000617: NOT
00000618: SWAP1
00000619: SWAP3
0000061a: ADD
0000061b: SWAP2
0000061c: PUSH2 0x0b54
0000061f: JUMP
00000620: JUMPDEST
00000621: SWAP1
00000622: DUP5
00000623: SWAP1
00000624: MSTORE
00000625: PUSH1 0x01
00000627: PUSH1 0x20
00000629: MSTORE
0000062a: PUSH1 0x40
0000062c: DUP1
0000062d: DUP4
0000062e: KECCAK256
0000062f: DUP1
00000630: SLOAD
00000631: SWAP1
00000632: DUP5
00000633: SWAP1
00000634: SSTORE
00000635: SWAP1
00000636: MLOAD
00000637: SWAP2
00000638: SWAP3
00000639: SWAP1
0000063a: SWAP2
0000063b: PUSH1 0x01
0000063d: PUSH1 0xa0
0000063f: PUSH1 0x02
00000641: EXP
00000642: SUB
00000643: DUP5
00000644: AND
00000645: SWAP2
00000646: SWAP1
00000647: DUP4
00000648: SWAP1
00000649: DUP3
0000064a: DUP2
0000064b: DUP2
0000064c: DUP2
0000064d: DUP6
0000064e: DUP9
0000064f: DUP4
00000650: CALL
00000651: SWAP4
00000652: POP
00000653: POP
00000654: POP
00000655: POP
00000656: POP
00000657: PUSH32 0x6cceb87e66d18f4701a4f727fe32d37f665c1c5b374e4247bc613979cb69c074
00000678: DUP3
00000679: DUP3
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: DUP1
0000067e: DUP4
0000067f: PUSH1 0x01
00000681: PUSH1 0xa0
00000683: PUSH1 0x02
00000685: EXP
00000686: SUB
00000687: AND
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x20
0000068c: ADD
0000068d: DUP3
0000068e: DUP2
0000068f: MSTORE
00000690: PUSH1 0x20
00000692: ADD
00000693: SWAP3
00000694: POP
00000695: POP
00000696: POP
00000697: PUSH1 0x40
00000699: MLOAD
0000069a: DUP1
0000069b: SWAP2
0000069c: SUB
0000069d: SWAP1
0000069e: LOG1
0000069f: POP
000006a0: POP
000006a1: POP
000006a2: POP
000006a3: JUMP
000006a4: JUMPDEST
000006a5: SWAP3
000006a6: DUP4
000006a7: SWAP1
000006a8: MSTORE
000006a9: POP
000006aa: POP
000006ab: PUSH1 0x01
000006ad: PUSH1 0x20
000006af: MSTORE
000006b0: PUSH1 0x40
000006b2: SWAP1
000006b3: SWAP4
000006b4: KECCAK256
000006b5: CALLVALUE
000006b6: SWAP1
000006b7: SSTORE
000006b8: DUP3
000006b9: JUMPDEST
000006ba: POP
000006bb: POP
000006bc: POP
000006bd: SWAP3
000006be: SWAP2
000006bf: POP
000006c0: POP
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH1 0x23
000006c5: DUP5
000006c6: MLOAD
000006c7: GT
000006c8: ISZERO
000006c9: PUSH2 0x06f3
000006cc: JUMPI
000006cd: PUSH1 0x40
000006cf: MLOAD
000006d0: CALLER
000006d1: PUSH1 0x01
000006d3: PUSH1 0xa0
000006d5: PUSH1 0x02
000006d7: EXP
000006d8: SUB
000006d9: AND
000006da: SWAP1
000006db: DUP5
000006dc: SWAP1
000006dd: CALLVALUE
000006de: SWAP1
000006df: DUP3
000006e0: DUP2
000006e1: DUP2
000006e2: DUP2
000006e3: DUP6
000006e4: DUP9
000006e5: DUP4
000006e6: CALL
000006e7: SWAP4
000006e8: POP
000006e9: POP
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: POP
000006ef: PUSH2 0x06b9
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH32 0xbf322c7b8b8119cc4f8cedbc92262e6782a8528add1b6bebc256d59bd5f37608
00000715: DUP8
00000716: DUP9
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: DUP1
0000071b: DUP1
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: DUP1
00000720: PUSH1 0x20
00000722: ADD
00000723: DUP4
00000724: DUP2
00000725: SUB
00000726: DUP4
00000727: MSTORE
00000728: DUP6
00000729: DUP2
0000072a: DUP2
0000072b: MLOAD
0000072c: DUP2
0000072d: MSTORE
0000072e: PUSH1 0x20
00000730: ADD
00000731: SWAP2
00000732: POP
00000733: DUP1
00000734: MLOAD
00000735: SWAP1
00000736: PUSH1 0x20
00000738: ADD
00000739: SWAP1
0000073a: DUP1
0000073b: DUP4
0000073c: DUP4
0000073d: DUP3
0000073e: SWAP1
0000073f: PUSH1 0x00
00000741: PUSH1 0x04
00000743: PUSH1 0x20
00000745: DUP5
00000746: PUSH1 0x1f
00000748: ADD
00000749: DIV
0000074a: PUSH1 0x03
0000074c: MUL
0000074d: PUSH1 0x0f
0000074f: ADD
00000750: CALL
00000751: POP
00000752: SWAP1
00000753: POP
00000754: SWAP1
00000755: DUP2
00000756: ADD
00000757: SWAP1
00000758: PUSH1 0x1f
0000075a: AND
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x077a
00000760: JUMPI
00000761: DUP1
00000762: DUP3
00000763: SUB
00000764: DUP1
00000765: MLOAD
00000766: PUSH1 0x01
00000768: DUP4
00000769: PUSH1 0x20
0000076b: SUB
0000076c: PUSH2 0x0100
0000076f: EXP
00000770: SUB
00000771: NOT
00000772: AND
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: SWAP2
00000779: POP
0000077a: JUMPDEST
0000077b: POP
0000077c: DUP4
0000077d: DUP2
0000077e: SUB
0000077f: DUP3
00000780: MSTORE
00000781: DUP5
00000782: DUP2
00000783: DUP2
00000784: MLOAD
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP2
0000078b: POP
0000078c: DUP1
0000078d: MLOAD
0000078e: SWAP1
0000078f: PUSH1 0x20
00000791: ADD
00000792: SWAP1
00000793: DUP1
00000794: DUP4
00000795: DUP4
00000796: DUP3
00000797: SWAP1
00000798: PUSH1 0x00
0000079a: PUSH1 0x04
0000079c: PUSH1 0x20
0000079e: DUP5
0000079f: PUSH1 0x1f
000007a1: ADD
000007a2: DIV
000007a3: PUSH1 0x03
000007a5: MUL
000007a6: PUSH1 0x0f
000007a8: ADD
000007a9: CALL
000007aa: POP
000007ab: SWAP1
000007ac: POP
000007ad: SWAP1
000007ae: DUP2
000007af: ADD
000007b0: SWAP1
000007b1: PUSH1 0x1f
000007b3: AND
000007b4: DUP1
000007b5: ISZERO
000007b6: PUSH2 0x07d3
000007b9: JUMPI
000007ba: DUP1
000007bb: DUP3
000007bc: SUB
000007bd: DUP1
000007be: MLOAD
000007bf: PUSH1 0x01
000007c1: DUP4
000007c2: PUSH1 0x20
000007c4: SUB
000007c5: PUSH2 0x0100
000007c8: EXP
000007c9: SUB
000007ca: NOT
000007cb: AND
000007cc: DUP2
000007cd: MSTORE
000007ce: PUSH1 0x20
000007d0: ADD
000007d1: SWAP2
000007d2: POP
000007d3: JUMPDEST
000007d4: POP
000007d5: SWAP5
000007d6: POP
000007d7: POP
000007d8: POP
000007d9: POP
000007da: POP
000007db: PUSH1 0x40
000007dd: MLOAD
000007de: DUP1
000007df: SWAP2
000007e0: SUB
000007e1: SWAP1
000007e2: LOG1
000007e3: PUSH1 0x40
000007e5: DUP1
000007e6: MLOAD
000007e7: DUP1
000007e8: DUP3
000007e9: ADD
000007ea: DUP3
000007eb: MSTORE
000007ec: PUSH1 0x03
000007ee: DUP2
000007ef: MSTORE
000007f0: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
00000811: PUSH1 0x20
00000813: DUP3
00000814: DUP2
00000815: ADD
00000816: SWAP2
00000817: SWAP1
00000818: SWAP2
00000819: MSTORE
0000081a: DUP3
0000081b: MLOAD
0000081c: DUP1
0000081d: DUP10
0000081e: ADD
0000081f: DUP5
00000820: MSTORE
00000821: PUSH1 0x37
00000823: DUP2
00000824: MSTORE
00000825: PUSH32 0x6a736f6e28687474703a2f2f7274732e68752f736861706573686966742e7068
00000846: DUP2
00000847: DUP4
00000848: ADD
00000849: MSTORE
0000084a: PUSH32 0x703f706169723d6574685f627463292e6465706f736974000000000000000000
0000086b: DUP2
0000086c: DUP6
0000086d: ADD
0000086e: MSTORE
0000086f: DUP4
00000870: MLOAD
00000871: PUSH1 0xe0
00000873: PUSH1 0x02
00000875: EXP
00000876: PUSH4 0x38cc4831
0000087b: MUL
0000087c: DUP2
0000087d: MSTORE
0000087e: SWAP4
0000087f: MLOAD
00000880: PUSH2 0x06a4
00000883: SWAP5
00000884: SWAP2
00000885: SWAP3
00000886: DUP10
00000887: SWAP3
00000888: DUP10
00000889: SWAP3
0000088a: DUP9
0000088b: SWAP3
0000088c: DUP4
0000088d: SWAP3
0000088e: PUSH4 0x38cc4831
00000893: SWAP3
00000894: PUSH1 0x04
00000896: DUP3
00000897: DUP2
00000898: ADD
00000899: SWAP4
0000089a: SWAP3
0000089b: DUP3
0000089c: SWAP1
0000089d: SUB
0000089e: ADD
0000089f: DUP2
000008a0: DUP9
000008a1: DUP8
000008a2: PUSH2 0x61da
000008a5: GAS
000008a6: SUB
000008a7: CALL
000008a8: ISZERO
000008a9: PUSH2 0x0002
000008ac: JUMPI
000008ad: POP
000008ae: POP
000008af: POP
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: DUP1
000008b4: MLOAD
000008b5: SWAP1
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: POP
000008ba: PUSH1 0x00
000008bc: PUSH1 0x00
000008be: PUSH2 0x0100
000008c1: EXP
000008c2: DUP2
000008c3: SLOAD
000008c4: DUP2
000008c5: PUSH1 0x01
000008c7: PUSH1 0xa0
000008c9: PUSH1 0x02
000008cb: EXP
000008cc: SUB
000008cd: MUL
000008ce: NOT
000008cf: AND
000008d0: SWAP1
000008d1: DUP4
000008d2: MUL
000008d3: OR
000008d4: SWAP1
000008d5: SSTORE
000008d6: POP
000008d7: PUSH1 0x00
000008d9: PUSH1 0x00
000008db: SWAP1
000008dc: SLOAD
000008dd: SWAP1
000008de: PUSH2 0x0100
000008e1: EXP
000008e2: SWAP1
000008e3: DIV
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: PUSH1 0x02
000008ea: EXP
000008eb: SUB
000008ec: AND
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: PUSH1 0x02
000008f3: EXP
000008f4: SUB
000008f5: AND
000008f6: PUSH4 0x77228659
000008fb: PUSH1 0x00
000008fd: PUSH1 0x00
000008ff: SWAP1
00000900: SLOAD
00000901: SWAP1
00000902: PUSH2 0x0100
00000905: EXP
00000906: SWAP1
00000907: DIV
00000908: PUSH1 0x01
0000090a: PUSH1 0xa0
0000090c: PUSH1 0x02
0000090e: EXP
0000090f: SUB
00000910: AND
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: PUSH1 0x02
00000917: EXP
00000918: SUB
00000919: AND
0000091a: PUSH4 0x524f3889
0000091f: DUP9
00000920: PUSH1 0x40
00000922: MLOAD
00000923: DUP3
00000924: PUSH1 0xe0
00000926: PUSH1 0x02
00000928: EXP
00000929: MUL
0000092a: DUP2
0000092b: MSTORE
0000092c: PUSH1 0x04
0000092e: ADD
0000092f: DUP1
00000930: DUP1
00000931: PUSH1 0x20
00000933: ADD
00000934: DUP3
00000935: DUP2
00000936: SUB
00000937: DUP3
00000938: MSTORE
00000939: DUP4
0000093a: DUP2
0000093b: DUP2
0000093c: MLOAD
0000093d: DUP2
0000093e: MSTORE
0000093f: PUSH1 0x20
00000941: ADD
00000942: SWAP2
00000943: POP
00000944: DUP1
00000945: MLOAD
00000946: SWAP1
00000947: PUSH1 0x20
00000949: ADD
0000094a: SWAP1
0000094b: DUP1
0000094c: DUP4
0000094d: DUP4
0000094e: DUP3
0000094f: SWAP1
00000950: PUSH1 0x00
00000952: PUSH1 0x04
00000954: PUSH1 0x20
00000956: DUP5
00000957: PUSH1 0x1f
00000959: ADD
0000095a: DIV
0000095b: PUSH1 0x03
0000095d: MUL
0000095e: PUSH1 0x0f
00000960: ADD
00000961: CALL
00000962: POP
00000963: SWAP1
00000964: POP
00000965: SWAP1
00000966: DUP2
00000967: ADD
00000968: SWAP1
00000969: PUSH1 0x1f
0000096b: AND
0000096c: DUP1
0000096d: ISZERO
0000096e: PUSH2 0x098b
00000971: JUMPI
00000972: DUP1
00000973: DUP3
00000974: SUB
00000975: DUP1
00000976: MLOAD
00000977: PUSH1 0x01
00000979: DUP4
0000097a: PUSH1 0x20
0000097c: SUB
0000097d: PUSH2 0x0100
00000980: EXP
00000981: SUB
00000982: NOT
00000983: AND
00000984: DUP2
00000985: MSTORE
00000986: PUSH1 0x20
00000988: ADD
00000989: SWAP2
0000098a: POP
0000098b: JUMPDEST
0000098c: POP
0000098d: SWAP3
0000098e: POP
0000098f: POP
00000990: POP
00000991: PUSH1 0x20
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: DUP4
00000998: SUB
00000999: DUP2
0000099a: PUSH1 0x00
0000099c: DUP8
0000099d: PUSH2 0x61da
000009a0: GAS
000009a1: SUB
000009a2: CALL
000009a3: ISZERO
000009a4: PUSH2 0x0002
000009a7: JUMPI
000009a8: POP
000009a9: POP
000009aa: POP
000009ab: PUSH1 0x40
000009ad: MLOAD
000009ae: DUP1
000009af: MLOAD
000009b0: SWAP1
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: POP
000009b5: PUSH1 0x00
000009b7: DUP9
000009b8: DUP9
000009b9: DUP9
000009ba: PUSH1 0x40
000009bc: MLOAD
000009bd: DUP7
000009be: PUSH1 0xe0
000009c0: PUSH1 0x02
000009c2: EXP
000009c3: MUL
000009c4: DUP2
000009c5: MSTORE
000009c6: PUSH1 0x04
000009c8: ADD
000009c9: DUP1
000009ca: DUP6
000009cb: DUP2
000009cc: MSTORE
000009cd: PUSH1 0x20
000009cf: ADD
000009d0: DUP1
000009d1: PUSH1 0x20
000009d3: ADD
000009d4: DUP1
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: DUP1
000009d9: PUSH1 0x20
000009db: ADD
000009dc: DUP5
000009dd: DUP2
000009de: SUB
000009df: DUP5
000009e0: MSTORE
000009e1: DUP8
000009e2: DUP2
000009e3: DUP2
000009e4: MLOAD
000009e5: DUP2
000009e6: MSTORE
000009e7: PUSH1 0x20
000009e9: ADD
000009ea: SWAP2
000009eb: POP
000009ec: DUP1
000009ed: MLOAD
000009ee: SWAP1
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: SWAP1
000009f3: DUP1
000009f4: DUP4
000009f5: DUP4
000009f6: DUP3
000009f7: SWAP1
000009f8: PUSH1 0x00
000009fa: PUSH1 0x04
000009fc: PUSH1 0x20
000009fe: DUP5
000009ff: PUSH1 0x1f
00000a01: ADD
00000a02: DIV
00000a03: PUSH1 0x03
00000a05: MUL
00000a06: PUSH1 0x0f
00000a08: ADD
00000a09: CALL
00000a0a: POP
00000a0b: SWAP1
00000a0c: POP
00000a0d: SWAP1
00000a0e: DUP2
00000a0f: ADD
00000a10: SWAP1
00000a11: PUSH1 0x1f
00000a13: AND
00000a14: DUP1
00000a15: ISZERO
00000a16: PUSH2 0x0a33
00000a19: JUMPI
00000a1a: DUP1
00000a1b: DUP3
00000a1c: SUB
00000a1d: DUP1
00000a1e: MLOAD
00000a1f: PUSH1 0x01
00000a21: DUP4
00000a22: PUSH1 0x20
00000a24: SUB
00000a25: PUSH2 0x0100
00000a28: EXP
00000a29: SUB
00000a2a: NOT
00000a2b: AND
00000a2c: DUP2
00000a2d: MSTORE
00000a2e: PUSH1 0x20
00000a30: ADD
00000a31: SWAP2
00000a32: POP
00000a33: JUMPDEST
00000a34: POP
00000a35: DUP5
00000a36: DUP2
00000a37: SUB
00000a38: DUP4
00000a39: MSTORE
00000a3a: DUP7
00000a3b: DUP2
00000a3c: DUP2
00000a3d: MLOAD
00000a3e: DUP2
00000a3f: MSTORE
00000a40: PUSH1 0x20
00000a42: ADD
00000a43: SWAP2
00000a44: POP
00000a45: DUP1
00000a46: MLOAD
00000a47: SWAP1
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: SWAP1
00000a4c: DUP1
00000a4d: DUP4
00000a4e: DUP4
00000a4f: DUP3
00000a50: SWAP1
00000a51: PUSH1 0x00
00000a53: PUSH1 0x04
00000a55: PUSH1 0x20
00000a57: DUP5
00000a58: PUSH1 0x1f
00000a5a: ADD
00000a5b: DIV
00000a5c: PUSH1 0x03
00000a5e: MUL
00000a5f: PUSH1 0x0f
00000a61: ADD
00000a62: CALL
00000a63: POP
00000a64: SWAP1
00000a65: POP
00000a66: SWAP1
00000a67: DUP2
00000a68: ADD
00000a69: SWAP1
00000a6a: PUSH1 0x1f
00000a6c: AND
00000a6d: DUP1
00000a6e: ISZERO
00000a6f: PUSH2 0x0a8c
00000a72: JUMPI
00000a73: DUP1
00000a74: DUP3
00000a75: SUB
00000a76: DUP1
00000a77: MLOAD
00000a78: PUSH1 0x01
00000a7a: DUP4
00000a7b: PUSH1 0x20
00000a7d: SUB
00000a7e: PUSH2 0x0100
00000a81: EXP
00000a82: SUB
00000a83: NOT
00000a84: AND
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: SWAP2
00000a8b: POP
00000a8c: JUMPDEST
00000a8d: POP
00000a8e: DUP5
00000a8f: DUP2
00000a90: SUB
00000a91: DUP3
00000a92: MSTORE
00000a93: DUP6
00000a94: DUP2
00000a95: DUP2
00000a96: MLOAD
00000a97: DUP2
00000a98: MSTORE
00000a99: PUSH1 0x20
00000a9b: ADD
00000a9c: SWAP2
00000a9d: POP
00000a9e: DUP1
00000a9f: MLOAD
00000aa0: SWAP1
00000aa1: PUSH1 0x20
00000aa3: ADD
00000aa4: SWAP1
00000aa5: DUP1
00000aa6: DUP4
00000aa7: DUP4
00000aa8: DUP3
00000aa9: SWAP1
00000aaa: PUSH1 0x00
00000aac: PUSH1 0x04
00000aae: PUSH1 0x20
00000ab0: DUP5
00000ab1: PUSH1 0x1f
00000ab3: ADD
00000ab4: DIV
00000ab5: PUSH1 0x03
00000ab7: MUL
00000ab8: PUSH1 0x0f
00000aba: ADD
00000abb: CALL
00000abc: POP
00000abd: SWAP1
00000abe: POP
00000abf: SWAP1
00000ac0: DUP2
00000ac1: ADD
00000ac2: SWAP1
00000ac3: PUSH1 0x1f
00000ac5: AND
00000ac6: DUP1
00000ac7: ISZERO
00000ac8: PUSH2 0x0ae5
00000acb: JUMPI
00000acc: DUP1
00000acd: DUP3
00000ace: SUB
00000acf: DUP1
00000ad0: MLOAD
00000ad1: PUSH1 0x01
00000ad3: DUP4
00000ad4: PUSH1 0x20
00000ad6: SUB
00000ad7: PUSH2 0x0100
00000ada: EXP
00000adb: SUB
00000adc: NOT
00000add: AND
00000ade: DUP2
00000adf: MSTORE
00000ae0: PUSH1 0x20
00000ae2: ADD
00000ae3: SWAP2
00000ae4: POP
00000ae5: JUMPDEST
00000ae6: POP
00000ae7: SWAP8
00000ae8: POP
00000ae9: POP
00000aea: POP
00000aeb: POP
00000aec: POP
00000aed: POP
00000aee: POP
00000aef: POP
00000af0: PUSH1 0x20
00000af2: PUSH1 0x40
00000af4: MLOAD
00000af5: DUP1
00000af6: DUP4
00000af7: SUB
00000af8: DUP2
00000af9: DUP6
00000afa: DUP9
00000afb: PUSH2 0x8502
00000afe: GAS
00000aff: SUB
00000b00: CALL
00000b01: ISZERO
00000b02: PUSH2 0x0002
00000b05: JUMPI
00000b06: POP
00000b07: POP
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: MLOAD
00000b0c: SWAP8
00000b0d: SWAP7
00000b0e: POP
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: POP
00000b15: JUMP
00000b16: JUMPDEST
00000b17: JUMP
00000b18: JUMPDEST
00000b19: POP
00000b1a: SWAP2
00000b1b: SWAP6
00000b1c: SWAP5
00000b1d: POP
00000b1e: POP
00000b1f: POP
00000b20: POP
00000b21: POP
00000b22: JUMP
00000b23: JUMPDEST
00000b24: PUSH1 0x30
00000b26: DUP4
00000b27: PUSH1 0x01
00000b29: PUSH1 0xa0
00000b2b: PUSH1 0x02
00000b2d: EXP
00000b2e: SUB
00000b2f: AND
00000b30: LT
00000b31: ISZERO
00000b32: DUP1
00000b33: ISZERO
00000b34: PUSH2 0x0b47
00000b37: JUMPI
00000b38: POP
00000b39: PUSH1 0x39
00000b3b: DUP4
00000b3c: PUSH1 0x01
00000b3e: PUSH1 0xa0
00000b40: PUSH1 0x02
00000b42: EXP
00000b43: SUB
00000b44: AND
00000b45: GT
00000b46: ISZERO
00000b47: JUMPDEST
00000b48: ISZERO
00000b49: PUSH2 0x0b54
00000b4c: JUMPI
00000b4d: PUSH1 0x2f
00000b4f: NOT
00000b50: SWAP1
00000b51: SWAP3
00000b52: ADD
00000b53: SWAP2
00000b54: JUMPDEST
00000b55: PUSH1 0x61
00000b57: DUP3
00000b58: PUSH1 0x01
00000b5a: PUSH1 0xa0
00000b5c: PUSH1 0x02
00000b5e: EXP
00000b5f: SUB
00000b60: AND
00000b61: LT
00000b62: ISZERO
00000b63: DUP1
00000b64: ISZERO
00000b65: PUSH2 0x0b78
00000b68: JUMPI
00000b69: POP
00000b6a: PUSH1 0x66
00000b6c: DUP3
00000b6d: PUSH1 0x01
00000b6f: PUSH1 0xa0
00000b71: PUSH1 0x02
00000b73: EXP
00000b74: SUB
00000b75: AND
00000b76: GT
00000b77: ISZERO
00000b78: JUMPDEST
00000b79: ISZERO
00000b7a: PUSH2 0x0b89
00000b7d: JUMPI
00000b7e: PUSH1 0x56
00000b80: NOT
00000b81: SWAP1
00000b82: SWAP2
00000b83: ADD
00000b84: SWAP1
00000b85: PUSH2 0x0bba
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x30
00000b8c: DUP3
00000b8d: PUSH1 0x01
00000b8f: PUSH1 0xa0
00000b91: PUSH1 0x02
00000b93: EXP
00000b94: SUB
00000b95: AND
00000b96: LT
00000b97: ISZERO
00000b98: DUP1
00000b99: ISZERO
00000b9a: PUSH2 0x0bad
00000b9d: JUMPI
00000b9e: POP
00000b9f: PUSH1 0x39
00000ba1: DUP3
00000ba2: PUSH1 0x01
00000ba4: PUSH1 0xa0
00000ba6: PUSH1 0x02
00000ba8: EXP
00000ba9: SUB
00000baa: AND
00000bab: GT
00000bac: ISZERO
00000bad: JUMPDEST
00000bae: ISZERO
00000baf: PUSH2 0x0bba
00000bb2: JUMPI
00000bb3: PUSH1 0x2f
00000bb5: NOT
00000bb6: SWAP1
00000bb7: SWAP2
00000bb8: ADD
00000bb9: SWAP1
00000bba: JUMPDEST
00000bbb: PUSH1 0x10
00000bbd: DUP4
00000bbe: MUL
00000bbf: DUP3
00000bc0: ADD
00000bc1: SWAP1
00000bc2: SWAP4
00000bc3: ADD
00000bc4: SWAP3
00000bc5: PUSH1 0x02
00000bc7: ADD
00000bc8: PUSH2 0x0598
00000bcb: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xeede048007956edaa2a81c299b5b3653cef55530d06393bb8cbd9b1b0c3593c0
call_targets: 0x216ef5ace4247552f4d4c11769f44776107004ed
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeede048007956edaa2a81c299b5b3653cef55530d06393bb8cbd9b1b0c3593c0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x216ef5ace4247552f4d4c11769f44776107004ed"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x504ac982",
            "selector": "0x504ac982",
            "calldata_variants": [
                "0x504ac982",
                "0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x59eaac53",
            "selector": "0x59eaac53",
            "calldata_variants": [
                "0x59eaac53",
                "0x59eaac530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5ad77157",
            "selector": "0x5ad77157",
            "calldata_variants": [
                "0x5ad77157",
                "0x5ad771570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 430,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 762,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 912,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 18,
    "guards_detected": [],
    "untrusted_call_count": 17
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xeede048007956edaa2a81c299b5b3653cef55530d06393bb8cbd9b1b0c3593c0
call_targets: 0x216ef5ace4247552f4d4c11769f44776107004ed
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeede048007956edaa2a81c299b5b3653cef55530d06393bb8cbd9b1b0c3593c0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x216ef5ace4247552f4d4c11769f44776107004ed"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x504ac982",
            "selector": "0x504ac982",
            "calldata_variants": [
                "0x504ac982",
                "0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x59eaac53",
            "selector": "0x59eaac53",
            "calldata_variants": [
                "0x59eaac53",
                "0x59eaac530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5ad77157",
            "selector": "0x5ad77157",
            "calldata_variants": [
                "0x5ad77157",
                "0x5ad771570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 307,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "constant"
        },
        {
            "pc": 430,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 762,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 18,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0xe2be26fbedc138caa820768f58dcd32fce2ab0e00dba77db8bed975999d42f00
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 12,
    "trace_id": "0xe2be26fbedc138caa820768f58dcd32fce2ab0e00dba77db8bed975999d42f00",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x504ac982",
            "selector": "0x504ac982",
            "calldata_variants": [
                "0x504ac982",
                "0x504ac9820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x59eaac53",
            "selector": "0x59eaac53",
            "calldata_variants": [
                "0x59eaac53",
                "0x59eaac530000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5ad77157",
            "selector": "0x5ad77157",
            "calldata_variants": [
                "0x5ad77157",
                "0x5ad771570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}