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

Analysis Run

019ba9a5-c64b-7046-8ab8-a31e4979f202

complete
Chain ID
1
Address
0x89a93f94c0a3f388930c4a568430f5e8ffffd3ec
Block Number
—
Created
Sat, Jan 10, 2026 8:42 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 DELEGATECALL target reachable
crit 0 high 0 proxy context implementation known
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
37101 artifact.fetch complete 1 / 3 3 months ago
37102 proxy.resolve complete 1 / 3 3 months ago
37103 tool.cast_disasm complete 1 / 3 3 months ago
37104 analysis.bundle complete 1 / 3 3 months ago
37105 capability.graph complete 1 / 3 3 months ago
37106 detector.run complete 1 / 3 3 months ago
37107 validation.fork complete 1 / 3 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: yes etherscan_only
Implementation:
0xcede21a4d3e8afe51bb353d7c2e67543232fe0ad
Verified Source: yes
Proxy evidence 
{
    "status": "etherscan_only",
    "etherscan_hint": {
        "source": "etherscan",
        "etherscan": {
            "proxy_flag": true,
            "implementation": "0xcede21a4d3e8afe51bb353d7c2e67543232fe0ad"
        }
    },
    "implementation": "0xcede21a4d3e8afe51bb353d7c2e67543232fe0ad"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
1
Total opcodes
1266
Flags
delegatecall_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0059
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x025313a2
00000019: EQ
0000001a: PUSH2 0x00b3
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x025b22bc
00000024: EQ
00000025: PUSH2 0x00e4
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x4555d5c9
0000002f: EQ
00000030: PUSH2 0x0117
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x5c60da1b
0000003a: EQ
0000003b: PUSH2 0x013e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd88ca2c8
00000045: EQ
00000046: PUSH2 0x0153
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1739cae
00000050: EQ
00000051: PUSH2 0x0209
00000054: JUMPI
00000055: PUSH2 0x00a8
00000058: JUMP
00000059: JUMPDEST
0000005a: CALLDATASIZE
0000005b: PUSH2 0x00a8
0000005e: JUMPI
0000005f: PUSH2 0x00a6
00000062: PUSH2 0x0069
00000065: PUSH2 0x023c
00000068: JUMP
00000069: JUMPDEST
0000006a: PUSH1 0x00
0000006c: CALLDATASIZE
0000006d: DUP1
0000006e: DUP1
0000006f: PUSH1 0x1f
00000071: ADD
00000072: PUSH1 0x20
00000074: DUP1
00000075: SWAP2
00000076: DIV
00000077: MUL
00000078: PUSH1 0x20
0000007a: ADD
0000007b: PUSH1 0x40
0000007d: MLOAD
0000007e: SWAP1
0000007f: DUP2
00000080: ADD
00000081: PUSH1 0x40
00000083: MSTORE
00000084: DUP1
00000085: SWAP4
00000086: SWAP3
00000087: SWAP2
00000088: SWAP1
00000089: DUP2
0000008a: DUP2
0000008b: MSTORE
0000008c: PUSH1 0x20
0000008e: ADD
0000008f: DUP4
00000090: DUP4
00000091: DUP1
00000092: DUP3
00000093: DUP5
00000094: CALLDATACOPY
00000095: PUSH1 0x00
00000097: SWAP3
00000098: ADD
00000099: SWAP2
0000009a: SWAP1
0000009b: SWAP2
0000009c: MSTORE
0000009d: POP
0000009e: PUSH2 0x0262
000000a1: SWAP3
000000a2: POP
000000a3: POP
000000a4: POP
000000a5: JUMP
000000a6: JUMPDEST
000000a7: STOP
000000a8: JUMPDEST
000000a9: PUSH2 0x00a6
000000ac: PUSH2 0x0069
000000af: PUSH2 0x023c
000000b2: JUMP
000000b3: JUMPDEST
000000b4: CALLVALUE
000000b5: DUP1
000000b6: ISZERO
000000b7: PUSH2 0x00bf
000000ba: JUMPI
000000bb: PUSH1 0x00
000000bd: DUP1
000000be: REVERT
000000bf: JUMPDEST
000000c0: POP
000000c1: PUSH2 0x00c8
000000c4: PUSH2 0x028a
000000c7: JUMP
000000c8: JUMPDEST
000000c9: PUSH1 0x40
000000cb: DUP1
000000cc: MLOAD
000000cd: PUSH1 0x01
000000cf: PUSH1 0x01
000000d1: PUSH1 0xa0
000000d3: SHL
000000d4: SUB
000000d5: SWAP1
000000d6: SWAP3
000000d7: AND
000000d8: DUP3
000000d9: MSTORE
000000da: MLOAD
000000db: SWAP1
000000dc: DUP2
000000dd: SWAP1
000000de: SUB
000000df: PUSH1 0x20
000000e1: ADD
000000e2: SWAP1
000000e3: RETURN
000000e4: JUMPDEST
000000e5: CALLVALUE
000000e6: DUP1
000000e7: ISZERO
000000e8: PUSH2 0x00f0
000000eb: JUMPI
000000ec: PUSH1 0x00
000000ee: DUP1
000000ef: REVERT
000000f0: JUMPDEST
000000f1: POP
000000f2: PUSH2 0x00a6
000000f5: PUSH1 0x04
000000f7: DUP1
000000f8: CALLDATASIZE
000000f9: SUB
000000fa: PUSH1 0x20
000000fc: DUP2
000000fd: LT
000000fe: ISZERO
000000ff: PUSH2 0x0107
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: POP
00000109: CALLDATALOAD
0000010a: PUSH1 0x01
0000010c: PUSH1 0x01
0000010e: PUSH1 0xa0
00000110: SHL
00000111: SUB
00000112: AND
00000113: PUSH2 0x0299
00000116: JUMP
00000117: JUMPDEST
00000118: CALLVALUE
00000119: DUP1
0000011a: ISZERO
0000011b: PUSH2 0x0123
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: POP
00000125: PUSH2 0x012c
00000128: PUSH2 0x03d3
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH1 0x40
0000012f: DUP1
00000130: MLOAD
00000131: SWAP2
00000132: DUP3
00000133: MSTORE
00000134: MLOAD
00000135: SWAP1
00000136: DUP2
00000137: SWAP1
00000138: SUB
00000139: PUSH1 0x20
0000013b: ADD
0000013c: SWAP1
0000013d: RETURN
0000013e: JUMPDEST
0000013f: CALLVALUE
00000140: DUP1
00000141: ISZERO
00000142: PUSH2 0x014a
00000145: JUMPI
00000146: PUSH1 0x00
00000148: DUP1
00000149: REVERT
0000014a: JUMPDEST
0000014b: POP
0000014c: PUSH2 0x00c8
0000014f: PUSH2 0x03d8
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x00a6
00000157: PUSH1 0x04
00000159: DUP1
0000015a: CALLDATASIZE
0000015b: SUB
0000015c: PUSH1 0x40
0000015e: DUP2
0000015f: LT
00000160: ISZERO
00000161: PUSH2 0x0169
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: PUSH1 0x01
0000016c: PUSH1 0x01
0000016e: PUSH1 0xa0
00000170: SHL
00000171: SUB
00000172: DUP3
00000173: CALLDATALOAD
00000174: AND
00000175: SWAP2
00000176: SWAP1
00000177: DUP2
00000178: ADD
00000179: SWAP1
0000017a: PUSH1 0x40
0000017c: DUP2
0000017d: ADD
0000017e: PUSH1 0x20
00000180: DUP3
00000181: ADD
00000182: CALLDATALOAD
00000183: PUSH5 0x0100000000
00000189: DUP2
0000018a: GT
0000018b: ISZERO
0000018c: PUSH2 0x0194
0000018f: JUMPI
00000190: PUSH1 0x00
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: DUP3
00000196: ADD
00000197: DUP4
00000198: PUSH1 0x20
0000019a: DUP3
0000019b: ADD
0000019c: GT
0000019d: ISZERO
0000019e: PUSH2 0x01a6
000001a1: JUMPI
000001a2: PUSH1 0x00
000001a4: DUP1
000001a5: REVERT
000001a6: JUMPDEST
000001a7: DUP1
000001a8: CALLDATALOAD
000001a9: SWAP1
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP2
000001ae: DUP5
000001af: PUSH1 0x01
000001b1: DUP4
000001b2: MUL
000001b3: DUP5
000001b4: ADD
000001b5: GT
000001b6: PUSH5 0x0100000000
000001bc: DUP4
000001bd: GT
000001be: OR
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: SWAP2
000001ca: SWAP1
000001cb: DUP1
000001cc: DUP1
000001cd: PUSH1 0x1f
000001cf: ADD
000001d0: PUSH1 0x20
000001d2: DUP1
000001d3: SWAP2
000001d4: DIV
000001d5: MUL
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: PUSH1 0x40
000001db: MLOAD
000001dc: SWAP1
000001dd: DUP2
000001de: ADD
000001df: PUSH1 0x40
000001e1: MSTORE
000001e2: DUP1
000001e3: SWAP4
000001e4: SWAP3
000001e5: SWAP2
000001e6: SWAP1
000001e7: DUP2
000001e8: DUP2
000001e9: MSTORE
000001ea: PUSH1 0x20
000001ec: ADD
000001ed: DUP4
000001ee: DUP4
000001ef: DUP1
000001f0: DUP3
000001f1: DUP5
000001f2: CALLDATACOPY
000001f3: PUSH1 0x00
000001f5: SWAP3
000001f6: ADD
000001f7: SWAP2
000001f8: SWAP1
000001f9: SWAP2
000001fa: MSTORE
000001fb: POP
000001fc: SWAP3
000001fd: SWAP6
000001fe: POP
000001ff: PUSH2 0x03e2
00000202: SWAP5
00000203: POP
00000204: POP
00000205: POP
00000206: POP
00000207: POP
00000208: JUMP
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: POP
00000217: PUSH2 0x00a6
0000021a: PUSH1 0x04
0000021c: DUP1
0000021d: CALLDATASIZE
0000021e: SUB
0000021f: PUSH1 0x20
00000221: DUP2
00000222: LT
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: CALLDATALOAD
0000022f: PUSH1 0x01
00000231: PUSH1 0x01
00000233: PUSH1 0xa0
00000235: SHL
00000236: SUB
00000237: AND
00000238: PUSH2 0x0578
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: PUSH1 0x00
00000242: PUSH1 0x40
00000244: MLOAD
00000245: DUP1
00000246: DUP1
00000247: PUSH2 0x0738
0000024a: PUSH1 0x22
0000024c: SWAP2
0000024d: CODECOPY
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: SWAP1
00000252: DUP2
00000253: SWAP1
00000254: SUB
00000255: PUSH1 0x22
00000257: ADD
00000258: SWAP1
00000259: KECCAK256
0000025a: SLOAD
0000025b: SWAP4
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: POP
00000260: SWAP1
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x00
00000265: DUP1
00000266: DUP3
00000267: MLOAD
00000268: PUSH1 0x20
0000026a: DUP5
0000026b: ADD
0000026c: DUP6
0000026d: PUSH2 0x2710
00000270: GAS
00000271: SUB
00000272: DELEGATECALL
00000273: RETURNDATASIZE
00000274: PUSH1 0x40
00000276: MLOAD
00000277: DUP2
00000278: PUSH1 0x00
0000027a: DUP3
0000027b: RETURNDATACOPY
0000027c: DUP3
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0286
00000282: JUMPI
00000283: DUP3
00000284: DUP3
00000285: RETURN
00000286: JUMPDEST
00000287: DUP3
00000288: DUP3
00000289: REVERT
0000028a: JUMPDEST
0000028b: PUSH1 0x00
0000028d: PUSH2 0x0294
00000290: PUSH2 0x066a
00000293: JUMP
00000294: JUMPDEST
00000295: SWAP1
00000296: POP
00000297: SWAP1
00000298: JUMP
00000299: JUMPDEST
0000029a: CALLER
0000029b: PUSH2 0x02a2
0000029e: PUSH2 0x066a
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH1 0x01
000002a5: PUSH1 0x01
000002a7: PUSH1 0xa0
000002a9: SHL
000002aa: SUB
000002ab: AND
000002ac: EQ
000002ad: PUSH2 0x02e9
000002b0: JUMPI
000002b1: PUSH1 0x40
000002b3: DUP1
000002b4: MLOAD
000002b5: PUSH3 0x461bcd
000002b9: PUSH1 0xe5
000002bb: SHL
000002bc: DUP2
000002bd: MSTORE
000002be: PUSH1 0x20
000002c0: PUSH1 0x04
000002c2: DUP3
000002c3: ADD
000002c4: MSTORE
000002c5: PUSH1 0x09
000002c7: PUSH1 0x24
000002c9: DUP3
000002ca: ADD
000002cb: MSTORE
000002cc: PUSH9 0x2727aa2fa7aba722a9
000002d6: PUSH1 0xb9
000002d8: SHL
000002d9: PUSH1 0x44
000002db: DUP3
000002dc: ADD
000002dd: MSTORE
000002de: SWAP1
000002df: MLOAD
000002e0: SWAP1
000002e1: DUP2
000002e2: SWAP1
000002e3: SUB
000002e4: PUSH1 0x64
000002e6: ADD
000002e7: SWAP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: PUSH1 0x01
000002ec: PUSH1 0x01
000002ee: PUSH1 0xa0
000002f0: SHL
000002f1: SUB
000002f2: DUP2
000002f3: AND
000002f4: PUSH2 0x033c
000002f7: JUMPI
000002f8: PUSH1 0x40
000002fa: DUP1
000002fb: MLOAD
000002fc: PUSH3 0x461bcd
00000300: PUSH1 0xe5
00000302: SHL
00000303: DUP2
00000304: MSTORE
00000305: PUSH1 0x20
00000307: PUSH1 0x04
00000309: DUP3
0000030a: ADD
0000030b: MSTORE
0000030c: PUSH1 0x15
0000030e: PUSH1 0x24
00000310: DUP3
00000311: ADD
00000312: MSTORE
00000313: PUSH21 0x494e56414c49445f50524f58595f41444452455353
00000329: PUSH1 0x58
0000032b: SHL
0000032c: PUSH1 0x44
0000032e: DUP3
0000032f: ADD
00000330: MSTORE
00000331: SWAP1
00000332: MLOAD
00000333: SWAP1
00000334: DUP2
00000335: SWAP1
00000336: SUB
00000337: PUSH1 0x64
00000339: ADD
0000033a: SWAP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: PUSH2 0x0345
00000340: DUP2
00000341: PUSH2 0x069c
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH2 0x0380
00000349: JUMPI
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: PUSH3 0x461bcd
00000351: PUSH1 0xe5
00000353: SHL
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: PUSH1 0x25
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x20
00000369: ADD
0000036a: DUP1
0000036b: PUSH2 0x0713
0000036e: PUSH1 0x25
00000370: SWAP2
00000371: CODECOPY
00000372: PUSH1 0x40
00000374: ADD
00000375: SWAP2
00000376: POP
00000377: POP
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: DUP1
0000037c: SWAP2
0000037d: SUB
0000037e: SWAP1
0000037f: REVERT
00000380: JUMPDEST
00000381: PUSH2 0x0388
00000384: PUSH2 0x023c
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x01
0000038b: PUSH1 0x01
0000038d: PUSH1 0xa0
0000038f: SHL
00000390: SUB
00000391: AND
00000392: DUP2
00000393: PUSH1 0x01
00000395: PUSH1 0x01
00000397: PUSH1 0xa0
00000399: SHL
0000039a: SUB
0000039b: AND
0000039c: PUSH32 0xd32d24edea94f55e932d9a008afc425a8561462d1b1f57bc6e508e9a6b9509e1
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: SWAP2
000003c5: SUB
000003c6: SWAP1
000003c7: LOG3
000003c8: PUSH2 0x03d0
000003cb: DUP2
000003cc: PUSH2 0x06bf
000003cf: JUMP
000003d0: JUMPDEST
000003d1: POP
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH1 0x02
000003d6: SWAP1
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH1 0x00
000003db: PUSH2 0x0294
000003de: PUSH2 0x023c
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLER
000003e4: PUSH2 0x03eb
000003e7: PUSH2 0x066a
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH1 0x01
000003ee: PUSH1 0x01
000003f0: PUSH1 0xa0
000003f2: SHL
000003f3: SUB
000003f4: AND
000003f5: EQ
000003f6: PUSH2 0x0432
000003f9: JUMPI
000003fa: PUSH1 0x40
000003fc: DUP1
000003fd: MLOAD
000003fe: PUSH3 0x461bcd
00000402: PUSH1 0xe5
00000404: SHL
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: PUSH1 0x04
0000040b: DUP3
0000040c: ADD
0000040d: MSTORE
0000040e: PUSH1 0x09
00000410: PUSH1 0x24
00000412: DUP3
00000413: ADD
00000414: MSTORE
00000415: PUSH9 0x2727aa2fa7aba722a9
0000041f: PUSH1 0xb9
00000421: SHL
00000422: PUSH1 0x44
00000424: DUP3
00000425: ADD
00000426: MSTORE
00000427: SWAP1
00000428: MLOAD
00000429: SWAP1
0000042a: DUP2
0000042b: SWAP1
0000042c: SUB
0000042d: PUSH1 0x64
0000042f: ADD
00000430: SWAP1
00000431: REVERT
00000432: JUMPDEST
00000433: PUSH2 0x043b
00000436: DUP3
00000437: PUSH2 0x0299
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH1 0x00
0000043e: PUSH1 0x60
00000440: ADDRESS
00000441: PUSH1 0x01
00000443: PUSH1 0x01
00000445: PUSH1 0xa0
00000447: SHL
00000448: SUB
00000449: AND
0000044a: CALLVALUE
0000044b: DUP5
0000044c: PUSH1 0x40
0000044e: MLOAD
0000044f: DUP1
00000450: DUP3
00000451: DUP1
00000452: MLOAD
00000453: SWAP1
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP1
00000458: DUP1
00000459: DUP4
0000045a: DUP4
0000045b: JUMPDEST
0000045c: PUSH1 0x20
0000045e: DUP4
0000045f: LT
00000460: PUSH2 0x047a
00000463: JUMPI
00000464: DUP1
00000465: MLOAD
00000466: DUP3
00000467: MSTORE
00000468: PUSH1 0x1f
0000046a: NOT
0000046b: SWAP1
0000046c: SWAP3
0000046d: ADD
0000046e: SWAP2
0000046f: PUSH1 0x20
00000471: SWAP2
00000472: DUP3
00000473: ADD
00000474: SWAP2
00000475: ADD
00000476: PUSH2 0x045b
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH1 0x01
0000047d: DUP4
0000047e: PUSH1 0x20
00000480: SUB
00000481: PUSH2 0x0100
00000484: EXP
00000485: SUB
00000486: DUP1
00000487: NOT
00000488: DUP3
00000489: MLOAD
0000048a: AND
0000048b: DUP2
0000048c: DUP5
0000048d: MLOAD
0000048e: AND
0000048f: DUP1
00000490: DUP3
00000491: OR
00000492: DUP6
00000493: MSTORE
00000494: POP
00000495: POP
00000496: POP
00000497: POP
00000498: POP
00000499: POP
0000049a: SWAP1
0000049b: POP
0000049c: ADD
0000049d: SWAP2
0000049e: POP
0000049f: POP
000004a0: PUSH1 0x00
000004a2: PUSH1 0x40
000004a4: MLOAD
000004a5: DUP1
000004a6: DUP4
000004a7: SUB
000004a8: DUP2
000004a9: DUP6
000004aa: DUP8
000004ab: GAS
000004ac: CALL
000004ad: SWAP3
000004ae: POP
000004af: POP
000004b0: POP
000004b1: RETURNDATASIZE
000004b2: DUP1
000004b3: PUSH1 0x00
000004b5: DUP2
000004b6: EQ
000004b7: PUSH2 0x04dc
000004ba: JUMPI
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: SWAP2
000004bf: POP
000004c0: PUSH1 0x1f
000004c2: NOT
000004c3: PUSH1 0x3f
000004c5: RETURNDATASIZE
000004c6: ADD
000004c7: AND
000004c8: DUP3
000004c9: ADD
000004ca: PUSH1 0x40
000004cc: MSTORE
000004cd: RETURNDATASIZE
000004ce: DUP3
000004cf: MSTORE
000004d0: RETURNDATASIZE
000004d1: PUSH1 0x00
000004d3: PUSH1 0x20
000004d5: DUP5
000004d6: ADD
000004d7: RETURNDATACOPY
000004d8: PUSH2 0x04e1
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x60
000004df: SWAP2
000004e0: POP
000004e1: JUMPDEST
000004e2: POP
000004e3: SWAP2
000004e4: POP
000004e5: SWAP2
000004e6: POP
000004e7: DUP2
000004e8: DUP2
000004e9: SWAP1
000004ea: PUSH2 0x0571
000004ed: JUMPI
000004ee: PUSH1 0x40
000004f0: MLOAD
000004f1: PUSH3 0x461bcd
000004f5: PUSH1 0xe5
000004f7: SHL
000004f8: DUP2
000004f9: MSTORE
000004fa: PUSH1 0x04
000004fc: ADD
000004fd: DUP1
000004fe: DUP1
000004ff: PUSH1 0x20
00000501: ADD
00000502: DUP3
00000503: DUP2
00000504: SUB
00000505: DUP3
00000506: MSTORE
00000507: DUP4
00000508: DUP2
00000509: DUP2
0000050a: MLOAD
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x20
0000050f: ADD
00000510: SWAP2
00000511: POP
00000512: DUP1
00000513: MLOAD
00000514: SWAP1
00000515: PUSH1 0x20
00000517: ADD
00000518: SWAP1
00000519: DUP1
0000051a: DUP4
0000051b: DUP4
0000051c: PUSH1 0x00
0000051e: JUMPDEST
0000051f: DUP4
00000520: DUP2
00000521: LT
00000522: ISZERO
00000523: PUSH2 0x0536
00000526: JUMPI
00000527: DUP2
00000528: DUP2
00000529: ADD
0000052a: MLOAD
0000052b: DUP4
0000052c: DUP3
0000052d: ADD
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: PUSH2 0x051e
00000535: JUMP
00000536: JUMPDEST
00000537: POP
00000538: POP
00000539: POP
0000053a: POP
0000053b: SWAP1
0000053c: POP
0000053d: SWAP1
0000053e: DUP2
0000053f: ADD
00000540: SWAP1
00000541: PUSH1 0x1f
00000543: AND
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x0563
00000549: JUMPI
0000054a: DUP1
0000054b: DUP3
0000054c: SUB
0000054d: DUP1
0000054e: MLOAD
0000054f: PUSH1 0x01
00000551: DUP4
00000552: PUSH1 0x20
00000554: SUB
00000555: PUSH2 0x0100
00000558: EXP
00000559: SUB
0000055a: NOT
0000055b: AND
0000055c: DUP2
0000055d: MSTORE
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP2
00000562: POP
00000563: JUMPDEST
00000564: POP
00000565: SWAP3
00000566: POP
00000567: POP
00000568: POP
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: DUP1
0000056d: SWAP2
0000056e: SUB
0000056f: SWAP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: POP
00000574: POP
00000575: POP
00000576: POP
00000577: JUMP
00000578: JUMPDEST
00000579: CALLER
0000057a: PUSH2 0x0581
0000057d: PUSH2 0x066a
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH1 0x01
00000584: PUSH1 0x01
00000586: PUSH1 0xa0
00000588: SHL
00000589: SUB
0000058a: AND
0000058b: EQ
0000058c: PUSH2 0x05c8
0000058f: JUMPI
00000590: PUSH1 0x40
00000592: DUP1
00000593: MLOAD
00000594: PUSH3 0x461bcd
00000598: PUSH1 0xe5
0000059a: SHL
0000059b: DUP2
0000059c: MSTORE
0000059d: PUSH1 0x20
0000059f: PUSH1 0x04
000005a1: DUP3
000005a2: ADD
000005a3: MSTORE
000005a4: PUSH1 0x09
000005a6: PUSH1 0x24
000005a8: DUP3
000005a9: ADD
000005aa: MSTORE
000005ab: PUSH9 0x2727aa2fa7aba722a9
000005b5: PUSH1 0xb9
000005b7: SHL
000005b8: PUSH1 0x44
000005ba: DUP3
000005bb: ADD
000005bc: MSTORE
000005bd: SWAP1
000005be: MLOAD
000005bf: SWAP1
000005c0: DUP2
000005c1: SWAP1
000005c2: SUB
000005c3: PUSH1 0x64
000005c5: ADD
000005c6: SWAP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: PUSH1 0x01
000005cb: PUSH1 0x01
000005cd: PUSH1 0xa0
000005cf: SHL
000005d0: SUB
000005d1: DUP2
000005d2: AND
000005d3: PUSH2 0x0612
000005d6: JUMPI
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: MLOAD
000005db: PUSH3 0x461bcd
000005df: PUSH1 0xe5
000005e1: SHL
000005e2: DUP2
000005e3: MSTORE
000005e4: PUSH1 0x20
000005e6: PUSH1 0x04
000005e8: DUP3
000005e9: ADD
000005ea: MSTORE
000005eb: PUSH1 0x0c
000005ed: PUSH1 0x24
000005ef: DUP3
000005f0: ADD
000005f1: MSTORE
000005f2: PUSH12 0x5a45524f5f41444452455353
000005ff: PUSH1 0xa0
00000601: SHL
00000602: PUSH1 0x44
00000604: DUP3
00000605: ADD
00000606: MSTORE
00000607: SWAP1
00000608: MLOAD
00000609: SWAP1
0000060a: DUP2
0000060b: SWAP1
0000060c: SUB
0000060d: PUSH1 0x64
0000060f: ADD
00000610: SWAP1
00000611: REVERT
00000612: JUMPDEST
00000613: PUSH32 0xdbe5fd65bcdbae152f24ab660ea68e72b4d4705b57b16e0caae994e214680ee2
00000634: DUP2
00000635: PUSH2 0x063c
00000638: PUSH2 0x066a
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x40
0000063f: DUP1
00000640: MLOAD
00000641: PUSH1 0x01
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: SHL
00000648: SUB
00000649: SWAP4
0000064a: DUP5
0000064b: AND
0000064c: DUP2
0000064d: MSTORE
0000064e: SWAP2
0000064f: SWAP1
00000650: SWAP3
00000651: AND
00000652: PUSH1 0x20
00000654: DUP3
00000655: ADD
00000656: MSTORE
00000657: DUP2
00000658: MLOAD
00000659: SWAP1
0000065a: DUP2
0000065b: SWAP1
0000065c: SUB
0000065d: SWAP1
0000065e: SWAP2
0000065f: ADD
00000660: SWAP1
00000661: LOG1
00000662: PUSH2 0x03d0
00000665: DUP2
00000666: PUSH2 0x06e1
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH1 0x40
0000066d: DUP1
0000066e: MLOAD
0000066f: PUSH25 0x36b0ba34b1973732ba3bb7b93597383937bc3c9737bbb732b9
00000689: PUSH1 0x39
0000068b: SHL
0000068c: DUP2
0000068d: MSTORE
0000068e: SWAP1
0000068f: MLOAD
00000690: SWAP1
00000691: DUP2
00000692: SWAP1
00000693: SUB
00000694: PUSH1 0x19
00000696: ADD
00000697: SWAP1
00000698: KECCAK256
00000699: SLOAD
0000069a: SWAP1
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH1 0x00
0000069f: PUSH1 0x01
000006a1: PUSH1 0x01
000006a3: PUSH1 0xa0
000006a5: SHL
000006a6: SUB
000006a7: DUP3
000006a8: AND
000006a9: PUSH2 0x06b4
000006ac: JUMPI
000006ad: POP
000006ae: PUSH1 0x00
000006b0: PUSH2 0x06ba
000006b3: JUMP
000006b4: JUMPDEST
000006b5: POP
000006b6: DUP1
000006b7: EXTCODESIZE
000006b8: ISZERO
000006b9: ISZERO
000006ba: JUMPDEST
000006bb: SWAP2
000006bc: SWAP1
000006bd: POP
000006be: JUMP
000006bf: JUMPDEST
000006c0: PUSH1 0x00
000006c2: PUSH1 0x40
000006c4: MLOAD
000006c5: DUP1
000006c6: DUP1
000006c7: PUSH2 0x0738
000006ca: PUSH1 0x22
000006cc: SWAP2
000006cd: CODECOPY
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: SWAP1
000006d2: DUP2
000006d3: SWAP1
000006d4: SUB
000006d5: PUSH1 0x22
000006d7: ADD
000006d8: SWAP1
000006d9: KECCAK256
000006da: SWAP3
000006db: SWAP1
000006dc: SWAP3
000006dd: SSTORE
000006de: POP
000006df: POP
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH1 0x40
000006e4: DUP1
000006e5: MLOAD
000006e6: PUSH25 0x36b0ba34b1973732ba3bb7b93597383937bc3c9737bbb732b9
00000700: PUSH1 0x39
00000702: SHL
00000703: DUP2
00000704: MSTORE
00000705: SWAP1
00000706: MLOAD
00000707: SWAP1
00000708: DUP2
00000709: SWAP1
0000070a: SUB
0000070b: PUSH1 0x19
0000070d: ADD
0000070e: SWAP1
0000070f: KECCAK256
00000710: SSTORE
00000711: JUMP
00000712: INVALID
00000713: DIFFICULTY
00000714: GASLIMIT
00000715: MSTORE8
00000716: SLOAD
00000717: BLOBHASH
00000718: UNKNOWN(0x4E)
00000719: COINBASE
0000071a: SLOAD
0000071b: BLOBHASH
0000071c: UNKNOWN(0x4F)
0000071d: UNKNOWN(0x4E)
0000071e: PUSH0
0000071f: COINBASE
00000720: DIFFICULTY
00000721: DIFFICULTY
00000722: MSTORE
00000723: GASLIMIT
00000724: MSTORE8
00000725: MSTORE8
00000726: PUSH0
00000727: BLOBHASH
00000728: MSTORE8
00000729: PUSH0
0000072a: UNKNOWN(0x4E)
0000072b: UNKNOWN(0x4F)
0000072c: SLOAD
0000072d: PUSH0
0000072e: COINBASE
0000072f: PUSH0
00000730: NUMBER
00000731: UNKNOWN(0x4F)
00000732: UNKNOWN(0x4E)
00000733: SLOAD
00000734: MSTORE
00000735: COINBASE
00000736: NUMBER
00000737: SLOAD
00000738: PUSH14 0x617469632e6e6574776f726b2e70
00000747: PUSH19 0x6f78792e696d706c656d656e746174696f6ea2
0000075b: PUSH5 0x6970667358
00000761: UNKNOWN(0x22)
00000762: SLT
00000763: KECCAK256
00000764: UNKNOWN(0xE0)
00000765: DIV
00000766: PUSH11 0x7cc053cc2286af008e36e9
00000772: DUP11
00000773: UNKNOWN(0xF7)
00000774: PC
00000775: UNKNOWN(0xCA)
00000776: CODESIZE
00000777: UNKNOWN(0xBA)
00000778: DUP10
00000779: OR
0000077a: UNKNOWN(0xEB)
0000077b: PUSH29

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0xdaf77944817f130c1da90667446499401acf4a3307790069ebab0bf2833ac983
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 72,
    "trace_id": "0xdaf77944817f130c1da90667446499401acf4a3307790069ebab0bf2833ac983",
    "confirmed": false,
    "trace_mode": "callTracer",
    "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": "0x025313a2",
            "selector": "0x025313a2",
            "calldata_variants": [
                "0x025313a2",
                "0x025313a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025b22bc",
            "selector": "0x025b22bc",
            "calldata_variants": [
                "0x025b22bc",
                "0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4555d5c9",
            "selector": "0x4555d5c9",
            "calldata_variants": [
                "0x4555d5c9",
                "0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd88ca2c8",
            "selector": "0xd88ca2c8",
            "calldata_variants": [
                "0xd88ca2c8",
                "0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1739cae",
            "selector": "0xf1739cae",
            "calldata_variants": [
                "0xf1739cae",
                "0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 626,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xd6b633ea7a3d04d6c3ed5b2e9f17252a65ee6ba923eeba976a2d5f8d621d828f
call_targets: 0x89a93f94c0a3f388930c4a568430f5e8ffffd3ec
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd6b633ea7a3d04d6c3ed5b2e9f17252a65ee6ba923eeba976a2d5f8d621d828f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89a93f94c0a3f388930c4a568430f5e8ffffd3ec"
    ],
    "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": "0x025313a2",
            "selector": "0x025313a2",
            "calldata_variants": [
                "0x025313a2",
                "0x025313a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025b22bc",
            "selector": "0x025b22bc",
            "calldata_variants": [
                "0x025b22bc",
                "0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4555d5c9",
            "selector": "0x4555d5c9",
            "calldata_variants": [
                "0x4555d5c9",
                "0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd88ca2c8",
            "selector": "0xd88ca2c8",
            "calldata_variants": [
                "0xd88ca2c8",
                "0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1739cae",
            "selector": "0xf1739cae",
            "calldata_variants": [
                "0xf1739cae",
                "0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1196,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd6b633ea7a3d04d6c3ed5b2e9f17252a65ee6ba923eeba976a2d5f8d621d828f
call_targets: 0x89a93f94c0a3f388930c4a568430f5e8ffffd3ec
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd6b633ea7a3d04d6c3ed5b2e9f17252a65ee6ba923eeba976a2d5f8d621d828f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89a93f94c0a3f388930c4a568430f5e8ffffd3ec"
    ],
    "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": "0x025313a2",
            "selector": "0x025313a2",
            "calldata_variants": [
                "0x025313a2",
                "0x025313a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x025b22bc",
            "selector": "0x025b22bc",
            "calldata_variants": [
                "0x025b22bc",
                "0x025b22bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4555d5c9",
            "selector": "0x4555d5c9",
            "calldata_variants": [
                "0x4555d5c9",
                "0x4555d5c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c60da1b",
            "selector": "0x5c60da1b",
            "calldata_variants": [
                "0x5c60da1b",
                "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd88ca2c8",
            "selector": "0xd88ca2c8",
            "calldata_variants": [
                "0xd88ca2c8",
                "0xd88ca2c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1739cae",
            "selector": "0xf1739cae",
            "calldata_variants": [
                "0xf1739cae",
                "0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1196,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no —
view
evidence_json 
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}