Analysis Run

019b477e-ab85-71ac-b691-7193d2b09a07

complete

Chain ID

1

Address

0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede

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

Verified

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
21033	artifact.fetch	complete	1 / 3	3 months ago
21034	tool.cast_disasm	complete	1 / 3	3 months ago
63982	analysis.bundle	complete	1 / 3	1 week ago
63983	capability.graph	complete	1 / 3	1 week ago
63984	detector.run	complete	1 / 3	1 week ago
63985	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

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)

3

EXT*/BALANCE

1

Total opcodes

1179

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00c4
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x2e1a7d4d
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x00c9
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x41c0e1b5
00000046: EQ
00000047: PUSH2 0x00f3
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x43d726d6
00000051: EQ
00000052: PUSH2 0x0108
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x521eb273
0000005c: EQ
0000005d: PUSH2 0x011b
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x8c52dc41
00000067: EQ
00000068: PUSH2 0x014a
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x8da5cb5b
00000072: EQ
00000073: PUSH2 0x015d
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xc19d93fb
0000007d: EQ
0000007e: PUSH2 0x0170
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xcb13cddb
00000088: EQ
00000089: PUSH2 0x01a7
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xf2fde38b
00000093: EQ
00000094: PUSH2 0x01d8
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xf340fa01
0000009e: EQ
0000009f: PUSH2 0x01f7
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xf912e58c
000000a9: EQ
000000aa: PUSH2 0x020b
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xfa89401a
000000b4: EQ
000000b5: PUSH2 0x022a
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xff50abdc
000000bf: EQ
000000c0: PUSH2 0x0249
000000c3: JUMPI
000000c4: JUMPDEST
000000c5: PUSH1 0x00
000000c7: DUP1
000000c8: REVERT
000000c9: JUMPDEST
000000ca: CALLVALUE
000000cb: ISZERO
000000cc: PUSH2 0x00d4
000000cf: JUMPI
000000d0: PUSH1 0x00
000000d2: DUP1
000000d3: REVERT
000000d4: JUMPDEST
000000d5: PUSH2 0x00df
000000d8: PUSH1 0x04
000000da: CALLDATALOAD
000000db: PUSH2 0x025c
000000de: JUMP
000000df: JUMPDEST
000000e0: PUSH1 0x40
000000e2: MLOAD
000000e3: SWAP1
000000e4: ISZERO
000000e5: ISZERO
000000e6: DUP2
000000e7: MSTORE
000000e8: PUSH1 0x20
000000ea: ADD
000000eb: PUSH1 0x40
000000ed: MLOAD
000000ee: DUP1
000000ef: SWAP2
000000f0: SUB
000000f1: SWAP1
000000f2: RETURN
000000f3: JUMPDEST
000000f4: CALLVALUE
000000f5: ISZERO
000000f6: PUSH2 0x00fe
000000f9: JUMPI
000000fa: PUSH1 0x00
000000fc: DUP1
000000fd: REVERT
000000fe: JUMPDEST
000000ff: PUSH2 0x0106
00000102: PUSH2 0x034f
00000105: JUMP
00000106: JUMPDEST
00000107: STOP
00000108: JUMPDEST
00000109: CALLVALUE
0000010a: ISZERO
0000010b: PUSH2 0x0113
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: PUSH2 0x0106
00000117: PUSH2 0x039c
0000011a: JUMP
0000011b: JUMPDEST
0000011c: CALLVALUE
0000011d: ISZERO
0000011e: PUSH2 0x0126
00000121: JUMPI
00000122: PUSH1 0x00
00000124: DUP1
00000125: REVERT
00000126: JUMPDEST
00000127: PUSH2 0x012e
0000012a: PUSH2 0x0487
0000012d: JUMP
0000012e: JUMPDEST
0000012f: PUSH1 0x40
00000131: MLOAD
00000132: PUSH1 0x01
00000134: PUSH1 0xa0
00000136: PUSH1 0x02
00000138: EXP
00000139: SUB
0000013a: SWAP1
0000013b: SWAP2
0000013c: AND
0000013d: DUP2
0000013e: MSTORE
0000013f: PUSH1 0x20
00000141: ADD
00000142: PUSH1 0x40
00000144: MLOAD
00000145: DUP1
00000146: SWAP2
00000147: SUB
00000148: SWAP1
00000149: RETURN
0000014a: JUMPDEST
0000014b: CALLVALUE
0000014c: ISZERO
0000014d: PUSH2 0x0155
00000150: JUMPI
00000151: PUSH1 0x00
00000153: DUP1
00000154: REVERT
00000155: JUMPDEST
00000156: PUSH2 0x0106
00000159: PUSH2 0x049f
0000015c: JUMP
0000015d: JUMPDEST
0000015e: CALLVALUE
0000015f: ISZERO
00000160: PUSH2 0x0168
00000163: JUMPI
00000164: PUSH1 0x00
00000166: DUP1
00000167: REVERT
00000168: JUMPDEST
00000169: PUSH2 0x012e
0000016c: PUSH2 0x052f
0000016f: JUMP
00000170: JUMPDEST
00000171: CALLVALUE
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: PUSH2 0x0183
0000017f: PUSH2 0x053e
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x40
00000186: MLOAD
00000187: DUP1
00000188: DUP3
00000189: PUSH1 0x02
0000018b: DUP2
0000018c: GT
0000018d: ISZERO
0000018e: PUSH2 0x0193
00000191: JUMPI
00000192: INVALID
00000193: JUMPDEST
00000194: PUSH1 0xff
00000196: AND
00000197: DUP2
00000198: MSTORE
00000199: PUSH1 0x20
0000019b: ADD
0000019c: SWAP2
0000019d: POP
0000019e: POP
0000019f: PUSH1 0x40
000001a1: MLOAD
000001a2: DUP1
000001a3: SWAP2
000001a4: SUB
000001a5: SWAP1
000001a6: RETURN
000001a7: JUMPDEST
000001a8: CALLVALUE
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: PUSH2 0x01c6
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: PUSH1 0x04
000001c0: CALLDATALOAD
000001c1: AND
000001c2: PUSH2 0x054e
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: SWAP1
000001cb: DUP2
000001cc: MSTORE
000001cd: PUSH1 0x20
000001cf: ADD
000001d0: PUSH1 0x40
000001d2: MLOAD
000001d3: DUP1
000001d4: SWAP2
000001d5: SUB
000001d6: SWAP1
000001d7: RETURN
000001d8: JUMPDEST
000001d9: CALLVALUE
000001da: ISZERO
000001db: PUSH2 0x01e3
000001de: JUMPI
000001df: PUSH1 0x00
000001e1: DUP1
000001e2: REVERT
000001e3: JUMPDEST
000001e4: PUSH2 0x0106
000001e7: PUSH1 0x01
000001e9: PUSH1 0xa0
000001eb: PUSH1 0x02
000001ed: EXP
000001ee: SUB
000001ef: PUSH1 0x04
000001f1: CALLDATALOAD
000001f2: AND
000001f3: PUSH2 0x0560
000001f6: JUMP
000001f7: JUMPDEST
000001f8: PUSH2 0x0106
000001fb: PUSH1 0x01
000001fd: PUSH1 0xa0
000001ff: PUSH1 0x02
00000201: EXP
00000202: SUB
00000203: PUSH1 0x04
00000205: CALLDATALOAD
00000206: AND
00000207: PUSH2 0x05fb
0000020a: JUMP
0000020b: JUMPDEST
0000020c: CALLVALUE
0000020d: ISZERO
0000020e: PUSH2 0x0216
00000211: JUMPI
00000212: PUSH1 0x00
00000214: DUP1
00000215: REVERT
00000216: JUMPDEST
00000217: PUSH2 0x0106
0000021a: PUSH1 0x01
0000021c: PUSH1 0xa0
0000021e: PUSH1 0x02
00000220: EXP
00000221: SUB
00000222: PUSH1 0x04
00000224: CALLDATALOAD
00000225: AND
00000226: PUSH2 0x069b
00000229: JUMP
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: ISZERO
0000022d: PUSH2 0x0235
00000230: JUMPI
00000231: PUSH1 0x00
00000233: DUP1
00000234: REVERT
00000235: JUMPDEST
00000236: PUSH2 0x0106
00000239: PUSH1 0x01
0000023b: PUSH1 0xa0
0000023d: PUSH1 0x02
0000023f: EXP
00000240: SUB
00000241: PUSH1 0x04
00000243: CALLDATALOAD
00000244: AND
00000245: PUSH2 0x06fa
00000248: JUMP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: ISZERO
0000024c: PUSH2 0x0254
0000024f: JUMPI
00000250: PUSH1 0x00
00000252: DUP1
00000253: REVERT
00000254: JUMPDEST
00000255: PUSH2 0x01c6
00000258: PUSH2 0x07aa
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x03
0000025f: SLOAD
00000260: PUSH1 0x00
00000262: SWAP1
00000263: CALLER
00000264: PUSH1 0x01
00000266: PUSH1 0xa0
00000268: PUSH1 0x02
0000026a: EXP
0000026b: SUB
0000026c: SWAP1
0000026d: DUP2
0000026e: AND
0000026f: SWAP2
00000270: AND
00000271: EQ
00000272: PUSH2 0x027a
00000275: JUMPI
00000276: PUSH1 0x00
00000278: DUP1
00000279: REVERT
0000027a: JUMPDEST
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: SLOAD
0000027f: PUSH1 0xa0
00000281: PUSH1 0x02
00000283: EXP
00000284: SWAP1
00000285: DIV
00000286: PUSH1 0xff
00000288: AND
00000289: PUSH1 0x02
0000028b: DUP2
0000028c: GT
0000028d: ISZERO
0000028e: PUSH2 0x0293
00000291: JUMPI
00000292: INVALID
00000293: JUMPDEST
00000294: EQ
00000295: PUSH2 0x029d
00000298: JUMPI
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: REVERT
0000029d: JUMPDEST
0000029e: PUSH1 0x02
000002a0: SLOAD
000002a1: DUP3
000002a2: SWAP1
000002a3: LT
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: PUSH1 0x02
000002b0: SLOAD
000002b1: PUSH2 0x02c0
000002b4: SWAP1
000002b5: DUP4
000002b6: PUSH4 0xffffffff
000002bb: PUSH2 0x07b0
000002be: AND
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH1 0x02
000002c3: SSTORE
000002c4: PUSH20 0x26db9ef39bbfe437f5b384c3913e807e5633e7ce
000002d9: DUP3
000002da: ISZERO
000002db: PUSH2 0x08fc
000002de: MUL
000002df: DUP4
000002e0: PUSH1 0x40
000002e2: MLOAD
000002e3: PUSH1 0x00
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: DUP4
000002ea: SUB
000002eb: DUP2
000002ec: DUP6
000002ed: DUP9
000002ee: DUP9
000002ef: CALL
000002f0: SWAP4
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: ISZERO
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: PUSH20 0x26db9ef39bbfe437f5b384c3913e807e5633e7ce
00000315: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
00000336: DUP4
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: SWAP1
0000033b: DUP2
0000033c: MSTORE
0000033d: PUSH1 0x20
0000033f: ADD
00000340: PUSH1 0x40
00000342: MLOAD
00000343: DUP1
00000344: SWAP2
00000345: SUB
00000346: SWAP1
00000347: LOG2
00000348: POP
00000349: PUSH1 0x01
0000034b: SWAP2
0000034c: SWAP1
0000034d: POP
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH1 0x00
00000352: SLOAD
00000353: CALLER
00000354: PUSH1 0x01
00000356: PUSH1 0xa0
00000358: PUSH1 0x02
0000035a: EXP
0000035b: SUB
0000035c: SWAP1
0000035d: DUP2
0000035e: AND
0000035f: SWAP2
00000360: AND
00000361: EQ
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: PUSH1 0x02
0000036d: PUSH1 0x00
0000036f: SLOAD
00000370: PUSH1 0xa0
00000372: PUSH1 0x02
00000374: EXP
00000375: SWAP1
00000376: DIV
00000377: PUSH1 0xff
00000379: AND
0000037a: PUSH1 0x02
0000037c: DUP2
0000037d: GT
0000037e: ISZERO
0000037f: PUSH2 0x0384
00000382: JUMPI
00000383: INVALID
00000384: JUMPDEST
00000385: EQ
00000386: PUSH2 0x038e
00000389: JUMPI
0000038a: PUSH1 0x00
0000038c: DUP1
0000038d: REVERT
0000038e: JUMPDEST
0000038f: PUSH1 0x00
00000391: SLOAD
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: PUSH1 0x02
00000398: EXP
00000399: SUB
0000039a: AND
0000039b: SELFDESTRUCT
0000039c: JUMPDEST
0000039d: PUSH1 0x03
0000039f: SLOAD
000003a0: CALLER
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: PUSH1 0x02
000003a7: EXP
000003a8: SUB
000003a9: SWAP1
000003aa: DUP2
000003ab: AND
000003ac: SWAP2
000003ad: AND
000003ae: EQ
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: SLOAD
000003bc: PUSH1 0xa0
000003be: PUSH1 0x02
000003c0: EXP
000003c1: SWAP1
000003c2: DIV
000003c3: PUSH1 0xff
000003c5: AND
000003c6: PUSH1 0x02
000003c8: DUP2
000003c9: GT
000003ca: ISZERO
000003cb: PUSH2 0x03d0
000003ce: JUMPI
000003cf: INVALID
000003d0: JUMPDEST
000003d1: EQ
000003d2: PUSH2 0x03da
000003d5: JUMPI
000003d6: PUSH1 0x00
000003d8: DUP1
000003d9: REVERT
000003da: JUMPDEST
000003db: PUSH1 0x00
000003dd: DUP1
000003de: SLOAD
000003df: PUSH21 0xff0000000000000000000000000000000000000000
000003f5: NOT
000003f6: AND
000003f7: PUSH21 0x020000000000000000000000000000000000000000
0000040d: OR
0000040e: DUP2
0000040f: SSTORE
00000410: PUSH1 0x02
00000412: SSTORE
00000413: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a
00000434: PUSH1 0x40
00000436: MLOAD
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: DUP1
0000043b: SWAP2
0000043c: SUB
0000043d: SWAP1
0000043e: LOG1
0000043f: PUSH20 0x26db9ef39bbfe437f5b384c3913e807e5633e7ce
00000454: ADDRESS
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: SUB
0000045d: AND
0000045e: BALANCE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x08fc
00000464: MUL
00000465: SWAP1
00000466: PUSH1 0x40
00000468: MLOAD
00000469: PUSH1 0x00
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: DUP1
0000046f: DUP4
00000470: SUB
00000471: DUP2
00000472: DUP6
00000473: DUP9
00000474: DUP9
00000475: CALL
00000476: SWAP4
00000477: POP
00000478: POP
00000479: POP
0000047a: POP
0000047b: ISZERO
0000047c: ISZERO
0000047d: PUSH2 0x0485
00000480: JUMPI
00000481: PUSH1 0x00
00000483: DUP1
00000484: REVERT
00000485: JUMPDEST
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH20 0x26db9ef39bbfe437f5b384c3913e807e5633e7ce
0000049d: DUP2
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH1 0x03
000004a2: SLOAD
000004a3: CALLER
000004a4: PUSH1 0x01
000004a6: PUSH1 0xa0
000004a8: PUSH1 0x02
000004aa: EXP
000004ab: SUB
000004ac: SWAP1
000004ad: DUP2
000004ae: AND
000004af: SWAP2
000004b0: AND
000004b1: EQ
000004b2: PUSH2 0x04ba
000004b5: JUMPI
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: REVERT
000004ba: JUMPDEST
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: SLOAD
000004bf: PUSH1 0xa0
000004c1: PUSH1 0x02
000004c3: EXP
000004c4: SWAP1
000004c5: DIV
000004c6: PUSH1 0xff
000004c8: AND
000004c9: PUSH1 0x02
000004cb: DUP2
000004cc: GT
000004cd: ISZERO
000004ce: PUSH2 0x04d3
000004d1: JUMPI
000004d2: INVALID
000004d3: JUMPDEST
000004d4: EQ
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: SLOAD
000004e2: PUSH21 0xff0000000000000000000000000000000000000000
000004f8: NOT
000004f9: AND
000004fa: PUSH1 0xa0
000004fc: PUSH1 0x02
000004fe: EXP
000004ff: OR
00000500: SWAP1
00000501: SSTORE
00000502: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89
00000523: PUSH1 0x40
00000525: MLOAD
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: SWAP2
0000052b: SUB
0000052c: SWAP1
0000052d: LOG1
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH1 0x00
00000532: SLOAD
00000533: PUSH1 0x01
00000535: PUSH1 0xa0
00000537: PUSH1 0x02
00000539: EXP
0000053a: SUB
0000053b: AND
0000053c: DUP2
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x00
00000541: SLOAD
00000542: PUSH1 0xa0
00000544: PUSH1 0x02
00000546: EXP
00000547: SWAP1
00000548: DIV
00000549: PUSH1 0xff
0000054b: AND
0000054c: DUP2
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x01
00000551: PUSH1 0x20
00000553: MSTORE
00000554: PUSH1 0x00
00000556: SWAP1
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: SWAP1
0000055c: KECCAK256
0000055d: SLOAD
0000055e: DUP2
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x00
00000563: SLOAD
00000564: CALLER
00000565: PUSH1 0x01
00000567: PUSH1 0xa0
00000569: PUSH1 0x02
0000056b: EXP
0000056c: SUB
0000056d: SWAP1
0000056e: DUP2
0000056f: AND
00000570: SWAP2
00000571: AND
00000572: EQ
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: PUSH1 0x01
0000057e: PUSH1 0xa0
00000580: PUSH1 0x02
00000582: EXP
00000583: SUB
00000584: DUP2
00000585: AND
00000586: ISZERO
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: PUSH1 0x00
00000593: SLOAD
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: PUSH1 0x02
0000059a: EXP
0000059b: SUB
0000059c: DUP1
0000059d: DUP4
0000059e: AND
0000059f: SWAP2
000005a0: AND
000005a1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: DUP1
000005c9: SWAP2
000005ca: SUB
000005cb: SWAP1
000005cc: LOG3
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: SLOAD
000005d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e6: NOT
000005e7: AND
000005e8: PUSH1 0x01
000005ea: PUSH1 0xa0
000005ec: PUSH1 0x02
000005ee: EXP
000005ef: SUB
000005f0: SWAP3
000005f1: SWAP1
000005f2: SWAP3
000005f3: AND
000005f4: SWAP2
000005f5: SWAP1
000005f6: SWAP2
000005f7: OR
000005f8: SWAP1
000005f9: SSTORE
000005fa: JUMP
000005fb: JUMPDEST
000005fc: PUSH1 0x03
000005fe: SLOAD
000005ff: PUSH1 0x00
00000601: SWAP1
00000602: CALLER
00000603: PUSH1 0x01
00000605: PUSH1 0xa0
00000607: PUSH1 0x02
00000609: EXP
0000060a: SUB
0000060b: SWAP1
0000060c: DUP2
0000060d: AND
0000060e: SWAP2
0000060f: AND
00000610: EQ
00000611: PUSH2 0x0619
00000614: JUMPI
00000615: PUSH1 0x00
00000617: DUP1
00000618: REVERT
00000619: JUMPDEST
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: SLOAD
0000061e: PUSH1 0xa0
00000620: PUSH1 0x02
00000622: EXP
00000623: SWAP1
00000624: DIV
00000625: PUSH1 0xff
00000627: AND
00000628: PUSH1 0x02
0000062a: DUP2
0000062b: GT
0000062c: ISZERO
0000062d: PUSH2 0x0632
00000630: JUMPI
00000631: INVALID
00000632: JUMPDEST
00000633: EQ
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: POP
0000063e: PUSH1 0x01
00000640: PUSH1 0xa0
00000642: PUSH1 0x02
00000644: EXP
00000645: SUB
00000646: DUP2
00000647: AND
00000648: PUSH1 0x00
0000064a: SWAP1
0000064b: DUP2
0000064c: MSTORE
0000064d: PUSH1 0x01
0000064f: PUSH1 0x20
00000651: MSTORE
00000652: PUSH1 0x40
00000654: SWAP1
00000655: KECCAK256
00000656: SLOAD
00000657: CALLVALUE
00000658: SWAP1
00000659: PUSH2 0x0668
0000065c: SWAP1
0000065d: DUP3
0000065e: PUSH4 0xffffffff
00000663: PUSH2 0x07c5
00000666: AND
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH1 0x01
0000066b: PUSH1 0xa0
0000066d: PUSH1 0x02
0000066f: EXP
00000670: SUB
00000671: DUP4
00000672: AND
00000673: PUSH1 0x00
00000675: SWAP1
00000676: DUP2
00000677: MSTORE
00000678: PUSH1 0x01
0000067a: PUSH1 0x20
0000067c: MSTORE
0000067d: PUSH1 0x40
0000067f: SWAP1
00000680: KECCAK256
00000681: SSTORE
00000682: PUSH1 0x02
00000684: SLOAD
00000685: PUSH2 0x0694
00000688: SWAP1
00000689: DUP3
0000068a: PUSH4 0xffffffff
0000068f: PUSH2 0x07c5
00000692: AND
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH1 0x02
00000697: SSTORE
00000698: POP
00000699: POP
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH1 0x00
0000069e: SLOAD
0000069f: CALLER
000006a0: PUSH1 0x01
000006a2: PUSH1 0xa0
000006a4: PUSH1 0x02
000006a6: EXP
000006a7: SUB
000006a8: SWAP1
000006a9: DUP2
000006aa: AND
000006ab: SWAP2
000006ac: AND
000006ad: EQ
000006ae: PUSH2 0x06b6
000006b1: JUMPI
000006b2: PUSH1 0x00
000006b4: DUP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: PUSH1 0x01
000006b9: PUSH1 0xa0
000006bb: PUSH1 0x02
000006bd: EXP
000006be: SUB
000006bf: DUP2
000006c0: AND
000006c1: ISZERO
000006c2: ISZERO
000006c3: PUSH2 0x06cb
000006c6: JUMPI
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: PUSH1 0x03
000006ce: DUP1
000006cf: SLOAD
000006d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e5: NOT
000006e6: AND
000006e7: PUSH1 0x01
000006e9: PUSH1 0xa0
000006eb: PUSH1 0x02
000006ed: EXP
000006ee: SUB
000006ef: SWAP3
000006f0: SWAP1
000006f1: SWAP3
000006f2: AND
000006f3: SWAP2
000006f4: SWAP1
000006f5: SWAP2
000006f6: OR
000006f7: SWAP1
000006f8: SSTORE
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH1 0x00
000006fd: PUSH1 0x01
000006ff: PUSH1 0x00
00000701: SLOAD
00000702: PUSH1 0xa0
00000704: PUSH1 0x02
00000706: EXP
00000707: SWAP1
00000708: DIV
00000709: PUSH1 0xff
0000070b: AND
0000070c: PUSH1 0x02
0000070e: DUP2
0000070f: GT
00000710: ISZERO
00000711: PUSH2 0x0716
00000714: JUMPI
00000715: INVALID
00000716: JUMPDEST
00000717: EQ
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: PUSH1 0x01
00000724: PUSH1 0xa0
00000726: PUSH1 0x02
00000728: EXP
00000729: SUB
0000072a: DUP2
0000072b: AND
0000072c: PUSH1 0x00
0000072e: DUP2
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x01
00000733: PUSH1 0x20
00000735: MSTORE
00000736: PUSH1 0x40
00000738: DUP1
00000739: DUP3
0000073a: KECCAK256
0000073b: DUP1
0000073c: SLOAD
0000073d: SWAP3
0000073e: SWAP1
0000073f: SSTORE
00000740: SWAP1
00000741: SWAP2
00000742: SWAP1
00000743: DUP3
00000744: ISZERO
00000745: PUSH2 0x08fc
00000748: MUL
00000749: SWAP1
0000074a: DUP4
0000074b: SWAP1
0000074c: MLOAD
0000074d: PUSH1 0x00
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: DUP1
00000753: DUP4
00000754: SUB
00000755: DUP2
00000756: DUP6
00000757: DUP9
00000758: DUP9
00000759: CALL
0000075a: SWAP4
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: ISZERO
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH1 0x00
00000767: DUP1
00000768: REVERT
00000769: JUMPDEST
0000076a: DUP2
0000076b: PUSH1 0x01
0000076d: PUSH1 0xa0
0000076f: PUSH1 0x02
00000771: EXP
00000772: SUB
00000773: AND
00000774: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651
00000795: DUP3
00000796: PUSH1 0x40
00000798: MLOAD
00000799: SWAP1
0000079a: DUP2
0000079b: MSTORE
0000079c: PUSH1 0x20
0000079e: ADD
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: DUP1
000007a3: SWAP2
000007a4: SUB
000007a5: SWAP1
000007a6: LOG2
000007a7: POP
000007a8: POP
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x02
000007ad: SLOAD
000007ae: DUP2
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH1 0x00
000007b3: DUP3
000007b4: DUP3
000007b5: GT
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: SWAP1
000007c2: SUB
000007c3: SWAP1
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: DUP3
000007c9: DUP3
000007ca: ADD
000007cb: DUP4
000007cc: DUP2
000007cd: LT
000007ce: ISZERO
000007cf: PUSH2 0x07d7
000007d2: JUMPI
000007d3: PUSH1 0x00
000007d5: DUP1
000007d6: REVERT
000007d7: JUMPDEST
000007d8: SWAP4
000007d9: SWAP3
000007da: POP
000007db: POP
000007dc: POP
000007dd: JUMP
000007de: STOP
000007df: LOG1
000007e0: PUSH6 0x627a7a723058
000007e7: KECCAK256
000007e8: UNKNOWN(0xAE)
000007e9: CALLDATACOPY
000007ea: UNKNOWN(0xD2)
000007eb: UNKNOWN(0xF9)
000007ec: PUSH21 0xa06254973e30a858c9b14d3967435c1209d0f2355e
00000802: UNKNOWN(0x25)
00000803: BLOBHASH
00000804: GASLIMIT
00000805: AND
00000806: UNKNOWN(0xC1)
00000807: UNKNOWN(0xD7)
00000808: STOP
00000809: UNKNOWN(0x29)

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: 0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df call_targets: 0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede" ], "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": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x521eb273", "selector": "0x521eb273", "calldata_variants": [ "0x521eb273", "0x521eb2730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8c52dc41", "selector": "0x8c52dc41", "calldata_variants": [ "0x8c52dc41", "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc19d93fb", "selector": "0xc19d93fb", "calldata_variants": [ "0xc19d93fb", "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcb13cddb", "selector": "0xcb13cddb", "calldata_variants": [ "0xcb13cddb", "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 751, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1141, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 1881, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df call_targets: 0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede" ], "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": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x521eb273", "selector": "0x521eb273", "calldata_variants": [ "0x521eb273", "0x521eb2730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8c52dc41", "selector": "0x8c52dc41", "calldata_variants": [ "0x8c52dc41", "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc19d93fb", "selector": "0xc19d93fb", "calldata_variants": [ "0xc19d93fb", "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcb13cddb", "selector": "0xcb13cddb", "calldata_variants": [ "0xcb13cddb", "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 751, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1141, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 1881, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xe631ad540f2db6578c7ed253755597bcd5be3a608a5a46a46c75d2095ad6ce49 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 26, "trace_id": "0xe631ad540f2db6578c7ed253755597bcd5be3a608a5a46a46c75d2095ad6ce49", "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": "0x2e1a7d4d", "selector": "0x2e1a7d4d", "calldata_variants": [ "0x2e1a7d4d", "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x521eb273", "selector": "0x521eb273", "calldata_variants": [ "0x521eb273", "0x521eb2730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8c52dc41", "selector": "0x8c52dc41", "calldata_variants": [ "0x8c52dc41", "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc19d93fb", "selector": "0xc19d93fb", "calldata_variants": [ "0xc19d93fb", "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcb13cddb", "selector": "0xcb13cddb", "calldata_variants": [ "0xcb13cddb", "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df

call_targets: 0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede"
    ],
    "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": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x521eb273",
            "selector": "0x521eb273",
            "calldata_variants": [
                "0x521eb273",
                "0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c52dc41",
            "selector": "0x8c52dc41",
            "calldata_variants": [
                "0x8c52dc41",
                "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc19d93fb",
            "selector": "0xc19d93fb",
            "calldata_variants": [
                "0xc19d93fb",
                "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb13cddb",
            "selector": "0xcb13cddb",
            "calldata_variants": [
                "0xcb13cddb",
                "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 751,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1141,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1881,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df

call_targets: 0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x965d854fbb2e7a4ac25d6682d40bd2e82e9edd49208ccd4f35072668be09a8df",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcbe98a2b1f756bebe53d41eb3b94e566a0777ede"
    ],
    "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": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x521eb273",
            "selector": "0x521eb273",
            "calldata_variants": [
                "0x521eb273",
                "0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c52dc41",
            "selector": "0x8c52dc41",
            "calldata_variants": [
                "0x8c52dc41",
                "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc19d93fb",
            "selector": "0xc19d93fb",
            "calldata_variants": [
                "0xc19d93fb",
                "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb13cddb",
            "selector": "0xcb13cddb",
            "calldata_variants": [
                "0xcb13cddb",
                "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 751,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1141,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1881,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0xe631ad540f2db6578c7ed253755597bcd5be3a608a5a46a46c75d2095ad6ce49

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 26,
    "trace_id": "0xe631ad540f2db6578c7ed253755597bcd5be3a608a5a46a46c75d2095ad6ce49",
    "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": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x521eb273",
            "selector": "0x521eb273",
            "calldata_variants": [
                "0x521eb273",
                "0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c52dc41",
            "selector": "0x8c52dc41",
            "calldata_variants": [
                "0x8c52dc41",
                "0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc19d93fb",
            "selector": "0xc19d93fb",
            "calldata_variants": [
                "0xc19d93fb",
                "0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb13cddb",
            "selector": "0xcb13cddb",
            "calldata_variants": [
                "0xcb13cddb",
                "0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "guards_detected": [],
    "selfdestruct_count": 1
}