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

Analysis Run

019b3836-24aa-7315-bd18-9944597efb83

complete
Chain ID
1
Address
0xe9003edee4ec79d59e8cfbd8fb4d8fae3a02419d
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
ETH value transfer possible
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
663 artifact.fetch complete 1 / 3 3 months ago
664 tool.cast_disasm complete 1 / 3 3 months ago
43991 analysis.bundle complete 1 / 3 1 week ago
43992 capability.graph complete 1 / 3 1 week ago
43993 detector.run complete 1 / 3 1 week ago
43994 validation.fork complete 1 / 3 1 week 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)
17
EXT*/BALANCE
0
Total opcodes
2010
Flags
selfdestruct_present call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0xe0
00000007: PUSH1 0x02
00000009: EXP
0000000a: PUSH1 0x00
0000000c: CALLDATALOAD
0000000d: DIV
0000000e: PUSH4 0x13af4035
00000013: DUP2
00000014: EQ
00000015: PUSH2 0x0047
00000018: JUMPI
00000019: DUP1
0000001a: PUSH4 0x27dc297e
0000001f: EQ
00000020: PUSH2 0x0088
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x41c0e1b5
0000002a: EQ
0000002b: PUSH2 0x01b0
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x504ac982
00000035: EQ
00000036: PUSH2 0x01d7
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x59eaac53
00000040: EQ
00000041: PUSH2 0x04ce
00000044: JUMPI
00000045: JUMPDEST
00000046: STOP
00000047: JUMPDEST
00000048: PUSH2 0x0045
0000004b: PUSH1 0x04
0000004d: CALLDATALOAD
0000004e: PUSH1 0x02
00000050: SLOAD
00000051: PUSH1 0x01
00000053: PUSH1 0xa0
00000055: PUSH1 0x02
00000057: EXP
00000058: SUB
00000059: SWAP1
0000005a: DUP2
0000005b: AND
0000005c: CALLER
0000005d: SWAP1
0000005e: SWAP2
0000005f: AND
00000060: EQ
00000061: ISZERO
00000062: PUSH2 0x0085
00000065: JUMPI
00000066: PUSH1 0x02
00000068: DUP1
00000069: SLOAD
0000006a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000007f: NOT
00000080: AND
00000081: DUP3
00000082: OR
00000083: SWAP1
00000084: SSTORE
00000085: JUMPDEST
00000086: POP
00000087: JUMP
00000088: JUMPDEST
00000089: PUSH1 0x20
0000008b: PUSH1 0x24
0000008d: DUP1
0000008e: CALLDATALOAD
0000008f: PUSH1 0x04
00000091: DUP2
00000092: DUP2
00000093: ADD
00000094: CALLDATALOAD
00000095: PUSH1 0x1f
00000097: DUP2
00000098: ADD
00000099: DUP6
0000009a: SWAP1
0000009b: DIV
0000009c: SWAP1
0000009d: SWAP5
0000009e: MUL
0000009f: PUSH1 0x80
000000a1: SWAP1
000000a2: DUP2
000000a3: ADD
000000a4: PUSH1 0x40
000000a6: MSTORE
000000a7: PUSH1 0x60
000000a9: DUP6
000000aa: DUP2
000000ab: MSTORE
000000ac: PUSH2 0x0045
000000af: SWAP6
000000b0: DUP4
000000b1: CALLDATALOAD
000000b2: SWAP6
000000b3: SWAP4
000000b4: SWAP5
000000b5: PUSH1 0x44
000000b7: SWAP5
000000b8: SWAP3
000000b9: SWAP4
000000ba: SWAP3
000000bb: ADD
000000bc: SWAP2
000000bd: DUP2
000000be: SWAP1
000000bf: DUP4
000000c0: DUP3
000000c1: DUP1
000000c2: DUP3
000000c3: DUP5
000000c4: CALLDATACOPY
000000c5: POP
000000c6: SWAP5
000000c7: SWAP7
000000c8: POP
000000c9: POP
000000ca: POP
000000cb: POP
000000cc: POP
000000cd: POP
000000ce: POP
000000cf: PUSH1 0x00
000000d1: PUSH1 0x00
000000d3: PUSH2 0x04f8
000000d6: PUSH1 0x00
000000d8: PUSH1 0x00
000000da: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000000ef: SWAP1
000000f0: POP
000000f1: DUP1
000000f2: PUSH1 0x01
000000f4: PUSH1 0xa0
000000f6: PUSH1 0x02
000000f8: EXP
000000f9: SUB
000000fa: AND
000000fb: PUSH4 0x38cc4831
00000100: PUSH1 0x40
00000102: MLOAD
00000103: DUP2
00000104: PUSH1 0xe0
00000106: PUSH1 0x02
00000108: EXP
00000109: MUL
0000010a: DUP2
0000010b: MSTORE
0000010c: PUSH1 0x04
0000010e: ADD
0000010f: DUP1
00000110: SWAP1
00000111: POP
00000112: PUSH1 0x20
00000114: PUSH1 0x40
00000116: MLOAD
00000117: DUP1
00000118: DUP4
00000119: SUB
0000011a: DUP2
0000011b: PUSH1 0x00
0000011d: DUP8
0000011e: PUSH2 0x61da
00000121: GAS
00000122: SUB
00000123: CALL
00000124: ISZERO
00000125: PUSH2 0x0002
00000128: JUMPI
00000129: POP
0000012a: POP
0000012b: PUSH1 0x40
0000012d: DUP1
0000012e: MLOAD
0000012f: DUP1
00000130: MLOAD
00000131: DUP6
00000132: SLOAD
00000133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000148: NOT
00000149: AND
0000014a: OR
0000014b: DUP1
0000014c: DUP7
0000014d: SSTORE
0000014e: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
0000016f: DUP3
00000170: MSTORE
00000171: SWAP2
00000172: MLOAD
00000173: PUSH1 0x01
00000175: PUSH1 0xa0
00000177: PUSH1 0x02
00000179: EXP
0000017a: SUB
0000017b: SWAP3
0000017c: SWAP1
0000017d: SWAP3
0000017e: AND
0000017f: SWAP3
00000180: POP
00000181: PUSH4 0xc281d19e
00000186: SWAP2
00000187: PUSH1 0x04
00000189: DUP3
0000018a: DUP2
0000018b: ADD
0000018c: SWAP3
0000018d: PUSH1 0x20
0000018f: SWAP3
00000190: SWAP2
00000191: SWAP1
00000192: DUP3
00000193: SWAP1
00000194: SUB
00000195: ADD
00000196: DUP2
00000197: DUP9
00000198: DUP8
00000199: PUSH2 0x61da
0000019c: GAS
0000019d: SUB
0000019e: CALL
0000019f: ISZERO
000001a0: PUSH2 0x0002
000001a3: JUMPI
000001a4: POP
000001a5: POP
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: MLOAD
000001aa: SWAP3
000001ab: POP
000001ac: POP
000001ad: POP
000001ae: SWAP1
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH2 0x0045
000001b4: PUSH1 0x02
000001b6: SLOAD
000001b7: PUSH1 0x01
000001b9: PUSH1 0xa0
000001bb: PUSH1 0x02
000001bd: EXP
000001be: SUB
000001bf: SWAP1
000001c0: DUP2
000001c1: AND
000001c2: CALLER
000001c3: SWAP1
000001c4: SWAP2
000001c5: AND
000001c6: EQ
000001c7: ISZERO
000001c8: PUSH2 0x0aec
000001cb: JUMPI
000001cc: CALLER
000001cd: PUSH1 0x01
000001cf: PUSH1 0xa0
000001d1: PUSH1 0x02
000001d3: EXP
000001d4: SUB
000001d5: AND
000001d6: SELFDESTRUCT
000001d7: JUMPDEST
000001d8: PUSH1 0x80
000001da: PUSH1 0x20
000001dc: PUSH1 0x04
000001de: DUP1
000001df: CALLDATALOAD
000001e0: DUP1
000001e1: DUP3
000001e2: ADD
000001e3: CALLDATALOAD
000001e4: PUSH1 0x1f
000001e6: DUP2
000001e7: ADD
000001e8: DUP5
000001e9: SWAP1
000001ea: DIV
000001eb: SWAP1
000001ec: SWAP4
000001ed: MUL
000001ee: DUP5
000001ef: ADD
000001f0: PUSH1 0x40
000001f2: MSTORE
000001f3: PUSH1 0x60
000001f5: DUP4
000001f6: DUP2
000001f7: MSTORE
000001f8: PUSH2 0x04e6
000001fb: SWAP5
000001fc: SWAP3
000001fd: SWAP4
000001fe: PUSH1 0x24
00000200: SWAP4
00000201: SWAP2
00000202: SWAP3
00000203: DUP5
00000204: ADD
00000205: SWAP2
00000206: DUP2
00000207: SWAP1
00000208: DUP4
00000209: DUP3
0000020a: DUP1
0000020b: DUP3
0000020c: DUP5
0000020d: CALLDATACOPY
0000020e: POP
0000020f: POP
00000210: PUSH1 0x40
00000212: DUP1
00000213: MLOAD
00000214: PUSH1 0x20
00000216: DUP9
00000217: CALLDATALOAD
00000218: DUP1
00000219: DUP12
0000021a: ADD
0000021b: CALLDATALOAD
0000021c: PUSH1 0x1f
0000021e: DUP2
0000021f: ADD
00000220: DUP4
00000221: SWAP1
00000222: DIV
00000223: DUP4
00000224: MUL
00000225: DUP5
00000226: ADD
00000227: DUP4
00000228: ADD
00000229: SWAP1
0000022a: SWAP5
0000022b: MSTORE
0000022c: DUP4
0000022d: DUP4
0000022e: MSTORE
0000022f: SWAP8
00000230: SWAP10
00000231: SWAP9
00000232: PUSH1 0x44
00000234: SWAP9
00000235: SWAP3
00000236: SWAP8
00000237: POP
00000238: SWAP2
00000239: SWAP1
0000023a: SWAP2
0000023b: ADD
0000023c: SWAP5
0000023d: POP
0000023e: SWAP1
0000023f: SWAP3
00000240: POP
00000241: DUP3
00000242: SWAP2
00000243: POP
00000244: DUP5
00000245: ADD
00000246: DUP4
00000247: DUP3
00000248: DUP1
00000249: DUP3
0000024a: DUP5
0000024b: CALLDATACOPY
0000024c: POP
0000024d: POP
0000024e: PUSH1 0x40
00000250: DUP1
00000251: MLOAD
00000252: PUSH1 0x20
00000254: DUP2
00000255: DUP2
00000256: ADD
00000257: DUP4
00000258: MSTORE
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: DUP4
0000025d: MSTORE
0000025e: DUP4
0000025f: MLOAD
00000260: DUP1
00000261: DUP4
00000262: ADD
00000263: DUP6
00000264: MSTORE
00000265: DUP2
00000266: DUP2
00000267: MSTORE
00000268: DUP5
00000269: MLOAD
0000026a: DUP1
0000026b: DUP5
0000026c: ADD
0000026d: DUP7
0000026e: MSTORE
0000026f: DUP3
00000270: DUP2
00000271: MSTORE
00000272: DUP6
00000273: MLOAD
00000274: DUP1
00000275: DUP8
00000276: ADD
00000277: DUP8
00000278: MSTORE
00000279: PUSH1 0x0c
0000027b: DUP2
0000027c: MSTORE
0000027d: PUSH32 0x4841434b696e4455424c494e0000000000000000000000000000000000000000
0000029e: DUP2
0000029f: DUP7
000002a0: ADD
000002a1: MSTORE
000002a2: DUP7
000002a3: MLOAD
000002a4: PUSH1 0xe0
000002a6: PUSH1 0x02
000002a8: EXP
000002a9: PUSH4 0x38cc4831
000002ae: MUL
000002af: DUP2
000002b0: MSTORE
000002b1: SWAP7
000002b2: MLOAD
000002b3: SWAP12
000002b4: SWAP14
000002b5: SWAP4
000002b6: SWAP13
000002b7: POP
000002b8: SWAP5
000002b9: SWAP11
000002ba: SWAP2
000002bb: SWAP10
000002bc: POP
000002bd: SWAP8
000002be: POP
000002bf: DUP11
000002c0: SWAP7
000002c1: POP
000002c2: SWAP3
000002c3: SWAP5
000002c4: POP
000002c5: PUSH20 0x1d11e5eae3112dbd44f99266872ff1d07c77dce8
000002da: SWAP4
000002db: DUP5
000002dc: SWAP4
000002dd: PUSH4 0x38cc4831
000002e2: SWAP4
000002e3: DUP3
000002e4: DUP5
000002e5: ADD
000002e6: SWAP4
000002e7: SWAP1
000002e8: SWAP3
000002e9: DUP3
000002ea: SWAP1
000002eb: SUB
000002ec: ADD
000002ed: DUP2
000002ee: DUP10
000002ef: DUP8
000002f0: PUSH2 0x61da
000002f3: GAS
000002f4: SUB
000002f5: CALL
000002f6: ISZERO
000002f7: PUSH2 0x0002
000002fa: JUMPI
000002fb: POP
000002fc: POP
000002fd: POP
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: DUP1
00000302: MLOAD
00000303: SWAP1
00000304: PUSH1 0x20
00000306: ADD
00000307: POP
00000308: PUSH1 0x00
0000030a: PUSH1 0x00
0000030c: PUSH2 0x0100
0000030f: EXP
00000310: DUP2
00000311: SLOAD
00000312: DUP2
00000313: PUSH1 0x01
00000315: PUSH1 0xa0
00000317: PUSH1 0x02
00000319: EXP
0000031a: SUB
0000031b: MUL
0000031c: NOT
0000031d: AND
0000031e: SWAP1
0000031f: DUP4
00000320: MUL
00000321: OR
00000322: SWAP1
00000323: SSTORE
00000324: POP
00000325: PUSH1 0x00
00000327: PUSH1 0x00
00000329: SWAP1
0000032a: SLOAD
0000032b: SWAP1
0000032c: PUSH2 0x0100
0000032f: EXP
00000330: SWAP1
00000331: DIV
00000332: PUSH1 0x01
00000334: PUSH1 0xa0
00000336: PUSH1 0x02
00000338: EXP
00000339: SUB
0000033a: AND
0000033b: PUSH1 0x01
0000033d: PUSH1 0xa0
0000033f: PUSH1 0x02
00000341: EXP
00000342: SUB
00000343: AND
00000344: PUSH4 0x60f66701
00000349: DUP4
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: DUP3
0000034e: PUSH1 0xe0
00000350: PUSH1 0x02
00000352: EXP
00000353: MUL
00000354: DUP2
00000355: MSTORE
00000356: PUSH1 0x04
00000358: ADD
00000359: DUP1
0000035a: DUP1
0000035b: PUSH1 0x20
0000035d: ADD
0000035e: DUP3
0000035f: DUP2
00000360: SUB
00000361: DUP3
00000362: MSTORE
00000363: DUP4
00000364: DUP2
00000365: DUP2
00000366: MLOAD
00000367: DUP2
00000368: MSTORE
00000369: PUSH1 0x20
0000036b: ADD
0000036c: SWAP2
0000036d: POP
0000036e: DUP1
0000036f: MLOAD
00000370: SWAP1
00000371: PUSH1 0x20
00000373: ADD
00000374: SWAP1
00000375: DUP1
00000376: DUP4
00000377: DUP4
00000378: DUP3
00000379: SWAP1
0000037a: PUSH1 0x00
0000037c: PUSH1 0x04
0000037e: PUSH1 0x20
00000380: DUP5
00000381: PUSH1 0x1f
00000383: ADD
00000384: DIV
00000385: PUSH1 0x03
00000387: MUL
00000388: PUSH1 0x0f
0000038a: ADD
0000038b: CALL
0000038c: POP
0000038d: SWAP1
0000038e: POP
0000038f: SWAP1
00000390: DUP2
00000391: ADD
00000392: SWAP1
00000393: PUSH1 0x1f
00000395: AND
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03b5
0000039b: JUMPI
0000039c: DUP1
0000039d: DUP3
0000039e: SUB
0000039f: DUP1
000003a0: MLOAD
000003a1: PUSH1 0x01
000003a3: DUP4
000003a4: PUSH1 0x20
000003a6: SUB
000003a7: PUSH2 0x0100
000003aa: EXP
000003ab: SUB
000003ac: NOT
000003ad: AND
000003ae: DUP2
000003af: MSTORE
000003b0: PUSH1 0x20
000003b2: ADD
000003b3: SWAP2
000003b4: POP
000003b5: JUMPDEST
000003b6: POP
000003b7: SWAP3
000003b8: POP
000003b9: POP
000003ba: POP
000003bb: PUSH1 0x00
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: DUP1
000003c1: DUP4
000003c2: SUB
000003c3: DUP2
000003c4: PUSH1 0x00
000003c6: DUP8
000003c7: PUSH2 0x61da
000003ca: GAS
000003cb: SUB
000003cc: CALL
000003cd: ISZERO
000003ce: PUSH2 0x0002
000003d1: JUMPI
000003d2: POP
000003d3: POP
000003d4: POP
000003d5: DUP9
000003d6: SWAP6
000003d7: POP
000003d8: DUP8
000003d9: SWAP5
000003da: POP
000003db: DUP6
000003dc: PUSH1 0x00
000003de: DUP2
000003df: MLOAD
000003e0: DUP2
000003e1: LT
000003e2: ISZERO
000003e3: PUSH2 0x0002
000003e6: JUMPI
000003e7: POP
000003e8: POP
000003e9: PUSH1 0x80
000003eb: MLOAD
000003ec: PUSH1 0xf8
000003ee: PUSH1 0x02
000003f0: EXP
000003f1: SWAP1
000003f2: DUP2
000003f3: SWAP1
000003f4: DIV
000003f5: MUL
000003f6: PUSH32 0x6200000000000000000000000000000000000000000000000000000000000000
00000417: EQ
00000418: ISZERO
00000419: DUP1
0000041a: PUSH2 0x045d
0000041d: JUMPI
0000041e: POP
0000041f: DUP6
00000420: PUSH1 0x01
00000422: DUP2
00000423: MLOAD
00000424: DUP2
00000425: LT
00000426: ISZERO
00000427: PUSH2 0x0002
0000042a: JUMPI
0000042b: POP
0000042c: POP
0000042d: PUSH1 0x81
0000042f: MLOAD
00000430: PUSH1 0xf8
00000432: PUSH1 0x02
00000434: EXP
00000435: SWAP1
00000436: DUP2
00000437: SWAP1
00000438: DIV
00000439: MUL
0000043a: PUSH32 0x7400000000000000000000000000000000000000000000000000000000000000
0000045b: EQ
0000045c: ISZERO
0000045d: JUMPDEST
0000045e: DUP1
0000045f: PUSH2 0x04a2
00000462: JUMPI
00000463: POP
00000464: DUP6
00000465: PUSH1 0x02
00000467: DUP2
00000468: MLOAD
00000469: DUP2
0000046a: LT
0000046b: ISZERO
0000046c: PUSH2 0x0002
0000046f: JUMPI
00000470: POP
00000471: POP
00000472: PUSH1 0x82
00000474: MLOAD
00000475: PUSH1 0xf8
00000477: PUSH1 0x02
00000479: EXP
0000047a: SWAP1
0000047b: DUP2
0000047c: SWAP1
0000047d: DIV
0000047e: MUL
0000047f: PUSH32 0x6300000000000000000000000000000000000000000000000000000000000000
000004a0: EQ
000004a1: ISZERO
000004a2: JUMPDEST
000004a3: ISZERO
000004a4: PUSH2 0x065c
000004a7: JUMPI
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: CALLER
000004ac: PUSH1 0x01
000004ae: PUSH1 0xa0
000004b0: PUSH1 0x02
000004b2: EXP
000004b3: SUB
000004b4: AND
000004b5: SWAP1
000004b6: DUP5
000004b7: SWAP1
000004b8: CALLVALUE
000004b9: SWAP1
000004ba: DUP3
000004bb: DUP2
000004bc: DUP2
000004bd: DUP2
000004be: DUP6
000004bf: DUP9
000004c0: DUP4
000004c1: CALL
000004c2: SWAP4
000004c3: POP
000004c4: POP
000004c5: POP
000004c6: POP
000004c7: POP
000004c8: POP
000004c9: POP
000004ca: PUSH2 0x0652
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH2 0x04e6
000004d2: PUSH1 0x04
000004d4: CALLDATALOAD
000004d5: PUSH1 0x01
000004d7: PUSH1 0x20
000004d9: MSTORE
000004da: PUSH1 0x00
000004dc: SWAP1
000004dd: DUP2
000004de: MSTORE
000004df: PUSH1 0x40
000004e1: SWAP1
000004e2: KECCAK256
000004e3: SLOAD
000004e4: DUP2
000004e5: JUMP
000004e6: JUMPDEST
000004e7: PUSH1 0x40
000004e9: DUP1
000004ea: MLOAD
000004eb: SWAP2
000004ec: DUP3
000004ed: MSTORE
000004ee: MLOAD
000004ef: SWAP1
000004f0: DUP2
000004f1: SWAP1
000004f2: SUB
000004f3: PUSH1 0x20
000004f5: ADD
000004f6: SWAP1
000004f7: RETURN
000004f8: JUMPDEST
000004f9: PUSH1 0x01
000004fb: PUSH1 0xa0
000004fd: PUSH1 0x02
000004ff: EXP
00000500: SUB
00000501: AND
00000502: CALLER
00000503: PUSH1 0x01
00000505: PUSH1 0xa0
00000507: PUSH1 0x02
00000509: EXP
0000050a: SUB
0000050b: AND
0000050c: EQ
0000050d: ISZERO
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH2 0x0002
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH2 0x05b9
0000051b: DUP4
0000051c: PUSH1 0x40
0000051e: DUP1
0000051f: MLOAD
00000520: PUSH1 0x20
00000522: DUP2
00000523: ADD
00000524: SWAP1
00000525: SWAP2
00000526: MSTORE
00000527: DUP4
00000528: SWAP1
00000529: MSTORE
0000052a: DUP3
0000052b: DUP2
0000052c: DUP2
0000052d: DUP1
0000052e: DUP1
0000052f: PUSH1 0x02
00000531: JUMPDEST
00000532: PUSH1 0x2a
00000534: DUP2
00000535: LT
00000536: ISZERO
00000537: PUSH2 0x0aee
0000053a: JUMPI
0000053b: PUSH2 0x0100
0000053e: DUP5
0000053f: MUL
00000540: SWAP4
00000541: POP
00000542: DUP4
00000543: POP
00000544: DUP5
00000545: DUP2
00000546: DUP2
00000547: MLOAD
00000548: DUP2
00000549: LT
0000054a: ISZERO
0000054b: PUSH2 0x0002
0000054e: JUMPI
0000054f: DUP2
00000550: MLOAD
00000551: PUSH1 0x80
00000553: SWAP2
00000554: SWAP1
00000555: SWAP2
00000556: ADD
00000557: MLOAD
00000558: PUSH1 0xf8
0000055a: PUSH1 0x02
0000055c: EXP
0000055d: SWAP1
0000055e: DUP2
0000055f: SWAP1
00000560: DIV
00000561: DUP2
00000562: MUL
00000563: DIV
00000564: SWAP5
00000565: POP
00000566: PUSH1 0x01
00000568: DUP4
00000569: ADD
0000056a: SWAP1
0000056b: DUP2
0000056c: LT
0000056d: ISZERO
0000056e: PUSH2 0x0002
00000571: JUMPI
00000572: PUSH1 0x80
00000574: ADD
00000575: MLOAD
00000576: PUSH1 0xf8
00000578: PUSH1 0x02
0000057a: EXP
0000057b: SWAP1
0000057c: DUP2
0000057d: SWAP1
0000057e: DIV
0000057f: DUP2
00000580: MUL
00000581: DIV
00000582: SWAP3
00000583: POP
00000584: POP
00000585: PUSH1 0x61
00000587: PUSH1 0x01
00000589: PUSH1 0xa0
0000058b: PUSH1 0x02
0000058d: EXP
0000058e: SUB
0000058f: DUP5
00000590: AND
00000591: LT
00000592: DUP1
00000593: ISZERO
00000594: SWAP1
00000595: PUSH2 0x05a8
00000598: JUMPI
00000599: POP
0000059a: PUSH1 0x66
0000059c: DUP4
0000059d: PUSH1 0x01
0000059f: PUSH1 0xa0
000005a1: PUSH1 0x02
000005a3: EXP
000005a4: SUB
000005a5: AND
000005a6: GT
000005a7: ISZERO
000005a8: JUMPDEST
000005a9: ISZERO
000005aa: PUSH2 0x0af9
000005ad: JUMPI
000005ae: PUSH1 0x56
000005b0: NOT
000005b1: SWAP1
000005b2: SWAP3
000005b3: ADD
000005b4: SWAP2
000005b5: PUSH2 0x0b2a
000005b8: JUMP
000005b9: JUMPDEST
000005ba: SWAP1
000005bb: DUP5
000005bc: SWAP1
000005bd: MSTORE
000005be: PUSH1 0x01
000005c0: PUSH1 0x20
000005c2: MSTORE
000005c3: PUSH1 0x40
000005c5: DUP1
000005c6: DUP4
000005c7: KECCAK256
000005c8: DUP1
000005c9: SLOAD
000005ca: SWAP1
000005cb: DUP5
000005cc: SWAP1
000005cd: SSTORE
000005ce: SWAP1
000005cf: MLOAD
000005d0: SWAP2
000005d1: SWAP3
000005d2: SWAP1
000005d3: SWAP2
000005d4: PUSH1 0x01
000005d6: PUSH1 0xa0
000005d8: PUSH1 0x02
000005da: EXP
000005db: SUB
000005dc: DUP5
000005dd: AND
000005de: SWAP2
000005df: SWAP1
000005e0: DUP4
000005e1: SWAP1
000005e2: DUP3
000005e3: DUP2
000005e4: DUP2
000005e5: DUP2
000005e6: DUP6
000005e7: DUP9
000005e8: DUP4
000005e9: CALL
000005ea: SWAP4
000005eb: POP
000005ec: POP
000005ed: POP
000005ee: POP
000005ef: POP
000005f0: PUSH32 0x6cceb87e66d18f4701a4f727fe32d37f665c1c5b374e4247bc613979cb69c074
00000611: DUP3
00000612: DUP3
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP1
00000617: DUP4
00000618: PUSH1 0x01
0000061a: PUSH1 0xa0
0000061c: PUSH1 0x02
0000061e: EXP
0000061f: SUB
00000620: AND
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x20
00000625: ADD
00000626: DUP3
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x20
0000062b: ADD
0000062c: SWAP3
0000062d: POP
0000062e: POP
0000062f: POP
00000630: PUSH1 0x40
00000632: MLOAD
00000633: DUP1
00000634: SWAP2
00000635: SUB
00000636: SWAP1
00000637: LOG1
00000638: POP
00000639: POP
0000063a: POP
0000063b: POP
0000063c: JUMP
0000063d: JUMPDEST
0000063e: SWAP3
0000063f: DUP4
00000640: SWAP1
00000641: MSTORE
00000642: POP
00000643: POP
00000644: PUSH1 0x01
00000646: PUSH1 0x20
00000648: MSTORE
00000649: PUSH1 0x40
0000064b: SWAP1
0000064c: SWAP5
0000064d: KECCAK256
0000064e: CALLVALUE
0000064f: SWAP1
00000650: SSTORE
00000651: DUP4
00000652: JUMPDEST
00000653: POP
00000654: POP
00000655: POP
00000656: POP
00000657: SWAP3
00000658: SWAP2
00000659: POP
0000065a: POP
0000065b: JUMP
0000065c: JUMPDEST
0000065d: PUSH1 0x23
0000065f: DUP6
00000660: MLOAD
00000661: GT
00000662: ISZERO
00000663: PUSH2 0x068d
00000666: JUMPI
00000667: PUSH1 0x40
00000669: MLOAD
0000066a: CALLER
0000066b: PUSH1 0x01
0000066d: PUSH1 0xa0
0000066f: PUSH1 0x02
00000671: EXP
00000672: SUB
00000673: AND
00000674: SWAP1
00000675: DUP5
00000676: SWAP1
00000677: CALLVALUE
00000678: SWAP1
00000679: DUP3
0000067a: DUP2
0000067b: DUP2
0000067c: DUP2
0000067d: DUP6
0000067e: DUP9
0000067f: DUP4
00000680: CALL
00000681: SWAP4
00000682: POP
00000683: POP
00000684: POP
00000685: POP
00000686: POP
00000687: POP
00000688: POP
00000689: PUSH2 0x0652
0000068c: JUMP
0000068d: JUMPDEST
0000068e: PUSH1 0x40
00000690: PUSH1 0x40
00000692: MLOAD
00000693: SWAP1
00000694: DUP2
00000695: ADD
00000696: PUSH1 0x40
00000698: MSTORE
00000699: DUP1
0000069a: PUSH1 0x12
0000069c: DUP2
0000069d: MSTORE
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: PUSH32 0x7b2270616972223a226574685f627463227d0000000000000000000000000000
000006c2: DUP2
000006c3: MSTORE
000006c4: PUSH1 0x20
000006c6: ADD
000006c7: POP
000006c8: SWAP4
000006c9: POP
000006ca: PUSH32 0xbf322c7b8b8119cc4f8cedbc92262e6782a8528add1b6bebc256d59bd5f37608
000006eb: DUP9
000006ec: DUP6
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: DUP1
000006f1: DUP1
000006f2: PUSH1 0x20
000006f4: ADD
000006f5: DUP1
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: DUP4
000006fa: DUP2
000006fb: SUB
000006fc: DUP4
000006fd: MSTORE
000006fe: DUP6
000006ff: DUP2
00000700: DUP2
00000701: MLOAD
00000702: DUP2
00000703: MSTORE
00000704: PUSH1 0x20
00000706: ADD
00000707: SWAP2
00000708: POP
00000709: DUP1
0000070a: MLOAD
0000070b: SWAP1
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP1
00000710: DUP1
00000711: DUP4
00000712: DUP4
00000713: DUP3
00000714: SWAP1
00000715: PUSH1 0x00
00000717: PUSH1 0x04
00000719: PUSH1 0x20
0000071b: DUP5
0000071c: PUSH1 0x1f
0000071e: ADD
0000071f: DIV
00000720: PUSH1 0x03
00000722: MUL
00000723: PUSH1 0x0f
00000725: ADD
00000726: CALL
00000727: POP
00000728: SWAP1
00000729: POP
0000072a: SWAP1
0000072b: DUP2
0000072c: ADD
0000072d: SWAP1
0000072e: PUSH1 0x1f
00000730: AND
00000731: DUP1
00000732: ISZERO
00000733: PUSH2 0x0750
00000736: JUMPI
00000737: DUP1
00000738: DUP3
00000739: SUB
0000073a: DUP1
0000073b: MLOAD
0000073c: PUSH1 0x01
0000073e: DUP4
0000073f: PUSH1 0x20
00000741: SUB
00000742: PUSH2 0x0100
00000745: EXP
00000746: SUB
00000747: NOT
00000748: AND
00000749: DUP2
0000074a: MSTORE
0000074b: PUSH1 0x20
0000074d: ADD
0000074e: SWAP2
0000074f: POP
00000750: JUMPDEST
00000751: POP
00000752: DUP4
00000753: DUP2
00000754: SUB
00000755: DUP3
00000756: MSTORE
00000757: DUP5
00000758: DUP2
00000759: DUP2
0000075a: MLOAD
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: ADD
00000760: SWAP2
00000761: POP
00000762: DUP1
00000763: MLOAD
00000764: SWAP1
00000765: PUSH1 0x20
00000767: ADD
00000768: SWAP1
00000769: DUP1
0000076a: DUP4
0000076b: DUP4
0000076c: DUP3
0000076d: SWAP1
0000076e: PUSH1 0x00
00000770: PUSH1 0x04
00000772: PUSH1 0x20
00000774: DUP5
00000775: PUSH1 0x1f
00000777: ADD
00000778: DIV
00000779: PUSH1 0x03
0000077b: MUL
0000077c: PUSH1 0x0f
0000077e: ADD
0000077f: CALL
00000780: POP
00000781: SWAP1
00000782: POP
00000783: SWAP1
00000784: DUP2
00000785: ADD
00000786: SWAP1
00000787: PUSH1 0x1f
00000789: AND
0000078a: DUP1
0000078b: ISZERO
0000078c: PUSH2 0x07a9
0000078f: JUMPI
00000790: DUP1
00000791: DUP3
00000792: SUB
00000793: DUP1
00000794: MLOAD
00000795: PUSH1 0x01
00000797: DUP4
00000798: PUSH1 0x20
0000079a: SUB
0000079b: PUSH2 0x0100
0000079e: EXP
0000079f: SUB
000007a0: NOT
000007a1: AND
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x20
000007a6: ADD
000007a7: SWAP2
000007a8: POP
000007a9: JUMPDEST
000007aa: POP
000007ab: SWAP5
000007ac: POP
000007ad: POP
000007ae: POP
000007af: POP
000007b0: POP
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: DUP1
000007b5: SWAP2
000007b6: SUB
000007b7: SWAP1
000007b8: LOG1
000007b9: PUSH1 0x40
000007bb: DUP1
000007bc: MLOAD
000007bd: DUP1
000007be: DUP3
000007bf: ADD
000007c0: DUP3
000007c1: MSTORE
000007c2: PUSH1 0x03
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
000007e7: PUSH1 0x20
000007e9: DUP3
000007ea: DUP2
000007eb: ADD
000007ec: SWAP2
000007ed: SWAP1
000007ee: SWAP2
000007ef: MSTORE
000007f0: DUP3
000007f1: MLOAD
000007f2: DUP1
000007f3: DUP11
000007f4: ADD
000007f5: DUP5
000007f6: MSTORE
000007f7: PUSH1 0x29
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH32 0x6a736f6e2868747470733a2f2f736861706573686966742e696f2f7368696674
0000081c: DUP2
0000081d: DUP4
0000081e: ADD
0000081f: MSTORE
00000820: PUSH32 0x292e6465706f7369740000000000000000000000000000000000000000000000
00000841: DUP2
00000842: DUP6
00000843: ADD
00000844: MSTORE
00000845: DUP4
00000846: MLOAD
00000847: PUSH1 0xe0
00000849: PUSH1 0x02
0000084b: EXP
0000084c: PUSH4 0x38cc4831
00000851: MUL
00000852: DUP2
00000853: MSTORE
00000854: SWAP4
00000855: MLOAD
00000856: PUSH2 0x063d
00000859: SWAP5
0000085a: SWAP2
0000085b: SWAP3
0000085c: DUP10
0000085d: SWAP3
0000085e: DUP10
0000085f: SWAP3
00000860: DUP9
00000861: SWAP3
00000862: DUP4
00000863: SWAP3
00000864: PUSH4 0x38cc4831
00000869: SWAP3
0000086a: PUSH1 0x04
0000086c: DUP3
0000086d: DUP2
0000086e: ADD
0000086f: SWAP4
00000870: SWAP3
00000871: DUP3
00000872: SWAP1
00000873: SUB
00000874: ADD
00000875: DUP2
00000876: DUP9
00000877: DUP8
00000878: PUSH2 0x61da
0000087b: GAS
0000087c: SUB
0000087d: CALL
0000087e: ISZERO
0000087f: PUSH2 0x0002
00000882: JUMPI
00000883: POP
00000884: POP
00000885: POP
00000886: PUSH1 0x40
00000888: MLOAD
00000889: DUP1
0000088a: MLOAD
0000088b: SWAP1
0000088c: PUSH1 0x20
0000088e: ADD
0000088f: POP
00000890: PUSH1 0x00
00000892: PUSH1 0x00
00000894: PUSH2 0x0100
00000897: EXP
00000898: DUP2
00000899: SLOAD
0000089a: DUP2
0000089b: PUSH1 0x01
0000089d: PUSH1 0xa0
0000089f: PUSH1 0x02
000008a1: EXP
000008a2: SUB
000008a3: MUL
000008a4: NOT
000008a5: AND
000008a6: SWAP1
000008a7: DUP4
000008a8: MUL
000008a9: OR
000008aa: SWAP1
000008ab: SSTORE
000008ac: POP
000008ad: PUSH1 0x00
000008af: PUSH1 0x00
000008b1: SWAP1
000008b2: SLOAD
000008b3: SWAP1
000008b4: PUSH2 0x0100
000008b7: EXP
000008b8: SWAP1
000008b9: DIV
000008ba: PUSH1 0x01
000008bc: PUSH1 0xa0
000008be: PUSH1 0x02
000008c0: EXP
000008c1: SUB
000008c2: AND
000008c3: PUSH1 0x01
000008c5: PUSH1 0xa0
000008c7: PUSH1 0x02
000008c9: EXP
000008ca: SUB
000008cb: AND
000008cc: PUSH4 0x77228659
000008d1: PUSH1 0x00
000008d3: PUSH1 0x00
000008d5: SWAP1
000008d6: SLOAD
000008d7: SWAP1
000008d8: PUSH2 0x0100
000008db: EXP
000008dc: SWAP1
000008dd: DIV
000008de: PUSH1 0x01
000008e0: PUSH1 0xa0
000008e2: PUSH1 0x02
000008e4: EXP
000008e5: SUB
000008e6: AND
000008e7: PUSH1 0x01
000008e9: PUSH1 0xa0
000008eb: PUSH1 0x02
000008ed: EXP
000008ee: SUB
000008ef: AND
000008f0: PUSH4 0x524f3889
000008f5: DUP9
000008f6: PUSH1 0x40
000008f8: MLOAD
000008f9: DUP3
000008fa: PUSH1 0xe0
000008fc: PUSH1 0x02
000008fe: EXP
000008ff: MUL
00000900: DUP2
00000901: MSTORE
00000902: PUSH1 0x04
00000904: ADD
00000905: DUP1
00000906: DUP1
00000907: PUSH1 0x20
00000909: ADD
0000090a: DUP3
0000090b: DUP2
0000090c: SUB
0000090d: DUP3
0000090e: MSTORE
0000090f: DUP4
00000910: DUP2
00000911: DUP2
00000912: MLOAD
00000913: DUP2
00000914: MSTORE
00000915: PUSH1 0x20
00000917: ADD
00000918: SWAP2
00000919: POP
0000091a: DUP1
0000091b: MLOAD
0000091c: SWAP1
0000091d: PUSH1 0x20
0000091f: ADD
00000920: SWAP1
00000921: DUP1
00000922: DUP4
00000923: DUP4
00000924: DUP3
00000925: SWAP1
00000926: PUSH1 0x00
00000928: PUSH1 0x04
0000092a: PUSH1 0x20
0000092c: DUP5
0000092d: PUSH1 0x1f
0000092f: ADD
00000930: DIV
00000931: PUSH1 0x03
00000933: MUL
00000934: PUSH1 0x0f
00000936: ADD
00000937: CALL
00000938: POP
00000939: SWAP1
0000093a: POP
0000093b: SWAP1
0000093c: DUP2
0000093d: ADD
0000093e: SWAP1
0000093f: PUSH1 0x1f
00000941: AND
00000942: DUP1
00000943: ISZERO
00000944: PUSH2 0x0961
00000947: JUMPI
00000948: DUP1
00000949: DUP3
0000094a: SUB
0000094b: DUP1
0000094c: MLOAD
0000094d: PUSH1 0x01
0000094f: DUP4
00000950: PUSH1 0x20
00000952: SUB
00000953: PUSH2 0x0100
00000956: EXP
00000957: SUB
00000958: NOT
00000959: AND
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x20
0000095e: ADD
0000095f: SWAP2
00000960: POP
00000961: JUMPDEST
00000962: POP
00000963: SWAP3
00000964: POP
00000965: POP
00000966: POP
00000967: PUSH1 0x20
00000969: PUSH1 0x40
0000096b: MLOAD
0000096c: DUP1
0000096d: DUP4
0000096e: SUB
0000096f: DUP2
00000970: PUSH1 0x00
00000972: DUP8
00000973: PUSH2 0x61da
00000976: GAS
00000977: SUB
00000978: CALL
00000979: ISZERO
0000097a: PUSH2 0x0002
0000097d: JUMPI
0000097e: POP
0000097f: POP
00000980: POP
00000981: PUSH1 0x40
00000983: MLOAD
00000984: DUP1
00000985: MLOAD
00000986: SWAP1
00000987: PUSH1 0x20
00000989: ADD
0000098a: POP
0000098b: PUSH1 0x00
0000098d: DUP9
0000098e: DUP9
0000098f: DUP9
00000990: PUSH1 0x40
00000992: MLOAD
00000993: DUP7
00000994: PUSH1 0xe0
00000996: PUSH1 0x02
00000998: EXP
00000999: MUL
0000099a: DUP2
0000099b: MSTORE
0000099c: PUSH1 0x04
0000099e: ADD
0000099f: DUP1
000009a0: DUP6
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x20
000009a5: ADD
000009a6: DUP1
000009a7: PUSH1 0x20
000009a9: ADD
000009aa: DUP1
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: DUP1
000009af: PUSH1 0x20
000009b1: ADD
000009b2: DUP5
000009b3: DUP2
000009b4: SUB
000009b5: DUP5
000009b6: MSTORE
000009b7: DUP8
000009b8: DUP2
000009b9: DUP2
000009ba: MLOAD
000009bb: DUP2
000009bc: MSTORE
000009bd: PUSH1 0x20
000009bf: ADD
000009c0: SWAP2
000009c1: POP
000009c2: DUP1
000009c3: MLOAD
000009c4: SWAP1
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: SWAP1
000009c9: DUP1
000009ca: DUP4
000009cb: DUP4
000009cc: DUP3
000009cd: SWAP1
000009ce: PUSH1 0x00
000009d0: PUSH1 0x04
000009d2: PUSH1 0x20
000009d4: DUP5
000009d5: PUSH1 0x1f
000009d7: ADD
000009d8: DIV
000009d9: PUSH1 0x03
000009db: MUL
000009dc: PUSH1 0x0f
000009de: ADD
000009df: CALL
000009e0: POP
000009e1: SWAP1
000009e2: POP
000009e3: SWAP1
000009e4: DUP2
000009e5: ADD
000009e6: SWAP1
000009e7: PUSH1 0x1f
000009e9: AND
000009ea: DUP1
000009eb: ISZERO
000009ec: PUSH2 0x0a09
000009ef: JUMPI
000009f0: DUP1
000009f1: DUP3
000009f2: SUB
000009f3: DUP1
000009f4: MLOAD
000009f5: PUSH1 0x01
000009f7: DUP4
000009f8: PUSH1 0x20
000009fa: SUB
000009fb: PUSH2 0x0100
000009fe: EXP
000009ff: SUB
00000a00: NOT
00000a01: AND
00000a02: DUP2
00000a03: MSTORE
00000a04: PUSH1 0x20
00000a06: ADD
00000a07: SWAP2
00000a08: POP
00000a09: JUMPDEST
00000a0a: POP
00000a0b: DUP5
00000a0c: DUP2
00000a0d: SUB
00000a0e: DUP4
00000a0f: MSTORE
00000a10: DUP7
00000a11: DUP2
00000a12: DUP2
00000a13: MLOAD
00000a14: DUP2
00000a15: MSTORE
00000a16: PUSH1 0x20
00000a18: ADD
00000a19: SWAP2
00000a1a: POP
00000a1b: DUP1
00000a1c: MLOAD
00000a1d: SWAP1
00000a1e: PUSH1 0x20
00000a20: ADD
00000a21: SWAP1
00000a22: DUP1
00000a23: DUP4
00000a24: DUP4
00000a25: DUP3
00000a26: SWAP1
00000a27: PUSH1 0x00
00000a29: PUSH1 0x04
00000a2b: PUSH1 0x20
00000a2d: DUP5
00000a2e: PUSH1 0x1f
00000a30: ADD
00000a31: DIV
00000a32: PUSH1 0x03
00000a34: MUL
00000a35: PUSH1 0x0f
00000a37: ADD
00000a38: CALL
00000a39: POP
00000a3a: SWAP1
00000a3b: POP
00000a3c: SWAP1
00000a3d: DUP2
00000a3e: ADD
00000a3f: SWAP1
00000a40: PUSH1 0x1f
00000a42: AND
00000a43: DUP1
00000a44: ISZERO
00000a45: PUSH2 0x0a62
00000a48: JUMPI
00000a49: DUP1
00000a4a: DUP3
00000a4b: SUB
00000a4c: DUP1
00000a4d: MLOAD
00000a4e: PUSH1 0x01
00000a50: DUP4
00000a51: PUSH1 0x20
00000a53: SUB
00000a54: PUSH2 0x0100
00000a57: EXP
00000a58: SUB
00000a59: NOT
00000a5a: AND
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: PUSH1 0x20
00000a5f: ADD
00000a60: SWAP2
00000a61: POP
00000a62: JUMPDEST
00000a63: POP
00000a64: DUP5
00000a65: DUP2
00000a66: SUB
00000a67: DUP3
00000a68: MSTORE
00000a69: DUP6
00000a6a: DUP2
00000a6b: DUP2
00000a6c: MLOAD
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: SWAP2
00000a73: POP
00000a74: DUP1
00000a75: MLOAD
00000a76: SWAP1
00000a77: PUSH1 0x20
00000a79: ADD
00000a7a: SWAP1
00000a7b: DUP1
00000a7c: DUP4
00000a7d: DUP4
00000a7e: DUP3
00000a7f: SWAP1
00000a80: PUSH1 0x00
00000a82: PUSH1 0x04
00000a84: PUSH1 0x20
00000a86: DUP5
00000a87: PUSH1 0x1f
00000a89: ADD
00000a8a: DIV
00000a8b: PUSH1 0x03
00000a8d: MUL
00000a8e: PUSH1 0x0f
00000a90: ADD
00000a91: CALL
00000a92: POP
00000a93: SWAP1
00000a94: POP
00000a95: SWAP1
00000a96: DUP2
00000a97: ADD
00000a98: SWAP1
00000a99: PUSH1 0x1f
00000a9b: AND
00000a9c: DUP1
00000a9d: ISZERO
00000a9e: PUSH2 0x0abb
00000aa1: JUMPI
00000aa2: DUP1
00000aa3: DUP3
00000aa4: SUB
00000aa5: DUP1
00000aa6: MLOAD
00000aa7: PUSH1 0x01
00000aa9: DUP4
00000aaa: PUSH1 0x20
00000aac: SUB
00000aad: PUSH2 0x0100
00000ab0: EXP
00000ab1: SUB
00000ab2: NOT
00000ab3: AND
00000ab4: DUP2
00000ab5: MSTORE
00000ab6: PUSH1 0x20
00000ab8: ADD
00000ab9: SWAP2
00000aba: POP
00000abb: JUMPDEST
00000abc: POP
00000abd: SWAP8
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: POP
00000ac2: POP
00000ac3: POP
00000ac4: POP
00000ac5: POP
00000ac6: PUSH1 0x20
00000ac8: PUSH1 0x40
00000aca: MLOAD
00000acb: DUP1
00000acc: DUP4
00000acd: SUB
00000ace: DUP2
00000acf: DUP6
00000ad0: DUP9
00000ad1: PUSH2 0x8502
00000ad4: GAS
00000ad5: SUB
00000ad6: CALL
00000ad7: ISZERO
00000ad8: PUSH2 0x0002
00000adb: JUMPI
00000adc: POP
00000add: POP
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: MLOAD
00000ae2: SWAP8
00000ae3: SWAP7
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: POP
00000ae8: POP
00000ae9: POP
00000aea: POP
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: JUMP
00000aee: JUMPDEST
00000aef: POP
00000af0: SWAP2
00000af1: SWAP6
00000af2: SWAP5
00000af3: POP
00000af4: POP
00000af5: POP
00000af6: POP
00000af7: POP
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x30
00000afc: DUP4
00000afd: PUSH1 0x01
00000aff: PUSH1 0xa0
00000b01: PUSH1 0x02
00000b03: EXP
00000b04: SUB
00000b05: AND
00000b06: LT
00000b07: ISZERO
00000b08: DUP1
00000b09: ISZERO
00000b0a: PUSH2 0x0b1d
00000b0d: JUMPI
00000b0e: POP
00000b0f: PUSH1 0x39
00000b11: DUP4
00000b12: PUSH1 0x01
00000b14: PUSH1 0xa0
00000b16: PUSH1 0x02
00000b18: EXP
00000b19: SUB
00000b1a: AND
00000b1b: GT
00000b1c: ISZERO
00000b1d: JUMPDEST
00000b1e: ISZERO
00000b1f: PUSH2 0x0b2a
00000b22: JUMPI
00000b23: PUSH1 0x2f
00000b25: NOT
00000b26: SWAP1
00000b27: SWAP3
00000b28: ADD
00000b29: SWAP2
00000b2a: JUMPDEST
00000b2b: PUSH1 0x61
00000b2d: DUP3
00000b2e: PUSH1 0x01
00000b30: PUSH1 0xa0
00000b32: PUSH1 0x02
00000b34: EXP
00000b35: SUB
00000b36: AND
00000b37: LT
00000b38: ISZERO
00000b39: DUP1
00000b3a: ISZERO
00000b3b: PUSH2 0x0b4e
00000b3e: JUMPI
00000b3f: POP
00000b40: PUSH1 0x66
00000b42: DUP3
00000b43: PUSH1 0x01
00000b45: PUSH1 0xa0
00000b47: PUSH1 0x02
00000b49: EXP
00000b4a: SUB
00000b4b: AND
00000b4c: GT
00000b4d: ISZERO
00000b4e: JUMPDEST
00000b4f: ISZERO
00000b50: PUSH2 0x0b5f
00000b53: JUMPI
00000b54: PUSH1 0x56
00000b56: NOT
00000b57: SWAP1
00000b58: SWAP2
00000b59: ADD
00000b5a: SWAP1
00000b5b: PUSH2 0x0b90
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0x30
00000b62: DUP3
00000b63: PUSH1 0x01
00000b65: PUSH1 0xa0
00000b67: PUSH1 0x02
00000b69: EXP
00000b6a: SUB
00000b6b: AND
00000b6c: LT
00000b6d: ISZERO
00000b6e: DUP1
00000b6f: ISZERO
00000b70: PUSH2 0x0b83
00000b73: JUMPI
00000b74: POP
00000b75: PUSH1 0x39
00000b77: DUP3
00000b78: PUSH1 0x01
00000b7a: PUSH1 0xa0
00000b7c: PUSH1 0x02
00000b7e: EXP
00000b7f: SUB
00000b80: AND
00000b81: GT
00000b82: ISZERO
00000b83: JUMPDEST
00000b84: ISZERO
00000b85: PUSH2 0x0b90
00000b88: JUMPI
00000b89: PUSH1 0x2f
00000b8b: NOT
00000b8c: SWAP1
00000b8d: SWAP2
00000b8e: ADD
00000b8f: SWAP1
00000b90: JUMPDEST
00000b91: PUSH1 0x10
00000b93: DUP4
00000b94: MUL
00000b95: DUP3
00000b96: ADD
00000b97: SWAP1
00000b98: SWAP4
00000b99: ADD
00000b9a: SWAP3
00000b9b: PUSH1 0x02
00000b9d: ADD
00000b9e: PUSH2 0x0531
00000ba1: 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 ETH value transfer possible 55 no no
view
trace_id: 0x3b183c1aaea0afca7fd03c1ab52dcdd6d0694ea279b672a62b104f6c22d514bc
call_targets: 0xe9003edee4ec79d59e8cfbd8fb4d8fae3a02419d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b183c1aaea0afca7fd03c1ab52dcdd6d0694ea279b672a62b104f6c22d514bc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe9003edee4ec79d59e8cfbd8fb4d8fae3a02419d"
    ],
    "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"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 291,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "constant"
        },
        {
            "pc": 414,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 757,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 17,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x3b183c1aaea0afca7fd03c1ab52dcdd6d0694ea279b672a62b104f6c22d514bc
call_targets: 0xe9003edee4ec79d59e8cfbd8fb4d8fae3a02419d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3b183c1aaea0afca7fd03c1ab52dcdd6d0694ea279b672a62b104f6c22d514bc",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe9003edee4ec79d59e8cfbd8fb4d8fae3a02419d"
    ],
    "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"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 414,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 757,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 907,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 17,
    "guards_detected": [],
    "untrusted_call_count": 16
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0xad11c97b46128857004a14832a8ea9c86e948872526c037fa08cc31011b4fd9a
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 10,
    "trace_id": "0xad11c97b46128857004a14832a8ea9c86e948872526c037fa08cc31011b4fd9a",
    "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"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}