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

Analysis Run

019b477e-c4d3-7170-acc0-9ee1f77578eb

complete
Chain ID
1
Address
0x48ec5f8c22658a2384017cb5540daf4a86963ec3
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
25477 artifact.fetch complete 1 / 3 3 months ago
25478 tool.cast_disasm complete 1 / 3 3 months ago
90961 analysis.bundle complete 1 / 3 2 weeks ago
90962 capability.graph complete 1 / 3 2 weeks ago
90963 detector.run complete 1 / 3 2 weeks ago
90964 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)
2
EXT*/BALANCE
1
Total opcodes
1883
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ab
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x718da7ee
00000019: GT
0000001a: PUSH2 0x0064
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x718da7ee
00000024: EQ
00000025: PUSH2 0x01a1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x874dae88
0000002f: EQ
00000030: PUSH2 0x01ca
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8f32d59b
0000003a: EQ
0000003b: PUSH2 0x01f3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb6db75a0
00000045: EQ
00000046: PUSH2 0x021e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xc290d691
00000050: EQ
00000051: PUSH2 0x0249
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe891e9d1
0000005b: EQ
0000005c: PUSH2 0x0265
0000005f: JUMPI
00000060: PUSH2 0x00b2
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x107ef967
0000006b: EQ
0000006c: PUSH2 0x00b4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x34c5a044
00000076: EQ
00000077: PUSH2 0x00dd
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x3ccfd60b
00000081: EQ
00000082: PUSH2 0x011a
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x4fb2e45d
0000008c: EQ
0000008d: PUSH2 0x0131
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x4fd9efc4
00000097: EQ
00000098: PUSH2 0x015a
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x50e59eb3
000000a2: EQ
000000a3: PUSH2 0x0176
000000a6: JUMPI
000000a7: PUSH2 0x00b2
000000aa: JUMP
000000ab: JUMPDEST
000000ac: CALLDATASIZE
000000ad: PUSH2 0x00b2
000000b0: JUMPI
000000b1: STOP
000000b2: JUMPDEST
000000b3: STOP
000000b4: JUMPDEST
000000b5: CALLVALUE
000000b6: DUP1
000000b7: ISZERO
000000b8: PUSH2 0x00c0
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: POP
000000c2: PUSH2 0x00db
000000c5: PUSH1 0x04
000000c7: DUP1
000000c8: CALLDATASIZE
000000c9: SUB
000000ca: DUP2
000000cb: ADD
000000cc: SWAP1
000000cd: PUSH2 0x00d6
000000d0: SWAP2
000000d1: SWAP1
000000d2: PUSH2 0x0a7b
000000d5: JUMP
000000d6: JUMPDEST
000000d7: PUSH2 0x028e
000000da: JUMP
000000db: JUMPDEST
000000dc: STOP
000000dd: JUMPDEST
000000de: CALLVALUE
000000df: DUP1
000000e0: ISZERO
000000e1: PUSH2 0x00e9
000000e4: JUMPI
000000e5: PUSH1 0x00
000000e7: DUP1
000000e8: REVERT
000000e9: JUMPDEST
000000ea: POP
000000eb: PUSH2 0x0104
000000ee: PUSH1 0x04
000000f0: DUP1
000000f1: CALLDATASIZE
000000f2: SUB
000000f3: DUP2
000000f4: ADD
000000f5: SWAP1
000000f6: PUSH2 0x00ff
000000f9: SWAP2
000000fa: SWAP1
000000fb: PUSH2 0x0ace
000000fe: JUMP
000000ff: JUMPDEST
00000100: PUSH2 0x0387
00000103: JUMP
00000104: JUMPDEST
00000105: PUSH1 0x40
00000107: MLOAD
00000108: PUSH2 0x0111
0000010b: SWAP2
0000010c: SWAP1
0000010d: PUSH2 0x0b0a
00000110: JUMP
00000111: JUMPDEST
00000112: PUSH1 0x40
00000114: MLOAD
00000115: DUP1
00000116: SWAP2
00000117: SUB
00000118: SWAP1
00000119: RETURN
0000011a: JUMPDEST
0000011b: CALLVALUE
0000011c: DUP1
0000011d: ISZERO
0000011e: PUSH2 0x0126
00000121: JUMPI
00000122: PUSH1 0x00
00000124: DUP1
00000125: REVERT
00000126: JUMPDEST
00000127: POP
00000128: PUSH2 0x012f
0000012b: PUSH2 0x03d0
0000012e: JUMP
0000012f: JUMPDEST
00000130: STOP
00000131: JUMPDEST
00000132: CALLVALUE
00000133: DUP1
00000134: ISZERO
00000135: PUSH2 0x013d
00000138: JUMPI
00000139: PUSH1 0x00
0000013b: DUP1
0000013c: REVERT
0000013d: JUMPDEST
0000013e: POP
0000013f: PUSH2 0x0158
00000142: PUSH1 0x04
00000144: DUP1
00000145: CALLDATASIZE
00000146: SUB
00000147: DUP2
00000148: ADD
00000149: SWAP1
0000014a: PUSH2 0x0153
0000014d: SWAP2
0000014e: SWAP1
0000014f: PUSH2 0x0ace
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x053d
00000157: JUMP
00000158: JUMPDEST
00000159: STOP
0000015a: JUMPDEST
0000015b: PUSH2 0x0174
0000015e: PUSH1 0x04
00000160: DUP1
00000161: CALLDATASIZE
00000162: SUB
00000163: DUP2
00000164: ADD
00000165: SWAP1
00000166: PUSH2 0x016f
00000169: SWAP2
0000016a: SWAP1
0000016b: PUSH2 0x0b25
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x065e
00000173: JUMP
00000174: JUMPDEST
00000175: STOP
00000176: JUMPDEST
00000177: CALLVALUE
00000178: DUP1
00000179: ISZERO
0000017a: PUSH2 0x0182
0000017d: JUMPI
0000017e: PUSH1 0x00
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: PUSH2 0x018b
00000187: PUSH2 0x069a
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: PUSH2 0x0198
00000192: SWAP2
00000193: SWAP1
00000194: PUSH2 0x0b6d
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: SWAP2
0000019e: SUB
0000019f: SWAP1
000001a0: RETURN
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH2 0x01c8
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: DUP2
000001b8: ADD
000001b9: SWAP1
000001ba: PUSH2 0x01c3
000001bd: SWAP2
000001be: SWAP1
000001bf: PUSH2 0x0bc6
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH2 0x06fa
000001c7: JUMP
000001c8: JUMPDEST
000001c9: STOP
000001ca: JUMPDEST
000001cb: CALLVALUE
000001cc: DUP1
000001cd: ISZERO
000001ce: PUSH2 0x01d6
000001d1: JUMPI
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: REVERT
000001d6: JUMPDEST
000001d7: POP
000001d8: PUSH2 0x01f1
000001db: PUSH1 0x04
000001dd: DUP1
000001de: CALLDATASIZE
000001df: SUB
000001e0: DUP2
000001e1: ADD
000001e2: SWAP1
000001e3: PUSH2 0x01ec
000001e6: SWAP2
000001e7: SWAP1
000001e8: PUSH2 0x0bf3
000001eb: JUMP
000001ec: JUMPDEST
000001ed: PUSH2 0x0785
000001f0: JUMP
000001f1: JUMPDEST
000001f2: STOP
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0208
00000204: PUSH2 0x0862
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: PUSH2 0x0215
0000020f: SWAP2
00000210: SWAP1
00000211: PUSH2 0x0b6d
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: SWAP2
0000021b: SUB
0000021c: SWAP1
0000021d: RETURN
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0233
0000022f: PUSH2 0x08c0
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: PUSH2 0x0240
0000023a: SWAP2
0000023b: SWAP1
0000023c: PUSH2 0x0b6d
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x40
00000243: MLOAD
00000244: DUP1
00000245: SWAP2
00000246: SUB
00000247: SWAP1
00000248: RETURN
00000249: JUMPDEST
0000024a: PUSH2 0x0263
0000024d: PUSH1 0x04
0000024f: DUP1
00000250: CALLDATASIZE
00000251: SUB
00000252: DUP2
00000253: ADD
00000254: SWAP1
00000255: PUSH2 0x025e
00000258: SWAP2
00000259: SWAP1
0000025a: PUSH2 0x0b25
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x0910
00000262: JUMP
00000263: JUMPDEST
00000264: STOP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x028c
00000276: PUSH1 0x04
00000278: DUP1
00000279: CALLDATASIZE
0000027a: SUB
0000027b: DUP2
0000027c: ADD
0000027d: SWAP1
0000027e: PUSH2 0x0287
00000281: SWAP2
00000282: SWAP1
00000283: PUSH2 0x0ace
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH2 0x094f
0000028b: JUMP
0000028c: JUMPDEST
0000028d: STOP
0000028e: JUMPDEST
0000028f: PUSH32 0x32c8827c44bf4e71963135be394d95e34ec7302da6f5d8fca5439557863a33f4
000002b0: DUP4
000002b1: DUP4
000002b2: DUP4
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: PUSH2 0x02c1
000002b9: SWAP4
000002ba: SWAP3
000002bb: SWAP2
000002bc: SWAP1
000002bd: PUSH2 0x0c42
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP1
000002c6: SWAP2
000002c7: SUB
000002c8: SWAP1
000002c9: LOG1
000002ca: DUP3
000002cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e0: AND
000002e1: PUSH4 0x23b872dd
000002e6: PUSH2 0x02ed
000002e9: PUSH2 0x09da
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x03
000002f0: PUSH1 0x00
000002f2: SWAP1
000002f3: SLOAD
000002f4: SWAP1
000002f5: PUSH2 0x0100
000002f8: EXP
000002f9: SWAP1
000002fa: DIV
000002fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000310: AND
00000311: DUP5
00000312: PUSH1 0x40
00000314: MLOAD
00000315: DUP5
00000316: PUSH4 0xffffffff
0000031b: AND
0000031c: PUSH1 0xe0
0000031e: SHL
0000031f: DUP2
00000320: MSTORE
00000321: PUSH1 0x04
00000323: ADD
00000324: PUSH2 0x032f
00000327: SWAP4
00000328: SWAP3
00000329: SWAP2
0000032a: SWAP1
0000032b: PUSH2 0x0c79
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x20
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: DUP4
00000337: SUB
00000338: DUP2
00000339: PUSH1 0x00
0000033b: DUP8
0000033c: DUP1
0000033d: EXTCODESIZE
0000033e: ISZERO
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: POP
0000034b: GAS
0000034c: CALL
0000034d: ISZERO
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x035d
00000353: JUMPI
00000354: RETURNDATASIZE
00000355: PUSH1 0x00
00000357: DUP1
00000358: RETURNDATACOPY
00000359: RETURNDATASIZE
0000035a: PUSH1 0x00
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: POP
00000360: POP
00000361: POP
00000362: PUSH1 0x40
00000364: MLOAD
00000365: RETURNDATASIZE
00000366: PUSH1 0x1f
00000368: NOT
00000369: PUSH1 0x1f
0000036b: DUP3
0000036c: ADD
0000036d: AND
0000036e: DUP3
0000036f: ADD
00000370: DUP1
00000371: PUSH1 0x40
00000373: MSTORE
00000374: POP
00000375: DUP2
00000376: ADD
00000377: SWAP1
00000378: PUSH2 0x0381
0000037b: SWAP2
0000037c: SWAP1
0000037d: PUSH2 0x0cdc
00000380: JUMP
00000381: JUMPDEST
00000382: POP
00000383: POP
00000384: POP
00000385: POP
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x00
0000038a: PUSH1 0x01
0000038c: PUSH1 0x00
0000038e: DUP4
0000038f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a4: AND
000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ba: AND
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: SWAP1
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: PUSH1 0x00
000003c8: KECCAK256
000003c9: SLOAD
000003ca: SWAP1
000003cb: POP
000003cc: SWAP2
000003cd: SWAP1
000003ce: POP
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x00
000003d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e8: AND
000003e9: PUSH1 0x02
000003eb: PUSH1 0x00
000003ed: SWAP1
000003ee: SLOAD
000003ef: SWAP1
000003f0: PUSH2 0x0100
000003f3: EXP
000003f4: SWAP1
000003f5: DIV
000003f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040b: AND
0000040c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000421: AND
00000422: EQ
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: PUSH1 0x02
0000042f: PUSH1 0x00
00000431: SWAP1
00000432: SLOAD
00000433: SWAP1
00000434: PUSH2 0x0100
00000437: EXP
00000438: SWAP1
00000439: DIV
0000043a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044f: AND
00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000465: AND
00000466: PUSH2 0x046d
00000469: PUSH2 0x09da
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000483: AND
00000484: EQ
00000485: DUP1
00000486: PUSH2 0x0493
00000489: JUMPI
0000048a: POP
0000048b: PUSH2 0x0492
0000048e: PUSH2 0x0862
00000491: JUMP
00000492: JUMPDEST
00000493: JUMPDEST
00000494: PUSH2 0x04d2
00000497: JUMPI
00000498: PUSH1 0x40
0000049a: MLOAD
0000049b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004bc: DUP2
000004bd: MSTORE
000004be: PUSH1 0x04
000004c0: ADD
000004c1: PUSH2 0x04c9
000004c4: SWAP1
000004c5: PUSH2 0x0d66
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: DUP1
000004ce: SWAP2
000004cf: SUB
000004d0: SWAP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: PUSH1 0x02
000004d5: PUSH1 0x00
000004d7: SWAP1
000004d8: SLOAD
000004d9: SWAP1
000004da: PUSH2 0x0100
000004dd: EXP
000004de: SWAP1
000004df: DIV
000004e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f5: AND
000004f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050b: AND
0000050c: PUSH2 0x08fc
0000050f: SELFBALANCE
00000510: SWAP1
00000511: DUP2
00000512: ISZERO
00000513: MUL
00000514: SWAP1
00000515: PUSH1 0x40
00000517: MLOAD
00000518: PUSH1 0x00
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: DUP1
0000051e: DUP4
0000051f: SUB
00000520: DUP2
00000521: DUP6
00000522: DUP9
00000523: DUP9
00000524: CALL
00000525: SWAP4
00000526: POP
00000527: POP
00000528: POP
00000529: POP
0000052a: ISZERO
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x053a
00000530: JUMPI
00000531: RETURNDATASIZE
00000532: PUSH1 0x00
00000534: DUP1
00000535: RETURNDATACOPY
00000536: RETURNDATASIZE
00000537: PUSH1 0x00
00000539: REVERT
0000053a: JUMPDEST
0000053b: POP
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x0545
00000541: PUSH2 0x0862
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH2 0x0584
00000549: JUMPI
0000054a: PUSH1 0x40
0000054c: MLOAD
0000054d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000056e: DUP2
0000056f: MSTORE
00000570: PUSH1 0x04
00000572: ADD
00000573: PUSH2 0x057b
00000576: SWAP1
00000577: PUSH2 0x0df8
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: REVERT
00000584: JUMPDEST
00000585: PUSH1 0x00
00000587: DUP1
00000588: PUSH1 0x00
0000058a: SWAP1
0000058b: SLOAD
0000058c: SWAP1
0000058d: PUSH2 0x0100
00000590: EXP
00000591: SWAP1
00000592: DIV
00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a8: AND
000005a9: SWAP1
000005aa: POP
000005ab: PUSH2 0x05b5
000005ae: DUP3
000005af: PUSH1 0x01
000005b1: PUSH2 0x0785
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH2 0x05c0
000005b9: DUP2
000005ba: PUSH1 0x00
000005bc: PUSH2 0x0785
000005bf: JUMP
000005c0: JUMPDEST
000005c1: DUP2
000005c2: PUSH1 0x00
000005c4: DUP1
000005c5: PUSH2 0x0100
000005c8: EXP
000005c9: DUP2
000005ca: SLOAD
000005cb: DUP2
000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e1: MUL
000005e2: NOT
000005e3: AND
000005e4: SWAP1
000005e5: DUP4
000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fb: AND
000005fc: MUL
000005fd: OR
000005fe: SWAP1
000005ff: SSTORE
00000600: POP
00000601: DUP2
00000602: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000617: AND
00000618: DUP2
00000619: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062e: AND
0000062f: PUSH32 0x8934ce4adea8d9ce0d714d2c22b86790e41b7731c84b926fbbdc1d40ff6533c9
00000650: PUSH1 0x40
00000652: MLOAD
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: SWAP2
00000658: SUB
00000659: SWAP1
0000065a: LOG3
0000065b: POP
0000065c: POP
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH32 0x5eb29b484c3461f81aa2650cebf0beb7c986335730a5b61f07ec3fe83ab6349c
00000680: DUP2
00000681: CALLVALUE
00000682: PUSH1 0x40
00000684: MLOAD
00000685: PUSH2 0x068f
00000688: SWAP3
00000689: SWAP2
0000068a: SWAP1
0000068b: PUSH2 0x0e18
0000068e: JUMP
0000068f: JUMPDEST
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: SWAP2
00000695: SUB
00000696: SWAP1
00000697: LOG1
00000698: POP
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH1 0x00
0000069d: PUSH2 0x06a4
000006a0: PUSH2 0x0862
000006a3: JUMP
000006a4: JUMPDEST
000006a5: DUP1
000006a6: PUSH2 0x06f5
000006a9: JUMPI
000006aa: POP
000006ab: PUSH1 0x0b
000006ad: PUSH1 0x01
000006af: PUSH1 0x00
000006b1: PUSH2 0x06b8
000006b4: PUSH2 0x09da
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ce: AND
000006cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e4: AND
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x20
000006e9: ADD
000006ea: SWAP1
000006eb: DUP2
000006ec: MSTORE
000006ed: PUSH1 0x20
000006ef: ADD
000006f0: PUSH1 0x00
000006f2: KECCAK256
000006f3: SLOAD
000006f4: EQ
000006f5: JUMPDEST
000006f6: SWAP1
000006f7: POP
000006f8: SWAP1
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH2 0x0702
000006fe: PUSH2 0x0862
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH2 0x0741
00000706: JUMPI
00000707: PUSH1 0x40
00000709: MLOAD
0000070a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000072b: DUP2
0000072c: MSTORE
0000072d: PUSH1 0x04
0000072f: ADD
00000730: PUSH2 0x0738
00000733: SWAP1
00000734: PUSH2 0x0df8
00000737: JUMP
00000738: JUMPDEST
00000739: PUSH1 0x40
0000073b: MLOAD
0000073c: DUP1
0000073d: SWAP2
0000073e: SUB
0000073f: SWAP1
00000740: REVERT
00000741: JUMPDEST
00000742: DUP1
00000743: PUSH1 0x02
00000745: PUSH1 0x00
00000747: PUSH2 0x0100
0000074a: EXP
0000074b: DUP2
0000074c: SLOAD
0000074d: DUP2
0000074e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000763: MUL
00000764: NOT
00000765: AND
00000766: SWAP1
00000767: DUP4
00000768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000077d: AND
0000077e: MUL
0000077f: OR
00000780: SWAP1
00000781: SSTORE
00000782: POP
00000783: POP
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH2 0x078d
00000789: PUSH2 0x0862
0000078c: JUMP
0000078d: JUMPDEST
0000078e: PUSH2 0x07cc
00000791: JUMPI
00000792: PUSH1 0x40
00000794: MLOAD
00000795: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007b6: DUP2
000007b7: MSTORE
000007b8: PUSH1 0x04
000007ba: ADD
000007bb: PUSH2 0x07c3
000007be: SWAP1
000007bf: PUSH2 0x0df8
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: DUP1
000007c8: SWAP2
000007c9: SUB
000007ca: SWAP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: DUP1
000007ce: PUSH1 0x01
000007d0: PUSH1 0x00
000007d2: DUP5
000007d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e8: AND
000007e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fe: AND
000007ff: DUP2
00000800: MSTORE
00000801: PUSH1 0x20
00000803: ADD
00000804: SWAP1
00000805: DUP2
00000806: MSTORE
00000807: PUSH1 0x20
00000809: ADD
0000080a: PUSH1 0x00
0000080c: KECCAK256
0000080d: DUP2
0000080e: SWAP1
0000080f: SSTORE
00000810: POP
00000811: DUP2
00000812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000827: AND
00000828: PUSH32 0x65efeaf737ce094d287661b6a56bb530dce1fc30853708d1912a74f8ae65ffbb
00000849: DUP3
0000084a: PUSH1 0x40
0000084c: MLOAD
0000084d: PUSH2 0x0856
00000850: SWAP2
00000851: SWAP1
00000852: PUSH2 0x0b0a
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH1 0x40
00000859: MLOAD
0000085a: DUP1
0000085b: SWAP2
0000085c: SUB
0000085d: SWAP1
0000085e: LOG2
0000085f: POP
00000860: POP
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x00
00000865: DUP1
00000866: PUSH1 0x00
00000868: SWAP1
00000869: SLOAD
0000086a: SWAP1
0000086b: PUSH2 0x0100
0000086e: EXP
0000086f: SWAP1
00000870: DIV
00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000886: AND
00000887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089c: AND
0000089d: PUSH2 0x08a4
000008a0: PUSH2 0x09da
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ba: AND
000008bb: EQ
000008bc: SWAP1
000008bd: POP
000008be: SWAP1
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH1 0x00
000008c3: PUSH1 0x01
000008c5: DUP1
000008c6: PUSH1 0x00
000008c8: PUSH2 0x08cf
000008cb: PUSH2 0x09da
000008ce: JUMP
000008cf: JUMPDEST
000008d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e5: AND
000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fb: AND
000008fc: DUP2
000008fd: MSTORE
000008fe: PUSH1 0x20
00000900: ADD
00000901: SWAP1
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x20
00000906: ADD
00000907: PUSH1 0x00
00000909: KECCAK256
0000090a: SLOAD
0000090b: EQ
0000090c: SWAP1
0000090d: POP
0000090e: SWAP1
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH32 0x32c8827c44bf4e71963135be394d95e34ec7302da6f5d8fca5439557863a33f4
00000932: PUSH1 0x00
00000934: DUP3
00000935: CALLVALUE
00000936: PUSH1 0x40
00000938: MLOAD
00000939: PUSH2 0x0944
0000093c: SWAP4
0000093d: SWAP3
0000093e: SWAP2
0000093f: SWAP1
00000940: PUSH2 0x0c42
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x40
00000947: MLOAD
00000948: DUP1
00000949: SWAP2
0000094a: SUB
0000094b: SWAP1
0000094c: LOG1
0000094d: POP
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH2 0x0957
00000953: PUSH2 0x0862
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH2 0x0996
0000095b: JUMPI
0000095c: PUSH1 0x40
0000095e: MLOAD
0000095f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x04
00000984: ADD
00000985: PUSH2 0x098d
00000988: SWAP1
00000989: PUSH2 0x0df8
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: DUP1
00000992: SWAP2
00000993: SUB
00000994: SWAP1
00000995: REVERT
00000996: JUMPDEST
00000997: DUP1
00000998: PUSH1 0x03
0000099a: PUSH1 0x00
0000099c: PUSH2 0x0100
0000099f: EXP
000009a0: DUP2
000009a1: SLOAD
000009a2: DUP2
000009a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b8: MUL
000009b9: NOT
000009ba: AND
000009bb: SWAP1
000009bc: DUP4
000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d2: AND
000009d3: MUL
000009d4: OR
000009d5: SWAP1
000009d6: SSTORE
000009d7: POP
000009d8: POP
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x00
000009dd: CALLER
000009de: SWAP1
000009df: POP
000009e0: SWAP1
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x00
000009e5: DUP1
000009e6: REVERT
000009e7: JUMPDEST
000009e8: PUSH1 0x00
000009ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ff: DUP3
00000a00: AND
00000a01: SWAP1
00000a02: POP
00000a03: SWAP2
00000a04: SWAP1
00000a05: POP
00000a06: JUMP
00000a07: JUMPDEST
00000a08: PUSH1 0x00
00000a0a: PUSH2 0x0a12
00000a0d: DUP3
00000a0e: PUSH2 0x09e7
00000a11: JUMP
00000a12: JUMPDEST
00000a13: SWAP1
00000a14: POP
00000a15: SWAP2
00000a16: SWAP1
00000a17: POP
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: PUSH2 0x0a22
00000a1d: DUP2
00000a1e: PUSH2 0x0a07
00000a21: JUMP
00000a22: JUMPDEST
00000a23: DUP2
00000a24: EQ
00000a25: PUSH2 0x0a2d
00000a28: JUMPI
00000a29: PUSH1 0x00
00000a2b: DUP1
00000a2c: REVERT
00000a2d: JUMPDEST
00000a2e: POP
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH1 0x00
00000a33: DUP2
00000a34: CALLDATALOAD
00000a35: SWAP1
00000a36: POP
00000a37: PUSH2 0x0a3f
00000a3a: DUP2
00000a3b: PUSH2 0x0a19
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: SWAP3
00000a41: SWAP2
00000a42: POP
00000a43: POP
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH1 0x00
00000a48: DUP2
00000a49: SWAP1
00000a4a: POP
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: POP
00000a4e: JUMP
00000a4f: JUMPDEST
00000a50: PUSH2 0x0a58
00000a53: DUP2
00000a54: PUSH2 0x0a45
00000a57: JUMP
00000a58: JUMPDEST
00000a59: DUP2
00000a5a: EQ
00000a5b: PUSH2 0x0a63
00000a5e: JUMPI
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: POP
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH1 0x00
00000a69: DUP2
00000a6a: CALLDATALOAD
00000a6b: SWAP1
00000a6c: POP
00000a6d: PUSH2 0x0a75
00000a70: DUP2
00000a71: PUSH2 0x0a4f
00000a74: JUMP
00000a75: JUMPDEST
00000a76: SWAP3
00000a77: SWAP2
00000a78: POP
00000a79: POP
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: PUSH1 0x00
00000a7e: DUP1
00000a7f: PUSH1 0x00
00000a81: PUSH1 0x60
00000a83: DUP5
00000a84: DUP7
00000a85: SUB
00000a86: SLT
00000a87: ISZERO
00000a88: PUSH2 0x0a94
00000a8b: JUMPI
00000a8c: PUSH2 0x0a93
00000a8f: PUSH2 0x09e2
00000a92: JUMP
00000a93: JUMPDEST
00000a94: JUMPDEST
00000a95: PUSH1 0x00
00000a97: PUSH2 0x0aa2
00000a9a: DUP7
00000a9b: DUP3
00000a9c: DUP8
00000a9d: ADD
00000a9e: PUSH2 0x0a30
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: SWAP4
00000aa4: POP
00000aa5: POP
00000aa6: PUSH1 0x20
00000aa8: PUSH2 0x0ab3
00000aab: DUP7
00000aac: DUP3
00000aad: DUP8
00000aae: ADD
00000aaf: PUSH2 0x0a66
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: SWAP3
00000ab5: POP
00000ab6: POP
00000ab7: PUSH1 0x40
00000ab9: PUSH2 0x0ac4
00000abc: DUP7
00000abd: DUP3
00000abe: DUP8
00000abf: ADD
00000ac0: PUSH2 0x0a66
00000ac3: JUMP
00000ac4: JUMPDEST
00000ac5: SWAP2
00000ac6: POP
00000ac7: POP
00000ac8: SWAP3
00000ac9: POP
00000aca: SWAP3
00000acb: POP
00000acc: SWAP3
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x00
00000ad1: PUSH1 0x20
00000ad3: DUP3
00000ad4: DUP5
00000ad5: SUB
00000ad6: SLT
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae4
00000adb: JUMPI
00000adc: PUSH2 0x0ae3
00000adf: PUSH2 0x09e2
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: JUMPDEST
00000ae5: PUSH1 0x00
00000ae7: PUSH2 0x0af2
00000aea: DUP5
00000aeb: DUP3
00000aec: DUP6
00000aed: ADD
00000aee: PUSH2 0x0a30
00000af1: JUMP
00000af2: JUMPDEST
00000af3: SWAP2
00000af4: POP
00000af5: POP
00000af6: SWAP3
00000af7: SWAP2
00000af8: POP
00000af9: POP
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH2 0x0b04
00000aff: DUP2
00000b00: PUSH2 0x0a45
00000b03: JUMP
00000b04: JUMPDEST
00000b05: DUP3
00000b06: MSTORE
00000b07: POP
00000b08: POP
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH1 0x00
00000b0d: PUSH1 0x20
00000b0f: DUP3
00000b10: ADD
00000b11: SWAP1
00000b12: POP
00000b13: PUSH2 0x0b1f
00000b16: PUSH1 0x00
00000b18: DUP4
00000b19: ADD
00000b1a: DUP5
00000b1b: PUSH2 0x0afb
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: SWAP3
00000b21: SWAP2
00000b22: POP
00000b23: POP
00000b24: JUMP
00000b25: JUMPDEST
00000b26: PUSH1 0x00
00000b28: PUSH1 0x20
00000b2a: DUP3
00000b2b: DUP5
00000b2c: SUB
00000b2d: SLT
00000b2e: ISZERO
00000b2f: PUSH2 0x0b3b
00000b32: JUMPI
00000b33: PUSH2 0x0b3a
00000b36: PUSH2 0x09e2
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: JUMPDEST
00000b3c: PUSH1 0x00
00000b3e: PUSH2 0x0b49
00000b41: DUP5
00000b42: DUP3
00000b43: DUP6
00000b44: ADD
00000b45: PUSH2 0x0a66
00000b48: JUMP
00000b49: JUMPDEST
00000b4a: SWAP2
00000b4b: POP
00000b4c: POP
00000b4d: SWAP3
00000b4e: SWAP2
00000b4f: POP
00000b50: POP
00000b51: JUMP
00000b52: JUMPDEST
00000b53: PUSH1 0x00
00000b55: DUP2
00000b56: ISZERO
00000b57: ISZERO
00000b58: SWAP1
00000b59: POP
00000b5a: SWAP2
00000b5b: SWAP1
00000b5c: POP
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH2 0x0b67
00000b62: DUP2
00000b63: PUSH2 0x0b52
00000b66: JUMP
00000b67: JUMPDEST
00000b68: DUP3
00000b69: MSTORE
00000b6a: POP
00000b6b: POP
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: PUSH1 0x00
00000b70: PUSH1 0x20
00000b72: DUP3
00000b73: ADD
00000b74: SWAP1
00000b75: POP
00000b76: PUSH2 0x0b82
00000b79: PUSH1 0x00
00000b7b: DUP4
00000b7c: ADD
00000b7d: DUP5
00000b7e: PUSH2 0x0b5e
00000b81: JUMP
00000b82: JUMPDEST
00000b83: SWAP3
00000b84: SWAP2
00000b85: POP
00000b86: POP
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH1 0x00
00000b8b: PUSH2 0x0b93
00000b8e: DUP3
00000b8f: PUSH2 0x09e7
00000b92: JUMP
00000b93: JUMPDEST
00000b94: SWAP1
00000b95: POP
00000b96: SWAP2
00000b97: SWAP1
00000b98: POP
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH2 0x0ba3
00000b9e: DUP2
00000b9f: PUSH2 0x0b88
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: DUP2
00000ba5: EQ
00000ba6: PUSH2 0x0bae
00000ba9: JUMPI
00000baa: PUSH1 0x00
00000bac: DUP1
00000bad: REVERT
00000bae: JUMPDEST
00000baf: POP
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x00
00000bb4: DUP2
00000bb5: CALLDATALOAD
00000bb6: SWAP1
00000bb7: POP
00000bb8: PUSH2 0x0bc0
00000bbb: DUP2
00000bbc: PUSH2 0x0b9a
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: SWAP3
00000bc2: SWAP2
00000bc3: POP
00000bc4: POP
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x00
00000bc9: PUSH1 0x20
00000bcb: DUP3
00000bcc: DUP5
00000bcd: SUB
00000bce: SLT
00000bcf: ISZERO
00000bd0: PUSH2 0x0bdc
00000bd3: JUMPI
00000bd4: PUSH2 0x0bdb
00000bd7: PUSH2 0x09e2
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: JUMPDEST
00000bdd: PUSH1 0x00
00000bdf: PUSH2 0x0bea
00000be2: DUP5
00000be3: DUP3
00000be4: DUP6
00000be5: ADD
00000be6: PUSH2 0x0bb1
00000be9: JUMP
00000bea: JUMPDEST
00000beb: SWAP2
00000bec: POP
00000bed: POP
00000bee: SWAP3
00000bef: SWAP2
00000bf0: POP
00000bf1: POP
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x00
00000bf6: DUP1
00000bf7: PUSH1 0x40
00000bf9: DUP4
00000bfa: DUP6
00000bfb: SUB
00000bfc: SLT
00000bfd: ISZERO
00000bfe: PUSH2 0x0c0a
00000c01: JUMPI
00000c02: PUSH2 0x0c09
00000c05: PUSH2 0x09e2
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: JUMPDEST
00000c0b: PUSH1 0x00
00000c0d: PUSH2 0x0c18
00000c10: DUP6
00000c11: DUP3
00000c12: DUP7
00000c13: ADD
00000c14: PUSH2 0x0a30
00000c17: JUMP
00000c18: JUMPDEST
00000c19: SWAP3
00000c1a: POP
00000c1b: POP
00000c1c: PUSH1 0x20
00000c1e: PUSH2 0x0c29
00000c21: DUP6
00000c22: DUP3
00000c23: DUP7
00000c24: ADD
00000c25: PUSH2 0x0a66
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: SWAP2
00000c2b: POP
00000c2c: POP
00000c2d: SWAP3
00000c2e: POP
00000c2f: SWAP3
00000c30: SWAP1
00000c31: POP
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH2 0x0c3c
00000c37: DUP2
00000c38: PUSH2 0x0a07
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: DUP3
00000c3e: MSTORE
00000c3f: POP
00000c40: POP
00000c41: JUMP
00000c42: JUMPDEST
00000c43: PUSH1 0x00
00000c45: PUSH1 0x60
00000c47: DUP3
00000c48: ADD
00000c49: SWAP1
00000c4a: POP
00000c4b: PUSH2 0x0c57
00000c4e: PUSH1 0x00
00000c50: DUP4
00000c51: ADD
00000c52: DUP7
00000c53: PUSH2 0x0c33
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH2 0x0c64
00000c5b: PUSH1 0x20
00000c5d: DUP4
00000c5e: ADD
00000c5f: DUP6
00000c60: PUSH2 0x0afb
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH2 0x0c71
00000c68: PUSH1 0x40
00000c6a: DUP4
00000c6b: ADD
00000c6c: DUP5
00000c6d: PUSH2 0x0afb
00000c70: JUMP
00000c71: JUMPDEST
00000c72: SWAP5
00000c73: SWAP4
00000c74: POP
00000c75: POP
00000c76: POP
00000c77: POP
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: PUSH1 0x00
00000c7c: PUSH1 0x60
00000c7e: DUP3
00000c7f: ADD
00000c80: SWAP1
00000c81: POP
00000c82: PUSH2 0x0c8e
00000c85: PUSH1 0x00
00000c87: DUP4
00000c88: ADD
00000c89: DUP7
00000c8a: PUSH2 0x0c33
00000c8d: JUMP
00000c8e: JUMPDEST
00000c8f: PUSH2 0x0c9b
00000c92: PUSH1 0x20
00000c94: DUP4
00000c95: ADD
00000c96: DUP6
00000c97: PUSH2 0x0c33
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH2 0x0ca8
00000c9f: PUSH1 0x40
00000ca1: DUP4
00000ca2: ADD
00000ca3: DUP5
00000ca4: PUSH2 0x0afb
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: SWAP5
00000caa: SWAP4
00000cab: POP
00000cac: POP
00000cad: POP
00000cae: POP
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0cb9
00000cb4: DUP2
00000cb5: PUSH2 0x0b52
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: DUP2
00000cbb: EQ
00000cbc: PUSH2 0x0cc4
00000cbf: JUMPI
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: REVERT
00000cc4: JUMPDEST
00000cc5: POP
00000cc6: JUMP
00000cc7: JUMPDEST
00000cc8: PUSH1 0x00
00000cca: DUP2
00000ccb: MLOAD
00000ccc: SWAP1
00000ccd: POP
00000cce: PUSH2 0x0cd6
00000cd1: DUP2
00000cd2: PUSH2 0x0cb0
00000cd5: JUMP
00000cd6: JUMPDEST
00000cd7: SWAP3
00000cd8: SWAP2
00000cd9: POP
00000cda: POP
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x00
00000cdf: PUSH1 0x20
00000ce1: DUP3
00000ce2: DUP5
00000ce3: SUB
00000ce4: SLT
00000ce5: ISZERO
00000ce6: PUSH2 0x0cf2
00000ce9: JUMPI
00000cea: PUSH2 0x0cf1
00000ced: PUSH2 0x09e2
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: JUMPDEST
00000cf3: PUSH1 0x00
00000cf5: PUSH2 0x0d00
00000cf8: DUP5
00000cf9: DUP3
00000cfa: DUP6
00000cfb: ADD
00000cfc: PUSH2 0x0cc7
00000cff: JUMP
00000d00: JUMPDEST
00000d01: SWAP2
00000d02: POP
00000d03: POP
00000d04: SWAP3
00000d05: SWAP2
00000d06: POP
00000d07: POP
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: DUP3
00000d0d: DUP3
00000d0e: MSTORE
00000d0f: PUSH1 0x20
00000d11: DUP3
00000d12: ADD
00000d13: SWAP1
00000d14: POP
00000d15: SWAP3
00000d16: SWAP2
00000d17: POP
00000d18: POP
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH32 0x496e636f72726563742061646472657373000000000000000000000000000000
00000d3c: PUSH1 0x00
00000d3e: DUP3
00000d3f: ADD
00000d40: MSTORE
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH1 0x00
00000d46: PUSH2 0x0d50
00000d49: PUSH1 0x11
00000d4b: DUP4
00000d4c: PUSH2 0x0d09
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: SWAP2
00000d52: POP
00000d53: PUSH2 0x0d5b
00000d56: DUP3
00000d57: PUSH2 0x0d1a
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: PUSH1 0x20
00000d5e: DUP3
00000d5f: ADD
00000d60: SWAP1
00000d61: POP
00000d62: SWAP2
00000d63: SWAP1
00000d64: POP
00000d65: JUMP
00000d66: JUMPDEST
00000d67: PUSH1 0x00
00000d69: PUSH1 0x20
00000d6b: DUP3
00000d6c: ADD
00000d6d: SWAP1
00000d6e: POP
00000d6f: DUP2
00000d70: DUP2
00000d71: SUB
00000d72: PUSH1 0x00
00000d74: DUP4
00000d75: ADD
00000d76: MSTORE
00000d77: PUSH2 0x0d7f
00000d7a: DUP2
00000d7b: PUSH2 0x0d43
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: SWAP1
00000d81: POP
00000d82: SWAP2
00000d83: SWAP1
00000d84: POP
00000d85: JUMP
00000d86: JUMPDEST
00000d87: PUSH32 0x4d656d62657273686970203a2063616c6c6572206973206e6f7420746865206f
00000da8: PUSH1 0x00
00000daa: DUP3
00000dab: ADD
00000dac: MSTORE
00000dad: PUSH32 0x776e657200000000000000000000000000000000000000000000000000000000
00000dce: PUSH1 0x20
00000dd0: DUP3
00000dd1: ADD
00000dd2: MSTORE
00000dd3: POP
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: PUSH1 0x00
00000dd8: PUSH2 0x0de2
00000ddb: PUSH1 0x24
00000ddd: DUP4
00000dde: PUSH2 0x0d09
00000de1: JUMP
00000de2: JUMPDEST
00000de3: SWAP2
00000de4: POP
00000de5: PUSH2 0x0ded
00000de8: DUP3
00000de9: PUSH2 0x0d86
00000dec: JUMP
00000ded: JUMPDEST
00000dee: PUSH1 0x40
00000df0: DUP3
00000df1: ADD
00000df2: SWAP1
00000df3: POP
00000df4: SWAP2
00000df5: SWAP1
00000df6: POP
00000df7: JUMP
00000df8: JUMPDEST
00000df9: PUSH1 0x00
00000dfb: PUSH1 0x20
00000dfd: DUP3
00000dfe: ADD
00000dff: SWAP1
00000e00: POP
00000e01: DUP2
00000e02: DUP2
00000e03: SUB
00000e04: PUSH1 0x00
00000e06: DUP4
00000e07: ADD
00000e08: MSTORE
00000e09: PUSH2 0x0e11
00000e0c: DUP2
00000e0d: PUSH2 0x0dd5
00000e10: JUMP
00000e11: JUMPDEST
00000e12: SWAP1
00000e13: POP
00000e14: SWAP2
00000e15: SWAP1
00000e16: POP
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH1 0x00
00000e1b: PUSH1 0x40
00000e1d: DUP3
00000e1e: ADD
00000e1f: SWAP1
00000e20: POP
00000e21: PUSH2 0x0e2d
00000e24: PUSH1 0x00
00000e26: DUP4
00000e27: ADD
00000e28: DUP6
00000e29: PUSH2 0x0afb
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: PUSH2 0x0e3a
00000e31: PUSH1 0x20
00000e33: DUP4
00000e34: ADD
00000e35: DUP5
00000e36: PUSH2 0x0afb
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: SWAP4
00000e3c: SWAP3
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: JUMP
00000e41: INVALID
00000e42: LOG2
00000e43: PUSH5 0x6970667358
00000e49: UNKNOWN(0x22)
00000e4a: SLT
00000e4b: KECCAK256
00000e4c: UNKNOWN(0xC6)
00000e4d: UNKNOWN(0xB7)
00000e4e: SWAP11
00000e4f: UNKNOWN(0xE4)
00000e50: SUB
00000e51: RETURNDATASIZE
00000e52: UNKNOWN(0xB0)
00000e53: UNKNOWN(0xEC)
00000e54: UNKNOWN(0xCA)
00000e55: RETURNDATASIZE
00000e56: LOG3
00000e57: DUP3
00000e58: RETURNDATACOPY
00000e59: UNKNOWN(0x1F)
00000e5a: UNKNOWN(0xDB)
00000e5b: REVERT
00000e5c: PUSH21 0xbc1b4af0ea66018975ae6645510d8f64736f6c6343
00000e72: STOP
00000e73: ADDMOD
00000e74: MULMOD
00000e75: STOP
00000e76: CALLER

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: 0xcf02b512885723522b5dbac3c2cd22f6349f22977bb6a65a71febd6d5068df9d
call_targets: 0x48ec5f8c22658a2384017cb5540daf4a86963ec3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcf02b512885723522b5dbac3c2cd22f6349f22977bb6a65a71febd6d5068df9d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48ec5f8c22658a2384017cb5540daf4a86963ec3"
    ],
    "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": "0x718da7ee",
            "selector": "0x718da7ee",
            "calldata_variants": [
                "0x718da7ee",
                "0x718da7ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x874dae88",
            "selector": "0x874dae88",
            "calldata_variants": [
                "0x874dae88",
                "0x874dae880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6db75a0",
            "selector": "0xb6db75a0",
            "calldata_variants": [
                "0xb6db75a0",
                "0xb6db75a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc290d691",
            "selector": "0xc290d691",
            "calldata_variants": [
                "0xc290d691",
                "0xc290d6910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe891e9d1",
            "selector": "0xe891e9d1",
            "calldata_variants": [
                "0xe891e9d1",
                "0xe891e9d10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x107ef967",
            "selector": "0x107ef967",
            "calldata_variants": [
                "0x107ef967",
                "0x107ef9670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x34c5a044",
            "selector": "0x34c5a044",
            "calldata_variants": [
                "0x34c5a044",
                "0x34c5a0440000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 844,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1316,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xcf02b512885723522b5dbac3c2cd22f6349f22977bb6a65a71febd6d5068df9d
call_targets: 0x48ec5f8c22658a2384017cb5540daf4a86963ec3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcf02b512885723522b5dbac3c2cd22f6349f22977bb6a65a71febd6d5068df9d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x48ec5f8c22658a2384017cb5540daf4a86963ec3"
    ],
    "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": "0x718da7ee",
            "selector": "0x718da7ee",
            "calldata_variants": [
                "0x718da7ee",
                "0x718da7ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x874dae88",
            "selector": "0x874dae88",
            "calldata_variants": [
                "0x874dae88",
                "0x874dae880000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f32d59b",
            "selector": "0x8f32d59b",
            "calldata_variants": [
                "0x8f32d59b",
                "0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb6db75a0",
            "selector": "0xb6db75a0",
            "calldata_variants": [
                "0xb6db75a0",
                "0xb6db75a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc290d691",
            "selector": "0xc290d691",
            "calldata_variants": [
                "0xc290d691",
                "0xc290d6910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe891e9d1",
            "selector": "0xe891e9d1",
            "calldata_variants": [
                "0xe891e9d1",
                "0xe891e9d10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x107ef967",
            "selector": "0x107ef967",
            "calldata_variants": [
                "0x107ef967",
                "0x107ef9670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x34c5a044",
            "selector": "0x34c5a044",
            "calldata_variants": [
                "0x34c5a044",
                "0x34c5a0440000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 844,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1316,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}