Analysis Run

019b3844-a66e-7211-8fc8-e2e6f58551e8

complete

Chain ID

1

Address

0x27d64dd9172e4b59a444817d30f7af8228f174cc

Block Number

—

Created

Fri, Dec 19, 2025 8:19 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted DELEGATECALL target 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
16373	artifact.fetch	complete	1 / 3	3 months ago
16374	tool.cast_disasm	complete	1 / 3	3 months ago
59469	analysis.bundle	complete	1 / 3	1 week ago
59470	capability.graph	complete	1 / 3	1 week ago
59471	detector.run	complete	1 / 3	1 week ago
59472	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

2

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

0

EXT*/BALANCE

2

Total opcodes

1190

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x004e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x3659cfe6
00000019: EQ
0000001a: PUSH2 0x0065
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x4f1ef286
00000024: EQ
00000025: PUSH2 0x0098
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x5c60da1b
0000002f: EQ
00000030: PUSH2 0x0118
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x8f283970
0000003a: EQ
0000003b: PUSH2 0x0149
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf851a440
00000045: EQ
00000046: PUSH2 0x017c
00000049: JUMPI
0000004a: PUSH2 0x005d
0000004d: JUMP
0000004e: JUMPDEST
0000004f: CALLDATASIZE
00000050: PUSH2 0x005d
00000053: JUMPI
00000054: PUSH2 0x005b
00000057: PUSH2 0x0191
0000005a: JUMP
0000005b: JUMPDEST
0000005c: STOP
0000005d: JUMPDEST
0000005e: PUSH2 0x005b
00000061: PUSH2 0x0191
00000064: JUMP
00000065: JUMPDEST
00000066: CALLVALUE
00000067: DUP1
00000068: ISZERO
00000069: PUSH2 0x0071
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: POP
00000073: PUSH2 0x005b
00000076: PUSH1 0x04
00000078: DUP1
00000079: CALLDATASIZE
0000007a: SUB
0000007b: PUSH1 0x20
0000007d: DUP2
0000007e: LT
0000007f: ISZERO
00000080: PUSH2 0x0088
00000083: JUMPI
00000084: PUSH1 0x00
00000086: DUP1
00000087: REVERT
00000088: JUMPDEST
00000089: POP
0000008a: CALLDATALOAD
0000008b: PUSH1 0x01
0000008d: PUSH1 0x01
0000008f: PUSH1 0xa0
00000091: SHL
00000092: SUB
00000093: AND
00000094: PUSH2 0x01ab
00000097: JUMP
00000098: JUMPDEST
00000099: PUSH2 0x005b
0000009c: PUSH1 0x04
0000009e: DUP1
0000009f: CALLDATASIZE
000000a0: SUB
000000a1: PUSH1 0x40
000000a3: DUP2
000000a4: LT
000000a5: ISZERO
000000a6: PUSH2 0x00ae
000000a9: JUMPI
000000aa: PUSH1 0x00
000000ac: DUP1
000000ad: REVERT
000000ae: JUMPDEST
000000af: PUSH1 0x01
000000b1: PUSH1 0x01
000000b3: PUSH1 0xa0
000000b5: SHL
000000b6: SUB
000000b7: DUP3
000000b8: CALLDATALOAD
000000b9: AND
000000ba: SWAP2
000000bb: SWAP1
000000bc: DUP2
000000bd: ADD
000000be: SWAP1
000000bf: PUSH1 0x40
000000c1: DUP2
000000c2: ADD
000000c3: PUSH1 0x20
000000c5: DUP3
000000c6: ADD
000000c7: CALLDATALOAD
000000c8: PUSH5 0x0100000000
000000ce: DUP2
000000cf: GT
000000d0: ISZERO
000000d1: PUSH2 0x00d9
000000d4: JUMPI
000000d5: PUSH1 0x00
000000d7: DUP1
000000d8: REVERT
000000d9: JUMPDEST
000000da: DUP3
000000db: ADD
000000dc: DUP4
000000dd: PUSH1 0x20
000000df: DUP3
000000e0: ADD
000000e1: GT
000000e2: ISZERO
000000e3: PUSH2 0x00eb
000000e6: JUMPI
000000e7: PUSH1 0x00
000000e9: DUP1
000000ea: REVERT
000000eb: JUMPDEST
000000ec: DUP1
000000ed: CALLDATALOAD
000000ee: SWAP1
000000ef: PUSH1 0x20
000000f1: ADD
000000f2: SWAP2
000000f3: DUP5
000000f4: PUSH1 0x01
000000f6: DUP4
000000f7: MUL
000000f8: DUP5
000000f9: ADD
000000fa: GT
000000fb: PUSH5 0x0100000000
00000101: DUP4
00000102: GT
00000103: OR
00000104: ISZERO
00000105: PUSH2 0x010d
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: POP
0000010f: SWAP1
00000110: SWAP3
00000111: POP
00000112: SWAP1
00000113: POP
00000114: PUSH2 0x01e5
00000117: JUMP
00000118: JUMPDEST
00000119: CALLVALUE
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x0124
0000011f: JUMPI
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: POP
00000126: PUSH2 0x012d
00000129: PUSH2 0x0262
0000012c: JUMP
0000012d: JUMPDEST
0000012e: PUSH1 0x40
00000130: DUP1
00000131: MLOAD
00000132: PUSH1 0x01
00000134: PUSH1 0x01
00000136: PUSH1 0xa0
00000138: SHL
00000139: SUB
0000013a: SWAP1
0000013b: SWAP3
0000013c: AND
0000013d: DUP3
0000013e: MSTORE
0000013f: MLOAD
00000140: SWAP1
00000141: DUP2
00000142: SWAP1
00000143: SUB
00000144: PUSH1 0x20
00000146: ADD
00000147: SWAP1
00000148: RETURN
00000149: JUMPDEST
0000014a: CALLVALUE
0000014b: DUP1
0000014c: ISZERO
0000014d: PUSH2 0x0155
00000150: JUMPI
00000151: PUSH1 0x00
00000153: DUP1
00000154: REVERT
00000155: JUMPDEST
00000156: POP
00000157: PUSH2 0x005b
0000015a: PUSH1 0x04
0000015c: DUP1
0000015d: CALLDATASIZE
0000015e: SUB
0000015f: PUSH1 0x20
00000161: DUP2
00000162: LT
00000163: ISZERO
00000164: PUSH2 0x016c
00000167: JUMPI
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: POP
0000016e: CALLDATALOAD
0000016f: PUSH1 0x01
00000171: PUSH1 0x01
00000173: PUSH1 0xa0
00000175: SHL
00000176: SUB
00000177: AND
00000178: PUSH2 0x029f
0000017b: JUMP
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: PUSH2 0x012d
0000018d: PUSH2 0x0359
00000190: JUMP
00000191: JUMPDEST
00000192: PUSH2 0x0199
00000195: PUSH2 0x03b6
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH2 0x01a9
0000019d: PUSH2 0x01a4
000001a0: PUSH2 0x0416
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x043b
000001a8: JUMP
000001a9: JUMPDEST
000001aa: JUMP
000001ab: JUMPDEST
000001ac: PUSH2 0x01b3
000001af: PUSH2 0x045f
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x01
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: SHL
000001bb: SUB
000001bc: AND
000001bd: CALLER
000001be: PUSH1 0x01
000001c0: PUSH1 0x01
000001c2: PUSH1 0xa0
000001c4: SHL
000001c5: SUB
000001c6: AND
000001c7: EQ
000001c8: ISZERO
000001c9: PUSH2 0x01da
000001cc: JUMPI
000001cd: PUSH2 0x01d5
000001d0: DUP2
000001d1: PUSH2 0x0484
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH2 0x01e2
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH2 0x01e2
000001de: PUSH2 0x0191
000001e1: JUMP
000001e2: JUMPDEST
000001e3: POP
000001e4: JUMP
000001e5: JUMPDEST
000001e6: PUSH2 0x01ed
000001e9: PUSH2 0x045f
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x01
000001f0: PUSH1 0x01
000001f2: PUSH1 0xa0
000001f4: SHL
000001f5: SUB
000001f6: AND
000001f7: CALLER
000001f8: PUSH1 0x01
000001fa: PUSH1 0x01
000001fc: PUSH1 0xa0
000001fe: SHL
000001ff: SUB
00000200: AND
00000201: EQ
00000202: ISZERO
00000203: PUSH2 0x0255
00000206: JUMPI
00000207: PUSH2 0x020f
0000020a: DUP4
0000020b: PUSH2 0x0484
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH2 0x024f
00000213: DUP4
00000214: DUP4
00000215: DUP4
00000216: DUP1
00000217: DUP1
00000218: PUSH1 0x1f
0000021a: ADD
0000021b: PUSH1 0x20
0000021d: DUP1
0000021e: SWAP2
0000021f: DIV
00000220: MUL
00000221: PUSH1 0x20
00000223: ADD
00000224: PUSH1 0x40
00000226: MLOAD
00000227: SWAP1
00000228: DUP2
00000229: ADD
0000022a: PUSH1 0x40
0000022c: MSTORE
0000022d: DUP1
0000022e: SWAP4
0000022f: SWAP3
00000230: SWAP2
00000231: SWAP1
00000232: DUP2
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x20
00000237: ADD
00000238: DUP4
00000239: DUP4
0000023a: DUP1
0000023b: DUP3
0000023c: DUP5
0000023d: CALLDATACOPY
0000023e: PUSH1 0x00
00000240: SWAP3
00000241: ADD
00000242: SWAP2
00000243: SWAP1
00000244: SWAP2
00000245: MSTORE
00000246: POP
00000247: PUSH2 0x0384
0000024a: SWAP3
0000024b: POP
0000024c: POP
0000024d: POP
0000024e: JUMP
0000024f: JUMPDEST
00000250: POP
00000251: PUSH2 0x025d
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH2 0x025d
00000259: PUSH2 0x0191
0000025c: JUMP
0000025d: JUMPDEST
0000025e: POP
0000025f: POP
00000260: POP
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x00
00000265: PUSH2 0x026c
00000268: PUSH2 0x045f
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x01
0000026f: PUSH1 0x01
00000271: PUSH1 0xa0
00000273: SHL
00000274: SUB
00000275: AND
00000276: CALLER
00000277: PUSH1 0x01
00000279: PUSH1 0x01
0000027b: PUSH1 0xa0
0000027d: SHL
0000027e: SUB
0000027f: AND
00000280: EQ
00000281: ISZERO
00000282: PUSH2 0x0294
00000285: JUMPI
00000286: PUSH2 0x028d
00000289: PUSH2 0x0416
0000028c: JUMP
0000028d: JUMPDEST
0000028e: SWAP1
0000028f: POP
00000290: PUSH2 0x029c
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x029c
00000298: PUSH2 0x0191
0000029b: JUMP
0000029c: JUMPDEST
0000029d: SWAP1
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH2 0x02a7
000002a3: PUSH2 0x045f
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x01
000002aa: PUSH1 0x01
000002ac: PUSH1 0xa0
000002ae: SHL
000002af: SUB
000002b0: AND
000002b1: CALLER
000002b2: PUSH1 0x01
000002b4: PUSH1 0x01
000002b6: PUSH1 0xa0
000002b8: SHL
000002b9: SUB
000002ba: AND
000002bb: EQ
000002bc: ISZERO
000002bd: PUSH2 0x01da
000002c0: JUMPI
000002c1: PUSH1 0x01
000002c3: PUSH1 0x01
000002c5: PUSH1 0xa0
000002c7: SHL
000002c8: SUB
000002c9: DUP2
000002ca: AND
000002cb: PUSH2 0x0305
000002ce: JUMPI
000002cf: PUSH1 0x40
000002d1: MLOAD
000002d2: PUSH3 0x461bcd
000002d6: PUSH1 0xe5
000002d8: SHL
000002d9: DUP2
000002da: MSTORE
000002db: PUSH1 0x04
000002dd: ADD
000002de: DUP1
000002df: DUP1
000002e0: PUSH1 0x20
000002e2: ADD
000002e3: DUP3
000002e4: DUP2
000002e5: SUB
000002e6: DUP3
000002e7: MSTORE
000002e8: PUSH1 0x3a
000002ea: DUP2
000002eb: MSTORE
000002ec: PUSH1 0x20
000002ee: ADD
000002ef: DUP1
000002f0: PUSH2 0x06f7
000002f3: PUSH1 0x3a
000002f5: SWAP2
000002f6: CODECOPY
000002f7: PUSH1 0x40
000002f9: ADD
000002fa: SWAP2
000002fb: POP
000002fc: POP
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: DUP1
00000301: SWAP2
00000302: SUB
00000303: SWAP1
00000304: REVERT
00000305: JUMPDEST
00000306: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f
00000327: PUSH2 0x032e
0000032a: PUSH2 0x045f
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: DUP1
00000332: MLOAD
00000333: PUSH1 0x01
00000335: PUSH1 0x01
00000337: PUSH1 0xa0
00000339: SHL
0000033a: SUB
0000033b: SWAP3
0000033c: DUP4
0000033d: AND
0000033e: DUP2
0000033f: MSTORE
00000340: SWAP2
00000341: DUP5
00000342: AND
00000343: PUSH1 0x20
00000345: DUP4
00000346: ADD
00000347: MSTORE
00000348: DUP1
00000349: MLOAD
0000034a: SWAP2
0000034b: DUP3
0000034c: SWAP1
0000034d: SUB
0000034e: ADD
0000034f: SWAP1
00000350: LOG1
00000351: PUSH2 0x01d5
00000354: DUP2
00000355: PUSH2 0x04c4
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH1 0x00
0000035c: PUSH2 0x0363
0000035f: PUSH2 0x045f
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x01
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: SHL
0000036b: SUB
0000036c: AND
0000036d: CALLER
0000036e: PUSH1 0x01
00000370: PUSH1 0x01
00000372: PUSH1 0xa0
00000374: SHL
00000375: SUB
00000376: AND
00000377: EQ
00000378: ISZERO
00000379: PUSH2 0x0294
0000037c: JUMPI
0000037d: PUSH2 0x028d
00000380: PUSH2 0x045f
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH1 0x60
00000387: PUSH2 0x03a9
0000038a: DUP4
0000038b: DUP4
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: PUSH1 0x60
00000392: ADD
00000393: PUSH1 0x40
00000395: MSTORE
00000396: DUP1
00000397: PUSH1 0x27
00000399: DUP2
0000039a: MSTORE
0000039b: PUSH1 0x20
0000039d: ADD
0000039e: PUSH2 0x0731
000003a1: PUSH1 0x27
000003a3: SWAP2
000003a4: CODECOPY
000003a5: PUSH2 0x04e8
000003a8: JUMP
000003a9: JUMPDEST
000003aa: SWAP4
000003ab: SWAP3
000003ac: POP
000003ad: POP
000003ae: POP
000003af: JUMP
000003b0: JUMPDEST
000003b1: EXTCODESIZE
000003b2: ISZERO
000003b3: ISZERO
000003b4: SWAP1
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH2 0x03be
000003ba: PUSH2 0x045f
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: AND
000003c8: CALLER
000003c9: PUSH1 0x01
000003cb: PUSH1 0x01
000003cd: PUSH1 0xa0
000003cf: SHL
000003d0: SUB
000003d1: AND
000003d2: EQ
000003d3: ISZERO
000003d4: PUSH2 0x040e
000003d7: JUMPI
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: PUSH3 0x461bcd
000003df: PUSH1 0xe5
000003e1: SHL
000003e2: DUP2
000003e3: MSTORE
000003e4: PUSH1 0x04
000003e6: ADD
000003e7: DUP1
000003e8: DUP1
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: DUP3
000003ed: DUP2
000003ee: SUB
000003ef: DUP3
000003f0: MSTORE
000003f1: PUSH1 0x42
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: DUP1
000003f9: PUSH2 0x07b4
000003fc: PUSH1 0x42
000003fe: SWAP2
000003ff: CODECOPY
00000400: PUSH1 0x60
00000402: ADD
00000403: SWAP2
00000404: POP
00000405: POP
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: SWAP2
0000040b: SUB
0000040c: SWAP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: PUSH2 0x01a9
00000412: PUSH2 0x01a9
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000438: SLOAD
00000439: SWAP1
0000043a: JUMP
0000043b: JUMPDEST
0000043c: CALLDATASIZE
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: CALLDATACOPY
00000441: PUSH1 0x00
00000443: DUP1
00000444: CALLDATASIZE
00000445: PUSH1 0x00
00000447: DUP5
00000448: GAS
00000449: DELEGATECALL
0000044a: RETURNDATASIZE
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: RETURNDATACOPY
0000044f: DUP1
00000450: DUP1
00000451: ISZERO
00000452: PUSH2 0x045a
00000455: JUMPI
00000456: RETURNDATASIZE
00000457: PUSH1 0x00
00000459: RETURN
0000045a: JUMPDEST
0000045b: RETURNDATASIZE
0000045c: PUSH1 0x00
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000481: SLOAD
00000482: SWAP1
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x048d
00000488: DUP2
00000489: PUSH2 0x05ea
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: PUSH1 0x01
00000493: PUSH1 0x01
00000495: PUSH1 0xa0
00000497: SHL
00000498: SUB
00000499: DUP3
0000049a: AND
0000049b: SWAP1
0000049c: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
000004bd: SWAP1
000004be: PUSH1 0x00
000004c0: SWAP1
000004c1: LOG2
000004c2: POP
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
000004e6: SSTORE
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x60
000004eb: PUSH2 0x04f3
000004ee: DUP5
000004ef: PUSH2 0x03b0
000004f2: JUMP
000004f3: JUMPDEST
000004f4: PUSH2 0x052e
000004f7: JUMPI
000004f8: PUSH1 0x40
000004fa: MLOAD
000004fb: PUSH3 0x461bcd
000004ff: PUSH1 0xe5
00000501: SHL
00000502: DUP2
00000503: MSTORE
00000504: PUSH1 0x04
00000506: ADD
00000507: DUP1
00000508: DUP1
00000509: PUSH1 0x20
0000050b: ADD
0000050c: DUP3
0000050d: DUP2
0000050e: SUB
0000050f: DUP3
00000510: MSTORE
00000511: PUSH1 0x26
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: ADD
00000518: DUP1
00000519: PUSH2 0x078e
0000051c: PUSH1 0x26
0000051e: SWAP2
0000051f: CODECOPY
00000520: PUSH1 0x40
00000522: ADD
00000523: SWAP2
00000524: POP
00000525: POP
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: SWAP2
0000052b: SUB
0000052c: SWAP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: PUSH1 0x00
00000531: DUP1
00000532: DUP6
00000533: PUSH1 0x01
00000535: PUSH1 0x01
00000537: PUSH1 0xa0
00000539: SHL
0000053a: SUB
0000053b: AND
0000053c: DUP6
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: DUP1
00000541: DUP3
00000542: DUP1
00000543: MLOAD
00000544: SWAP1
00000545: PUSH1 0x20
00000547: ADD
00000548: SWAP1
00000549: DUP1
0000054a: DUP4
0000054b: DUP4
0000054c: JUMPDEST
0000054d: PUSH1 0x20
0000054f: DUP4
00000550: LT
00000551: PUSH2 0x056b
00000554: JUMPI
00000555: DUP1
00000556: MLOAD
00000557: DUP3
00000558: MSTORE
00000559: PUSH1 0x1f
0000055b: NOT
0000055c: SWAP1
0000055d: SWAP3
0000055e: ADD
0000055f: SWAP2
00000560: PUSH1 0x20
00000562: SWAP2
00000563: DUP3
00000564: ADD
00000565: SWAP2
00000566: ADD
00000567: PUSH2 0x054c
0000056a: JUMP
0000056b: JUMPDEST
0000056c: PUSH1 0x01
0000056e: DUP4
0000056f: PUSH1 0x20
00000571: SUB
00000572: PUSH2 0x0100
00000575: EXP
00000576: SUB
00000577: DUP1
00000578: NOT
00000579: DUP3
0000057a: MLOAD
0000057b: AND
0000057c: DUP2
0000057d: DUP5
0000057e: MLOAD
0000057f: AND
00000580: DUP1
00000581: DUP3
00000582: OR
00000583: DUP6
00000584: MSTORE
00000585: POP
00000586: POP
00000587: POP
00000588: POP
00000589: POP
0000058a: POP
0000058b: SWAP1
0000058c: POP
0000058d: ADD
0000058e: SWAP2
0000058f: POP
00000590: POP
00000591: PUSH1 0x00
00000593: PUSH1 0x40
00000595: MLOAD
00000596: DUP1
00000597: DUP4
00000598: SUB
00000599: DUP2
0000059a: DUP6
0000059b: GAS
0000059c: DELEGATECALL
0000059d: SWAP2
0000059e: POP
0000059f: POP
000005a0: RETURNDATASIZE
000005a1: DUP1
000005a2: PUSH1 0x00
000005a4: DUP2
000005a5: EQ
000005a6: PUSH2 0x05cb
000005a9: JUMPI
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: SWAP2
000005ae: POP
000005af: PUSH1 0x1f
000005b1: NOT
000005b2: PUSH1 0x3f
000005b4: RETURNDATASIZE
000005b5: ADD
000005b6: AND
000005b7: DUP3
000005b8: ADD
000005b9: PUSH1 0x40
000005bb: MSTORE
000005bc: RETURNDATASIZE
000005bd: DUP3
000005be: MSTORE
000005bf: RETURNDATASIZE
000005c0: PUSH1 0x00
000005c2: PUSH1 0x20
000005c4: DUP5
000005c5: ADD
000005c6: RETURNDATACOPY
000005c7: PUSH2 0x05d0
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH1 0x60
000005ce: SWAP2
000005cf: POP
000005d0: JUMPDEST
000005d1: POP
000005d2: SWAP2
000005d3: POP
000005d4: SWAP2
000005d5: POP
000005d6: PUSH2 0x05e0
000005d9: DUP3
000005da: DUP3
000005db: DUP7
000005dc: PUSH2 0x0652
000005df: JUMP
000005e0: JUMPDEST
000005e1: SWAP7
000005e2: SWAP6
000005e3: POP
000005e4: POP
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: JUMP
000005ea: JUMPDEST
000005eb: PUSH2 0x05f3
000005ee: DUP2
000005ef: PUSH2 0x03b0
000005f2: JUMP
000005f3: JUMPDEST
000005f4: PUSH2 0x062e
000005f7: JUMPI
000005f8: PUSH1 0x40
000005fa: MLOAD
000005fb: PUSH3 0x461bcd
000005ff: PUSH1 0xe5
00000601: SHL
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x04
00000606: ADD
00000607: DUP1
00000608: DUP1
00000609: PUSH1 0x20
0000060b: ADD
0000060c: DUP3
0000060d: DUP2
0000060e: SUB
0000060f: DUP3
00000610: MSTORE
00000611: PUSH1 0x36
00000613: DUP2
00000614: MSTORE
00000615: PUSH1 0x20
00000617: ADD
00000618: DUP1
00000619: PUSH2 0x0758
0000061c: PUSH1 0x36
0000061e: SWAP2
0000061f: CODECOPY
00000620: PUSH1 0x40
00000622: ADD
00000623: SWAP2
00000624: POP
00000625: POP
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: SWAP2
0000062b: SUB
0000062c: SWAP1
0000062d: REVERT
0000062e: JUMPDEST
0000062f: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000650: SSTORE
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH1 0x60
00000655: DUP4
00000656: ISZERO
00000657: PUSH2 0x0661
0000065a: JUMPI
0000065b: POP
0000065c: DUP2
0000065d: PUSH2 0x03a9
00000660: JUMP
00000661: JUMPDEST
00000662: DUP3
00000663: MLOAD
00000664: ISZERO
00000665: PUSH2 0x0671
00000668: JUMPI
00000669: DUP3
0000066a: MLOAD
0000066b: DUP1
0000066c: DUP5
0000066d: PUSH1 0x20
0000066f: ADD
00000670: REVERT
00000671: JUMPDEST
00000672: DUP2
00000673: PUSH1 0x40
00000675: MLOAD
00000676: PUSH3 0x461bcd
0000067a: PUSH1 0xe5
0000067c: SHL
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x04
00000681: ADD
00000682: DUP1
00000683: DUP1
00000684: PUSH1 0x20
00000686: ADD
00000687: DUP3
00000688: DUP2
00000689: SUB
0000068a: DUP3
0000068b: MSTORE
0000068c: DUP4
0000068d: DUP2
0000068e: DUP2
0000068f: MLOAD
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x20
00000694: ADD
00000695: SWAP2
00000696: POP
00000697: DUP1
00000698: MLOAD
00000699: SWAP1
0000069a: PUSH1 0x20
0000069c: ADD
0000069d: SWAP1
0000069e: DUP1
0000069f: DUP4
000006a0: DUP4
000006a1: PUSH1 0x00
000006a3: JUMPDEST
000006a4: DUP4
000006a5: DUP2
000006a6: LT
000006a7: ISZERO
000006a8: PUSH2 0x06bb
000006ab: JUMPI
000006ac: DUP2
000006ad: DUP2
000006ae: ADD
000006af: MLOAD
000006b0: DUP4
000006b1: DUP3
000006b2: ADD
000006b3: MSTORE
000006b4: PUSH1 0x20
000006b6: ADD
000006b7: PUSH2 0x06a3
000006ba: JUMP
000006bb: JUMPDEST
000006bc: POP
000006bd: POP
000006be: POP
000006bf: POP
000006c0: SWAP1
000006c1: POP
000006c2: SWAP1
000006c3: DUP2
000006c4: ADD
000006c5: SWAP1
000006c6: PUSH1 0x1f
000006c8: AND
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06e8
000006ce: JUMPI
000006cf: DUP1
000006d0: DUP3
000006d1: SUB
000006d2: DUP1
000006d3: MLOAD
000006d4: PUSH1 0x01
000006d6: DUP4
000006d7: PUSH1 0x20
000006d9: SUB
000006da: PUSH2 0x0100
000006dd: EXP
000006de: SUB
000006df: NOT
000006e0: AND
000006e1: DUP2
000006e2: MSTORE
000006e3: PUSH1 0x20
000006e5: ADD
000006e6: SWAP2
000006e7: POP
000006e8: JUMPDEST
000006e9: POP
000006ea: SWAP3
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: DUP1
000006f2: SWAP2
000006f3: SUB
000006f4: SWAP1
000006f5: REVERT
000006f6: INVALID
000006f7: SLOAD
000006f8: PUSH19 0x616e73706172656e745570677261646561626c
0000070c: PUSH6 0x50726f78793a
00000713: KECCAK256
00000714: PUSH15 0x65772061646d696e20697320746865
00000724: KECCAK256
00000725: PUSH27 0x65726f2061646472657373416464726573733a206c6f772d6c6576
00000741: PUSH6 0x6c2064656c65
00000748: PUSH8 0x6174652063616c6c
00000751: KECCAK256
00000752: PUSH7 0x61696c65645570
0000075a: PUSH8 0x7261646561626c65
00000763: POP
00000764: PUSH19 0x6f78793a206e657720696d706c656d656e7461
00000778: PUSH21 0x696f6e206973206e6f74206120636f6e7472616374
0000078e: COINBASE
0000078f: PUSH5 0x6472657373
00000795: GASPRICE
00000796: KECCAK256
00000797: PUSH5 0x656c656761
0000079d: PUSH21 0x652063616c6c20746f206e6f6e2d636f6e74726163
000007b3: PUSH21 0x5472616e73706172656e745570677261646561626c
000007c9: PUSH6 0x50726f78793a
000007d0: KECCAK256
000007d1: PUSH2 0x646d
000007d4: PUSH10 0x6e2063616e6e6f742066
000007df: PUSH2 0x6c6c
000007e2: PUSH3 0x61636b
000007e6: KECCAK256
000007e7: PUSH21 0x6f2070726f787920746172676574a2646970667358
000007fd: UNKNOWN(0x22)
000007fe: SLT
000007ff: KECCAK256
00000800: SWAP14
00000801: UNKNOWN(0xDA)
00000802: UNKNOWN(0x2C)
00000803: SWAP7
00000804: UNKNOWN(0xAF)
00000805: SWAP9
00000806: PUSH19 0x25d9d2a5173665c66923461fd9ca8a30593daa
0000081a: UNKNOWN(0xE5)
0000081b: UNKNOWN(0x4D)
0000081c: DUP7
0000081d: EXTCODEHASH
0000081e: UNKNOWN(0xCF)
0000081f: UNKNOWN(0xD5)
00000820: PUSH5 0x736f6c6343
00000826: STOP
00000827: SMOD
00000828: MOD
00000829: STOP
0000082a: CALLER

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xaf05761db4e21404705d4ffdd4eeef70ab5082213868d1f1ae1e773b58ea1fef call_targets: 0x91630f5e28f1f30067b92a8d9d7b8e836afddf9b target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 2, "trace_id": "0xaf05761db4e21404705d4ffdd4eeef70ab5082213868d1f1ae1e773b58ea1fef", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x91630f5e28f1f30067b92a8d9d7b8e836afddf9b" ], "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": "0x3659cfe6", "selector": "0x3659cfe6", "calldata_variants": [ "0x3659cfe6", "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f1ef286", "selector": "0x4f1ef286", "calldata_variants": [ "0x4f1ef286", "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c60da1b", "selector": "0x5c60da1b", "calldata_variants": [ "0x5c60da1b", "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f283970", "selector": "0x8f283970", "calldata_variants": [ "0x8f283970", "0x8f2839700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1097, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 1436, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }

Severity