Analysis Run

019b477e-d12c-7195-b3f1-f539c805c7c5

complete

Chain ID

1

Address

0x2b9929ab9cc2de7cd259494af1cba002edd64b5e

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
27717	artifact.fetch	complete	1 / 3	4 months ago
27718	tool.cast_disasm	complete	1 / 3	4 months ago
71552	analysis.bundle	complete	1 / 3	2 weeks ago
71553	capability.graph	complete	1 / 3	2 weeks ago
71554	detector.run	complete	1 / 3	2 weeks ago
71555	validation.fork	complete	1 / 3	2 weeks 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)

2

EXT*/BALANCE

0

Total opcodes

1296

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0070
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8da5cb5b
00000024: EQ
00000025: PUSH2 0x00d4
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbd051844
0000002f: EQ
00000030: PUSH2 0x010c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf6722a2d
0000003a: EQ
0000003b: PUSH2 0x012c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf8b2cb4f
00000045: EQ
00000046: PUSH2 0x013f
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x13af4035
00000055: EQ
00000056: PUSH2 0x0075
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x372500ab
00000060: EQ
00000061: PUSH2 0x0097
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x49649fbf
0000006b: EQ
0000006c: PUSH2 0x00bf
0000006f: JUMPI
00000070: JUMPDEST
00000071: PUSH1 0x00
00000073: DUP1
00000074: REVERT
00000075: JUMPDEST
00000076: CALLVALUE
00000077: DUP1
00000078: ISZERO
00000079: PUSH2 0x0081
0000007c: JUMPI
0000007d: PUSH1 0x00
0000007f: DUP1
00000080: REVERT
00000081: JUMPDEST
00000082: POP
00000083: PUSH2 0x0095
00000086: PUSH2 0x0090
00000089: CALLDATASIZE
0000008a: PUSH1 0x04
0000008c: PUSH2 0x0703
0000008f: JUMP
00000090: JUMPDEST
00000091: PUSH2 0x0175
00000094: JUMP
00000095: JUMPDEST
00000096: STOP
00000097: JUMPDEST
00000098: CALLVALUE
00000099: DUP1
0000009a: ISZERO
0000009b: PUSH2 0x00a3
0000009e: JUMPI
0000009f: PUSH1 0x00
000000a1: DUP1
000000a2: REVERT
000000a3: JUMPDEST
000000a4: POP
000000a5: PUSH2 0x00ac
000000a8: PUSH2 0x01ca
000000ab: JUMP
000000ac: JUMPDEST
000000ad: PUSH1 0x40
000000af: MLOAD
000000b0: SWAP1
000000b1: DUP2
000000b2: MSTORE
000000b3: PUSH1 0x20
000000b5: ADD
000000b6: JUMPDEST
000000b7: PUSH1 0x40
000000b9: MLOAD
000000ba: DUP1
000000bb: SWAP2
000000bc: SUB
000000bd: SWAP1
000000be: RETURN
000000bf: JUMPDEST
000000c0: CALLVALUE
000000c1: DUP1
000000c2: ISZERO
000000c3: PUSH2 0x00cb
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: POP
000000cd: PUSH2 0x0095
000000d0: PUSH2 0x02e6
000000d3: JUMP
000000d4: JUMPDEST
000000d5: CALLVALUE
000000d6: DUP1
000000d7: ISZERO
000000d8: PUSH2 0x00e0
000000db: JUMPI
000000dc: PUSH1 0x00
000000de: DUP1
000000df: REVERT
000000e0: JUMPDEST
000000e1: POP
000000e2: PUSH1 0x01
000000e4: SLOAD
000000e5: PUSH2 0x00f4
000000e8: SWAP1
000000e9: PUSH1 0x01
000000eb: PUSH1 0x01
000000ed: PUSH1 0xa0
000000ef: SHL
000000f0: SUB
000000f1: AND
000000f2: DUP2
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH1 0x40
000000f7: MLOAD
000000f8: PUSH1 0x01
000000fa: PUSH1 0x01
000000fc: PUSH1 0xa0
000000fe: SHL
000000ff: SUB
00000100: SWAP1
00000101: SWAP2
00000102: AND
00000103: DUP2
00000104: MSTORE
00000105: PUSH1 0x20
00000107: ADD
00000108: PUSH2 0x00b6
0000010b: JUMP
0000010c: JUMPDEST
0000010d: CALLVALUE
0000010e: DUP1
0000010f: ISZERO
00000110: PUSH2 0x0118
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: POP
0000011a: PUSH2 0x0095
0000011d: PUSH2 0x0127
00000120: CALLDATASIZE
00000121: PUSH1 0x04
00000123: PUSH2 0x0703
00000126: JUMP
00000127: JUMPDEST
00000128: PUSH2 0x03ee
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH2 0x0095
00000130: PUSH2 0x013a
00000133: CALLDATASIZE
00000134: PUSH1 0x04
00000136: PUSH2 0x0731
00000139: JUMP
0000013a: JUMPDEST
0000013b: PUSH2 0x0491
0000013e: JUMP
0000013f: JUMPDEST
00000140: CALLVALUE
00000141: DUP1
00000142: ISZERO
00000143: PUSH2 0x014b
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: POP
0000014d: PUSH2 0x00ac
00000150: PUSH2 0x015a
00000153: CALLDATASIZE
00000154: PUSH1 0x04
00000156: PUSH2 0x0703
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x01
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: SHL
00000162: SUB
00000163: AND
00000164: PUSH1 0x00
00000166: SWAP1
00000167: DUP2
00000168: MSTORE
00000169: PUSH1 0x02
0000016b: PUSH1 0x20
0000016d: MSTORE
0000016e: PUSH1 0x40
00000170: SWAP1
00000171: KECCAK256
00000172: SLOAD
00000173: SWAP1
00000174: JUMP
00000175: JUMPDEST
00000176: PUSH1 0x01
00000178: SLOAD
00000179: PUSH1 0x01
0000017b: PUSH1 0x01
0000017d: PUSH1 0xa0
0000017f: SHL
00000180: SUB
00000181: AND
00000182: CALLER
00000183: EQ
00000184: PUSH2 0x01a8
00000187: JUMPI
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: PUSH3 0x461bcd
0000018f: PUSH1 0xe5
00000191: SHL
00000192: DUP2
00000193: MSTORE
00000194: PUSH1 0x04
00000196: ADD
00000197: PUSH2 0x019f
0000019a: SWAP1
0000019b: PUSH2 0x079a
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: SWAP2
000001a5: SUB
000001a6: SWAP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: PUSH1 0x01
000001ab: DUP1
000001ac: SLOAD
000001ad: PUSH1 0x01
000001af: PUSH1 0x01
000001b1: PUSH1 0xa0
000001b3: SHL
000001b4: SUB
000001b5: NOT
000001b6: AND
000001b7: PUSH1 0x01
000001b9: PUSH1 0x01
000001bb: PUSH1 0xa0
000001bd: SHL
000001be: SUB
000001bf: SWAP3
000001c0: SWAP1
000001c1: SWAP3
000001c2: AND
000001c3: SWAP2
000001c4: SWAP1
000001c5: SWAP2
000001c6: OR
000001c7: SWAP1
000001c8: SSTORE
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x00
000001cd: PUSH2 0x01d4
000001d0: PUSH2 0x065f
000001d3: JUMP
000001d4: JUMPDEST
000001d5: CALLER
000001d6: PUSH1 0x00
000001d8: SWAP1
000001d9: DUP2
000001da: MSTORE
000001db: PUSH1 0x02
000001dd: PUSH1 0x20
000001df: MSTORE
000001e0: PUSH1 0x40
000001e2: SWAP1
000001e3: KECCAK256
000001e4: SLOAD
000001e5: DUP1
000001e6: PUSH2 0x023d
000001e9: JUMPI
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: PUSH3 0x461bcd
000001f1: PUSH1 0xe5
000001f3: SHL
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x20
000001f8: PUSH1 0x04
000001fa: DUP3
000001fb: ADD
000001fc: MSTORE
000001fd: PUSH1 0x23
000001ff: PUSH1 0x24
00000201: DUP3
00000202: ADD
00000203: MSTORE
00000204: PUSH32 0x4e6f207265776172647320617661696c61626c6520666f72207468652063616c
00000225: PUSH1 0x44
00000227: DUP3
00000228: ADD
00000229: MSTORE
0000022a: PUSH3 0x3632b9
0000022e: PUSH1 0xe9
00000230: SHL
00000231: PUSH1 0x64
00000233: DUP3
00000234: ADD
00000235: MSTORE
00000236: PUSH1 0x84
00000238: ADD
00000239: PUSH2 0x019f
0000023c: JUMP
0000023d: JUMPDEST
0000023e: CALLER
0000023f: PUSH1 0x00
00000241: DUP2
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x02
00000246: PUSH1 0x20
00000248: MSTORE
00000249: PUSH1 0x40
0000024b: DUP1
0000024c: DUP3
0000024d: KECCAK256
0000024e: DUP3
0000024f: SWAP1
00000250: SSTORE
00000251: MLOAD
00000252: SWAP1
00000253: SWAP2
00000254: SWAP1
00000255: DUP4
00000256: SWAP1
00000257: DUP4
00000258: DUP2
00000259: DUP2
0000025a: DUP2
0000025b: DUP6
0000025c: DUP8
0000025d: GAS
0000025e: CALL
0000025f: SWAP3
00000260: POP
00000261: POP
00000262: POP
00000263: RETURNDATASIZE
00000264: DUP1
00000265: PUSH1 0x00
00000267: DUP2
00000268: EQ
00000269: PUSH2 0x028e
0000026c: JUMPI
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: SWAP2
00000271: POP
00000272: PUSH1 0x1f
00000274: NOT
00000275: PUSH1 0x3f
00000277: RETURNDATASIZE
00000278: ADD
00000279: AND
0000027a: DUP3
0000027b: ADD
0000027c: PUSH1 0x40
0000027e: MSTORE
0000027f: RETURNDATASIZE
00000280: DUP3
00000281: MSTORE
00000282: RETURNDATASIZE
00000283: PUSH1 0x00
00000285: PUSH1 0x20
00000287: DUP5
00000288: ADD
00000289: RETURNDATACOPY
0000028a: PUSH2 0x0293
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x60
00000291: SWAP2
00000292: POP
00000293: JUMPDEST
00000294: POP
00000295: POP
00000296: SWAP1
00000297: POP
00000298: DUP1
00000299: PUSH2 0x02d6
0000029c: JUMPI
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: PUSH3 0x461bcd
000002a4: PUSH1 0xe5
000002a6: SHL
000002a7: DUP2
000002a8: MSTORE
000002a9: PUSH1 0x20
000002ab: PUSH1 0x04
000002ad: DUP3
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0x0f
000002b2: PUSH1 0x24
000002b4: DUP3
000002b5: ADD
000002b6: MSTORE
000002b7: PUSH15 0x151c985b9cd9995c8819985a5b1959
000002c7: PUSH1 0x8a
000002c9: SHL
000002ca: PUSH1 0x44
000002cc: DUP3
000002cd: ADD
000002ce: MSTORE
000002cf: PUSH1 0x64
000002d1: ADD
000002d2: PUSH2 0x019f
000002d5: JUMP
000002d6: JUMPDEST
000002d7: POP
000002d8: SWAP1
000002d9: POP
000002da: PUSH2 0x02e3
000002dd: PUSH1 0x01
000002df: PUSH1 0x00
000002e1: SSTORE
000002e2: JUMP
000002e3: JUMPDEST
000002e4: SWAP1
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH1 0x01
000002e9: SLOAD
000002ea: PUSH1 0x01
000002ec: PUSH1 0x01
000002ee: PUSH1 0xa0
000002f0: SHL
000002f1: SUB
000002f2: AND
000002f3: CALLER
000002f4: EQ
000002f5: PUSH2 0x0310
000002f8: JUMPI
000002f9: PUSH1 0x40
000002fb: MLOAD
000002fc: PUSH3 0x461bcd
00000300: PUSH1 0xe5
00000302: SHL
00000303: DUP2
00000304: MSTORE
00000305: PUSH1 0x04
00000307: ADD
00000308: PUSH2 0x019f
0000030b: SWAP1
0000030c: PUSH2 0x079a
0000030f: JUMP
00000310: JUMPDEST
00000311: SELFBALANCE
00000312: DUP1
00000313: PUSH2 0x0355
00000316: JUMPI
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: PUSH3 0x461bcd
0000031e: PUSH1 0xe5
00000320: SHL
00000321: DUP2
00000322: MSTORE
00000323: PUSH1 0x20
00000325: PUSH1 0x04
00000327: DUP3
00000328: ADD
00000329: MSTORE
0000032a: PUSH1 0x14
0000032c: PUSH1 0x24
0000032e: DUP3
0000032f: ADD
00000330: MSTORE
00000331: PUSH20 0x4e6f2066756e647320746f207769746864726177
00000346: PUSH1 0x60
00000348: SHL
00000349: PUSH1 0x44
0000034b: DUP3
0000034c: ADD
0000034d: MSTORE
0000034e: PUSH1 0x64
00000350: ADD
00000351: PUSH2 0x019f
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH1 0x01
00000358: SLOAD
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: PUSH1 0x00
0000035e: SWAP2
0000035f: PUSH1 0x01
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: SHL
00000366: SUB
00000367: AND
00000368: SWAP1
00000369: DUP4
0000036a: SWAP1
0000036b: DUP4
0000036c: DUP2
0000036d: DUP2
0000036e: DUP2
0000036f: DUP6
00000370: DUP8
00000371: GAS
00000372: CALL
00000373: SWAP3
00000374: POP
00000375: POP
00000376: POP
00000377: RETURNDATASIZE
00000378: DUP1
00000379: PUSH1 0x00
0000037b: DUP2
0000037c: EQ
0000037d: PUSH2 0x03a2
00000380: JUMPI
00000381: PUSH1 0x40
00000383: MLOAD
00000384: SWAP2
00000385: POP
00000386: PUSH1 0x1f
00000388: NOT
00000389: PUSH1 0x3f
0000038b: RETURNDATASIZE
0000038c: ADD
0000038d: AND
0000038e: DUP3
0000038f: ADD
00000390: PUSH1 0x40
00000392: MSTORE
00000393: RETURNDATASIZE
00000394: DUP3
00000395: MSTORE
00000396: RETURNDATASIZE
00000397: PUSH1 0x00
00000399: PUSH1 0x20
0000039b: DUP5
0000039c: ADD
0000039d: RETURNDATACOPY
0000039e: PUSH2 0x03a7
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x60
000003a5: SWAP2
000003a6: POP
000003a7: JUMPDEST
000003a8: POP
000003a9: POP
000003aa: SWAP1
000003ab: POP
000003ac: DUP1
000003ad: PUSH2 0x03ea
000003b0: JUMPI
000003b1: PUSH1 0x40
000003b3: MLOAD
000003b4: PUSH3 0x461bcd
000003b8: PUSH1 0xe5
000003ba: SHL
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: PUSH1 0x04
000003c1: DUP3
000003c2: ADD
000003c3: MSTORE
000003c4: PUSH1 0x0f
000003c6: PUSH1 0x24
000003c8: DUP3
000003c9: ADD
000003ca: MSTORE
000003cb: PUSH15 0x151c985b9cd9995c8819985a5b1959
000003db: PUSH1 0x8a
000003dd: SHL
000003de: PUSH1 0x44
000003e0: DUP3
000003e1: ADD
000003e2: MSTORE
000003e3: PUSH1 0x64
000003e5: ADD
000003e6: PUSH2 0x019f
000003e9: JUMP
000003ea: JUMPDEST
000003eb: POP
000003ec: POP
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x01
000003f1: SLOAD
000003f2: PUSH1 0x01
000003f4: PUSH1 0x01
000003f6: PUSH1 0xa0
000003f8: SHL
000003f9: SUB
000003fa: AND
000003fb: CALLER
000003fc: EQ
000003fd: PUSH2 0x0418
00000400: JUMPI
00000401: PUSH1 0x40
00000403: MLOAD
00000404: PUSH3 0x461bcd
00000408: PUSH1 0xe5
0000040a: SHL
0000040b: DUP2
0000040c: MSTORE
0000040d: PUSH1 0x04
0000040f: ADD
00000410: PUSH2 0x019f
00000413: SWAP1
00000414: PUSH2 0x079a
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH1 0x01
0000041b: PUSH1 0x01
0000041d: PUSH1 0xa0
0000041f: SHL
00000420: SUB
00000421: DUP2
00000422: AND
00000423: PUSH1 0x00
00000425: SWAP1
00000426: DUP2
00000427: MSTORE
00000428: PUSH1 0x02
0000042a: PUSH1 0x20
0000042c: MSTORE
0000042d: PUSH1 0x40
0000042f: SWAP1
00000430: KECCAK256
00000431: SLOAD
00000432: DUP1
00000433: PUSH2 0x0476
00000436: JUMPI
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: PUSH3 0x461bcd
0000043e: PUSH1 0xe5
00000440: SHL
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x20
00000445: PUSH1 0x04
00000447: DUP3
00000448: ADD
00000449: MSTORE
0000044a: PUSH1 0x15
0000044c: PUSH1 0x24
0000044e: DUP3
0000044f: ADD
00000450: MSTORE
00000451: PUSH21 0x0526577617264732061726520616c7265616479203
00000467: PUSH1 0x5c
00000469: SHL
0000046a: PUSH1 0x44
0000046c: DUP3
0000046d: ADD
0000046e: MSTORE
0000046f: PUSH1 0x64
00000471: ADD
00000472: PUSH2 0x019f
00000475: JUMP
00000476: JUMPDEST
00000477: POP
00000478: PUSH1 0x01
0000047a: PUSH1 0x01
0000047c: PUSH1 0xa0
0000047e: SHL
0000047f: SUB
00000480: AND
00000481: PUSH1 0x00
00000483: SWAP1
00000484: DUP2
00000485: MSTORE
00000486: PUSH1 0x02
00000488: PUSH1 0x20
0000048a: MSTORE
0000048b: PUSH1 0x40
0000048d: DUP2
0000048e: KECCAK256
0000048f: SSTORE
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x01
00000494: SLOAD
00000495: PUSH1 0x01
00000497: PUSH1 0x01
00000499: PUSH1 0xa0
0000049b: SHL
0000049c: SUB
0000049d: AND
0000049e: CALLER
0000049f: EQ
000004a0: PUSH2 0x04bb
000004a3: JUMPI
000004a4: PUSH1 0x40
000004a6: MLOAD
000004a7: PUSH3 0x461bcd
000004ab: PUSH1 0xe5
000004ad: SHL
000004ae: DUP2
000004af: MSTORE
000004b0: PUSH1 0x04
000004b2: ADD
000004b3: PUSH2 0x019f
000004b6: SWAP1
000004b7: PUSH2 0x079a
000004ba: JUMP
000004bb: JUMPDEST
000004bc: DUP3
000004bd: DUP2
000004be: EQ
000004bf: PUSH2 0x0501
000004c2: JUMPI
000004c3: PUSH1 0x40
000004c5: MLOAD
000004c6: PUSH3 0x461bcd
000004ca: PUSH1 0xe5
000004cc: SHL
000004cd: DUP2
000004ce: MSTORE
000004cf: PUSH1 0x20
000004d1: PUSH1 0x04
000004d3: DUP3
000004d4: ADD
000004d5: MSTORE
000004d6: PUSH1 0x14
000004d8: PUSH1 0x24
000004da: DUP3
000004db: ADD
000004dc: MSTORE
000004dd: PUSH20 0x092dcecc2d8d2c840d2dce0eae840d8cadccee8d
000004f2: PUSH1 0x63
000004f4: SHL
000004f5: PUSH1 0x44
000004f7: DUP3
000004f8: ADD
000004f9: MSTORE
000004fa: PUSH1 0x64
000004fc: ADD
000004fd: PUSH2 0x019f
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x00
00000504: DUP4
00000505: DUP2
00000506: JUMPDEST
00000507: DUP2
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x05e9
0000050e: JUMPI
0000050f: DUP5
00000510: DUP5
00000511: DUP3
00000512: DUP2
00000513: DUP2
00000514: LT
00000515: PUSH2 0x052e
00000518: JUMPI
00000519: PUSH4 0x4e487b71
0000051e: PUSH1 0xe0
00000520: SHL
00000521: PUSH1 0x00
00000523: MSTORE
00000524: PUSH1 0x32
00000526: PUSH1 0x04
00000528: MSTORE
00000529: PUSH1 0x24
0000052b: PUSH1 0x00
0000052d: REVERT
0000052e: JUMPDEST
0000052f: SWAP1
00000530: POP
00000531: PUSH1 0x20
00000533: MUL
00000534: ADD
00000535: CALLDATALOAD
00000536: PUSH1 0x02
00000538: PUSH1 0x00
0000053a: DUP10
0000053b: DUP10
0000053c: DUP6
0000053d: DUP2
0000053e: DUP2
0000053f: LT
00000540: PUSH2 0x0559
00000543: JUMPI
00000544: PUSH4 0x4e487b71
00000549: PUSH1 0xe0
0000054b: SHL
0000054c: PUSH1 0x00
0000054e: MSTORE
0000054f: PUSH1 0x32
00000551: PUSH1 0x04
00000553: MSTORE
00000554: PUSH1 0x24
00000556: PUSH1 0x00
00000558: REVERT
00000559: JUMPDEST
0000055a: SWAP1
0000055b: POP
0000055c: PUSH1 0x20
0000055e: MUL
0000055f: ADD
00000560: PUSH1 0x20
00000562: DUP2
00000563: ADD
00000564: SWAP1
00000565: PUSH2 0x056e
00000568: SWAP2
00000569: SWAP1
0000056a: PUSH2 0x0703
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x01
00000571: PUSH1 0x01
00000573: PUSH1 0xa0
00000575: SHL
00000576: SUB
00000577: AND
00000578: PUSH1 0x01
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: SHL
0000057f: SUB
00000580: AND
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x20
00000585: ADD
00000586: SWAP1
00000587: DUP2
00000588: MSTORE
00000589: PUSH1 0x20
0000058b: ADD
0000058c: PUSH1 0x00
0000058e: KECCAK256
0000058f: PUSH1 0x00
00000591: DUP3
00000592: DUP3
00000593: SLOAD
00000594: PUSH2 0x059d
00000597: SWAP2
00000598: SWAP1
00000599: PUSH2 0x07e8
0000059c: JUMP
0000059d: JUMPDEST
0000059e: SWAP1
0000059f: SWAP2
000005a0: SSTORE
000005a1: POP
000005a2: DUP6
000005a3: SWAP1
000005a4: POP
000005a5: DUP5
000005a6: DUP3
000005a7: DUP2
000005a8: DUP2
000005a9: LT
000005aa: PUSH2 0x05c3
000005ad: JUMPI
000005ae: PUSH4 0x4e487b71
000005b3: PUSH1 0xe0
000005b5: SHL
000005b6: PUSH1 0x00
000005b8: MSTORE
000005b9: PUSH1 0x32
000005bb: PUSH1 0x04
000005bd: MSTORE
000005be: PUSH1 0x24
000005c0: PUSH1 0x00
000005c2: REVERT
000005c3: JUMPDEST
000005c4: SWAP1
000005c5: POP
000005c6: PUSH1 0x20
000005c8: MUL
000005c9: ADD
000005ca: CALLDATALOAD
000005cb: DUP4
000005cc: PUSH2 0x05d5
000005cf: SWAP2
000005d0: SWAP1
000005d1: PUSH2 0x07e8
000005d4: JUMP
000005d5: JUMPDEST
000005d6: SWAP3
000005d7: POP
000005d8: DUP1
000005d9: PUSH2 0x05e1
000005dc: DUP2
000005dd: PUSH2 0x0800
000005e0: JUMP
000005e1: JUMPDEST
000005e2: SWAP2
000005e3: POP
000005e4: POP
000005e5: PUSH2 0x0506
000005e8: JUMP
000005e9: JUMPDEST
000005ea: POP
000005eb: CALLVALUE
000005ec: DUP3
000005ed: EQ
000005ee: PUSH2 0x0657
000005f1: JUMPI
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: PUSH3 0x461bcd
000005f9: PUSH1 0xe5
000005fb: SHL
000005fc: DUP2
000005fd: MSTORE
000005fe: PUSH1 0x20
00000600: PUSH1 0x04
00000602: DUP3
00000603: ADD
00000604: MSTORE
00000605: PUSH1 0x35
00000607: PUSH1 0x24
00000609: DUP3
0000060a: ADD
0000060b: MSTORE
0000060c: PUSH32 0x5468652073756d206f6620616c6c20616d6f756e744561726e6564206d757374
0000062d: PUSH1 0x44
0000062f: DUP3
00000630: ADD
00000631: MSTORE
00000632: PUSH21 0x20657175616c2074686520706169642076616c7565
00000648: PUSH1 0x58
0000064a: SHL
0000064b: PUSH1 0x64
0000064d: DUP3
0000064e: ADD
0000064f: MSTORE
00000650: PUSH1 0x84
00000652: ADD
00000653: PUSH2 0x019f
00000656: JUMP
00000657: JUMPDEST
00000658: POP
00000659: POP
0000065a: POP
0000065b: POP
0000065c: POP
0000065d: POP
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x02
00000662: PUSH1 0x00
00000664: SLOAD
00000665: EQ
00000666: ISZERO
00000667: PUSH2 0x06b2
0000066a: JUMPI
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: PUSH3 0x461bcd
00000672: PUSH1 0xe5
00000674: SHL
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x20
00000679: PUSH1 0x04
0000067b: DUP3
0000067c: ADD
0000067d: MSTORE
0000067e: PUSH1 0x1f
00000680: PUSH1 0x24
00000682: DUP3
00000683: ADD
00000684: MSTORE
00000685: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000006a6: PUSH1 0x44
000006a8: DUP3
000006a9: ADD
000006aa: MSTORE
000006ab: PUSH1 0x64
000006ad: ADD
000006ae: PUSH2 0x019f
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x02
000006b5: PUSH1 0x00
000006b7: SSTORE
000006b8: JUMP
000006b9: JUMPDEST
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: DUP4
000006be: PUSH1 0x1f
000006c0: DUP5
000006c1: ADD
000006c2: SLT
000006c3: PUSH2 0x06ca
000006c6: JUMPI
000006c7: DUP2
000006c8: DUP3
000006c9: REVERT
000006ca: JUMPDEST
000006cb: POP
000006cc: DUP2
000006cd: CALLDATALOAD
000006ce: PUSH8 0xffffffffffffffff
000006d7: DUP2
000006d8: GT
000006d9: ISZERO
000006da: PUSH2 0x06e1
000006dd: JUMPI
000006de: DUP2
000006df: DUP3
000006e0: REVERT
000006e1: JUMPDEST
000006e2: PUSH1 0x20
000006e4: DUP4
000006e5: ADD
000006e6: SWAP2
000006e7: POP
000006e8: DUP4
000006e9: PUSH1 0x20
000006eb: DUP3
000006ec: PUSH1 0x05
000006ee: SHL
000006ef: DUP6
000006f0: ADD
000006f1: ADD
000006f2: GT
000006f3: ISZERO
000006f4: PUSH2 0x06fc
000006f7: JUMPI
000006f8: PUSH1 0x00
000006fa: DUP1
000006fb: REVERT
000006fc: JUMPDEST
000006fd: SWAP3
000006fe: POP
000006ff: SWAP3
00000700: SWAP1
00000701: POP
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH1 0x00
00000706: PUSH1 0x20
00000708: DUP3
00000709: DUP5
0000070a: SUB
0000070b: SLT
0000070c: ISZERO
0000070d: PUSH2 0x0714
00000710: JUMPI
00000711: DUP1
00000712: DUP2
00000713: REVERT
00000714: JUMPDEST
00000715: DUP2
00000716: CALLDATALOAD
00000717: PUSH1 0x01
00000719: PUSH1 0x01
0000071b: PUSH1 0xa0
0000071d: SHL
0000071e: SUB
0000071f: DUP2
00000720: AND
00000721: DUP2
00000722: EQ
00000723: PUSH2 0x072a
00000726: JUMPI
00000727: DUP2
00000728: DUP3
00000729: REVERT
0000072a: JUMPDEST
0000072b: SWAP4
0000072c: SWAP3
0000072d: POP
0000072e: POP
0000072f: POP
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x00
00000734: DUP1
00000735: PUSH1 0x00
00000737: DUP1
00000738: PUSH1 0x40
0000073a: DUP6
0000073b: DUP8
0000073c: SUB
0000073d: SLT
0000073e: ISZERO
0000073f: PUSH2 0x0746
00000742: JUMPI
00000743: DUP3
00000744: DUP4
00000745: REVERT
00000746: JUMPDEST
00000747: DUP5
00000748: CALLDATALOAD
00000749: PUSH8 0xffffffffffffffff
00000752: DUP1
00000753: DUP3
00000754: GT
00000755: ISZERO
00000756: PUSH2 0x075d
00000759: JUMPI
0000075a: DUP5
0000075b: DUP6
0000075c: REVERT
0000075d: JUMPDEST
0000075e: PUSH2 0x0769
00000761: DUP9
00000762: DUP4
00000763: DUP10
00000764: ADD
00000765: PUSH2 0x06b9
00000768: JUMP
00000769: JUMPDEST
0000076a: SWAP1
0000076b: SWAP7
0000076c: POP
0000076d: SWAP5
0000076e: POP
0000076f: PUSH1 0x20
00000771: DUP8
00000772: ADD
00000773: CALLDATALOAD
00000774: SWAP2
00000775: POP
00000776: DUP1
00000777: DUP3
00000778: GT
00000779: ISZERO
0000077a: PUSH2 0x0781
0000077d: JUMPI
0000077e: DUP4
0000077f: DUP5
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x078e
00000786: DUP8
00000787: DUP3
00000788: DUP9
00000789: ADD
0000078a: PUSH2 0x06b9
0000078d: JUMP
0000078e: JUMPDEST
0000078f: SWAP6
00000790: SWAP9
00000791: SWAP5
00000792: SWAP8
00000793: POP
00000794: SWAP6
00000795: POP
00000796: POP
00000797: POP
00000798: POP
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH1 0x20
0000079d: DUP1
0000079e: DUP3
0000079f: MSTORE
000007a0: PUSH1 0x2e
000007a2: SWAP1
000007a3: DUP3
000007a4: ADD
000007a5: MSTORE
000007a6: PUSH32 0x4f6e6c792074686520636f6e7472616374206f776e65722063616e2063616c6c
000007c7: PUSH1 0x40
000007c9: DUP3
000007ca: ADD
000007cb: MSTORE
000007cc: PUSH14 0x103a3434b990333ab731ba34b7b7
000007db: PUSH1 0x91
000007dd: SHL
000007de: PUSH1 0x60
000007e0: DUP3
000007e1: ADD
000007e2: MSTORE
000007e3: PUSH1 0x80
000007e5: ADD
000007e6: SWAP1
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x00
000007eb: DUP3
000007ec: NOT
000007ed: DUP3
000007ee: GT
000007ef: ISZERO
000007f0: PUSH2 0x07fb
000007f3: JUMPI
000007f4: PUSH2 0x07fb
000007f7: PUSH2 0x081b
000007fa: JUMP
000007fb: JUMPDEST
000007fc: POP
000007fd: ADD
000007fe: SWAP1
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH1 0x00
00000803: PUSH1 0x00
00000805: NOT
00000806: DUP3
00000807: EQ
00000808: ISZERO
00000809: PUSH2 0x0814
0000080c: JUMPI
0000080d: PUSH2 0x0814
00000810: PUSH2 0x081b
00000813: JUMP
00000814: JUMPDEST
00000815: POP
00000816: PUSH1 0x01
00000818: ADD
00000819: SWAP1
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH4 0x4e487b71
00000821: PUSH1 0xe0
00000823: SHL
00000824: PUSH1 0x00
00000826: MSTORE
00000827: PUSH1 0x11
00000829: PUSH1 0x04
0000082b: MSTORE
0000082c: PUSH1 0x24
0000082e: PUSH1 0x00
00000830: REVERT
00000831: INVALID
00000832: LOG2
00000833: PUSH5 0x6970667358
00000839: UNKNOWN(0x22)
0000083a: SLT
0000083b: KECCAK256
0000083c: UNKNOWN(0xEE)
0000083d: LOG3
0000083e: SELFBALANCE
0000083f: UNKNOWN(0xC7)
00000840: SMOD
00000841: PUSH22 0x3cafc537b01017d95de8b623093a2bda36db59e363b3
00000858: UNKNOWN(0xD3)
00000859: SELFDESTRUCT
0000085a: UNKNOWN(0xF7)
0000085b: UNKNOWN(0xB5)
0000085c: PUSH5 0x736f6c6343
00000862: STOP
00000863: ADDMOD
00000864: DIV
00000865: STOP
00000866: CALLER

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: 0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808 call_targets: 0x2b9929ab9cc2de7cd259494af1cba002edd64b5e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2b9929ab9cc2de7cd259494af1cba002edd64b5e" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd051844", "selector": "0xbd051844", "calldata_variants": [ "0xbd051844", "0xbd0518440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6722a2d", "selector": "0xf6722a2d", "calldata_variants": [ "0xf6722a2d", "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x372500ab", "selector": "0x372500ab", "calldata_variants": [ "0x372500ab", "0x372500ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49649fbf", "selector": "0x49649fbf", "calldata_variants": [ "0x49649fbf", "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 606, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 882, "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: 0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808 call_targets: 0x2b9929ab9cc2de7cd259494af1cba002edd64b5e target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x2b9929ab9cc2de7cd259494af1cba002edd64b5e" ], "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd051844", "selector": "0xbd051844", "calldata_variants": [ "0xbd051844", "0xbd0518440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6722a2d", "selector": "0xf6722a2d", "calldata_variants": [ "0xf6722a2d", "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x372500ab", "selector": "0x372500ab", "calldata_variants": [ "0x372500ab", "0x372500ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49649fbf", "selector": "0x49649fbf", "calldata_variants": [ "0x49649fbf", "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 606, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 882, "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: 0x7854d1fd8429093db4f5ac2e5894776fae8f36f169eb628e69a5c318f25dc401 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 14, "trace_id": "0x7854d1fd8429093db4f5ac2e5894776fae8f36f169eb628e69a5c318f25dc401", "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": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd051844", "selector": "0xbd051844", "calldata_variants": [ "0xbd051844", "0xbd0518440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6722a2d", "selector": "0xf6722a2d", "calldata_variants": [ "0xf6722a2d", "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8b2cb4f", "selector": "0xf8b2cb4f", "calldata_variants": [ "0xf8b2cb4f", "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x372500ab", "selector": "0x372500ab", "calldata_variants": [ "0x372500ab", "0x372500ab0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49649fbf", "selector": "0x49649fbf", "calldata_variants": [ "0x49649fbf", "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } 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: 0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808

call_targets: 0x2b9929ab9cc2de7cd259494af1cba002edd64b5e

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2b9929ab9cc2de7cd259494af1cba002edd64b5e"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd051844",
            "selector": "0xbd051844",
            "calldata_variants": [
                "0xbd051844",
                "0xbd0518440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6722a2d",
            "selector": "0xf6722a2d",
            "calldata_variants": [
                "0xf6722a2d",
                "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b2cb4f",
            "selector": "0xf8b2cb4f",
            "calldata_variants": [
                "0xf8b2cb4f",
                "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x372500ab",
            "selector": "0x372500ab",
            "calldata_variants": [
                "0x372500ab",
                "0x372500ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x49649fbf",
            "selector": "0x49649fbf",
            "calldata_variants": [
                "0x49649fbf",
                "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 606,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 882,
            "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

view

trace_id: 0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808

call_targets: 0x2b9929ab9cc2de7cd259494af1cba002edd64b5e

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd42a40f314f4359639026532cecde64f4c3fda12f57fddbc00ab01bc523f9808",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2b9929ab9cc2de7cd259494af1cba002edd64b5e"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd051844",
            "selector": "0xbd051844",
            "calldata_variants": [
                "0xbd051844",
                "0xbd0518440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6722a2d",
            "selector": "0xf6722a2d",
            "calldata_variants": [
                "0xf6722a2d",
                "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b2cb4f",
            "selector": "0xf8b2cb4f",
            "calldata_variants": [
                "0xf8b2cb4f",
                "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x372500ab",
            "selector": "0x372500ab",
            "calldata_variants": [
                "0x372500ab",
                "0x372500ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x49649fbf",
            "selector": "0x49649fbf",
            "calldata_variants": [
                "0x49649fbf",
                "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 606,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 882,
            "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

view

trace_id: 0x7854d1fd8429093db4f5ac2e5894776fae8f36f169eb628e69a5c318f25dc401

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 14,
    "trace_id": "0x7854d1fd8429093db4f5ac2e5894776fae8f36f169eb628e69a5c318f25dc401",
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd051844",
            "selector": "0xbd051844",
            "calldata_variants": [
                "0xbd051844",
                "0xbd0518440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf6722a2d",
            "selector": "0xf6722a2d",
            "calldata_variants": [
                "0xf6722a2d",
                "0xf6722a2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8b2cb4f",
            "selector": "0xf8b2cb4f",
            "calldata_variants": [
                "0xf8b2cb4f",
                "0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x372500ab",
            "selector": "0x372500ab",
            "calldata_variants": [
                "0x372500ab",
                "0x372500ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x49649fbf",
            "selector": "0x49649fbf",
            "calldata_variants": [
                "0x49649fbf",
                "0x49649fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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