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

Analysis Run

019b477e-ac33-723c-8acd-d12e31d68a0c

complete
Chain ID
1
Address
0x65b6b495730371a807915441ed337f09d039bc66
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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
Verified
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
21165 artifact.fetch complete 1 / 3 4 months ago
21166 tool.cast_disasm complete 1 / 3 4 months ago
88933 analysis.bundle complete 1 / 3 2 weeks ago
88934 capability.graph complete 1 / 3 2 weeks ago
88935 detector.run complete 1 / 3 2 weeks ago
88936 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
12
Total opcodes
1703
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00a3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x5b4487
0000003b: EQ
0000003c: PUSH2 0x00ad
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x1f2698ab
00000046: EQ
00000047: PUSH2 0x00d6
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x2dcd4e41
00000051: EQ
00000052: PUSH2 0x0103
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x5a1bdaa1
0000005c: EQ
0000005d: PUSH2 0x0126
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x86985bee
00000067: EQ
00000068: PUSH2 0x017b
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x87d81789
00000072: EQ
00000073: PUSH2 0x0190
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8da5cb5b
0000007d: EQ
0000007e: PUSH2 0x01cb
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xa000aeb7
00000088: EQ
00000089: PUSH2 0x0220
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xd40fd402
00000093: EQ
00000094: PUSH2 0x0249
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf298083b
0000009e: EQ
0000009f: PUSH2 0x0276
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: PUSH2 0x00ab
000000a7: PUSH2 0x02af
000000aa: JUMP
000000ab: JUMPDEST
000000ac: STOP
000000ad: JUMPDEST
000000ae: CALLVALUE
000000af: ISZERO
000000b0: PUSH2 0x00b8
000000b3: JUMPI
000000b4: PUSH1 0x00
000000b6: DUP1
000000b7: REVERT
000000b8: JUMPDEST
000000b9: PUSH2 0x00c0
000000bc: PUSH2 0x02f6
000000bf: JUMP
000000c0: JUMPDEST
000000c1: PUSH1 0x40
000000c3: MLOAD
000000c4: DUP1
000000c5: DUP3
000000c6: DUP2
000000c7: MSTORE
000000c8: PUSH1 0x20
000000ca: ADD
000000cb: SWAP2
000000cc: POP
000000cd: POP
000000ce: PUSH1 0x40
000000d0: MLOAD
000000d1: DUP1
000000d2: SWAP2
000000d3: SUB
000000d4: SWAP1
000000d5: RETURN
000000d6: JUMPDEST
000000d7: CALLVALUE
000000d8: ISZERO
000000d9: PUSH2 0x00e1
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: PUSH2 0x00e9
000000e5: PUSH2 0x02fc
000000e8: JUMP
000000e9: JUMPDEST
000000ea: PUSH1 0x40
000000ec: MLOAD
000000ed: DUP1
000000ee: DUP3
000000ef: ISZERO
000000f0: ISZERO
000000f1: ISZERO
000000f2: ISZERO
000000f3: DUP2
000000f4: MSTORE
000000f5: PUSH1 0x20
000000f7: ADD
000000f8: SWAP2
000000f9: POP
000000fa: POP
000000fb: PUSH1 0x40
000000fd: MLOAD
000000fe: DUP1
000000ff: SWAP2
00000100: SUB
00000101: SWAP1
00000102: RETURN
00000103: JUMPDEST
00000104: CALLVALUE
00000105: ISZERO
00000106: PUSH2 0x010e
00000109: JUMPI
0000010a: PUSH1 0x00
0000010c: DUP1
0000010d: REVERT
0000010e: JUMPDEST
0000010f: PUSH2 0x0124
00000112: PUSH1 0x04
00000114: DUP1
00000115: DUP1
00000116: CALLDATALOAD
00000117: SWAP1
00000118: PUSH1 0x20
0000011a: ADD
0000011b: SWAP1
0000011c: SWAP2
0000011d: SWAP1
0000011e: POP
0000011f: POP
00000120: PUSH2 0x030f
00000123: JUMP
00000124: JUMPDEST
00000125: STOP
00000126: JUMPDEST
00000127: CALLVALUE
00000128: ISZERO
00000129: PUSH2 0x0131
0000012c: JUMPI
0000012d: PUSH1 0x00
0000012f: DUP1
00000130: REVERT
00000131: JUMPDEST
00000132: PUSH2 0x0139
00000135: PUSH2 0x073b
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH1 0x40
0000013c: MLOAD
0000013d: DUP1
0000013e: DUP3
0000013f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000154: AND
00000155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000016a: AND
0000016b: DUP2
0000016c: MSTORE
0000016d: PUSH1 0x20
0000016f: ADD
00000170: SWAP2
00000171: POP
00000172: POP
00000173: PUSH1 0x40
00000175: MLOAD
00000176: DUP1
00000177: SWAP2
00000178: SUB
00000179: SWAP1
0000017a: RETURN
0000017b: JUMPDEST
0000017c: CALLVALUE
0000017d: ISZERO
0000017e: PUSH2 0x0186
00000181: JUMPI
00000182: PUSH1 0x00
00000184: DUP1
00000185: REVERT
00000186: JUMPDEST
00000187: PUSH2 0x018e
0000018a: PUSH2 0x0761
0000018d: JUMP
0000018e: JUMPDEST
0000018f: STOP
00000190: JUMPDEST
00000191: CALLVALUE
00000192: ISZERO
00000193: PUSH2 0x019b
00000196: JUMPI
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: PUSH2 0x01b1
0000019f: PUSH1 0x04
000001a1: DUP1
000001a2: DUP1
000001a3: CALLDATALOAD
000001a4: SWAP1
000001a5: PUSH1 0x20
000001a7: ADD
000001a8: SWAP1
000001a9: SWAP2
000001aa: SWAP1
000001ab: POP
000001ac: POP
000001ad: PUSH2 0x0a0c
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: DUP1
000001b6: DUP3
000001b7: ISZERO
000001b8: ISZERO
000001b9: ISZERO
000001ba: ISZERO
000001bb: DUP2
000001bc: MSTORE
000001bd: PUSH1 0x20
000001bf: ADD
000001c0: SWAP2
000001c1: POP
000001c2: POP
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: DUP1
000001c7: SWAP2
000001c8: SUB
000001c9: SWAP1
000001ca: RETURN
000001cb: JUMPDEST
000001cc: CALLVALUE
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: PUSH2 0x01de
000001da: PUSH2 0x0a2c
000001dd: JUMP
000001de: JUMPDEST
000001df: PUSH1 0x40
000001e1: MLOAD
000001e2: DUP1
000001e3: DUP3
000001e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f9: AND
000001fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020f: AND
00000210: DUP2
00000211: MSTORE
00000212: PUSH1 0x20
00000214: ADD
00000215: SWAP2
00000216: POP
00000217: POP
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: DUP1
0000021c: SWAP2
0000021d: SUB
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: CALLVALUE
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x0a52
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: DUP3
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: POP
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: ISZERO
0000024c: PUSH2 0x0254
0000024f: JUMPI
00000250: PUSH1 0x00
00000252: DUP1
00000253: REVERT
00000254: JUMPDEST
00000255: PUSH2 0x025c
00000258: PUSH2 0x0a58
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: DUP1
00000261: DUP3
00000262: ISZERO
00000263: ISZERO
00000264: ISZERO
00000265: ISZERO
00000266: DUP2
00000267: MSTORE
00000268: PUSH1 0x20
0000026a: ADD
0000026b: SWAP2
0000026c: POP
0000026d: POP
0000026e: PUSH1 0x40
00000270: MLOAD
00000271: DUP1
00000272: SWAP2
00000273: SUB
00000274: SWAP1
00000275: RETURN
00000276: JUMPDEST
00000277: CALLVALUE
00000278: ISZERO
00000279: PUSH2 0x0281
0000027c: JUMPI
0000027d: PUSH1 0x00
0000027f: DUP1
00000280: REVERT
00000281: JUMPDEST
00000282: PUSH2 0x02ad
00000285: PUSH1 0x04
00000287: DUP1
00000288: DUP1
00000289: CALLDATALOAD
0000028a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029f: AND
000002a0: SWAP1
000002a1: PUSH1 0x20
000002a3: ADD
000002a4: SWAP1
000002a5: SWAP2
000002a6: SWAP1
000002a7: POP
000002a8: POP
000002a9: PUSH2 0x0a6b
000002ac: JUMP
000002ad: JUMPDEST
000002ae: STOP
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: ADDRESS
000002b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c7: AND
000002c8: BALANCE
000002c9: PUSH32 0xb991f60703bdc053d2af3949b662b91b52b70aae5a5f0e4450a9d4ecab62b93a
000002ea: PUSH1 0x40
000002ec: MLOAD
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: LOG3
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x04
000002f9: SLOAD
000002fa: DUP2
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x00
000002ff: PUSH1 0x14
00000301: SWAP1
00000302: SLOAD
00000303: SWAP1
00000304: PUSH2 0x0100
00000307: EXP
00000308: SWAP1
00000309: DIV
0000030a: PUSH1 0xff
0000030c: AND
0000030d: DUP2
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x00
00000312: DUP1
00000313: PUSH1 0x00
00000315: DUP1
00000316: SWAP1
00000317: SLOAD
00000318: SWAP1
00000319: PUSH2 0x0100
0000031c: EXP
0000031d: SWAP1
0000031e: DIV
0000031f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000334: AND
00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034a: AND
0000034b: PUSH4 0xbdb337d1
00000350: PUSH1 0x00
00000352: PUSH1 0x40
00000354: MLOAD
00000355: PUSH1 0x20
00000357: ADD
00000358: MSTORE
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: DUP2
0000035d: PUSH4 0xffffffff
00000362: AND
00000363: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000381: MUL
00000382: DUP2
00000383: MSTORE
00000384: PUSH1 0x04
00000386: ADD
00000387: PUSH1 0x20
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: DUP4
0000038e: SUB
0000038f: DUP2
00000390: PUSH1 0x00
00000392: DUP8
00000393: DUP1
00000394: EXTCODESIZE
00000395: ISZERO
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: PUSH2 0x02c6
000003a3: GAS
000003a4: SUB
000003a5: CALL
000003a6: ISZERO
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: POP
000003b3: POP
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: DUP1
000003b8: MLOAD
000003b9: SWAP1
000003ba: POP
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03d2
000003c0: JUMPI
000003c1: POP
000003c2: PUSH1 0x03
000003c4: PUSH1 0x14
000003c6: SWAP1
000003c7: SLOAD
000003c8: SWAP1
000003c9: PUSH2 0x0100
000003cc: EXP
000003cd: SWAP1
000003ce: DIV
000003cf: PUSH1 0xff
000003d1: AND
000003d2: JUMPDEST
000003d3: DUP1
000003d4: PUSH2 0x0481
000003d7: JUMPI
000003d8: POP
000003d9: PUSH1 0x00
000003db: DUP1
000003dc: SWAP1
000003dd: SLOAD
000003de: SWAP1
000003df: PUSH2 0x0100
000003e2: EXP
000003e3: SWAP1
000003e4: DIV
000003e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fa: AND
000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000410: AND
00000411: PUSH4 0xa66b62e6
00000416: PUSH1 0x00
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: MSTORE
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP2
00000423: PUSH4 0xffffffff
00000428: AND
00000429: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000447: MUL
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x04
0000044c: ADD
0000044d: PUSH1 0x20
0000044f: PUSH1 0x40
00000451: MLOAD
00000452: DUP1
00000453: DUP4
00000454: SUB
00000455: DUP2
00000456: PUSH1 0x00
00000458: DUP8
00000459: DUP1
0000045a: EXTCODESIZE
0000045b: ISZERO
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: PUSH2 0x02c6
00000469: GAS
0000046a: SUB
0000046b: CALL
0000046c: ISZERO
0000046d: ISZERO
0000046e: PUSH2 0x0476
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: POP
00000479: POP
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: DUP1
0000047e: MLOAD
0000047f: SWAP1
00000480: POP
00000481: JUMPDEST
00000482: ISZERO
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: CALLER
0000048e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a3: AND
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: SWAP1
000004a8: SLOAD
000004a9: SWAP1
000004aa: PUSH2 0x0100
000004ad: EXP
000004ae: SWAP1
000004af: DIV
000004b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c5: AND
000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004db: AND
000004dc: PUSH4 0xe8a96b46
000004e1: DUP6
000004e2: PUSH1 0x00
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: PUSH1 0x20
000004e9: ADD
000004ea: MSTORE
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: DUP3
000004ef: PUSH4 0xffffffff
000004f4: AND
000004f5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000513: MUL
00000514: DUP2
00000515: MSTORE
00000516: PUSH1 0x04
00000518: ADD
00000519: DUP1
0000051a: DUP3
0000051b: DUP2
0000051c: MSTORE
0000051d: PUSH1 0x20
0000051f: ADD
00000520: SWAP2
00000521: POP
00000522: POP
00000523: PUSH1 0x20
00000525: PUSH1 0x40
00000527: MLOAD
00000528: DUP1
00000529: DUP4
0000052a: SUB
0000052b: DUP2
0000052c: PUSH1 0x00
0000052e: DUP8
0000052f: DUP1
00000530: EXTCODESIZE
00000531: ISZERO
00000532: ISZERO
00000533: PUSH2 0x053b
00000536: JUMPI
00000537: PUSH1 0x00
00000539: DUP1
0000053a: REVERT
0000053b: JUMPDEST
0000053c: PUSH2 0x02c6
0000053f: GAS
00000540: SUB
00000541: CALL
00000542: ISZERO
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: POP
0000054f: POP
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: MLOAD
00000555: SWAP1
00000556: POP
00000557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056c: AND
0000056d: EQ
0000056e: ISZERO
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: PUSH1 0x01
0000057b: PUSH1 0x00
0000057d: DUP1
0000057e: SWAP1
0000057f: SLOAD
00000580: SWAP1
00000581: PUSH2 0x0100
00000584: EXP
00000585: SWAP1
00000586: DIV
00000587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059c: AND
0000059d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b2: AND
000005b3: PUSH4 0x44c9af28
000005b8: DUP6
000005b9: PUSH1 0x00
000005bb: PUSH1 0x40
000005bd: MLOAD
000005be: PUSH1 0x20
000005c0: ADD
000005c1: MSTORE
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: DUP3
000005c6: PUSH4 0xffffffff
000005cb: AND
000005cc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000005ea: MUL
000005eb: DUP2
000005ec: MSTORE
000005ed: PUSH1 0x04
000005ef: ADD
000005f0: DUP1
000005f1: DUP3
000005f2: DUP2
000005f3: MSTORE
000005f4: PUSH1 0x20
000005f6: ADD
000005f7: SWAP2
000005f8: POP
000005f9: POP
000005fa: PUSH1 0x20
000005fc: PUSH1 0x40
000005fe: MLOAD
000005ff: DUP1
00000600: DUP4
00000601: SUB
00000602: DUP2
00000603: PUSH1 0x00
00000605: DUP8
00000606: DUP1
00000607: EXTCODESIZE
00000608: ISZERO
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: PUSH2 0x02c6
00000616: GAS
00000617: SUB
00000618: CALL
00000619: ISZERO
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: POP
00000626: POP
00000627: PUSH1 0x40
00000629: MLOAD
0000062a: DUP1
0000062b: MLOAD
0000062c: SWAP1
0000062d: POP
0000062e: EQ
0000062f: ISZERO
00000630: ISZERO
00000631: PUSH2 0x0639
00000634: JUMPI
00000635: PUSH1 0x00
00000637: DUP1
00000638: REVERT
00000639: JUMPDEST
0000063a: PUSH1 0x00
0000063c: ISZERO
0000063d: ISZERO
0000063e: PUSH1 0x05
00000640: PUSH1 0x00
00000642: DUP6
00000643: DUP2
00000644: MSTORE
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP1
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: PUSH1 0x00
00000650: KECCAK256
00000651: PUSH1 0x00
00000653: SWAP1
00000654: SLOAD
00000655: SWAP1
00000656: PUSH2 0x0100
00000659: EXP
0000065a: SWAP1
0000065b: DIV
0000065c: PUSH1 0xff
0000065e: AND
0000065f: ISZERO
00000660: ISZERO
00000661: EQ
00000662: ISZERO
00000663: ISZERO
00000664: PUSH2 0x066c
00000667: JUMPI
00000668: PUSH1 0x00
0000066a: DUP1
0000066b: REVERT
0000066c: JUMPDEST
0000066d: CALLER
0000066e: SWAP2
0000066f: POP
00000670: PUSH2 0x0677
00000673: PUSH2 0x0b82
00000676: JUMP
00000677: JUMPDEST
00000678: SWAP1
00000679: POP
0000067a: PUSH1 0x00
0000067c: DUP2
0000067d: EQ
0000067e: ISZERO
0000067f: ISZERO
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: DUP1
0000068b: ADDRESS
0000068c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a1: AND
000006a2: BALANCE
000006a3: LT
000006a4: ISZERO
000006a5: ISZERO
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: PUSH2 0x06c4
000006b3: DUP2
000006b4: PUSH1 0x04
000006b6: SLOAD
000006b7: PUSH2 0x0d18
000006ba: SWAP1
000006bb: SWAP2
000006bc: SWAP1
000006bd: PUSH4 0xffffffff
000006c2: AND
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x04
000006c7: DUP2
000006c8: SWAP1
000006c9: SSTORE
000006ca: POP
000006cb: PUSH1 0x01
000006cd: PUSH1 0x05
000006cf: PUSH1 0x00
000006d1: DUP6
000006d2: DUP2
000006d3: MSTORE
000006d4: PUSH1 0x20
000006d6: ADD
000006d7: SWAP1
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x20
000006dc: ADD
000006dd: PUSH1 0x00
000006df: KECCAK256
000006e0: PUSH1 0x00
000006e2: PUSH2 0x0100
000006e5: EXP
000006e6: DUP2
000006e7: SLOAD
000006e8: DUP2
000006e9: PUSH1 0xff
000006eb: MUL
000006ec: NOT
000006ed: AND
000006ee: SWAP1
000006ef: DUP4
000006f0: ISZERO
000006f1: ISZERO
000006f2: MUL
000006f3: OR
000006f4: SWAP1
000006f5: SSTORE
000006f6: POP
000006f7: DUP2
000006f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070d: AND
0000070e: PUSH2 0x08fc
00000711: DUP3
00000712: SWAP1
00000713: DUP2
00000714: ISZERO
00000715: MUL
00000716: SWAP1
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: PUSH1 0x00
0000071c: PUSH1 0x40
0000071e: MLOAD
0000071f: DUP1
00000720: DUP4
00000721: SUB
00000722: DUP2
00000723: DUP6
00000724: DUP9
00000725: DUP9
00000726: CALL
00000727: SWAP4
00000728: POP
00000729: POP
0000072a: POP
0000072b: POP
0000072c: ISZERO
0000072d: ISZERO
0000072e: PUSH2 0x0736
00000731: JUMPI
00000732: PUSH1 0x00
00000734: DUP1
00000735: REVERT
00000736: JUMPDEST
00000737: POP
00000738: POP
00000739: POP
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x01
0000073e: PUSH1 0x00
00000740: SWAP1
00000741: SLOAD
00000742: SWAP1
00000743: PUSH2 0x0100
00000746: EXP
00000747: SWAP1
00000748: DIV
00000749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075e: AND
0000075f: DUP2
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x00
00000764: PUSH1 0x03
00000766: PUSH1 0x00
00000768: SWAP1
00000769: SLOAD
0000076a: SWAP1
0000076b: PUSH2 0x0100
0000076e: EXP
0000076f: SWAP1
00000770: DIV
00000771: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000786: AND
00000787: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079c: AND
0000079d: CALLER
0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b3: AND
000007b4: EQ
000007b5: ISZERO
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: PUSH1 0x03
000007c2: PUSH1 0x14
000007c4: SWAP1
000007c5: SLOAD
000007c6: SWAP1
000007c7: PUSH2 0x0100
000007ca: EXP
000007cb: SWAP1
000007cc: DIV
000007cd: PUSH1 0xff
000007cf: AND
000007d0: ISZERO
000007d1: ISZERO
000007d2: ISZERO
000007d3: PUSH2 0x07db
000007d6: JUMPI
000007d7: PUSH1 0x00
000007d9: DUP1
000007da: REVERT
000007db: JUMPDEST
000007dc: PUSH1 0x00
000007de: DUP1
000007df: SWAP1
000007e0: SLOAD
000007e1: SWAP1
000007e2: PUSH2 0x0100
000007e5: EXP
000007e6: SWAP1
000007e7: DIV
000007e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fd: AND
000007fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000813: AND
00000814: PUSH4 0xbdb337d1
00000819: PUSH1 0x00
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH1 0x20
00000820: ADD
00000821: MSTORE
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP2
00000826: PUSH4 0xffffffff
0000082b: AND
0000082c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000084a: MUL
0000084b: DUP2
0000084c: MSTORE
0000084d: PUSH1 0x04
0000084f: ADD
00000850: PUSH1 0x20
00000852: PUSH1 0x40
00000854: MLOAD
00000855: DUP1
00000856: DUP4
00000857: SUB
00000858: DUP2
00000859: PUSH1 0x00
0000085b: DUP8
0000085c: DUP1
0000085d: EXTCODESIZE
0000085e: ISZERO
0000085f: ISZERO
00000860: PUSH2 0x0868
00000863: JUMPI
00000864: PUSH1 0x00
00000866: DUP1
00000867: REVERT
00000868: JUMPDEST
00000869: PUSH2 0x02c6
0000086c: GAS
0000086d: SUB
0000086e: CALL
0000086f: ISZERO
00000870: ISZERO
00000871: PUSH2 0x0879
00000874: JUMPI
00000875: PUSH1 0x00
00000877: DUP1
00000878: REVERT
00000879: JUMPDEST
0000087a: POP
0000087b: POP
0000087c: POP
0000087d: PUSH1 0x40
0000087f: MLOAD
00000880: DUP1
00000881: MLOAD
00000882: SWAP1
00000883: POP
00000884: ISZERO
00000885: ISZERO
00000886: PUSH2 0x088e
00000889: JUMPI
0000088a: PUSH1 0x00
0000088c: DUP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: PUSH1 0x00
00000891: DUP1
00000892: SWAP1
00000893: SLOAD
00000894: SWAP1
00000895: PUSH2 0x0100
00000898: EXP
00000899: SWAP1
0000089a: DIV
0000089b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b0: AND
000008b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c6: AND
000008c7: PUSH4 0xa66b62e6
000008cc: PUSH1 0x00
000008ce: PUSH1 0x40
000008d0: MLOAD
000008d1: PUSH1 0x20
000008d3: ADD
000008d4: MSTORE
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP2
000008d9: PUSH4 0xffffffff
000008de: AND
000008df: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000008fd: MUL
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x04
00000902: ADD
00000903: PUSH1 0x20
00000905: PUSH1 0x40
00000907: MLOAD
00000908: DUP1
00000909: DUP4
0000090a: SUB
0000090b: DUP2
0000090c: PUSH1 0x00
0000090e: DUP8
0000090f: DUP1
00000910: EXTCODESIZE
00000911: ISZERO
00000912: ISZERO
00000913: PUSH2 0x091b
00000916: JUMPI
00000917: PUSH1 0x00
00000919: DUP1
0000091a: REVERT
0000091b: JUMPDEST
0000091c: PUSH2 0x02c6
0000091f: GAS
00000920: SUB
00000921: CALL
00000922: ISZERO
00000923: ISZERO
00000924: PUSH2 0x092c
00000927: JUMPI
00000928: PUSH1 0x00
0000092a: DUP1
0000092b: REVERT
0000092c: JUMPDEST
0000092d: POP
0000092e: POP
0000092f: POP
00000930: PUSH1 0x40
00000932: MLOAD
00000933: DUP1
00000934: MLOAD
00000935: SWAP1
00000936: POP
00000937: ISZERO
00000938: ISZERO
00000939: ISZERO
0000093a: PUSH2 0x0942
0000093d: JUMPI
0000093e: PUSH1 0x00
00000940: DUP1
00000941: REVERT
00000942: JUMPDEST
00000943: PUSH1 0x01
00000945: PUSH1 0x03
00000947: PUSH1 0x14
00000949: PUSH2 0x0100
0000094c: EXP
0000094d: DUP2
0000094e: SLOAD
0000094f: DUP2
00000950: PUSH1 0xff
00000952: MUL
00000953: NOT
00000954: AND
00000955: SWAP1
00000956: DUP4
00000957: ISZERO
00000958: ISZERO
00000959: MUL
0000095a: OR
0000095b: SWAP1
0000095c: SSTORE
0000095d: POP
0000095e: ADDRESS
0000095f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000974: AND
00000975: BALANCE
00000976: PUSH1 0x02
00000978: DUP2
00000979: SWAP1
0000097a: SSTORE
0000097b: POP
0000097c: PUSH1 0x0a
0000097e: PUSH1 0x02
00000980: SLOAD
00000981: DUP2
00000982: ISZERO
00000983: ISZERO
00000984: PUSH2 0x0989
00000987: JUMPI
00000988: INVALID
00000989: JUMPDEST
0000098a: DIV
0000098b: SWAP1
0000098c: POP
0000098d: PUSH2 0x09a1
00000990: DUP2
00000991: PUSH1 0x02
00000993: SLOAD
00000994: PUSH2 0x0d36
00000997: SWAP1
00000998: SWAP2
00000999: SWAP1
0000099a: PUSH4 0xffffffff
0000099f: AND
000009a0: JUMP
000009a1: JUMPDEST
000009a2: PUSH1 0x02
000009a4: DUP2
000009a5: SWAP1
000009a6: SSTORE
000009a7: POP
000009a8: PUSH1 0x03
000009aa: PUSH1 0x00
000009ac: SWAP1
000009ad: SLOAD
000009ae: SWAP1
000009af: PUSH2 0x0100
000009b2: EXP
000009b3: SWAP1
000009b4: DIV
000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ca: AND
000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e0: AND
000009e1: PUSH2 0x08fc
000009e4: DUP3
000009e5: SWAP1
000009e6: DUP2
000009e7: ISZERO
000009e8: MUL
000009e9: SWAP1
000009ea: PUSH1 0x40
000009ec: MLOAD
000009ed: PUSH1 0x00
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: DUP1
000009f3: DUP4
000009f4: SUB
000009f5: DUP2
000009f6: DUP6
000009f7: DUP9
000009f8: DUP9
000009f9: CALL
000009fa: SWAP4
000009fb: POP
000009fc: POP
000009fd: POP
000009fe: POP
000009ff: ISZERO
00000a00: ISZERO
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: POP
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: PUSH1 0x05
00000a0f: PUSH1 0x20
00000a11: MSTORE
00000a12: DUP1
00000a13: PUSH1 0x00
00000a15: MSTORE
00000a16: PUSH1 0x40
00000a18: PUSH1 0x00
00000a1a: KECCAK256
00000a1b: PUSH1 0x00
00000a1d: SWAP2
00000a1e: POP
00000a1f: SLOAD
00000a20: SWAP1
00000a21: PUSH2 0x0100
00000a24: EXP
00000a25: SWAP1
00000a26: DIV
00000a27: PUSH1 0xff
00000a29: AND
00000a2a: DUP2
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH1 0x03
00000a2f: PUSH1 0x00
00000a31: SWAP1
00000a32: SLOAD
00000a33: SWAP1
00000a34: PUSH2 0x0100
00000a37: EXP
00000a38: SWAP1
00000a39: DIV
00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4f: AND
00000a50: DUP2
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH1 0x02
00000a55: SLOAD
00000a56: DUP2
00000a57: JUMP
00000a58: JUMPDEST
00000a59: PUSH1 0x03
00000a5b: PUSH1 0x14
00000a5d: SWAP1
00000a5e: SLOAD
00000a5f: SWAP1
00000a60: PUSH2 0x0100
00000a63: EXP
00000a64: SWAP1
00000a65: DIV
00000a66: PUSH1 0xff
00000a68: AND
00000a69: DUP2
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x03
00000a6e: PUSH1 0x00
00000a70: SWAP1
00000a71: SLOAD
00000a72: SWAP1
00000a73: PUSH2 0x0100
00000a76: EXP
00000a77: SWAP1
00000a78: DIV
00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8e: AND
00000a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa4: AND
00000aa5: CALLER
00000aa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abb: AND
00000abc: EQ
00000abd: ISZERO
00000abe: ISZERO
00000abf: PUSH2 0x0ac7
00000ac2: JUMPI
00000ac3: PUSH1 0x00
00000ac5: DUP1
00000ac6: REVERT
00000ac7: JUMPDEST
00000ac8: PUSH1 0x00
00000aca: PUSH1 0x14
00000acc: SWAP1
00000acd: SLOAD
00000ace: SWAP1
00000acf: PUSH2 0x0100
00000ad2: EXP
00000ad3: SWAP1
00000ad4: DIV
00000ad5: PUSH1 0xff
00000ad7: AND
00000ad8: ISZERO
00000ad9: ISZERO
00000ada: ISZERO
00000adb: PUSH2 0x0ae3
00000ade: JUMPI
00000adf: PUSH1 0x00
00000ae1: DUP1
00000ae2: REVERT
00000ae3: JUMPDEST
00000ae4: DUP1
00000ae5: PUSH1 0x00
00000ae7: DUP1
00000ae8: PUSH2 0x0100
00000aeb: EXP
00000aec: DUP2
00000aed: SLOAD
00000aee: DUP2
00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b04: MUL
00000b05: NOT
00000b06: AND
00000b07: SWAP1
00000b08: DUP4
00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1e: AND
00000b1f: MUL
00000b20: OR
00000b21: SWAP1
00000b22: SSTORE
00000b23: POP
00000b24: DUP1
00000b25: PUSH1 0x01
00000b27: PUSH1 0x00
00000b29: PUSH2 0x0100
00000b2c: EXP
00000b2d: DUP2
00000b2e: SLOAD
00000b2f: DUP2
00000b30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b45: MUL
00000b46: NOT
00000b47: AND
00000b48: SWAP1
00000b49: DUP4
00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5f: AND
00000b60: MUL
00000b61: OR
00000b62: SWAP1
00000b63: SSTORE
00000b64: POP
00000b65: PUSH1 0x01
00000b67: PUSH1 0x00
00000b69: PUSH1 0x14
00000b6b: PUSH2 0x0100
00000b6e: EXP
00000b6f: DUP2
00000b70: SLOAD
00000b71: DUP2
00000b72: PUSH1 0xff
00000b74: MUL
00000b75: NOT
00000b76: AND
00000b77: SWAP1
00000b78: DUP4
00000b79: ISZERO
00000b7a: ISZERO
00000b7b: MUL
00000b7c: OR
00000b7d: SWAP1
00000b7e: SSTORE
00000b7f: POP
00000b80: POP
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH1 0x00
00000b85: DUP1
00000b86: PUSH1 0x00
00000b88: SWAP1
00000b89: SLOAD
00000b8a: SWAP1
00000b8b: PUSH2 0x0100
00000b8e: EXP
00000b8f: SWAP1
00000b90: DIV
00000b91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba6: AND
00000ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbc: AND
00000bbd: PUSH4 0xa66b62e6
00000bc2: PUSH1 0x00
00000bc4: PUSH1 0x40
00000bc6: MLOAD
00000bc7: PUSH1 0x20
00000bc9: ADD
00000bca: MSTORE
00000bcb: PUSH1 0x40
00000bcd: MLOAD
00000bce: DUP2
00000bcf: PUSH4 0xffffffff
00000bd4: AND
00000bd5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000bf3: MUL
00000bf4: DUP2
00000bf5: MSTORE
00000bf6: PUSH1 0x04
00000bf8: ADD
00000bf9: PUSH1 0x20
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: DUP1
00000bff: DUP4
00000c00: SUB
00000c01: DUP2
00000c02: PUSH1 0x00
00000c04: DUP8
00000c05: DUP1
00000c06: EXTCODESIZE
00000c07: ISZERO
00000c08: ISZERO
00000c09: PUSH2 0x0c11
00000c0c: JUMPI
00000c0d: PUSH1 0x00
00000c0f: DUP1
00000c10: REVERT
00000c11: JUMPDEST
00000c12: PUSH2 0x02c6
00000c15: GAS
00000c16: SUB
00000c17: CALL
00000c18: ISZERO
00000c19: ISZERO
00000c1a: PUSH2 0x0c22
00000c1d: JUMPI
00000c1e: PUSH1 0x00
00000c20: DUP1
00000c21: REVERT
00000c22: JUMPDEST
00000c23: POP
00000c24: POP
00000c25: POP
00000c26: PUSH1 0x40
00000c28: MLOAD
00000c29: DUP1
00000c2a: MLOAD
00000c2b: SWAP1
00000c2c: POP
00000c2d: DUP1
00000c2e: ISZERO
00000c2f: PUSH2 0x0c3a
00000c32: JUMPI
00000c33: POP
00000c34: PUSH1 0x00
00000c36: PUSH1 0x02
00000c38: SLOAD
00000c39: EQ
00000c3a: JUMPDEST
00000c3b: ISZERO
00000c3c: PUSH2 0x0c5e
00000c3f: JUMPI
00000c40: ADDRESS
00000c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c56: AND
00000c57: BALANCE
00000c58: PUSH1 0x02
00000c5a: DUP2
00000c5b: SWAP1
00000c5c: SSTORE
00000c5d: POP
00000c5e: JUMPDEST
00000c5f: PUSH1 0x00
00000c61: DUP1
00000c62: SWAP1
00000c63: SLOAD
00000c64: SWAP1
00000c65: PUSH2 0x0100
00000c68: EXP
00000c69: SWAP1
00000c6a: DIV
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c96: AND
00000c97: PUSH4 0xbdb6bce8
00000c9c: PUSH1 0x00
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: MSTORE
00000ca5: PUSH1 0x40
00000ca7: MLOAD
00000ca8: DUP2
00000ca9: PUSH4 0xffffffff
00000cae: AND
00000caf: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000ccd: MUL
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x04
00000cd2: ADD
00000cd3: PUSH1 0x20
00000cd5: PUSH1 0x40
00000cd7: MLOAD
00000cd8: DUP1
00000cd9: DUP4
00000cda: SUB
00000cdb: DUP2
00000cdc: PUSH1 0x00
00000cde: DUP8
00000cdf: DUP1
00000ce0: EXTCODESIZE
00000ce1: ISZERO
00000ce2: ISZERO
00000ce3: PUSH2 0x0ceb
00000ce6: JUMPI
00000ce7: PUSH1 0x00
00000ce9: DUP1
00000cea: REVERT
00000ceb: JUMPDEST
00000cec: PUSH2 0x02c6
00000cef: GAS
00000cf0: SUB
00000cf1: CALL
00000cf2: ISZERO
00000cf3: ISZERO
00000cf4: PUSH2 0x0cfc
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: POP
00000cfe: POP
00000cff: POP
00000d00: PUSH1 0x40
00000d02: MLOAD
00000d03: DUP1
00000d04: MLOAD
00000d05: SWAP1
00000d06: POP
00000d07: PUSH1 0x02
00000d09: SLOAD
00000d0a: DUP2
00000d0b: ISZERO
00000d0c: ISZERO
00000d0d: PUSH2 0x0d12
00000d10: JUMPI
00000d11: INVALID
00000d12: JUMPDEST
00000d13: DIV
00000d14: SWAP1
00000d15: POP
00000d16: SWAP1
00000d17: JUMP
00000d18: JUMPDEST
00000d19: PUSH1 0x00
00000d1b: DUP1
00000d1c: DUP3
00000d1d: DUP5
00000d1e: ADD
00000d1f: SWAP1
00000d20: POP
00000d21: DUP4
00000d22: DUP2
00000d23: LT
00000d24: ISZERO
00000d25: ISZERO
00000d26: ISZERO
00000d27: PUSH2 0x0d2c
00000d2a: JUMPI
00000d2b: INVALID
00000d2c: JUMPDEST
00000d2d: DUP1
00000d2e: SWAP2
00000d2f: POP
00000d30: POP
00000d31: SWAP3
00000d32: SWAP2
00000d33: POP
00000d34: POP
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x00
00000d39: DUP3
00000d3a: DUP3
00000d3b: GT
00000d3c: ISZERO
00000d3d: ISZERO
00000d3e: ISZERO
00000d3f: PUSH2 0x0d44
00000d42: JUMPI
00000d43: INVALID
00000d44: JUMPDEST
00000d45: DUP2
00000d46: DUP4
00000d47: SUB
00000d48: SWAP1
00000d49: POP
00000d4a: SWAP3
00000d4b: SWAP2
00000d4c: POP
00000d4d: POP
00000d4e: JUMP
00000d4f: STOP
00000d50: LOG1
00000d51: PUSH6 0x627a7a723058
00000d58: KECCAK256
00000d59: UNKNOWN(0xC9)
00000d5a: EQ
00000d5b: GT
00000d5c: UNKNOWN(0xB6)
00000d5d: UNKNOWN(0x2A)
00000d5e: DUP11
00000d5f: JUMP
00000d60: LOG4
00000d61: UNKNOWN(0x28)
00000d62: RETURNDATACOPY
00000d63: UNKNOWN(0xE3)
00000d64: UNKNOWN(0xFB)
00000d65: CODESIZE
00000d66: GT
00000d67: CHAINID
00000d68: MSTORE
00000d69: UNKNOWN(0x27)
00000d6a: UNKNOWN(0x29)
00000d6b: UNKNOWN(0xBF)
00000d6c: LOG0
00000d6d: SWAP1
00000d6e: UNKNOWN(0xCE)
00000d6f: SWAP5
00000d70: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x25dca6537a7781af91bec502f6be5c6913e3f133c2b2fe3a4d68715e5c3cbf7a
call_targets: 0x65b6b495730371a807915441ed337f09d039bc66
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x25dca6537a7781af91bec502f6be5c6913e3f133c2b2fe3a4d68715e5c3cbf7a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x65b6b495730371a807915441ed337f09d039bc66"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f2698ab",
            "selector": "0x1f2698ab",
            "calldata_variants": [
                "0x1f2698ab",
                "0x1f2698ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2dcd4e41",
            "selector": "0x2dcd4e41",
            "calldata_variants": [
                "0x2dcd4e41",
                "0x2dcd4e410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5a1bdaa1",
            "selector": "0x5a1bdaa1",
            "calldata_variants": [
                "0x5a1bdaa1",
                "0x5a1bdaa10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86985bee",
            "selector": "0x86985bee",
            "calldata_variants": [
                "0x86985bee",
                "0x86985bee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87d81789",
            "selector": "0x87d81789",
            "calldata_variants": [
                "0x87d81789",
                "0x87d817890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa000aeb7",
            "selector": "0xa000aeb7",
            "calldata_variants": [
                "0xa000aeb7",
                "0xa000aeb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 933,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1131,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1345,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [
        {
            "pc": 1949,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2725,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 10
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x25dca6537a7781af91bec502f6be5c6913e3f133c2b2fe3a4d68715e5c3cbf7a
call_targets: 0x65b6b495730371a807915441ed337f09d039bc66
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x25dca6537a7781af91bec502f6be5c6913e3f133c2b2fe3a4d68715e5c3cbf7a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x65b6b495730371a807915441ed337f09d039bc66"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f2698ab",
            "selector": "0x1f2698ab",
            "calldata_variants": [
                "0x1f2698ab",
                "0x1f2698ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2dcd4e41",
            "selector": "0x2dcd4e41",
            "calldata_variants": [
                "0x2dcd4e41",
                "0x2dcd4e410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5a1bdaa1",
            "selector": "0x5a1bdaa1",
            "calldata_variants": [
                "0x5a1bdaa1",
                "0x5a1bdaa10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86985bee",
            "selector": "0x86985bee",
            "calldata_variants": [
                "0x86985bee",
                "0x86985bee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87d81789",
            "selector": "0x87d81789",
            "calldata_variants": [
                "0x87d81789",
                "0x87d817890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa000aeb7",
            "selector": "0xa000aeb7",
            "calldata_variants": [
                "0xa000aeb7",
                "0xa000aeb70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 933,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1131,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1345,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": [
        {
            "pc": 1949,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2725,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}