Analysis Run

019b3836-401f-72f3-96f9-463aaa91739f

complete

Chain ID

1

Address

0x23e6e6a9661a299adfea94aeb48b04ee8efb4a25

Block Number

—

Created

Fri, Dec 19, 2025 8:03 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 CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
5163	artifact.fetch	complete	1 / 3	3 months ago
5164	tool.cast_disasm	complete	1 / 3	3 months ago
48780	analysis.bundle	complete	1 / 3	2 weeks ago
48781	capability.graph	complete	1 / 3	2 weeks ago
48782	detector.run	complete	1 / 3	2 weeks ago
48783	validation.fork	complete	1 / 3	2 weeks 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

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

1718

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x004b
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x2c531258
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0100
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x41c0e1b5
00000025: EQ
00000026: PUSH2 0x0134
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x8da5cb5b
00000030: EQ
00000031: PUSH2 0x0151
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0xc5e57985
0000003b: EQ
0000003c: PUSH2 0x0163
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0xf2fde38b
00000046: EQ
00000047: PUSH2 0x01c0
0000004a: JUMPI
0000004b: JUMPDEST
0000004c: PUSH1 0x40
0000004e: DUP1
0000004f: MLOAD
00000050: PUSH1 0x20
00000052: DUP2
00000053: DUP2
00000054: ADD
00000055: DUP4
00000056: MSTORE
00000057: PUSH1 0x00
00000059: DUP1
0000005a: DUP4
0000005b: MSTORE
0000005c: DUP4
0000005d: MLOAD
0000005e: DUP1
0000005f: DUP6
00000060: ADD
00000061: SWAP1
00000062: SWAP5
00000063: MSTORE
00000064: PUSH1 0x02
00000066: DUP1
00000067: DUP6
00000068: MSTORE
00000069: PUSH32 0x696e000000000000000000000000000000000000000000000000000000000000
0000008a: SWAP5
0000008b: DUP4
0000008c: ADD
0000008d: SWAP5
0000008e: DUP6
0000008f: MSTORE
00000090: PUSH1 0x06
00000092: DUP1
00000093: SLOAD
00000094: SWAP3
00000095: DUP2
00000096: SWAP1
00000097: MSTORE
00000098: DUP6
00000099: MLOAD
0000009a: PUSH1 0xff
0000009c: NOT
0000009d: AND
0000009e: PUSH1 0x04
000000a0: OR
000000a1: DUP2
000000a2: SSTORE
000000a3: PUSH2 0x01e0
000000a6: SWAP6
000000a7: SWAP1
000000a8: SWAP4
000000a9: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
000000ca: PUSH1 0x01
000000cc: DUP6
000000cd: AND
000000ce: ISZERO
000000cf: PUSH2 0x0100
000000d2: MUL
000000d3: PUSH1 0x00
000000d5: NOT
000000d6: ADD
000000d7: SWAP1
000000d8: SWAP5
000000d9: AND
000000da: DUP4
000000db: SWAP1
000000dc: DIV
000000dd: PUSH1 0x1f
000000df: ADD
000000e0: DIV
000000e1: DUP4
000000e2: ADD
000000e3: SWAP3
000000e4: SWAP1
000000e5: POP
000000e6: PUSH2 0x024e
000000e9: SWAP3
000000ea: SWAP2
000000eb: POP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: DUP3
000000ef: GT
000000f0: ISZERO
000000f1: PUSH2 0x02d4
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP2
000000f8: SSTORE
000000f9: PUSH1 0x01
000000fb: ADD
000000fc: PUSH2 0x00ec
000000ff: JUMP
00000100: JUMPDEST
00000101: PUSH2 0x01e0
00000104: PUSH1 0x04
00000106: CALLDATALOAD
00000107: PUSH1 0x24
00000109: CALLDATALOAD
0000010a: PUSH1 0x40
0000010c: DUP1
0000010d: MLOAD
0000010e: PUSH1 0x20
00000110: DUP2
00000111: ADD
00000112: SWAP1
00000113: SWAP2
00000114: MSTORE
00000115: PUSH1 0x00
00000117: DUP1
00000118: DUP3
00000119: MSTORE
0000011a: SLOAD
0000011b: PUSH1 0x01
0000011d: PUSH1 0xa0
0000011f: PUSH1 0x02
00000121: EXP
00000122: SUB
00000123: SWAP1
00000124: DUP2
00000125: AND
00000126: CALLER
00000127: SWAP2
00000128: SWAP1
00000129: SWAP2
0000012a: AND
0000012b: EQ
0000012c: PUSH2 0x0680
0000012f: JUMPI
00000130: PUSH2 0x0002
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH2 0x0586
00000138: PUSH1 0x00
0000013a: SLOAD
0000013b: PUSH1 0x01
0000013d: PUSH1 0xa0
0000013f: PUSH1 0x02
00000141: EXP
00000142: SUB
00000143: CALLER
00000144: DUP2
00000145: AND
00000146: SWAP2
00000147: AND
00000148: EQ
00000149: PUSH2 0x05ba
0000014c: JUMPI
0000014d: PUSH2 0x0002
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH2 0x0588
00000155: PUSH1 0x00
00000157: SLOAD
00000158: PUSH1 0x01
0000015a: PUSH1 0xa0
0000015c: PUSH1 0x02
0000015e: EXP
0000015f: SUB
00000160: AND
00000161: DUP2
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x01
0000016a: DUP1
0000016b: SLOAD
0000016c: PUSH1 0x20
0000016e: PUSH1 0x02
00000170: DUP3
00000171: DUP5
00000172: AND
00000173: ISZERO
00000174: PUSH2 0x0100
00000177: MUL
00000178: PUSH1 0x00
0000017a: NOT
0000017b: ADD
0000017c: SWAP1
0000017d: SWAP3
0000017e: AND
0000017f: SWAP2
00000180: SWAP1
00000181: SWAP2
00000182: DIV
00000183: PUSH1 0x1f
00000185: DUP2
00000186: ADD
00000187: DUP3
00000188: SWAP1
00000189: DIV
0000018a: DUP3
0000018b: MUL
0000018c: DUP5
0000018d: ADD
0000018e: DUP3
0000018f: ADD
00000190: SWAP1
00000191: SWAP5
00000192: MSTORE
00000193: DUP4
00000194: DUP4
00000195: MSTORE
00000196: PUSH2 0x01e0
00000199: SWAP4
0000019a: SWAP1
0000019b: DUP4
0000019c: ADD
0000019d: DUP3
0000019e: DUP3
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x05f3
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH1 0x1f
000001a8: LT
000001a9: PUSH2 0x05c8
000001ac: JUMPI
000001ad: PUSH2 0x0100
000001b0: DUP1
000001b1: DUP4
000001b2: SLOAD
000001b3: DIV
000001b4: MUL
000001b5: DUP4
000001b6: MSTORE
000001b7: SWAP2
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: SWAP2
000001bc: PUSH2 0x05f3
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH2 0x0586
000001c4: PUSH1 0x04
000001c6: CALLDATALOAD
000001c7: PUSH1 0x00
000001c9: SLOAD
000001ca: PUSH1 0x01
000001cc: PUSH1 0xa0
000001ce: PUSH1 0x02
000001d0: EXP
000001d1: SUB
000001d2: CALLER
000001d3: DUP2
000001d4: AND
000001d5: SWAP2
000001d6: AND
000001d7: EQ
000001d8: PUSH2 0x05a5
000001db: JUMPI
000001dc: PUSH2 0x0002
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: DUP1
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: DUP3
000001ea: DUP2
000001eb: SUB
000001ec: DUP3
000001ed: MSTORE
000001ee: DUP4
000001ef: DUP2
000001f0: DUP2
000001f1: MLOAD
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP2
000001f8: POP
000001f9: DUP1
000001fa: MLOAD
000001fb: SWAP1
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP1
00000200: DUP1
00000201: DUP4
00000202: DUP4
00000203: DUP3
00000204: SWAP1
00000205: PUSH1 0x00
00000207: PUSH1 0x04
00000209: PUSH1 0x20
0000020b: DUP5
0000020c: PUSH1 0x1f
0000020e: ADD
0000020f: DIV
00000210: PUSH1 0x0f
00000212: MUL
00000213: PUSH1 0x03
00000215: ADD
00000216: CALL
00000217: POP
00000218: SWAP1
00000219: POP
0000021a: SWAP1
0000021b: DUP2
0000021c: ADD
0000021d: SWAP1
0000021e: PUSH1 0x1f
00000220: AND
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x0240
00000226: JUMPI
00000227: DUP1
00000228: DUP3
00000229: SUB
0000022a: DUP1
0000022b: MLOAD
0000022c: PUSH1 0x01
0000022e: DUP4
0000022f: PUSH1 0x20
00000231: SUB
00000232: PUSH2 0x0100
00000235: EXP
00000236: SUB
00000237: NOT
00000238: AND
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: JUMPDEST
00000241: POP
00000242: SWAP3
00000243: POP
00000244: POP
00000245: POP
00000246: PUSH1 0x40
00000248: MLOAD
00000249: DUP1
0000024a: SWAP2
0000024b: SUB
0000024c: SWAP1
0000024d: RETURN
0000024e: JUMPDEST
0000024f: POP
00000250: POP
00000251: CALLVALUE
00000252: PUSH1 0x07
00000254: SSTORE
00000255: PUSH1 0x09
00000257: DUP1
00000258: SLOAD
00000259: PUSH1 0x01
0000025b: PUSH1 0xa0
0000025d: PUSH1 0x02
0000025f: EXP
00000260: SUB
00000261: NOT
00000262: SWAP1
00000263: DUP2
00000264: AND
00000265: CALLER
00000266: OR
00000267: SWAP1
00000268: SWAP2
00000269: SSTORE
0000026a: PUSH1 0x00
0000026c: SLOAD
0000026d: PUSH1 0x0a
0000026f: DUP1
00000270: SLOAD
00000271: SWAP1
00000272: SWAP3
00000273: AND
00000274: PUSH1 0x01
00000276: PUSH1 0xa0
00000278: PUSH1 0x02
0000027a: EXP
0000027b: SUB
0000027c: SWAP2
0000027d: SWAP1
0000027e: SWAP2
0000027f: AND
00000280: OR
00000281: SWAP1
00000282: SSTORE
00000283: PUSH1 0x0b
00000285: DUP1
00000286: SLOAD
00000287: PUSH1 0x01
00000289: DUP2
0000028a: ADD
0000028b: DUP1
0000028c: DUP4
0000028d: SSTORE
0000028e: DUP3
0000028f: DUP2
00000290: DUP4
00000291: DUP1
00000292: ISZERO
00000293: DUP3
00000294: SWAP1
00000295: GT
00000296: PUSH2 0x02d8
00000299: JUMPI
0000029a: PUSH1 0x00
0000029c: DUP4
0000029d: SWAP1
0000029e: MSTORE
0000029f: PUSH2 0x02d8
000002a2: SWAP1
000002a3: PUSH1 0x06
000002a5: SWAP1
000002a6: DUP2
000002a7: MUL
000002a8: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
000002c9: SWAP1
000002ca: DUP2
000002cb: ADD
000002cc: SWAP2
000002cd: DUP5
000002ce: MUL
000002cf: ADD
000002d0: PUSH2 0x038e
000002d3: JUMP
000002d4: JUMPDEST
000002d5: POP
000002d6: SWAP1
000002d7: JUMP
000002d8: JUMPDEST
000002d9: POP
000002da: POP
000002db: POP
000002dc: SWAP2
000002dd: SWAP1
000002de: SWAP1
000002df: PUSH1 0x00
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: PUSH1 0x00
000002e6: KECCAK256
000002e7: SWAP1
000002e8: PUSH1 0x06
000002ea: MUL
000002eb: ADD
000002ec: PUSH1 0x00
000002ee: PUSH1 0x05
000002f0: PUSH1 0x00
000002f2: POP
000002f3: SWAP1
000002f4: SWAP2
000002f5: SWAP1
000002f6: SWAP2
000002f7: POP
000002f8: PUSH1 0x00
000002fa: DUP3
000002fb: ADD
000002fc: PUSH1 0x00
000002fe: POP
000002ff: DUP2
00000300: PUSH1 0x00
00000302: ADD
00000303: PUSH1 0x00
00000305: POP
00000306: SWAP1
00000307: DUP1
00000308: SLOAD
00000309: PUSH1 0x01
0000030b: DUP2
0000030c: PUSH1 0x01
0000030e: AND
0000030f: ISZERO
00000310: PUSH2 0x0100
00000313: MUL
00000314: SUB
00000315: AND
00000316: PUSH1 0x02
00000318: SWAP1
00000319: DIV
0000031a: DUP3
0000031b: DUP1
0000031c: SLOAD
0000031d: PUSH1 0x01
0000031f: DUP2
00000320: PUSH1 0x01
00000322: AND
00000323: ISZERO
00000324: PUSH2 0x0100
00000327: MUL
00000328: SUB
00000329: AND
0000032a: PUSH1 0x02
0000032c: SWAP1
0000032d: DIV
0000032e: SWAP1
0000032f: PUSH1 0x00
00000331: MSTORE
00000332: PUSH1 0x20
00000334: PUSH1 0x00
00000336: KECCAK256
00000337: SWAP1
00000338: PUSH1 0x1f
0000033a: ADD
0000033b: PUSH1 0x20
0000033d: SWAP1
0000033e: DIV
0000033f: DUP2
00000340: ADD
00000341: SWAP3
00000342: DUP3
00000343: PUSH1 0x1f
00000345: LT
00000346: PUSH2 0x0429
00000349: JUMPI
0000034a: DUP1
0000034b: SLOAD
0000034c: DUP6
0000034d: SSTORE
0000034e: JUMPDEST
0000034f: POP
00000350: PUSH2 0x0465
00000353: SWAP3
00000354: SWAP2
00000355: POP
00000356: PUSH2 0x00ec
00000359: JUMP
0000035a: JUMPDEST
0000035b: POP
0000035c: POP
0000035d: PUSH1 0x00
0000035f: PUSH1 0x02
00000361: DUP3
00000362: ADD
00000363: DUP2
00000364: SWAP1
00000365: SSTORE
00000366: PUSH1 0x03
00000368: DUP3
00000369: ADD
0000036a: SSTORE
0000036b: PUSH1 0x04
0000036d: DUP2
0000036e: ADD
0000036f: DUP1
00000370: SLOAD
00000371: PUSH1 0x01
00000373: PUSH1 0xa0
00000375: PUSH1 0x02
00000377: EXP
00000378: SUB
00000379: NOT
0000037a: SWAP1
0000037b: DUP2
0000037c: AND
0000037d: SWAP1
0000037e: SWAP2
0000037f: SSTORE
00000380: PUSH1 0x05
00000382: DUP3
00000383: ADD
00000384: DUP1
00000385: SLOAD
00000386: SWAP1
00000387: SWAP2
00000388: AND
00000389: SWAP1
0000038a: SSTORE
0000038b: PUSH1 0x01
0000038d: ADD
0000038e: JUMPDEST
0000038f: DUP1
00000390: DUP3
00000391: GT
00000392: ISZERO
00000393: PUSH2 0x02d4
00000396: JUMPI
00000397: PUSH1 0x00
00000399: PUSH1 0x00
0000039b: DUP3
0000039c: ADD
0000039d: PUSH1 0x00
0000039f: POP
000003a0: DUP1
000003a1: SLOAD
000003a2: PUSH1 0x01
000003a4: DUP2
000003a5: PUSH1 0x01
000003a7: AND
000003a8: ISZERO
000003a9: PUSH2 0x0100
000003ac: MUL
000003ad: SUB
000003ae: AND
000003af: PUSH1 0x02
000003b1: SWAP1
000003b2: DIV
000003b3: PUSH1 0x00
000003b5: DUP3
000003b6: SSTORE
000003b7: DUP1
000003b8: PUSH1 0x1f
000003ba: LT
000003bb: PUSH2 0x03ed
000003be: JUMPI
000003bf: POP
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH1 0x01
000003c4: DUP3
000003c5: ADD
000003c6: PUSH1 0x00
000003c8: POP
000003c9: DUP1
000003ca: SLOAD
000003cb: PUSH1 0x01
000003cd: DUP2
000003ce: PUSH1 0x01
000003d0: AND
000003d1: ISZERO
000003d2: PUSH2 0x0100
000003d5: MUL
000003d6: SUB
000003d7: AND
000003d8: PUSH1 0x02
000003da: SWAP1
000003db: DIV
000003dc: PUSH1 0x00
000003de: DUP3
000003df: SSTORE
000003e0: DUP1
000003e1: PUSH1 0x1f
000003e3: LT
000003e4: PUSH2 0x040b
000003e7: JUMPI
000003e8: POP
000003e9: PUSH2 0x035a
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x1f
000003f0: ADD
000003f1: PUSH1 0x20
000003f3: SWAP1
000003f4: DIV
000003f5: SWAP1
000003f6: PUSH1 0x00
000003f8: MSTORE
000003f9: PUSH1 0x20
000003fb: PUSH1 0x00
000003fd: KECCAK256
000003fe: SWAP1
000003ff: DUP2
00000400: ADD
00000401: SWAP1
00000402: PUSH2 0x03c0
00000405: SWAP2
00000406: SWAP1
00000407: PUSH2 0x00ec
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x1f
0000040e: ADD
0000040f: PUSH1 0x20
00000411: SWAP1
00000412: DIV
00000413: SWAP1
00000414: PUSH1 0x00
00000416: MSTORE
00000417: PUSH1 0x20
00000419: PUSH1 0x00
0000041b: KECCAK256
0000041c: SWAP1
0000041d: DUP2
0000041e: ADD
0000041f: SWAP1
00000420: PUSH2 0x035a
00000423: SWAP2
00000424: SWAP1
00000425: PUSH2 0x00ec
00000428: JUMP
00000429: JUMPDEST
0000042a: DUP3
0000042b: DUP1
0000042c: ADD
0000042d: PUSH1 0x01
0000042f: ADD
00000430: DUP6
00000431: SSTORE
00000432: DUP3
00000433: ISZERO
00000434: PUSH2 0x034e
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: PUSH1 0x00
0000043f: KECCAK256
00000440: SWAP2
00000441: PUSH1 0x1f
00000443: ADD
00000444: PUSH1 0x20
00000446: SWAP1
00000447: DIV
00000448: DUP3
00000449: ADD
0000044a: JUMPDEST
0000044b: DUP3
0000044c: DUP2
0000044d: GT
0000044e: ISZERO
0000044f: PUSH2 0x034e
00000452: JUMPI
00000453: DUP3
00000454: SLOAD
00000455: DUP3
00000456: SSTORE
00000457: SWAP2
00000458: PUSH1 0x01
0000045a: ADD
0000045b: SWAP2
0000045c: SWAP1
0000045d: PUSH1 0x01
0000045f: ADD
00000460: SWAP1
00000461: PUSH2 0x044a
00000464: JUMP
00000465: JUMPDEST
00000466: POP
00000467: POP
00000468: PUSH1 0x01
0000046a: DUP3
0000046b: ADD
0000046c: PUSH1 0x00
0000046e: POP
0000046f: DUP2
00000470: PUSH1 0x01
00000472: ADD
00000473: PUSH1 0x00
00000475: POP
00000476: SWAP1
00000477: DUP1
00000478: SLOAD
00000479: PUSH1 0x01
0000047b: DUP2
0000047c: PUSH1 0x01
0000047e: AND
0000047f: ISZERO
00000480: PUSH2 0x0100
00000483: MUL
00000484: SUB
00000485: AND
00000486: PUSH1 0x02
00000488: SWAP1
00000489: DIV
0000048a: DUP3
0000048b: DUP1
0000048c: SLOAD
0000048d: PUSH1 0x01
0000048f: DUP2
00000490: PUSH1 0x01
00000492: AND
00000493: ISZERO
00000494: PUSH2 0x0100
00000497: MUL
00000498: SUB
00000499: AND
0000049a: PUSH1 0x02
0000049c: SWAP1
0000049d: DIV
0000049e: SWAP1
0000049f: PUSH1 0x00
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: PUSH1 0x00
000004a6: KECCAK256
000004a7: SWAP1
000004a8: PUSH1 0x1f
000004aa: ADD
000004ab: PUSH1 0x20
000004ad: SWAP1
000004ae: DIV
000004af: DUP2
000004b0: ADD
000004b1: SWAP3
000004b2: DUP3
000004b3: PUSH1 0x1f
000004b5: LT
000004b6: PUSH2 0x04ca
000004b9: JUMPI
000004ba: DUP1
000004bb: SLOAD
000004bc: DUP6
000004bd: SSTORE
000004be: JUMPDEST
000004bf: POP
000004c0: PUSH2 0x0506
000004c3: SWAP3
000004c4: SWAP2
000004c5: POP
000004c6: PUSH2 0x00ec
000004c9: JUMP
000004ca: JUMPDEST
000004cb: DUP3
000004cc: DUP1
000004cd: ADD
000004ce: PUSH1 0x01
000004d0: ADD
000004d1: DUP6
000004d2: SSTORE
000004d3: DUP3
000004d4: ISZERO
000004d5: PUSH2 0x04be
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: MSTORE
000004dc: PUSH1 0x20
000004de: PUSH1 0x00
000004e0: KECCAK256
000004e1: SWAP2
000004e2: PUSH1 0x1f
000004e4: ADD
000004e5: PUSH1 0x20
000004e7: SWAP1
000004e8: DIV
000004e9: DUP3
000004ea: ADD
000004eb: JUMPDEST
000004ec: DUP3
000004ed: DUP2
000004ee: GT
000004ef: ISZERO
000004f0: PUSH2 0x04be
000004f3: JUMPI
000004f4: DUP3
000004f5: SLOAD
000004f6: DUP3
000004f7: SSTORE
000004f8: SWAP2
000004f9: PUSH1 0x01
000004fb: ADD
000004fc: SWAP2
000004fd: SWAP1
000004fe: PUSH1 0x01
00000500: ADD
00000501: SWAP1
00000502: PUSH2 0x04eb
00000505: JUMP
00000506: JUMPDEST
00000507: POP
00000508: POP
00000509: PUSH1 0x02
0000050b: DUP3
0000050c: DUP2
0000050d: ADD
0000050e: SLOAD
0000050f: DUP3
00000510: DUP3
00000511: ADD
00000512: SSTORE
00000513: PUSH1 0x03
00000515: DUP4
00000516: DUP2
00000517: ADD
00000518: SLOAD
00000519: SWAP1
0000051a: DUP4
0000051b: ADD
0000051c: SSTORE
0000051d: PUSH1 0x04
0000051f: DUP4
00000520: DUP2
00000521: ADD
00000522: SLOAD
00000523: SWAP1
00000524: DUP4
00000525: ADD
00000526: DUP1
00000527: SLOAD
00000528: PUSH1 0x01
0000052a: PUSH1 0xa0
0000052c: PUSH1 0x02
0000052e: EXP
0000052f: SUB
00000530: NOT
00000531: SWAP1
00000532: DUP2
00000533: AND
00000534: PUSH1 0x01
00000536: PUSH1 0xa0
00000538: PUSH1 0x02
0000053a: EXP
0000053b: SUB
0000053c: SWAP4
0000053d: DUP5
0000053e: AND
0000053f: OR
00000540: SWAP1
00000541: SWAP2
00000542: SSTORE
00000543: PUSH1 0x05
00000545: SWAP5
00000546: DUP6
00000547: ADD
00000548: SLOAD
00000549: SWAP4
0000054a: SWAP1
0000054b: SWAP5
0000054c: ADD
0000054d: DUP1
0000054e: SLOAD
0000054f: SWAP1
00000550: SWAP5
00000551: AND
00000552: SWAP3
00000553: AND
00000554: SWAP2
00000555: SWAP1
00000556: SWAP2
00000557: OR
00000558: SWAP1
00000559: SWAP2
0000055a: SSTORE
0000055b: DUP1
0000055c: SLOAD
0000055d: CALLVALUE
0000055e: ADD
0000055f: SWAP1
00000560: SSTORE
00000561: POP
00000562: POP
00000563: PUSH1 0x40
00000565: DUP1
00000566: MLOAD
00000567: DUP1
00000568: DUP3
00000569: ADD
0000056a: SWAP1
0000056b: SWAP2
0000056c: MSTORE
0000056d: PUSH1 0x07
0000056f: DUP2
00000570: MSTORE
00000571: PUSH1 0xc8
00000573: PUSH1 0x02
00000575: EXP
00000576: PUSH7 0x73756363657373
0000057e: MUL
0000057f: PUSH1 0x20
00000581: DUP3
00000582: ADD
00000583: MSTORE
00000584: SWAP1
00000585: JUMP
00000586: JUMPDEST
00000587: STOP
00000588: JUMPDEST
00000589: PUSH1 0x40
0000058b: DUP1
0000058c: MLOAD
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: PUSH1 0x02
00000593: EXP
00000594: SUB
00000595: SWAP3
00000596: SWAP1
00000597: SWAP3
00000598: AND
00000599: DUP3
0000059a: MSTORE
0000059b: MLOAD
0000059c: SWAP1
0000059d: DUP2
0000059e: SWAP1
0000059f: SUB
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP1
000005a4: RETURN
000005a5: JUMPDEST
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: SLOAD
000005aa: PUSH1 0x01
000005ac: PUSH1 0xa0
000005ae: PUSH1 0x02
000005b0: EXP
000005b1: SUB
000005b2: NOT
000005b3: AND
000005b4: DUP3
000005b5: OR
000005b6: SWAP1
000005b7: SSTORE
000005b8: POP
000005b9: JUMP
000005ba: JUMPDEST
000005bb: PUSH1 0x00
000005bd: SLOAD
000005be: PUSH1 0x01
000005c0: PUSH1 0xa0
000005c2: PUSH1 0x02
000005c4: EXP
000005c5: SUB
000005c6: AND
000005c7: SELFDESTRUCT
000005c8: JUMPDEST
000005c9: DUP3
000005ca: ADD
000005cb: SWAP2
000005cc: SWAP1
000005cd: PUSH1 0x00
000005cf: MSTORE
000005d0: PUSH1 0x20
000005d2: PUSH1 0x00
000005d4: KECCAK256
000005d5: SWAP1
000005d6: JUMPDEST
000005d7: DUP2
000005d8: SLOAD
000005d9: DUP2
000005da: MSTORE
000005db: SWAP1
000005dc: PUSH1 0x01
000005de: ADD
000005df: SWAP1
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: DUP1
000005e4: DUP4
000005e5: GT
000005e6: PUSH2 0x05d6
000005e9: JUMPI
000005ea: DUP3
000005eb: SWAP1
000005ec: SUB
000005ed: PUSH1 0x1f
000005ef: AND
000005f0: DUP3
000005f1: ADD
000005f2: SWAP2
000005f3: JUMPDEST
000005f4: POP
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: DUP2
000005fa: JUMP
000005fb: JUMPDEST
000005fc: POP
000005fd: POP
000005fe: PUSH1 0x02
00000600: DUP3
00000601: DUP2
00000602: ADD
00000603: SLOAD
00000604: DUP3
00000605: DUP3
00000606: ADD
00000607: SSTORE
00000608: PUSH1 0x03
0000060a: DUP4
0000060b: DUP2
0000060c: ADD
0000060d: SLOAD
0000060e: SWAP1
0000060f: DUP4
00000610: ADD
00000611: SSTORE
00000612: PUSH1 0x04
00000614: DUP4
00000615: DUP2
00000616: ADD
00000617: SLOAD
00000618: SWAP1
00000619: DUP4
0000061a: ADD
0000061b: DUP1
0000061c: SLOAD
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: PUSH1 0x02
00000623: EXP
00000624: SUB
00000625: NOT
00000626: SWAP1
00000627: DUP2
00000628: AND
00000629: PUSH1 0x01
0000062b: PUSH1 0xa0
0000062d: PUSH1 0x02
0000062f: EXP
00000630: SUB
00000631: SWAP4
00000632: DUP5
00000633: AND
00000634: OR
00000635: SWAP1
00000636: SWAP2
00000637: SSTORE
00000638: PUSH1 0x05
0000063a: SWAP5
0000063b: DUP6
0000063c: ADD
0000063d: SLOAD
0000063e: SWAP4
0000063f: SWAP1
00000640: SWAP5
00000641: ADD
00000642: DUP1
00000643: SLOAD
00000644: SWAP1
00000645: SWAP5
00000646: AND
00000647: SWAP3
00000648: AND
00000649: SWAP2
0000064a: SWAP1
0000064b: SWAP2
0000064c: OR
0000064d: SWAP1
0000064e: SWAP2
0000064f: SSTORE
00000650: DUP1
00000651: SLOAD
00000652: CALLVALUE
00000653: SWAP1
00000654: SUB
00000655: SWAP1
00000656: SSTORE
00000657: POP
00000658: POP
00000659: PUSH1 0x40
0000065b: DUP1
0000065c: MLOAD
0000065d: DUP1
0000065e: DUP3
0000065f: ADD
00000660: SWAP1
00000661: SWAP2
00000662: MSTORE
00000663: PUSH1 0x07
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0xc8
00000669: PUSH1 0x02
0000066b: EXP
0000066c: PUSH7 0x73756363657373
00000674: MUL
00000675: PUSH1 0x20
00000677: DUP3
00000678: ADD
00000679: MSTORE
0000067a: JUMPDEST
0000067b: SWAP3
0000067c: SWAP2
0000067d: POP
0000067e: POP
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x02
00000683: SLOAD
00000684: DUP4
00000685: GT
00000686: PUSH2 0x06c3
00000689: JUMPI
0000068a: POP
0000068b: PUSH1 0x40
0000068d: DUP1
0000068e: MLOAD
0000068f: DUP1
00000690: DUP3
00000691: ADD
00000692: SWAP1
00000693: SWAP2
00000694: MSTORE
00000695: PUSH1 0x1c
00000697: DUP2
00000698: MSTORE
00000699: PUSH32 0x6572726f722030313a20696e73756666696369656e742066756e647300000000
000006ba: PUSH1 0x20
000006bc: DUP3
000006bd: ADD
000006be: MSTORE
000006bf: PUSH2 0x067a
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x40
000006c6: MLOAD
000006c7: PUSH1 0x01
000006c9: PUSH1 0xa0
000006cb: PUSH1 0x02
000006cd: EXP
000006ce: SUB
000006cf: DUP4
000006d0: AND
000006d1: SWAP1
000006d2: PUSH1 0x00
000006d4: SWAP1
000006d5: DUP6
000006d6: SWAP1
000006d7: DUP3
000006d8: DUP2
000006d9: DUP2
000006da: DUP2
000006db: DUP6
000006dc: DUP9
000006dd: DUP4
000006de: CALL
000006df: SWAP4
000006e0: POP
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: PUSH1 0x0b
000006e7: PUSH1 0x00
000006e9: POP
000006ea: DUP1
000006eb: SLOAD
000006ec: DUP1
000006ed: PUSH1 0x01
000006ef: ADD
000006f0: DUP3
000006f1: DUP2
000006f2: DUP2
000006f3: SLOAD
000006f4: DUP2
000006f5: DUP4
000006f6: SSTORE
000006f7: DUP2
000006f8: DUP2
000006f9: ISZERO
000006fa: GT
000006fb: PUSH2 0x071d
000006fe: JUMPI
000006ff: PUSH1 0x06
00000701: MUL
00000702: DUP2
00000703: PUSH1 0x06
00000705: MUL
00000706: DUP4
00000707: PUSH1 0x00
00000709: MSTORE
0000070a: PUSH1 0x20
0000070c: PUSH1 0x00
0000070e: KECCAK256
0000070f: SWAP2
00000710: DUP3
00000711: ADD
00000712: SWAP2
00000713: ADD
00000714: PUSH2 0x071d
00000717: SWAP2
00000718: SWAP1
00000719: PUSH2 0x07d3
0000071c: JUMP
0000071d: JUMPDEST
0000071e: POP
0000071f: POP
00000720: POP
00000721: SWAP2
00000722: SWAP1
00000723: SWAP1
00000724: PUSH1 0x00
00000726: MSTORE
00000727: PUSH1 0x20
00000729: PUSH1 0x00
0000072b: KECCAK256
0000072c: SWAP1
0000072d: PUSH1 0x06
0000072f: MUL
00000730: ADD
00000731: PUSH1 0x00
00000733: PUSH1 0x05
00000735: PUSH1 0x00
00000737: POP
00000738: SWAP1
00000739: SWAP2
0000073a: SWAP1
0000073b: SWAP2
0000073c: POP
0000073d: PUSH1 0x00
0000073f: DUP3
00000740: ADD
00000741: PUSH1 0x00
00000743: POP
00000744: DUP2
00000745: PUSH1 0x00
00000747: ADD
00000748: PUSH1 0x00
0000074a: POP
0000074b: SWAP1
0000074c: DUP1
0000074d: SLOAD
0000074e: PUSH1 0x01
00000750: DUP2
00000751: PUSH1 0x01
00000753: AND
00000754: ISZERO
00000755: PUSH2 0x0100
00000758: MUL
00000759: SUB
0000075a: AND
0000075b: PUSH1 0x02
0000075d: SWAP1
0000075e: DIV
0000075f: DUP3
00000760: DUP1
00000761: SLOAD
00000762: PUSH1 0x01
00000764: DUP2
00000765: PUSH1 0x01
00000767: AND
00000768: ISZERO
00000769: PUSH2 0x0100
0000076c: MUL
0000076d: SUB
0000076e: AND
0000076f: PUSH1 0x02
00000771: SWAP1
00000772: DIV
00000773: SWAP1
00000774: PUSH1 0x00
00000776: MSTORE
00000777: PUSH1 0x20
00000779: PUSH1 0x00
0000077b: KECCAK256
0000077c: SWAP1
0000077d: PUSH1 0x1f
0000077f: ADD
00000780: PUSH1 0x20
00000782: SWAP1
00000783: DIV
00000784: DUP2
00000785: ADD
00000786: SWAP3
00000787: DUP3
00000788: PUSH1 0x1f
0000078a: LT
0000078b: PUSH2 0x086e
0000078e: JUMPI
0000078f: DUP1
00000790: SLOAD
00000791: DUP6
00000792: SSTORE
00000793: JUMPDEST
00000794: POP
00000795: PUSH2 0x08aa
00000798: SWAP3
00000799: SWAP2
0000079a: POP
0000079b: PUSH2 0x00ec
0000079e: JUMP
0000079f: JUMPDEST
000007a0: POP
000007a1: POP
000007a2: PUSH1 0x00
000007a4: PUSH1 0x02
000007a6: DUP3
000007a7: ADD
000007a8: DUP2
000007a9: SWAP1
000007aa: SSTORE
000007ab: PUSH1 0x03
000007ad: DUP3
000007ae: ADD
000007af: SSTORE
000007b0: PUSH1 0x04
000007b2: DUP2
000007b3: ADD
000007b4: DUP1
000007b5: SLOAD
000007b6: PUSH1 0x01
000007b8: PUSH1 0xa0
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: SUB
000007be: NOT
000007bf: SWAP1
000007c0: DUP2
000007c1: AND
000007c2: SWAP1
000007c3: SWAP2
000007c4: SSTORE
000007c5: PUSH1 0x05
000007c7: DUP3
000007c8: ADD
000007c9: DUP1
000007ca: SLOAD
000007cb: SWAP1
000007cc: SWAP2
000007cd: AND
000007ce: SWAP1
000007cf: SSTORE
000007d0: PUSH1 0x01
000007d2: ADD
000007d3: JUMPDEST
000007d4: DUP1
000007d5: DUP3
000007d6: GT
000007d7: ISZERO
000007d8: PUSH2 0x02d4
000007db: JUMPI
000007dc: PUSH1 0x00
000007de: PUSH1 0x00
000007e0: DUP3
000007e1: ADD
000007e2: PUSH1 0x00
000007e4: POP
000007e5: DUP1
000007e6: SLOAD
000007e7: PUSH1 0x01
000007e9: DUP2
000007ea: PUSH1 0x01
000007ec: AND
000007ed: ISZERO
000007ee: PUSH2 0x0100
000007f1: MUL
000007f2: SUB
000007f3: AND
000007f4: PUSH1 0x02
000007f6: SWAP1
000007f7: DIV
000007f8: PUSH1 0x00
000007fa: DUP3
000007fb: SSTORE
000007fc: DUP1
000007fd: PUSH1 0x1f
000007ff: LT
00000800: PUSH2 0x0832
00000803: JUMPI
00000804: POP
00000805: JUMPDEST
00000806: POP
00000807: PUSH1 0x01
00000809: DUP3
0000080a: ADD
0000080b: PUSH1 0x00
0000080d: POP
0000080e: DUP1
0000080f: SLOAD
00000810: PUSH1 0x01
00000812: DUP2
00000813: PUSH1 0x01
00000815: AND
00000816: ISZERO
00000817: PUSH2 0x0100
0000081a: MUL
0000081b: SUB
0000081c: AND
0000081d: PUSH1 0x02
0000081f: SWAP1
00000820: DIV
00000821: PUSH1 0x00
00000823: DUP3
00000824: SSTORE
00000825: DUP1
00000826: PUSH1 0x1f
00000828: LT
00000829: PUSH2 0x0850
0000082c: JUMPI
0000082d: POP
0000082e: PUSH2 0x079f
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x1f
00000835: ADD
00000836: PUSH1 0x20
00000838: SWAP1
00000839: DIV
0000083a: SWAP1
0000083b: PUSH1 0x00
0000083d: MSTORE
0000083e: PUSH1 0x20
00000840: PUSH1 0x00
00000842: KECCAK256
00000843: SWAP1
00000844: DUP2
00000845: ADD
00000846: SWAP1
00000847: PUSH2 0x0805
0000084a: SWAP2
0000084b: SWAP1
0000084c: PUSH2 0x00ec
0000084f: JUMP
00000850: JUMPDEST
00000851: PUSH1 0x1f
00000853: ADD
00000854: PUSH1 0x20
00000856: SWAP1
00000857: DIV
00000858: SWAP1
00000859: PUSH1 0x00
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: PUSH1 0x00
00000860: KECCAK256
00000861: SWAP1
00000862: DUP2
00000863: ADD
00000864: SWAP1
00000865: PUSH2 0x079f
00000868: SWAP2
00000869: SWAP1
0000086a: PUSH2 0x00ec
0000086d: JUMP
0000086e: JUMPDEST
0000086f: DUP3
00000870: DUP1
00000871: ADD
00000872: PUSH1 0x01
00000874: ADD
00000875: DUP6
00000876: SSTORE
00000877: DUP3
00000878: ISZERO
00000879: PUSH2 0x0793
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: MSTORE
00000880: PUSH1 0x20
00000882: PUSH1 0x00
00000884: KECCAK256
00000885: SWAP2
00000886: PUSH1 0x1f
00000888: ADD
00000889: PUSH1 0x20
0000088b: SWAP1
0000088c: DIV
0000088d: DUP3
0000088e: ADD
0000088f: JUMPDEST
00000890: DUP3
00000891: DUP2
00000892: GT
00000893: ISZERO
00000894: PUSH2 0x0793
00000897: JUMPI
00000898: DUP3
00000899: SLOAD
0000089a: DUP3
0000089b: SSTORE
0000089c: SWAP2
0000089d: PUSH1 0x01
0000089f: ADD
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH1 0x01
000008a4: ADD
000008a5: SWAP1
000008a6: PUSH2 0x088f
000008a9: JUMP
000008aa: JUMPDEST
000008ab: POP
000008ac: POP
000008ad: PUSH1 0x01
000008af: DUP3
000008b0: ADD
000008b1: PUSH1 0x00
000008b3: POP
000008b4: DUP2
000008b5: PUSH1 0x01
000008b7: ADD
000008b8: PUSH1 0x00
000008ba: POP
000008bb: SWAP1
000008bc: DUP1
000008bd: SLOAD
000008be: PUSH1 0x01
000008c0: DUP2
000008c1: PUSH1 0x01
000008c3: AND
000008c4: ISZERO
000008c5: PUSH2 0x0100
000008c8: MUL
000008c9: SUB
000008ca: AND
000008cb: PUSH1 0x02
000008cd: SWAP1
000008ce: DIV
000008cf: DUP3
000008d0: DUP1
000008d1: SLOAD
000008d2: PUSH1 0x01
000008d4: DUP2
000008d5: PUSH1 0x01
000008d7: AND
000008d8: ISZERO
000008d9: PUSH2 0x0100
000008dc: MUL
000008dd: SUB
000008de: AND
000008df: PUSH1 0x02
000008e1: SWAP1
000008e2: DIV
000008e3: SWAP1
000008e4: PUSH1 0x00
000008e6: MSTORE
000008e7: PUSH1 0x20
000008e9: PUSH1 0x00
000008eb: KECCAK256
000008ec: SWAP1
000008ed: PUSH1 0x1f
000008ef: ADD
000008f0: PUSH1 0x20
000008f2: SWAP1
000008f3: DIV
000008f4: DUP2
000008f5: ADD
000008f6: SWAP3
000008f7: DUP3
000008f8: PUSH1 0x1f
000008fa: LT
000008fb: PUSH2 0x090f
000008fe: JUMPI
000008ff: DUP1
00000900: SLOAD
00000901: DUP6
00000902: SSTORE
00000903: JUMPDEST
00000904: POP
00000905: PUSH2 0x05fb
00000908: SWAP3
00000909: SWAP2
0000090a: POP
0000090b: PUSH2 0x00ec
0000090e: JUMP
0000090f: JUMPDEST
00000910: DUP3
00000911: DUP1
00000912: ADD
00000913: PUSH1 0x01
00000915: ADD
00000916: DUP6
00000917: SSTORE
00000918: DUP3
00000919: ISZERO
0000091a: PUSH2 0x0903
0000091d: JUMPI
0000091e: PUSH1 0x00
00000920: MSTORE
00000921: PUSH1 0x20
00000923: PUSH1 0x00
00000925: KECCAK256
00000926: SWAP2
00000927: PUSH1 0x1f
00000929: ADD
0000092a: PUSH1 0x20
0000092c: SWAP1
0000092d: DIV
0000092e: DUP3
0000092f: ADD
00000930: JUMPDEST
00000931: DUP3
00000932: DUP2
00000933: GT
00000934: ISZERO
00000935: PUSH2 0x0903
00000938: JUMPI
00000939: DUP3
0000093a: SLOAD
0000093b: DUP3
0000093c: SSTORE
0000093d: SWAP2
0000093e: PUSH1 0x01
00000940: ADD
00000941: SWAP2
00000942: SWAP1
00000943: PUSH1 0x01
00000945: ADD
00000946: SWAP1
00000947: PUSH2 0x0930
0000094a: JUMP

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
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xa03786449a35febfcd15c3efe0060d6ef3c513b51baf8d6b2f779f0d03c76e94 call_targets: 0x23e6e6a9661a299adfea94aeb48b04ee8efb4a25 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa03786449a35febfcd15c3efe0060d6ef3c513b51baf8d6b2f779f0d03c76e94", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x23e6e6a9661a299adfea94aeb48b04ee8efb4a25" ], "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": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1758, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xa03786449a35febfcd15c3efe0060d6ef3c513b51baf8d6b2f779f0d03c76e94 call_targets: 0x23e6e6a9661a299adfea94aeb48b04ee8efb4a25 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa03786449a35febfcd15c3efe0060d6ef3c513b51baf8d6b2f779f0d03c76e94", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x23e6e6a9661a299adfea94aeb48b04ee8efb4a25" ], "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": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1758, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x57e1a7296aac2034293195ecf1dee184900331eb2f829f53e9f91b549a7f5191 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 10, "trace_id": "0x57e1a7296aac2034293195ecf1dee184900331eb2f829f53e9f91b549a7f5191", "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": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity