Analysis Run

019b477e-d740-72aa-92a5-7054cc1f4a4b

complete

Chain ID

1

Address

0x17330b12d286e2b48d71bf84cab4469cf970920a

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

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
28851	artifact.fetch	complete	1 / 3	3 months ago
28852	tool.cast_disasm	complete	1 / 3	3 months ago
72112	analysis.bundle	complete	1 / 3	1 week ago
72113	capability.graph	complete	1 / 3	1 week ago
72114	detector.run	complete	1 / 3	1 week ago
72115	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

4

Total opcodes

1343

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0022
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xaaf10f42
00000019: EQ
0000001a: PUSH2 0x0039
0000001d: JUMPI
0000001e: PUSH2 0x0031
00000021: JUMP
00000022: JUMPDEST
00000023: CALLDATASIZE
00000024: PUSH2 0x0031
00000027: JUMPI
00000028: PUSH2 0x002f
0000002b: PUSH2 0x006a
0000002e: JUMP
0000002f: JUMPDEST
00000030: STOP
00000031: JUMPDEST
00000032: PUSH2 0x002f
00000035: PUSH2 0x006a
00000038: JUMP
00000039: JUMPDEST
0000003a: CALLVALUE
0000003b: DUP1
0000003c: ISZERO
0000003d: PUSH2 0x0045
00000040: JUMPI
00000041: PUSH1 0x00
00000043: DUP1
00000044: REVERT
00000045: JUMPDEST
00000046: POP
00000047: PUSH2 0x004e
0000004a: PUSH2 0x01bc
0000004d: JUMP
0000004e: JUMPDEST
0000004f: PUSH1 0x40
00000051: MLOAD
00000052: PUSH1 0x01
00000054: PUSH1 0x01
00000056: PUSH1 0xa0
00000058: SHL
00000059: SUB
0000005a: SWAP1
0000005b: SWAP2
0000005c: AND
0000005d: DUP2
0000005e: MSTORE
0000005f: PUSH1 0x20
00000061: ADD
00000062: PUSH1 0x40
00000064: MLOAD
00000065: DUP1
00000066: SWAP2
00000067: SUB
00000068: SWAP1
00000069: RETURN
0000006a: JUMPDEST
0000006b: PUSH2 0x0072
0000006e: PUSH2 0x0229
00000071: JUMP
00000072: JUMPDEST
00000073: PUSH1 0x01
00000075: PUSH1 0x01
00000077: PUSH1 0xa0
00000079: SHL
0000007a: SUB
0000007b: AND
0000007c: CALLER
0000007d: SUB
0000007e: PUSH2 0x01b2
00000081: JUMPI
00000082: PUSH1 0x60
00000084: PUSH1 0x01
00000086: PUSH1 0x01
00000088: PUSH1 0xe0
0000008a: SHL
0000008b: SUB
0000008c: NOT
0000008d: PUSH1 0x00
0000008f: CALLDATALOAD
00000090: AND
00000091: PUSH4 0x64d3180d
00000096: PUSH1 0xe1
00000098: SHL
00000099: DUP2
0000009a: ADD
0000009b: PUSH2 0x00ad
0000009e: JUMPI
0000009f: PUSH2 0x00a6
000000a2: PUSH2 0x025c
000000a5: JUMP
000000a6: JUMPDEST
000000a7: SWAP2
000000a8: POP
000000a9: PUSH2 0x01aa
000000ac: JUMP
000000ad: JUMPDEST
000000ae: PUSH4 0x587086bd
000000b3: PUSH1 0xe1
000000b5: SHL
000000b6: PUSH1 0x01
000000b8: PUSH1 0x01
000000ba: PUSH1 0xe0
000000bc: SHL
000000bd: SUB
000000be: NOT
000000bf: DUP3
000000c0: AND
000000c1: ADD
000000c2: PUSH2 0x00cd
000000c5: JUMPI
000000c6: PUSH2 0x00a6
000000c9: PUSH2 0x02b3
000000cc: JUMP
000000cd: JUMPDEST
000000ce: PUSH4 0x070d7c69
000000d3: PUSH1 0xe4
000000d5: SHL
000000d6: PUSH1 0x01
000000d8: PUSH1 0x01
000000da: PUSH1 0xe0
000000dc: SHL
000000dd: SUB
000000de: NOT
000000df: DUP3
000000e0: AND
000000e1: ADD
000000e2: PUSH2 0x00ed
000000e5: JUMPI
000000e6: PUSH2 0x00a6
000000e9: PUSH2 0x02f9
000000ec: JUMP
000000ed: JUMPDEST
000000ee: PUSH3 0x1eb96f
000000f2: PUSH1 0xe6
000000f4: SHL
000000f5: PUSH1 0x01
000000f7: PUSH1 0x01
000000f9: PUSH1 0xe0
000000fb: SHL
000000fc: SUB
000000fd: NOT
000000fe: DUP3
000000ff: AND
00000100: ADD
00000101: PUSH2 0x010c
00000104: JUMPI
00000105: PUSH2 0x00a6
00000108: PUSH2 0x032a
0000010b: JUMP
0000010c: JUMPDEST
0000010d: PUSH4 0xa39f25e5
00000112: PUSH1 0xe0
00000114: SHL
00000115: PUSH1 0x01
00000117: PUSH1 0x01
00000119: PUSH1 0xe0
0000011b: SHL
0000011c: SUB
0000011d: NOT
0000011e: DUP3
0000011f: AND
00000120: ADD
00000121: PUSH2 0x012c
00000124: JUMPI
00000125: PUSH2 0x00a6
00000128: PUSH2 0x036a
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH1 0x40
0000012f: MLOAD
00000130: PUSH3 0x461bcd
00000134: PUSH1 0xe5
00000136: SHL
00000137: DUP2
00000138: MSTORE
00000139: PUSH1 0x20
0000013b: PUSH1 0x04
0000013d: DUP3
0000013e: ADD
0000013f: MSTORE
00000140: PUSH1 0x42
00000142: PUSH1 0x24
00000144: DUP3
00000145: ADD
00000146: MSTORE
00000147: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d
00000168: PUSH1 0x44
0000016a: DUP3
0000016b: ADD
0000016c: MSTORE
0000016d: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267
0000018e: PUSH1 0x64
00000190: DUP3
00000191: ADD
00000192: MSTORE
00000193: PUSH2 0x195d
00000196: PUSH1 0xf2
00000198: SHL
00000199: PUSH1 0x84
0000019b: DUP3
0000019c: ADD
0000019d: MSTORE
0000019e: PUSH1 0xa4
000001a0: ADD
000001a1: JUMPDEST
000001a2: PUSH1 0x40
000001a4: MLOAD
000001a5: DUP1
000001a6: SWAP2
000001a7: SUB
000001a8: SWAP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: DUP2
000001ac: MLOAD
000001ad: PUSH1 0x20
000001af: DUP4
000001b0: ADD
000001b1: RETURN
000001b2: JUMPDEST
000001b3: PUSH2 0x01ba
000001b6: PUSH2 0x037e
000001b9: JUMP
000001ba: JUMPDEST
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH1 0x00
000001bf: PUSH2 0x01c6
000001c2: PUSH2 0x0229
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x01
000001c9: PUSH1 0x01
000001cb: PUSH1 0xa0
000001cd: SHL
000001ce: SUB
000001cf: AND
000001d0: CALLER
000001d1: PUSH1 0x01
000001d3: PUSH1 0x01
000001d5: PUSH1 0xa0
000001d7: SHL
000001d8: SUB
000001d9: AND
000001da: EQ
000001db: PUSH2 0x021c
000001de: JUMPI
000001df: PUSH1 0x40
000001e1: MLOAD
000001e2: PUSH3 0x461bcd
000001e6: PUSH1 0xe5
000001e8: SHL
000001e9: DUP2
000001ea: MSTORE
000001eb: PUSH1 0x20
000001ed: PUSH1 0x04
000001ef: DUP3
000001f0: ADD
000001f1: MSTORE
000001f2: PUSH1 0x13
000001f4: PUSH1 0x24
000001f6: DUP3
000001f7: ADD
000001f8: MSTORE
000001f9: PUSH19 0x21b0b63632b91034b9903737ba1030b236b4b7
0000020d: PUSH1 0x69
0000020f: SHL
00000210: PUSH1 0x44
00000212: DUP3
00000213: ADD
00000214: MSTORE
00000215: PUSH1 0x64
00000217: ADD
00000218: PUSH2 0x01a1
0000021b: JUMP
0000021c: JUMPDEST
0000021d: PUSH2 0x0224
00000220: PUSH2 0x038e
00000223: JUMP
00000224: JUMPDEST
00000225: SWAP1
00000226: POP
00000227: SWAP1
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x00
0000022c: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
0000024d: JUMPDEST
0000024e: SLOAD
0000024f: PUSH1 0x01
00000251: PUSH1 0x01
00000253: PUSH1 0xa0
00000255: SHL
00000256: SUB
00000257: AND
00000258: SWAP2
00000259: SWAP1
0000025a: POP
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x60
0000025f: PUSH2 0x0266
00000262: PUSH2 0x03b6
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH1 0x00
00000269: PUSH2 0x0275
0000026c: CALLDATASIZE
0000026d: PUSH1 0x04
0000026f: DUP2
00000270: DUP5
00000271: PUSH2 0x073e
00000274: JUMP
00000275: JUMPDEST
00000276: DUP2
00000277: ADD
00000278: SWAP1
00000279: PUSH2 0x0282
0000027c: SWAP2
0000027d: SWAP1
0000027e: PUSH2 0x0784
00000281: JUMP
00000282: JUMPDEST
00000283: SWAP1
00000284: POP
00000285: PUSH2 0x029f
00000288: DUP2
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: DUP1
0000028d: PUSH1 0x20
0000028f: ADD
00000290: PUSH1 0x40
00000292: MSTORE
00000293: DUP1
00000294: PUSH1 0x00
00000296: DUP2
00000297: MSTORE
00000298: POP
00000299: PUSH1 0x00
0000029b: PUSH2 0x03c1
0000029e: JUMP
0000029f: JUMPDEST
000002a0: POP
000002a1: POP
000002a2: PUSH1 0x40
000002a4: DUP1
000002a5: MLOAD
000002a6: PUSH1 0x20
000002a8: DUP2
000002a9: ADD
000002aa: SWAP1
000002ab: SWAP2
000002ac: MSTORE
000002ad: PUSH1 0x00
000002af: DUP2
000002b0: MSTORE
000002b1: SWAP1
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH1 0x60
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: PUSH2 0x02c5
000002bc: CALLDATASIZE
000002bd: PUSH1 0x04
000002bf: DUP2
000002c0: DUP5
000002c1: PUSH2 0x073e
000002c4: JUMP
000002c5: JUMPDEST
000002c6: DUP2
000002c7: ADD
000002c8: SWAP1
000002c9: PUSH2 0x02d2
000002cc: SWAP2
000002cd: SWAP1
000002ce: PUSH2 0x07b5
000002d1: JUMP
000002d2: JUMPDEST
000002d3: SWAP2
000002d4: POP
000002d5: SWAP2
000002d6: POP
000002d7: PUSH2 0x02e2
000002da: DUP3
000002db: DUP3
000002dc: PUSH1 0x01
000002de: PUSH2 0x03c1
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: DUP1
000002e7: PUSH1 0x20
000002e9: ADD
000002ea: PUSH1 0x40
000002ec: MSTORE
000002ed: DUP1
000002ee: PUSH1 0x00
000002f0: DUP2
000002f1: MSTORE
000002f2: POP
000002f3: SWAP3
000002f4: POP
000002f5: POP
000002f6: POP
000002f7: SWAP1
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH1 0x60
000002fc: PUSH2 0x0303
000002ff: PUSH2 0x03b6
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x00
00000306: PUSH2 0x0312
00000309: CALLDATASIZE
0000030a: PUSH1 0x04
0000030c: DUP2
0000030d: DUP5
0000030e: PUSH2 0x073e
00000311: JUMP
00000312: JUMPDEST
00000313: DUP2
00000314: ADD
00000315: SWAP1
00000316: PUSH2 0x031f
00000319: SWAP2
0000031a: SWAP1
0000031b: PUSH2 0x0784
0000031e: JUMP
0000031f: JUMPDEST
00000320: SWAP1
00000321: POP
00000322: PUSH2 0x029f
00000325: DUP2
00000326: PUSH2 0x03ed
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH1 0x60
0000032d: PUSH2 0x0334
00000330: PUSH2 0x03b6
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH1 0x00
00000337: PUSH2 0x033e
0000033a: PUSH2 0x0229
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: DUP1
00000342: MLOAD
00000343: PUSH1 0x01
00000345: PUSH1 0x01
00000347: PUSH1 0xa0
00000349: SHL
0000034a: SUB
0000034b: DUP4
0000034c: AND
0000034d: PUSH1 0x20
0000034f: DUP3
00000350: ADD
00000351: MSTORE
00000352: SWAP2
00000353: SWAP3
00000354: POP
00000355: ADD
00000356: PUSH1 0x40
00000358: MLOAD
00000359: PUSH1 0x20
0000035b: DUP2
0000035c: DUP4
0000035d: SUB
0000035e: SUB
0000035f: DUP2
00000360: MSTORE
00000361: SWAP1
00000362: PUSH1 0x40
00000364: MSTORE
00000365: SWAP2
00000366: POP
00000367: POP
00000368: SWAP1
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x60
0000036d: PUSH2 0x0374
00000370: PUSH2 0x03b6
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x00
00000377: PUSH2 0x033e
0000037a: PUSH2 0x0444
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x01ba
00000382: PUSH2 0x0389
00000385: PUSH2 0x0444
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x044e
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x00
00000391: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000003b2: PUSH2 0x024d
000003b5: JUMP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: ISZERO
000003b9: PUSH2 0x01ba
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: PUSH2 0x03ca
000003c5: DUP4
000003c6: PUSH2 0x0472
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x00
000003cd: DUP3
000003ce: MLOAD
000003cf: GT
000003d0: DUP1
000003d1: PUSH2 0x03d7
000003d4: JUMPI
000003d5: POP
000003d6: DUP1
000003d7: JUMPDEST
000003d8: ISZERO
000003d9: PUSH2 0x03e8
000003dc: JUMPI
000003dd: PUSH2 0x03e6
000003e0: DUP4
000003e1: DUP4
000003e2: PUSH2 0x04b2
000003e5: JUMP
000003e6: JUMPDEST
000003e7: POP
000003e8: JUMPDEST
000003e9: POP
000003ea: POP
000003eb: POP
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f
0000040f: PUSH2 0x0416
00000412: PUSH2 0x0229
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: DUP1
0000041a: MLOAD
0000041b: PUSH1 0x01
0000041d: PUSH1 0x01
0000041f: PUSH1 0xa0
00000421: SHL
00000422: SUB
00000423: SWAP3
00000424: DUP4
00000425: AND
00000426: DUP2
00000427: MSTORE
00000428: SWAP2
00000429: DUP5
0000042a: AND
0000042b: PUSH1 0x20
0000042d: DUP4
0000042e: ADD
0000042f: MSTORE
00000430: ADD
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP1
00000435: SWAP2
00000436: SUB
00000437: SWAP1
00000438: LOG1
00000439: PUSH2 0x0441
0000043c: DUP2
0000043d: PUSH2 0x04de
00000440: JUMP
00000441: JUMPDEST
00000442: POP
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH1 0x00
00000447: PUSH2 0x0224
0000044a: PUSH2 0x038e
0000044d: JUMP
0000044e: JUMPDEST
0000044f: CALLDATASIZE
00000450: PUSH1 0x00
00000452: DUP1
00000453: CALLDATACOPY
00000454: PUSH1 0x00
00000456: DUP1
00000457: CALLDATASIZE
00000458: PUSH1 0x00
0000045a: DUP5
0000045b: GAS
0000045c: DELEGATECALL
0000045d: RETURNDATASIZE
0000045e: PUSH1 0x00
00000460: DUP1
00000461: RETURNDATACOPY
00000462: DUP1
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: RETURNDATASIZE
0000046a: PUSH1 0x00
0000046c: RETURN
0000046d: JUMPDEST
0000046e: RETURNDATASIZE
0000046f: PUSH1 0x00
00000471: REVERT
00000472: JUMPDEST
00000473: PUSH2 0x047b
00000476: DUP2
00000477: PUSH2 0x0587
0000047a: JUMP
0000047b: JUMPDEST
0000047c: PUSH1 0x40
0000047e: MLOAD
0000047f: PUSH1 0x01
00000481: PUSH1 0x01
00000483: PUSH1 0xa0
00000485: SHL
00000486: SUB
00000487: DUP3
00000488: AND
00000489: SWAP1
0000048a: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
000004ab: SWAP1
000004ac: PUSH1 0x00
000004ae: SWAP1
000004af: LOG2
000004b0: POP
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x60
000004b5: PUSH2 0x04d7
000004b8: DUP4
000004b9: DUP4
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: DUP1
000004be: PUSH1 0x60
000004c0: ADD
000004c1: PUSH1 0x40
000004c3: MSTORE
000004c4: DUP1
000004c5: PUSH1 0x27
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: PUSH2 0x08eb
000004cf: PUSH1 0x27
000004d1: SWAP2
000004d2: CODECOPY
000004d3: PUSH2 0x061b
000004d6: JUMP
000004d7: JUMPDEST
000004d8: SWAP4
000004d9: SWAP3
000004da: POP
000004db: POP
000004dc: POP
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x01
000004e1: PUSH1 0x01
000004e3: PUSH1 0xa0
000004e5: SHL
000004e6: SUB
000004e7: DUP2
000004e8: AND
000004e9: PUSH2 0x0543
000004ec: JUMPI
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: PUSH3 0x461bcd
000004f4: PUSH1 0xe5
000004f6: SHL
000004f7: DUP2
000004f8: MSTORE
000004f9: PUSH1 0x20
000004fb: PUSH1 0x04
000004fd: DUP3
000004fe: ADD
000004ff: MSTORE
00000500: PUSH1 0x26
00000502: PUSH1 0x24
00000504: DUP3
00000505: ADD
00000506: MSTORE
00000507: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061
00000528: PUSH1 0x44
0000052a: DUP3
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH6 0x646472657373
00000534: PUSH1 0xd0
00000536: SHL
00000537: PUSH1 0x64
00000539: DUP3
0000053a: ADD
0000053b: MSTORE
0000053c: PUSH1 0x84
0000053e: ADD
0000053f: PUSH2 0x01a1
00000542: JUMP
00000543: JUMPDEST
00000544: DUP1
00000545: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000566: JUMPDEST
00000567: DUP1
00000568: SLOAD
00000569: PUSH1 0x01
0000056b: PUSH1 0x01
0000056d: PUSH1 0xa0
0000056f: SHL
00000570: SUB
00000571: NOT
00000572: AND
00000573: PUSH1 0x01
00000575: PUSH1 0x01
00000577: PUSH1 0xa0
00000579: SHL
0000057a: SUB
0000057b: SWAP3
0000057c: SWAP1
0000057d: SWAP3
0000057e: AND
0000057f: SWAP2
00000580: SWAP1
00000581: SWAP2
00000582: OR
00000583: SWAP1
00000584: SSTORE
00000585: POP
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x01
0000058a: PUSH1 0x01
0000058c: PUSH1 0xa0
0000058e: SHL
0000058f: SUB
00000590: DUP2
00000591: AND
00000592: EXTCODESIZE
00000593: PUSH2 0x05f4
00000596: JUMPI
00000597: PUSH1 0x40
00000599: MLOAD
0000059a: PUSH3 0x461bcd
0000059e: PUSH1 0xe5
000005a0: SHL
000005a1: DUP2
000005a2: MSTORE
000005a3: PUSH1 0x20
000005a5: PUSH1 0x04
000005a7: DUP3
000005a8: ADD
000005a9: MSTORE
000005aa: PUSH1 0x2d
000005ac: PUSH1 0x24
000005ae: DUP3
000005af: ADD
000005b0: MSTORE
000005b1: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
000005d2: PUSH1 0x44
000005d4: DUP3
000005d5: ADD
000005d6: MSTORE
000005d7: PUSH13 0x1bdd08184818dbdb9d1c9858dd
000005e5: PUSH1 0x9a
000005e7: SHL
000005e8: PUSH1 0x64
000005ea: DUP3
000005eb: ADD
000005ec: MSTORE
000005ed: PUSH1 0x84
000005ef: ADD
000005f0: PUSH2 0x01a1
000005f3: JUMP
000005f4: JUMPDEST
000005f5: DUP1
000005f6: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000617: PUSH2 0x0566
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x60
0000061e: PUSH1 0x00
00000620: DUP1
00000621: DUP6
00000622: PUSH1 0x01
00000624: PUSH1 0x01
00000626: PUSH1 0xa0
00000628: SHL
00000629: SUB
0000062a: AND
0000062b: DUP6
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: PUSH2 0x0638
00000632: SWAP2
00000633: SWAP1
00000634: PUSH2 0x089b
00000637: JUMP
00000638: JUMPDEST
00000639: PUSH1 0x00
0000063b: PUSH1 0x40
0000063d: MLOAD
0000063e: DUP1
0000063f: DUP4
00000640: SUB
00000641: DUP2
00000642: DUP6
00000643: GAS
00000644: DELEGATECALL
00000645: SWAP2
00000646: POP
00000647: POP
00000648: RETURNDATASIZE
00000649: DUP1
0000064a: PUSH1 0x00
0000064c: DUP2
0000064d: EQ
0000064e: PUSH2 0x0673
00000651: JUMPI
00000652: PUSH1 0x40
00000654: MLOAD
00000655: SWAP2
00000656: POP
00000657: PUSH1 0x1f
00000659: NOT
0000065a: PUSH1 0x3f
0000065c: RETURNDATASIZE
0000065d: ADD
0000065e: AND
0000065f: DUP3
00000660: ADD
00000661: PUSH1 0x40
00000663: MSTORE
00000664: RETURNDATASIZE
00000665: DUP3
00000666: MSTORE
00000667: RETURNDATASIZE
00000668: PUSH1 0x00
0000066a: PUSH1 0x20
0000066c: DUP5
0000066d: ADD
0000066e: RETURNDATACOPY
0000066f: PUSH2 0x0678
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH1 0x60
00000676: SWAP2
00000677: POP
00000678: JUMPDEST
00000679: POP
0000067a: SWAP2
0000067b: POP
0000067c: SWAP2
0000067d: POP
0000067e: PUSH2 0x0689
00000681: DUP7
00000682: DUP4
00000683: DUP4
00000684: DUP8
00000685: PUSH2 0x0693
00000688: JUMP
00000689: JUMPDEST
0000068a: SWAP7
0000068b: SWAP6
0000068c: POP
0000068d: POP
0000068e: POP
0000068f: POP
00000690: POP
00000691: POP
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x60
00000696: DUP4
00000697: ISZERO
00000698: PUSH2 0x0702
0000069b: JUMPI
0000069c: DUP3
0000069d: MLOAD
0000069e: PUSH1 0x00
000006a0: SUB
000006a1: PUSH2 0x06fb
000006a4: JUMPI
000006a5: PUSH1 0x01
000006a7: PUSH1 0x01
000006a9: PUSH1 0xa0
000006ab: SHL
000006ac: SUB
000006ad: DUP6
000006ae: AND
000006af: EXTCODESIZE
000006b0: PUSH2 0x06fb
000006b3: JUMPI
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: PUSH3 0x461bcd
000006bb: PUSH1 0xe5
000006bd: SHL
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x20
000006c2: PUSH1 0x04
000006c4: DUP3
000006c5: ADD
000006c6: MSTORE
000006c7: PUSH1 0x1d
000006c9: PUSH1 0x24
000006cb: DUP3
000006cc: ADD
000006cd: MSTORE
000006ce: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000006ef: PUSH1 0x44
000006f1: DUP3
000006f2: ADD
000006f3: MSTORE
000006f4: PUSH1 0x64
000006f6: ADD
000006f7: PUSH2 0x01a1
000006fa: JUMP
000006fb: JUMPDEST
000006fc: POP
000006fd: DUP2
000006fe: PUSH2 0x070c
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH2 0x070c
00000706: DUP4
00000707: DUP4
00000708: PUSH2 0x0714
0000070b: JUMP
0000070c: JUMPDEST
0000070d: SWAP5
0000070e: SWAP4
0000070f: POP
00000710: POP
00000711: POP
00000712: POP
00000713: JUMP
00000714: JUMPDEST
00000715: DUP2
00000716: MLOAD
00000717: ISZERO
00000718: PUSH2 0x0724
0000071b: JUMPI
0000071c: DUP2
0000071d: MLOAD
0000071e: DUP1
0000071f: DUP4
00000720: PUSH1 0x20
00000722: ADD
00000723: REVERT
00000724: JUMPDEST
00000725: DUP1
00000726: PUSH1 0x40
00000728: MLOAD
00000729: PUSH3 0x461bcd
0000072d: PUSH1 0xe5
0000072f: SHL
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x04
00000734: ADD
00000735: PUSH2 0x01a1
00000738: SWAP2
00000739: SWAP1
0000073a: PUSH2 0x08b7
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x00
00000741: DUP1
00000742: DUP6
00000743: DUP6
00000744: GT
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: DUP4
00000750: DUP7
00000751: GT
00000752: ISZERO
00000753: PUSH2 0x075b
00000756: JUMPI
00000757: PUSH1 0x00
00000759: DUP1
0000075a: REVERT
0000075b: JUMPDEST
0000075c: POP
0000075d: POP
0000075e: DUP3
0000075f: ADD
00000760: SWAP4
00000761: SWAP2
00000762: SWAP1
00000763: SWAP3
00000764: SUB
00000765: SWAP2
00000766: POP
00000767: JUMP
00000768: JUMPDEST
00000769: DUP1
0000076a: CALLDATALOAD
0000076b: PUSH1 0x01
0000076d: PUSH1 0x01
0000076f: PUSH1 0xa0
00000771: SHL
00000772: SUB
00000773: DUP2
00000774: AND
00000775: DUP2
00000776: EQ
00000777: PUSH2 0x077f
0000077a: JUMPI
0000077b: PUSH1 0x00
0000077d: DUP1
0000077e: REVERT
0000077f: JUMPDEST
00000780: SWAP2
00000781: SWAP1
00000782: POP
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH1 0x00
00000787: PUSH1 0x20
00000789: DUP3
0000078a: DUP5
0000078b: SUB
0000078c: SLT
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: PUSH2 0x04d7
0000079a: DUP3
0000079b: PUSH2 0x0768
0000079e: JUMP
0000079f: JUMPDEST
000007a0: PUSH4 0x4e487b71
000007a5: PUSH1 0xe0
000007a7: SHL
000007a8: PUSH1 0x00
000007aa: MSTORE
000007ab: PUSH1 0x41
000007ad: PUSH1 0x04
000007af: MSTORE
000007b0: PUSH1 0x24
000007b2: PUSH1 0x00
000007b4: REVERT
000007b5: JUMPDEST
000007b6: PUSH1 0x00
000007b8: DUP1
000007b9: PUSH1 0x40
000007bb: DUP4
000007bc: DUP6
000007bd: SUB
000007be: SLT
000007bf: ISZERO
000007c0: PUSH2 0x07c8
000007c3: JUMPI
000007c4: PUSH1 0x00
000007c6: DUP1
000007c7: REVERT
000007c8: JUMPDEST
000007c9: PUSH2 0x07d1
000007cc: DUP4
000007cd: PUSH2 0x0768
000007d0: JUMP
000007d1: JUMPDEST
000007d2: SWAP2
000007d3: POP
000007d4: PUSH1 0x20
000007d6: DUP4
000007d7: ADD
000007d8: CALLDATALOAD
000007d9: PUSH8 0xffffffffffffffff
000007e2: DUP1
000007e3: DUP3
000007e4: GT
000007e5: ISZERO
000007e6: PUSH2 0x07ee
000007e9: JUMPI
000007ea: PUSH1 0x00
000007ec: DUP1
000007ed: REVERT
000007ee: JUMPDEST
000007ef: DUP2
000007f0: DUP6
000007f1: ADD
000007f2: SWAP2
000007f3: POP
000007f4: DUP6
000007f5: PUSH1 0x1f
000007f7: DUP4
000007f8: ADD
000007f9: SLT
000007fa: PUSH2 0x0802
000007fd: JUMPI
000007fe: PUSH1 0x00
00000800: DUP1
00000801: REVERT
00000802: JUMPDEST
00000803: DUP2
00000804: CALLDATALOAD
00000805: DUP2
00000806: DUP2
00000807: GT
00000808: ISZERO
00000809: PUSH2 0x0814
0000080c: JUMPI
0000080d: PUSH2 0x0814
00000810: PUSH2 0x079f
00000813: JUMP
00000814: JUMPDEST
00000815: PUSH1 0x40
00000817: MLOAD
00000818: PUSH1 0x1f
0000081a: DUP3
0000081b: ADD
0000081c: PUSH1 0x1f
0000081e: NOT
0000081f: SWAP1
00000820: DUP2
00000821: AND
00000822: PUSH1 0x3f
00000824: ADD
00000825: AND
00000826: DUP2
00000827: ADD
00000828: SWAP1
00000829: DUP4
0000082a: DUP3
0000082b: GT
0000082c: DUP2
0000082d: DUP4
0000082e: LT
0000082f: OR
00000830: ISZERO
00000831: PUSH2 0x083c
00000834: JUMPI
00000835: PUSH2 0x083c
00000838: PUSH2 0x079f
0000083b: JUMP
0000083c: JUMPDEST
0000083d: DUP2
0000083e: PUSH1 0x40
00000840: MSTORE
00000841: DUP3
00000842: DUP2
00000843: MSTORE
00000844: DUP9
00000845: PUSH1 0x20
00000847: DUP5
00000848: DUP8
00000849: ADD
0000084a: ADD
0000084b: GT
0000084c: ISZERO
0000084d: PUSH2 0x0855
00000850: JUMPI
00000851: PUSH1 0x00
00000853: DUP1
00000854: REVERT
00000855: JUMPDEST
00000856: DUP3
00000857: PUSH1 0x20
00000859: DUP7
0000085a: ADD
0000085b: PUSH1 0x20
0000085d: DUP4
0000085e: ADD
0000085f: CALLDATACOPY
00000860: PUSH1 0x00
00000862: PUSH1 0x20
00000864: DUP5
00000865: DUP4
00000866: ADD
00000867: ADD
00000868: MSTORE
00000869: DUP1
0000086a: SWAP6
0000086b: POP
0000086c: POP
0000086d: POP
0000086e: POP
0000086f: POP
00000870: POP
00000871: SWAP3
00000872: POP
00000873: SWAP3
00000874: SWAP1
00000875: POP
00000876: JUMP
00000877: JUMPDEST
00000878: PUSH1 0x00
0000087a: JUMPDEST
0000087b: DUP4
0000087c: DUP2
0000087d: LT
0000087e: ISZERO
0000087f: PUSH2 0x0892
00000882: JUMPI
00000883: DUP2
00000884: DUP2
00000885: ADD
00000886: MLOAD
00000887: DUP4
00000888: DUP3
00000889: ADD
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: PUSH2 0x087a
00000891: JUMP
00000892: JUMPDEST
00000893: POP
00000894: POP
00000895: PUSH1 0x00
00000897: SWAP2
00000898: ADD
00000899: MSTORE
0000089a: JUMP
0000089b: JUMPDEST
0000089c: PUSH1 0x00
0000089e: DUP3
0000089f: MLOAD
000008a0: PUSH2 0x08ad
000008a3: DUP2
000008a4: DUP5
000008a5: PUSH1 0x20
000008a7: DUP8
000008a8: ADD
000008a9: PUSH2 0x0877
000008ac: JUMP
000008ad: JUMPDEST
000008ae: SWAP2
000008af: SWAP1
000008b0: SWAP2
000008b1: ADD
000008b2: SWAP3
000008b3: SWAP2
000008b4: POP
000008b5: POP
000008b6: JUMP
000008b7: JUMPDEST
000008b8: PUSH1 0x20
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x00
000008be: DUP3
000008bf: MLOAD
000008c0: DUP1
000008c1: PUSH1 0x20
000008c3: DUP5
000008c4: ADD
000008c5: MSTORE
000008c6: PUSH2 0x08d6
000008c9: DUP2
000008ca: PUSH1 0x40
000008cc: DUP6
000008cd: ADD
000008ce: PUSH1 0x20
000008d0: DUP8
000008d1: ADD
000008d2: PUSH2 0x0877
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x1f
000008d9: ADD
000008da: PUSH1 0x1f
000008dc: NOT
000008dd: AND
000008de: SWAP2
000008df: SWAP1
000008e0: SWAP2
000008e1: ADD
000008e2: PUSH1 0x40
000008e4: ADD
000008e5: SWAP3
000008e6: SWAP2
000008e7: POP
000008e8: POP
000008e9: JUMP
000008ea: INVALID
000008eb: COINBASE
000008ec: PUSH5 0x6472657373
000008f2: GASPRICE
000008f3: KECCAK256
000008f4: PUSH13 0x6f772d6c6576656c2064656c65
00000902: PUSH8 0x6174652063616c6c
0000090b: KECCAK256
0000090c: PUSH7 0x61696c6564a264
00000914: PUSH10 0x70667358221220be40b4
0000091f: UNKNOWN(0xBC)
00000920: BALANCE
00000921: GASPRICE
00000922: LOG2
00000923: UNKNOWN(0xE6)
00000924: SWAP9
00000925: BALANCE
00000926: TLOAD
00000927: SDIV
00000928: LT
00000929: MULMOD
0000092a: UNKNOWN(0xAB)
0000092b: PUSH13 0xba4125dde49abb2727163ee8b8
00000939: PUSH28

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: 0x62af851841034275e29c19d238db27e1bd3d2d9ca61a980518acbf3e4e9f672b validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 12, "trace_id": "0x62af851841034275e29c19d238db27e1bd3d2d9ca61a980518acbf3e4e9f672b", "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": "0xaaf10f42", "selector": "0xaaf10f42", "calldata_variants": [ "0xaaf10f42", "0xaaf10f420000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1116, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 1604, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }

Severity