Analysis Run

019b3844-a708-7038-b8ca-f29abcaf268e

complete

Chain ID

1

Address

0x080b3a41390b357ad7e8097644d1dedf57ad3375

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
16477	artifact.fetch	complete	1 / 3	3 months ago
16478	tool.cast_disasm	complete	1 / 3	3 months ago
86416	analysis.bundle	complete	1 / 3	1 week ago
86417	capability.graph	complete	1 / 3	1 week ago
86418	detector.run	complete	1 / 3	1 week ago
86419	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

1

Total opcodes

1534

Flags

delegatecall_present create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x006f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x3659cfe6
00000019: EQ
0000001a: PUSH2 0x0086
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x3f4ba83a
00000024: EQ
00000025: PUSH2 0x00a6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x4f1ef286
0000002f: EQ
00000030: PUSH2 0x00bb
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x5c60da1b
0000003a: EQ
0000003b: PUSH2 0x00ce
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x5c975abb
00000045: EQ
00000046: PUSH2 0x00f9
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x8456cb59
00000050: EQ
00000051: PUSH2 0x011e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x8f283970
0000005b: EQ
0000005c: PUSH2 0x0133
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf851a440
00000066: EQ
00000067: PUSH2 0x0153
0000006a: JUMPI
0000006b: PUSH2 0x007e
0000006e: JUMP
0000006f: JUMPDEST
00000070: CALLDATASIZE
00000071: PUSH2 0x007e
00000074: JUMPI
00000075: PUSH2 0x007c
00000078: PUSH2 0x0168
0000007b: JUMP
0000007c: JUMPDEST
0000007d: STOP
0000007e: JUMPDEST
0000007f: PUSH2 0x007c
00000082: PUSH2 0x0168
00000085: JUMP
00000086: JUMPDEST
00000087: CALLVALUE
00000088: DUP1
00000089: ISZERO
0000008a: PUSH2 0x0092
0000008d: JUMPI
0000008e: PUSH1 0x00
00000090: DUP1
00000091: REVERT
00000092: JUMPDEST
00000093: POP
00000094: PUSH2 0x007c
00000097: PUSH2 0x00a1
0000009a: CALLDATASIZE
0000009b: PUSH1 0x04
0000009d: PUSH2 0x08fc
000000a0: JUMP
000000a1: JUMPDEST
000000a2: PUSH2 0x0182
000000a5: JUMP
000000a6: JUMPDEST
000000a7: CALLVALUE
000000a8: DUP1
000000a9: ISZERO
000000aa: PUSH2 0x00b2
000000ad: JUMPI
000000ae: PUSH1 0x00
000000b0: DUP1
000000b1: REVERT
000000b2: JUMPDEST
000000b3: POP
000000b4: PUSH2 0x007c
000000b7: PUSH2 0x01c9
000000ba: JUMP
000000bb: JUMPDEST
000000bc: PUSH2 0x007c
000000bf: PUSH2 0x00c9
000000c2: CALLDATASIZE
000000c3: PUSH1 0x04
000000c5: PUSH2 0x0917
000000c8: JUMP
000000c9: JUMPDEST
000000ca: PUSH2 0x025c
000000cd: JUMP
000000ce: JUMPDEST
000000cf: CALLVALUE
000000d0: DUP1
000000d1: ISZERO
000000d2: PUSH2 0x00da
000000d5: JUMPI
000000d6: PUSH1 0x00
000000d8: DUP1
000000d9: REVERT
000000da: JUMPDEST
000000db: POP
000000dc: PUSH2 0x00e3
000000df: PUSH2 0x02cd
000000e2: JUMP
000000e3: JUMPDEST
000000e4: PUSH1 0x40
000000e6: MLOAD
000000e7: PUSH2 0x00f0
000000ea: SWAP2
000000eb: SWAP1
000000ec: PUSH2 0x099a
000000ef: JUMP
000000f0: JUMPDEST
000000f1: PUSH1 0x40
000000f3: MLOAD
000000f4: DUP1
000000f5: SWAP2
000000f6: SUB
000000f7: SWAP1
000000f8: RETURN
000000f9: JUMPDEST
000000fa: CALLVALUE
000000fb: DUP1
000000fc: ISZERO
000000fd: PUSH2 0x0105
00000100: JUMPI
00000101: PUSH1 0x00
00000103: DUP1
00000104: REVERT
00000105: JUMPDEST
00000106: POP
00000107: PUSH2 0x010e
0000010a: PUSH2 0x0305
0000010d: JUMP
0000010e: JUMPDEST
0000010f: PUSH1 0x40
00000111: MLOAD
00000112: SWAP1
00000113: ISZERO
00000114: ISZERO
00000115: DUP2
00000116: MSTORE
00000117: PUSH1 0x20
00000119: ADD
0000011a: PUSH2 0x00f0
0000011d: JUMP
0000011e: JUMPDEST
0000011f: CALLVALUE
00000120: DUP1
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: POP
0000012c: PUSH2 0x007c
0000012f: PUSH2 0x034d
00000132: JUMP
00000133: JUMPDEST
00000134: CALLVALUE
00000135: DUP1
00000136: ISZERO
00000137: PUSH2 0x013f
0000013a: JUMPI
0000013b: PUSH1 0x00
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: POP
00000141: PUSH2 0x007c
00000144: PUSH2 0x014e
00000147: CALLDATASIZE
00000148: PUSH1 0x04
0000014a: PUSH2 0x08fc
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH2 0x03ca
00000152: JUMP
00000153: JUMPDEST
00000154: CALLVALUE
00000155: DUP1
00000156: ISZERO
00000157: PUSH2 0x015f
0000015a: JUMPI
0000015b: PUSH1 0x00
0000015d: DUP1
0000015e: REVERT
0000015f: JUMPDEST
00000160: POP
00000161: PUSH2 0x00e3
00000164: PUSH2 0x03f4
00000167: JUMP
00000168: JUMPDEST
00000169: PUSH2 0x0170
0000016c: PUSH2 0x045a
0000016f: JUMP
00000170: JUMPDEST
00000171: PUSH2 0x0180
00000174: PUSH2 0x017b
00000177: PUSH2 0x04aa
0000017a: JUMP
0000017b: JUMPDEST
0000017c: PUSH2 0x04b4
0000017f: JUMP
00000180: JUMPDEST
00000181: JUMP
00000182: JUMPDEST
00000183: PUSH2 0x018a
00000186: PUSH2 0x04d8
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x01
0000018d: PUSH1 0x01
0000018f: PUSH1 0xa0
00000191: SHL
00000192: SUB
00000193: AND
00000194: CALLER
00000195: PUSH1 0x01
00000197: PUSH1 0x01
00000199: PUSH1 0xa0
0000019b: SHL
0000019c: SUB
0000019d: AND
0000019e: EQ
0000019f: ISZERO
000001a0: PUSH2 0x01c1
000001a3: JUMPI
000001a4: PUSH2 0x01be
000001a7: DUP2
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: PUSH1 0x20
000001ae: ADD
000001af: PUSH1 0x40
000001b1: MSTORE
000001b2: DUP1
000001b3: PUSH1 0x00
000001b5: DUP2
000001b6: MSTORE
000001b7: POP
000001b8: PUSH1 0x00
000001ba: PUSH2 0x050b
000001bd: JUMP
000001be: JUMPDEST
000001bf: POP
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH2 0x01be
000001c5: PUSH2 0x0168
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x04d8
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x01
000001d4: PUSH1 0x01
000001d6: PUSH1 0xa0
000001d8: SHL
000001d9: SUB
000001da: AND
000001db: CALLER
000001dc: PUSH1 0x01
000001de: PUSH1 0x01
000001e0: PUSH1 0xa0
000001e2: SHL
000001e3: SUB
000001e4: AND
000001e5: EQ
000001e6: ISZERO
000001e7: PUSH2 0x0254
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: PUSH2 0x020b
000001f0: PUSH2 0x0208
000001f3: PUSH1 0x01
000001f5: PUSH1 0x00
000001f7: DUP1
000001f8: MLOAD
000001f9: PUSH1 0x20
000001fb: PUSH2 0x0a4f
000001fe: DUP4
000001ff: CODECOPY
00000200: DUP2
00000201: MLOAD
00000202: SWAP2
00000203: MSTORE
00000204: PUSH2 0x09ae
00000207: JUMP
00000208: JUMPDEST
00000209: SWAP1
0000020a: JUMP
0000020b: JUMPDEST
0000020c: DUP1
0000020d: SLOAD
0000020e: PUSH1 0xff
00000210: NOT
00000211: AND
00000212: SWAP2
00000213: ISZERO
00000214: ISZERO
00000215: SWAP2
00000216: SWAP1
00000217: SWAP2
00000218: OR
00000219: SWAP1
0000021a: SSTORE
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000023f: SWAP1
00000240: PUSH2 0x024a
00000243: SWAP1
00000244: CALLER
00000245: SWAP1
00000246: PUSH2 0x099a
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: DUP1
0000024f: SWAP2
00000250: SUB
00000251: SWAP1
00000252: LOG1
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH2 0x0180
00000258: PUSH2 0x0168
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x0264
00000260: PUSH2 0x04d8
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x01
00000267: PUSH1 0x01
00000269: PUSH1 0xa0
0000026b: SHL
0000026c: SUB
0000026d: AND
0000026e: CALLER
0000026f: PUSH1 0x01
00000271: PUSH1 0x01
00000273: PUSH1 0xa0
00000275: SHL
00000276: SUB
00000277: AND
00000278: EQ
00000279: ISZERO
0000027a: PUSH2 0x02c5
0000027d: JUMPI
0000027e: PUSH2 0x02c0
00000281: DUP4
00000282: DUP4
00000283: DUP4
00000284: DUP1
00000285: DUP1
00000286: PUSH1 0x1f
00000288: ADD
00000289: PUSH1 0x20
0000028b: DUP1
0000028c: SWAP2
0000028d: DIV
0000028e: MUL
0000028f: PUSH1 0x20
00000291: ADD
00000292: PUSH1 0x40
00000294: MLOAD
00000295: SWAP1
00000296: DUP2
00000297: ADD
00000298: PUSH1 0x40
0000029a: MSTORE
0000029b: DUP1
0000029c: SWAP4
0000029d: SWAP3
0000029e: SWAP2
0000029f: SWAP1
000002a0: DUP2
000002a1: DUP2
000002a2: MSTORE
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: DUP4
000002a7: DUP4
000002a8: DUP1
000002a9: DUP3
000002aa: DUP5
000002ab: CALLDATACOPY
000002ac: PUSH1 0x00
000002ae: SWAP3
000002af: ADD
000002b0: SWAP2
000002b1: SWAP1
000002b2: SWAP2
000002b3: MSTORE
000002b4: POP
000002b5: PUSH1 0x01
000002b7: SWAP3
000002b8: POP
000002b9: PUSH2 0x050b
000002bc: SWAP2
000002bd: POP
000002be: POP
000002bf: JUMP
000002c0: JUMPDEST
000002c1: POP
000002c2: POP
000002c3: POP
000002c4: JUMP
000002c5: JUMPDEST
000002c6: PUSH2 0x02c0
000002c9: PUSH2 0x0168
000002cc: JUMP
000002cd: JUMPDEST
000002ce: PUSH1 0x00
000002d0: PUSH2 0x02d7
000002d3: PUSH2 0x04d8
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x01
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: SHL
000002df: SUB
000002e0: AND
000002e1: CALLER
000002e2: PUSH1 0x01
000002e4: PUSH1 0x01
000002e6: PUSH1 0xa0
000002e8: SHL
000002e9: SUB
000002ea: AND
000002eb: EQ
000002ec: ISZERO
000002ed: PUSH2 0x02fd
000002f0: JUMPI
000002f1: PUSH2 0x02f8
000002f4: PUSH2 0x04aa
000002f7: JUMP
000002f8: JUMPDEST
000002f9: SWAP1
000002fa: POP
000002fb: SWAP1
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH2 0x0208
00000301: PUSH2 0x0168
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH1 0x00
00000308: PUSH2 0x030f
0000030b: PUSH2 0x04d8
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x01
00000312: PUSH1 0x01
00000314: PUSH1 0xa0
00000316: SHL
00000317: SUB
00000318: AND
00000319: CALLER
0000031a: PUSH1 0x01
0000031c: PUSH1 0x01
0000031e: PUSH1 0xa0
00000320: SHL
00000321: SUB
00000322: AND
00000323: EQ
00000324: ISZERO
00000325: PUSH2 0x02fd
00000328: JUMPI
00000329: PUSH2 0x0344
0000032c: PUSH2 0x0208
0000032f: PUSH1 0x01
00000331: PUSH1 0x00
00000333: DUP1
00000334: MLOAD
00000335: PUSH1 0x20
00000337: PUSH2 0x0a4f
0000033a: DUP4
0000033b: CODECOPY
0000033c: DUP2
0000033d: MLOAD
0000033e: SWAP2
0000033f: MSTORE
00000340: PUSH2 0x09ae
00000343: JUMP
00000344: JUMPDEST
00000345: SLOAD
00000346: PUSH1 0xff
00000348: AND
00000349: SWAP1
0000034a: POP
0000034b: SWAP1
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH2 0x0355
00000351: PUSH2 0x04d8
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH1 0x01
00000358: PUSH1 0x01
0000035a: PUSH1 0xa0
0000035c: SHL
0000035d: SUB
0000035e: AND
0000035f: CALLER
00000360: PUSH1 0x01
00000362: PUSH1 0x01
00000364: PUSH1 0xa0
00000366: SHL
00000367: SUB
00000368: AND
00000369: EQ
0000036a: ISZERO
0000036b: PUSH2 0x0254
0000036e: JUMPI
0000036f: PUSH1 0x01
00000371: PUSH2 0x038b
00000374: PUSH2 0x0208
00000377: DUP3
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: MLOAD
0000037c: PUSH1 0x20
0000037e: PUSH2 0x0a4f
00000381: DUP4
00000382: CODECOPY
00000383: DUP2
00000384: MLOAD
00000385: SWAP2
00000386: MSTORE
00000387: PUSH2 0x09ae
0000038a: JUMP
0000038b: JUMPDEST
0000038c: DUP1
0000038d: SLOAD
0000038e: PUSH1 0xff
00000390: NOT
00000391: AND
00000392: SWAP2
00000393: ISZERO
00000394: ISZERO
00000395: SWAP2
00000396: SWAP1
00000397: SWAP2
00000398: OR
00000399: SWAP1
0000039a: SSTORE
0000039b: PUSH1 0x40
0000039d: MLOAD
0000039e: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000003bf: SWAP1
000003c0: PUSH2 0x024a
000003c3: SWAP1
000003c4: CALLER
000003c5: SWAP1
000003c6: PUSH2 0x099a
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH2 0x03d2
000003ce: PUSH2 0x04d8
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH1 0x01
000003d5: PUSH1 0x01
000003d7: PUSH1 0xa0
000003d9: SHL
000003da: SUB
000003db: AND
000003dc: CALLER
000003dd: PUSH1 0x01
000003df: PUSH1 0x01
000003e1: PUSH1 0xa0
000003e3: SHL
000003e4: SUB
000003e5: AND
000003e6: EQ
000003e7: ISZERO
000003e8: PUSH2 0x01c1
000003eb: JUMPI
000003ec: PUSH2 0x01be
000003ef: DUP2
000003f0: PUSH2 0x0536
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH1 0x00
000003f7: PUSH2 0x03fe
000003fa: PUSH2 0x04d8
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH1 0x01
00000401: PUSH1 0x01
00000403: PUSH1 0xa0
00000405: SHL
00000406: SUB
00000407: AND
00000408: CALLER
00000409: PUSH1 0x01
0000040b: PUSH1 0x01
0000040d: PUSH1 0xa0
0000040f: SHL
00000410: SUB
00000411: AND
00000412: EQ
00000413: ISZERO
00000414: PUSH2 0x02fd
00000417: JUMPI
00000418: PUSH2 0x02f8
0000041b: PUSH2 0x04d8
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH1 0x60
00000422: PUSH2 0x0444
00000425: DUP4
00000426: DUP4
00000427: PUSH1 0x40
00000429: MLOAD
0000042a: DUP1
0000042b: PUSH1 0x60
0000042d: ADD
0000042e: PUSH1 0x40
00000430: MSTORE
00000431: DUP1
00000432: PUSH1 0x27
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: ADD
00000439: PUSH2 0x0a6f
0000043c: PUSH1 0x27
0000043e: SWAP2
0000043f: CODECOPY
00000440: PUSH2 0x058a
00000443: JUMP
00000444: JUMPDEST
00000445: SWAP4
00000446: SWAP3
00000447: POP
00000448: POP
00000449: POP
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH1 0x01
0000044e: PUSH1 0x01
00000450: PUSH1 0xa0
00000452: SHL
00000453: SUB
00000454: AND
00000455: EXTCODESIZE
00000456: ISZERO
00000457: ISZERO
00000458: SWAP1
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH2 0x0476
0000045e: PUSH2 0x0208
00000461: PUSH1 0x01
00000463: PUSH1 0x00
00000465: DUP1
00000466: MLOAD
00000467: PUSH1 0x20
00000469: PUSH2 0x0a4f
0000046c: DUP4
0000046d: CODECOPY
0000046e: DUP2
0000046f: MLOAD
00000470: SWAP2
00000471: MSTORE
00000472: PUSH2 0x09ae
00000475: JUMP
00000476: JUMPDEST
00000477: SLOAD
00000478: PUSH1 0xff
0000047a: AND
0000047b: ISZERO
0000047c: DUP1
0000047d: PUSH2 0x0484
00000480: JUMPI
00000481: POP
00000482: CALLER
00000483: ISZERO
00000484: JUMPDEST
00000485: ISZERO
00000486: PUSH2 0x0491
00000489: JUMPI
0000048a: PUSH2 0x0180
0000048d: PUSH2 0x066a
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: MLOAD
00000495: PUSH4 0x09453df5
0000049a: PUSH1 0xe2
0000049c: SHL
0000049d: DUP2
0000049e: MSTORE
0000049f: PUSH1 0x04
000004a1: ADD
000004a2: PUSH1 0x40
000004a4: MLOAD
000004a5: DUP1
000004a6: SWAP2
000004a7: SUB
000004a8: SWAP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: PUSH1 0x00
000004ad: PUSH2 0x02f8
000004b0: PUSH2 0x0704
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLDATASIZE
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: CALLDATACOPY
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: CALLDATASIZE
000004be: PUSH1 0x00
000004c0: DUP5
000004c1: GAS
000004c2: DELEGATECALL
000004c3: RETURNDATASIZE
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: RETURNDATACOPY
000004c8: DUP1
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: RETURNDATASIZE
000004d0: PUSH1 0x00
000004d2: RETURN
000004d3: JUMPDEST
000004d4: RETURNDATASIZE
000004d5: PUSH1 0x00
000004d7: REVERT
000004d8: JUMPDEST
000004d9: PUSH1 0x00
000004db: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
000004fc: JUMPDEST
000004fd: SLOAD
000004fe: PUSH1 0x01
00000500: PUSH1 0x01
00000502: PUSH1 0xa0
00000504: SHL
00000505: SUB
00000506: AND
00000507: SWAP2
00000508: SWAP1
00000509: POP
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH2 0x0514
0000050f: DUP4
00000510: PUSH2 0x072c
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH1 0x00
00000517: DUP3
00000518: MLOAD
00000519: GT
0000051a: DUP1
0000051b: PUSH2 0x0521
0000051e: JUMPI
0000051f: POP
00000520: DUP1
00000521: JUMPDEST
00000522: ISZERO
00000523: PUSH2 0x02c0
00000526: JUMPI
00000527: PUSH2 0x0530
0000052a: DUP4
0000052b: DUP4
0000052c: PUSH2 0x041f
0000052f: JUMP
00000530: JUMPDEST
00000531: POP
00000532: POP
00000533: POP
00000534: POP
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f
00000558: PUSH2 0x055f
0000055b: PUSH2 0x04d8
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x40
00000562: DUP1
00000563: MLOAD
00000564: PUSH1 0x01
00000566: PUSH1 0x01
00000568: PUSH1 0xa0
0000056a: SHL
0000056b: SUB
0000056c: SWAP3
0000056d: DUP4
0000056e: AND
0000056f: DUP2
00000570: MSTORE
00000571: SWAP2
00000572: DUP5
00000573: AND
00000574: PUSH1 0x20
00000576: DUP4
00000577: ADD
00000578: MSTORE
00000579: ADD
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: SWAP2
0000057f: SUB
00000580: SWAP1
00000581: LOG1
00000582: PUSH2 0x01be
00000585: DUP2
00000586: PUSH2 0x076c
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x60
0000058d: PUSH2 0x0595
00000590: DUP5
00000591: PUSH2 0x044b
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH2 0x05f5
00000599: JUMPI
0000059a: PUSH1 0x40
0000059c: MLOAD
0000059d: PUSH3 0x461bcd
000005a1: PUSH1 0xe5
000005a3: SHL
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x20
000005a8: PUSH1 0x04
000005aa: DUP3
000005ab: ADD
000005ac: MSTORE
000005ad: PUSH1 0x26
000005af: PUSH1 0x24
000005b1: DUP3
000005b2: ADD
000005b3: MSTORE
000005b4: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f
000005d5: PUSH1 0x44
000005d7: DUP3
000005d8: ADD
000005d9: MSTORE
000005da: PUSH6 0x1b9d1c9858dd
000005e1: PUSH1 0xd2
000005e3: SHL
000005e4: PUSH1 0x64
000005e6: DUP3
000005e7: ADD
000005e8: MSTORE
000005e9: PUSH1 0x84
000005eb: ADD
000005ec: JUMPDEST
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: DUP1
000005f1: SWAP2
000005f2: SUB
000005f3: SWAP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: DUP6
000005fa: PUSH1 0x01
000005fc: PUSH1 0x01
000005fe: PUSH1 0xa0
00000600: SHL
00000601: SUB
00000602: AND
00000603: DUP6
00000604: PUSH1 0x40
00000606: MLOAD
00000607: PUSH2 0x0610
0000060a: SWAP2
0000060b: SWAP1
0000060c: PUSH2 0x09ff
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x00
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP1
00000617: DUP4
00000618: SUB
00000619: DUP2
0000061a: DUP6
0000061b: GAS
0000061c: DELEGATECALL
0000061d: SWAP2
0000061e: POP
0000061f: POP
00000620: RETURNDATASIZE
00000621: DUP1
00000622: PUSH1 0x00
00000624: DUP2
00000625: EQ
00000626: PUSH2 0x064b
00000629: JUMPI
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: SWAP2
0000062e: POP
0000062f: PUSH1 0x1f
00000631: NOT
00000632: PUSH1 0x3f
00000634: RETURNDATASIZE
00000635: ADD
00000636: AND
00000637: DUP3
00000638: ADD
00000639: PUSH1 0x40
0000063b: MSTORE
0000063c: RETURNDATASIZE
0000063d: DUP3
0000063e: MSTORE
0000063f: RETURNDATASIZE
00000640: PUSH1 0x00
00000642: PUSH1 0x20
00000644: DUP5
00000645: ADD
00000646: RETURNDATACOPY
00000647: PUSH2 0x0650
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH1 0x60
0000064e: SWAP2
0000064f: POP
00000650: JUMPDEST
00000651: POP
00000652: SWAP2
00000653: POP
00000654: SWAP2
00000655: POP
00000656: PUSH2 0x0660
00000659: DUP3
0000065a: DUP3
0000065b: DUP7
0000065c: PUSH2 0x0815
0000065f: JUMP
00000660: JUMPDEST
00000661: SWAP7
00000662: SWAP6
00000663: POP
00000664: POP
00000665: POP
00000666: POP
00000667: POP
00000668: POP
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH2 0x0672
0000066e: PUSH2 0x04d8
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x01
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: SHL
0000067a: SUB
0000067b: AND
0000067c: CALLER
0000067d: PUSH1 0x01
0000067f: PUSH1 0x01
00000681: PUSH1 0xa0
00000683: SHL
00000684: SUB
00000685: AND
00000686: EQ
00000687: ISZERO
00000688: PUSH2 0x0180
0000068b: JUMPI
0000068c: PUSH1 0x40
0000068e: MLOAD
0000068f: PUSH3 0x461bcd
00000693: PUSH1 0xe5
00000695: SHL
00000696: DUP2
00000697: MSTORE
00000698: PUSH1 0x20
0000069a: PUSH1 0x04
0000069c: DUP3
0000069d: ADD
0000069e: MSTORE
0000069f: PUSH1 0x42
000006a1: PUSH1 0x24
000006a3: DUP3
000006a4: ADD
000006a5: MSTORE
000006a6: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d
000006c7: PUSH1 0x44
000006c9: DUP3
000006ca: ADD
000006cb: MSTORE
000006cc: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267
000006ed: PUSH1 0x64
000006ef: DUP3
000006f0: ADD
000006f1: MSTORE
000006f2: PUSH2 0x195d
000006f5: PUSH1 0xf2
000006f7: SHL
000006f8: PUSH1 0x84
000006fa: DUP3
000006fb: ADD
000006fc: MSTORE
000006fd: PUSH1 0xa4
000006ff: ADD
00000700: PUSH2 0x05ec
00000703: JUMP
00000704: JUMPDEST
00000705: PUSH1 0x00
00000707: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000728: PUSH2 0x04fc
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH2 0x0735
00000730: DUP2
00000731: PUSH2 0x084e
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x40
00000738: MLOAD
00000739: PUSH1 0x01
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: SHL
00000740: SUB
00000741: DUP3
00000742: AND
00000743: SWAP1
00000744: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00000765: SWAP1
00000766: PUSH1 0x00
00000768: SWAP1
00000769: LOG2
0000076a: POP
0000076b: JUMP
0000076c: JUMPDEST
0000076d: PUSH1 0x01
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: SHL
00000774: SUB
00000775: DUP2
00000776: AND
00000777: PUSH2 0x07d1
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH3 0x461bcd
00000782: PUSH1 0xe5
00000784: SHL
00000785: DUP2
00000786: MSTORE
00000787: PUSH1 0x20
00000789: PUSH1 0x04
0000078b: DUP3
0000078c: ADD
0000078d: MSTORE
0000078e: PUSH1 0x26
00000790: PUSH1 0x24
00000792: DUP3
00000793: ADD
00000794: MSTORE
00000795: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061
000007b6: PUSH1 0x44
000007b8: DUP3
000007b9: ADD
000007ba: MSTORE
000007bb: PUSH6 0x646472657373
000007c2: PUSH1 0xd0
000007c4: SHL
000007c5: PUSH1 0x64
000007c7: DUP3
000007c8: ADD
000007c9: MSTORE
000007ca: PUSH1 0x84
000007cc: ADD
000007cd: PUSH2 0x05ec
000007d0: JUMP
000007d1: JUMPDEST
000007d2: DUP1
000007d3: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
000007f4: JUMPDEST
000007f5: DUP1
000007f6: SLOAD
000007f7: PUSH1 0x01
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: SHL
000007fe: SUB
000007ff: NOT
00000800: AND
00000801: PUSH1 0x01
00000803: PUSH1 0x01
00000805: PUSH1 0xa0
00000807: SHL
00000808: SUB
00000809: SWAP3
0000080a: SWAP1
0000080b: SWAP3
0000080c: AND
0000080d: SWAP2
0000080e: SWAP1
0000080f: SWAP2
00000810: OR
00000811: SWAP1
00000812: SSTORE
00000813: POP
00000814: JUMP
00000815: JUMPDEST
00000816: PUSH1 0x60
00000818: DUP4
00000819: ISZERO
0000081a: PUSH2 0x0824
0000081d: JUMPI
0000081e: POP
0000081f: DUP2
00000820: PUSH2 0x0444
00000823: JUMP
00000824: JUMPDEST
00000825: DUP3
00000826: MLOAD
00000827: ISZERO
00000828: PUSH2 0x0834
0000082b: JUMPI
0000082c: DUP3
0000082d: MLOAD
0000082e: DUP1
0000082f: DUP5
00000830: PUSH1 0x20
00000832: ADD
00000833: REVERT
00000834: JUMPDEST
00000835: DUP2
00000836: PUSH1 0x40
00000838: MLOAD
00000839: PUSH3 0x461bcd
0000083d: PUSH1 0xe5
0000083f: SHL
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x04
00000844: ADD
00000845: PUSH2 0x05ec
00000848: SWAP2
00000849: SWAP1
0000084a: PUSH2 0x0a1b
0000084d: JUMP
0000084e: JUMPDEST
0000084f: PUSH2 0x0857
00000852: DUP2
00000853: PUSH2 0x044b
00000856: JUMP
00000857: JUMPDEST
00000858: PUSH2 0x08b9
0000085b: JUMPI
0000085c: PUSH1 0x40
0000085e: MLOAD
0000085f: PUSH3 0x461bcd
00000863: PUSH1 0xe5
00000865: SHL
00000866: DUP2
00000867: MSTORE
00000868: PUSH1 0x20
0000086a: PUSH1 0x04
0000086c: DUP3
0000086d: ADD
0000086e: MSTORE
0000086f: PUSH1 0x2d
00000871: PUSH1 0x24
00000873: DUP3
00000874: ADD
00000875: MSTORE
00000876: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
00000897: PUSH1 0x44
00000899: DUP3
0000089a: ADD
0000089b: MSTORE
0000089c: PUSH13 0x1bdd08184818dbdb9d1c9858dd
000008aa: PUSH1 0x9a
000008ac: SHL
000008ad: PUSH1 0x64
000008af: DUP3
000008b0: ADD
000008b1: MSTORE
000008b2: PUSH1 0x84
000008b4: ADD
000008b5: PUSH2 0x05ec
000008b8: JUMP
000008b9: JUMPDEST
000008ba: DUP1
000008bb: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
000008dc: PUSH2 0x07f4
000008df: JUMP
000008e0: JUMPDEST
000008e1: DUP1
000008e2: CALLDATALOAD
000008e3: PUSH1 0x01
000008e5: PUSH1 0x01
000008e7: PUSH1 0xa0
000008e9: SHL
000008ea: SUB
000008eb: DUP2
000008ec: AND
000008ed: DUP2
000008ee: EQ
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: SWAP2
000008f9: SWAP1
000008fa: POP
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x00
000008ff: PUSH1 0x20
00000901: DUP3
00000902: DUP5
00000903: SUB
00000904: SLT
00000905: ISZERO
00000906: PUSH2 0x090e
00000909: JUMPI
0000090a: PUSH1 0x00
0000090c: DUP1
0000090d: REVERT
0000090e: JUMPDEST
0000090f: PUSH2 0x0444
00000912: DUP3
00000913: PUSH2 0x08e0
00000916: JUMP
00000917: JUMPDEST
00000918: PUSH1 0x00
0000091a: DUP1
0000091b: PUSH1 0x00
0000091d: PUSH1 0x40
0000091f: DUP5
00000920: DUP7
00000921: SUB
00000922: SLT
00000923: ISZERO
00000924: PUSH2 0x092c
00000927: JUMPI
00000928: PUSH1 0x00
0000092a: DUP1
0000092b: REVERT
0000092c: JUMPDEST
0000092d: PUSH2 0x0935
00000930: DUP5
00000931: PUSH2 0x08e0
00000934: JUMP
00000935: JUMPDEST
00000936: SWAP3
00000937: POP
00000938: PUSH1 0x20
0000093a: DUP5
0000093b: ADD
0000093c: CALLDATALOAD
0000093d: PUSH8 0xffffffffffffffff
00000946: DUP1
00000947: DUP3
00000948: GT
00000949: ISZERO
0000094a: PUSH2 0x0952
0000094d: JUMPI
0000094e: PUSH1 0x00
00000950: DUP1
00000951: REVERT
00000952: JUMPDEST
00000953: DUP2
00000954: DUP7
00000955: ADD
00000956: SWAP2
00000957: POP
00000958: DUP7
00000959: PUSH1 0x1f
0000095b: DUP4
0000095c: ADD
0000095d: SLT
0000095e: PUSH2 0x0966
00000961: JUMPI
00000962: PUSH1 0x00
00000964: DUP1
00000965: REVERT
00000966: JUMPDEST
00000967: DUP2
00000968: CALLDATALOAD
00000969: DUP2
0000096a: DUP2
0000096b: GT
0000096c: ISZERO
0000096d: PUSH2 0x0975
00000970: JUMPI
00000971: PUSH1 0x00
00000973: DUP1
00000974: REVERT
00000975: JUMPDEST
00000976: DUP8
00000977: PUSH1 0x20
00000979: DUP3
0000097a: DUP6
0000097b: ADD
0000097c: ADD
0000097d: GT
0000097e: ISZERO
0000097f: PUSH2 0x0987
00000982: JUMPI
00000983: PUSH1 0x00
00000985: DUP1
00000986: REVERT
00000987: JUMPDEST
00000988: PUSH1 0x20
0000098a: DUP4
0000098b: ADD
0000098c: SWAP5
0000098d: POP
0000098e: DUP1
0000098f: SWAP4
00000990: POP
00000991: POP
00000992: POP
00000993: POP
00000994: SWAP3
00000995: POP
00000996: SWAP3
00000997: POP
00000998: SWAP3
00000999: JUMP
0000099a: JUMPDEST
0000099b: PUSH1 0x01
0000099d: PUSH1 0x01
0000099f: PUSH1 0xa0
000009a1: SHL
000009a2: SUB
000009a3: SWAP2
000009a4: SWAP1
000009a5: SWAP2
000009a6: AND
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x20
000009ab: ADD
000009ac: SWAP1
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x00
000009b1: DUP3
000009b2: DUP3
000009b3: LT
000009b4: ISZERO
000009b5: PUSH2 0x09ce
000009b8: JUMPI
000009b9: PUSH4 0x4e487b71
000009be: PUSH1 0xe0
000009c0: SHL
000009c1: PUSH1 0x00
000009c3: MSTORE
000009c4: PUSH1 0x11
000009c6: PUSH1 0x04
000009c8: MSTORE
000009c9: PUSH1 0x24
000009cb: PUSH1 0x00
000009cd: REVERT
000009ce: JUMPDEST
000009cf: POP
000009d0: SUB
000009d1: SWAP1
000009d2: JUMP
000009d3: JUMPDEST
000009d4: PUSH1 0x00
000009d6: JUMPDEST
000009d7: DUP4
000009d8: DUP2
000009d9: LT
000009da: ISZERO
000009db: PUSH2 0x09ee
000009de: JUMPI
000009df: DUP2
000009e0: DUP2
000009e1: ADD
000009e2: MLOAD
000009e3: DUP4
000009e4: DUP3
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH1 0x20
000009e9: ADD
000009ea: PUSH2 0x09d6
000009ed: JUMP
000009ee: JUMPDEST
000009ef: DUP4
000009f0: DUP2
000009f1: GT
000009f2: ISZERO
000009f3: PUSH2 0x0530
000009f6: JUMPI
000009f7: POP
000009f8: POP
000009f9: PUSH1 0x00
000009fb: SWAP2
000009fc: ADD
000009fd: MSTORE
000009fe: JUMP
000009ff: JUMPDEST
00000a00: PUSH1 0x00
00000a02: DUP3
00000a03: MLOAD
00000a04: PUSH2 0x0a11
00000a07: DUP2
00000a08: DUP5
00000a09: PUSH1 0x20
00000a0b: DUP8
00000a0c: ADD
00000a0d: PUSH2 0x09d3
00000a10: JUMP
00000a11: JUMPDEST
00000a12: SWAP2
00000a13: SWAP1
00000a14: SWAP2
00000a15: ADD
00000a16: SWAP3
00000a17: SWAP2
00000a18: POP
00000a19: POP
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH1 0x20
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x00
00000a22: DUP3
00000a23: MLOAD
00000a24: DUP1
00000a25: PUSH1 0x20
00000a27: DUP5
00000a28: ADD
00000a29: MSTORE
00000a2a: PUSH2 0x0a3a
00000a2d: DUP2
00000a2e: PUSH1 0x40
00000a30: DUP6
00000a31: ADD
00000a32: PUSH1 0x20
00000a34: DUP8
00000a35: ADD
00000a36: PUSH2 0x09d3
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x1f
00000a3d: ADD
00000a3e: PUSH1 0x1f
00000a40: NOT
00000a41: AND
00000a42: SWAP2
00000a43: SWAP1
00000a44: SWAP2
00000a45: ADD
00000a46: PUSH1 0x40
00000a48: ADD
00000a49: SWAP3
00000a4a: SWAP2
00000a4b: POP
00000a4c: POP
00000a4d: JUMP
00000a4e: INVALID
00000a4f: UNKNOWN(0xAF)
00000a50: UNKNOWN(0xA8)
00000a51: LT
00000a52: UNKNOWN(0x25)
00000a53: SWAP7
00000a54: SWAP13
00000a55: UNKNOWN(0xD8)
00000a56: CLZ
00000a57: SWAP12
00000a58: PUSH4 0x5913f017
00000a5d: UNKNOWN(0xC9)
00000a5e: PUSH27 0xde8d5cbcbc624b87852c4cffbbfc76ee416464726573733a206c6f
00000a7a: PUSH24 0x2d6c6576656c2064656c65676174652063616c6c20666169
00000a93: PUSH13 0x6564a2646970667358221220b8
00000aa1: CREATE
00000aa2: UNKNOWN(0xCD)
00000aa3: PUSH13 0xa7df19ced64d8e8119e0dae0c4
00000ab1: INVALID
00000ab2: KECCAK256
00000ab3: LOG0
00000ab4: UNKNOWN(0xDE)
00000ab5: UNKNOWN(0xE0)
00000ab6: UNKNOWN(0xB6)
00000ab7: ADD
00000ab8: DUP16
00000ab9: PUSH16 0xbacae4ff525664736f6c634300080a00
00000aca: 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: 0xe1226df3038dfdf5536868f1a7c043236217b1ff99c252406dab77d1e351cacb call_targets: 0x4fb46d0b7668fc5ee27a37979579a3c254c70f54 target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 2, "trace_id": "0xe1226df3038dfdf5536868f1a7c043236217b1ff99c252406dab77d1e351cacb", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4fb46d0b7668fc5ee27a37979579a3c254c70f54" ], "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": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f1ef286", "selector": "0x4f1ef286", "calldata_variants": [ "0x4f1ef286", "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c60da1b", "selector": "0x5c60da1b", "calldata_variants": [ "0x5c60da1b", "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c975abb", "selector": "0x5c975abb", "calldata_variants": [ "0x5c975abb", "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8456cb59", "selector": "0x8456cb59", "calldata_variants": [ "0x8456cb59", "0x8456cb590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f283970", "selector": "0x8f283970", "calldata_variants": [ "0x8f283970", "0x8f2839700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1218, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 1564, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 2, "untrusted_delegatecall_count": 2 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x1ea30062cc39bf629f727742c2e940764585030acdb1e771b56d738c51ffdf4b validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 16, "trace_id": "0x1ea30062cc39bf629f727742c2e940764585030acdb1e771b56d738c51ffdf4b", "confirmed": false, "trace_mode": "structLogs", "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": "0x3659cfe6", "selector": "0x3659cfe6", "calldata_variants": [ "0x3659cfe6", "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4f1ef286", "selector": "0x4f1ef286", "calldata_variants": [ "0x4f1ef286", "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c60da1b", "selector": "0x5c60da1b", "calldata_variants": [ "0x5c60da1b", "0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5c975abb", "selector": "0x5c975abb", "calldata_variants": [ "0x5c975abb", "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8456cb59", "selector": "0x8456cb59", "calldata_variants": [ "0x8456cb59", "0x8456cb590000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f283970", "selector": "0x8f283970", "calldata_variants": [ "0x8f283970", "0x8f2839700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }

Severity