Analysis Run

019b477e-aa4f-7046-af1e-7b50ea73f838

complete

Chain ID

1

Address

0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569

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
20803	artifact.fetch	complete	1 / 3	3 months ago
20804	tool.cast_disasm	complete	1 / 3	3 months ago
64310	analysis.bundle	complete	1 / 3	2 weeks ago
64311	capability.graph	complete	1 / 3	2 weeks ago
64312	detector.run	complete	1 / 3	2 weeks ago
64313	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

3

Total opcodes

1336

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ac
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x00
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x3ccfd60b
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0x019d
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x3feb5f2b
00000044: EQ
00000045: PUSH2 0x01b2
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x43d726d6
0000004f: EQ
00000050: PUSH2 0x01e4
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x5d452201
0000005a: EQ
0000005b: PUSH2 0x01f9
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x70a08231
00000065: EQ
00000066: PUSH2 0x0228
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x72ea4b8c
00000070: EQ
00000071: PUSH2 0x0259
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x7975ce28
0000007b: EQ
0000007c: PUSH2 0x027e
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x84fe5029
00000086: EQ
00000087: PUSH2 0x0299
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8da5cb5b
00000091: EQ
00000092: PUSH2 0x02be
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa6f9dae1
0000009c: EQ
0000009d: PUSH2 0x02ed
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xb6f50c29
000000a7: EQ
000000a8: PUSH2 0x030e
000000ab: JUMPI
000000ac: JUMPDEST
000000ad: JUMPDEST
000000ae: PUSH1 0x00
000000b0: CALLVALUE
000000b1: GT
000000b2: PUSH2 0x00ba
000000b5: JUMPI
000000b6: PUSH1 0x00
000000b8: DUP1
000000b9: REVERT
000000ba: JUMPDEST
000000bb: PUSH1 0x05
000000bd: SLOAD
000000be: ISZERO
000000bf: DUP1
000000c0: PUSH2 0x00d5
000000c3: JUMPI
000000c4: POP
000000c5: PUSH1 0x05
000000c7: SLOAD
000000c8: ADDRESS
000000c9: PUSH1 0x01
000000cb: PUSH1 0xa0
000000cd: PUSH1 0x02
000000cf: EXP
000000d0: SUB
000000d1: AND
000000d2: BALANCE
000000d3: GT
000000d4: ISZERO
000000d5: JUMPDEST
000000d6: ISZERO
000000d7: ISZERO
000000d8: PUSH2 0x00e0
000000db: JUMPI
000000dc: PUSH1 0x00
000000de: DUP1
000000df: REVERT
000000e0: JUMPDEST
000000e1: PUSH1 0x01
000000e3: PUSH1 0xa0
000000e5: PUSH1 0x02
000000e7: EXP
000000e8: SUB
000000e9: CALLER
000000ea: AND
000000eb: PUSH1 0x00
000000ed: SWAP1
000000ee: DUP2
000000ef: MSTORE
000000f0: PUSH1 0x04
000000f2: PUSH1 0x20
000000f4: MSTORE
000000f5: PUSH1 0x40
000000f7: SWAP1
000000f8: KECCAK256
000000f9: SLOAD
000000fa: PUSH1 0xff
000000fc: AND
000000fd: ISZERO
000000fe: ISZERO
000000ff: PUSH2 0x015e
00000102: JUMPI
00000103: PUSH1 0x02
00000105: DUP1
00000106: SLOAD
00000107: PUSH1 0x01
00000109: DUP2
0000010a: ADD
0000010b: PUSH2 0x0114
0000010e: DUP4
0000010f: DUP3
00000110: PUSH2 0x070b
00000113: JUMP
00000114: JUMPDEST
00000115: SWAP2
00000116: PUSH1 0x00
00000118: MSTORE
00000119: PUSH1 0x20
0000011b: PUSH1 0x00
0000011d: KECCAK256
0000011e: SWAP1
0000011f: ADD
00000120: PUSH1 0x00
00000122: JUMPDEST
00000123: DUP2
00000124: SLOAD
00000125: PUSH1 0x01
00000127: PUSH1 0xa0
00000129: PUSH1 0x02
0000012b: EXP
0000012c: SUB
0000012d: CALLER
0000012e: DUP2
0000012f: AND
00000130: PUSH2 0x0100
00000133: SWAP4
00000134: SWAP1
00000135: SWAP4
00000136: EXP
00000137: DUP4
00000138: DUP2
00000139: MUL
0000013a: SWAP2
0000013b: MUL
0000013c: NOT
0000013d: SWAP1
0000013e: SWAP2
0000013f: AND
00000140: OR
00000141: SWAP1
00000142: SWAP2
00000143: SSTORE
00000144: PUSH1 0x00
00000146: SWAP1
00000147: DUP2
00000148: MSTORE
00000149: PUSH1 0x04
0000014b: PUSH1 0x20
0000014d: MSTORE
0000014e: PUSH1 0x40
00000150: SWAP1
00000151: KECCAK256
00000152: DUP1
00000153: SLOAD
00000154: PUSH1 0xff
00000156: NOT
00000157: AND
00000158: PUSH1 0x01
0000015a: OR
0000015b: SWAP1
0000015c: SSTORE
0000015d: POP
0000015e: JUMPDEST
0000015f: PUSH1 0x01
00000161: PUSH1 0xa0
00000163: PUSH1 0x02
00000165: EXP
00000166: SUB
00000167: CALLER
00000168: AND
00000169: PUSH1 0x00
0000016b: SWAP1
0000016c: DUP2
0000016d: MSTORE
0000016e: PUSH1 0x03
00000170: PUSH1 0x20
00000172: MSTORE
00000173: PUSH1 0x40
00000175: SWAP1
00000176: KECCAK256
00000177: SLOAD
00000178: PUSH2 0x0181
0000017b: SWAP1
0000017c: CALLVALUE
0000017d: PUSH2 0x032f
00000180: JUMP
00000181: JUMPDEST
00000182: PUSH1 0x01
00000184: PUSH1 0xa0
00000186: PUSH1 0x02
00000188: EXP
00000189: SUB
0000018a: CALLER
0000018b: AND
0000018c: PUSH1 0x00
0000018e: SWAP1
0000018f: DUP2
00000190: MSTORE
00000191: PUSH1 0x03
00000193: PUSH1 0x20
00000195: MSTORE
00000196: PUSH1 0x40
00000198: SWAP1
00000199: KECCAK256
0000019a: SSTORE
0000019b: JUMPDEST
0000019c: STOP
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: PUSH2 0x019b
000001ac: PUSH2 0x0357
000001af: JUMP
000001b0: JUMPDEST
000001b1: STOP
000001b2: JUMPDEST
000001b3: CALLVALUE
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: PUSH2 0x01c8
000001c1: PUSH1 0x04
000001c3: CALLDATALOAD
000001c4: PUSH2 0x03c4
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH1 0x01
000001ce: PUSH1 0xa0
000001d0: PUSH1 0x02
000001d2: EXP
000001d3: SUB
000001d4: SWAP1
000001d5: SWAP2
000001d6: AND
000001d7: DUP2
000001d8: MSTORE
000001d9: PUSH1 0x20
000001db: ADD
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: DUP1
000001e0: SWAP2
000001e1: SUB
000001e2: SWAP1
000001e3: RETURN
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: PUSH2 0x019b
000001f3: PUSH2 0x03f6
000001f6: JUMP
000001f7: JUMPDEST
000001f8: STOP
000001f9: JUMPDEST
000001fa: CALLVALUE
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: PUSH2 0x01c8
00000208: PUSH2 0x0437
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH1 0x40
0000020f: MLOAD
00000210: PUSH1 0x01
00000212: PUSH1 0xa0
00000214: PUSH1 0x02
00000216: EXP
00000217: SUB
00000218: SWAP1
00000219: SWAP2
0000021a: AND
0000021b: DUP2
0000021c: MSTORE
0000021d: PUSH1 0x20
0000021f: ADD
00000220: PUSH1 0x40
00000222: MLOAD
00000223: DUP1
00000224: SWAP2
00000225: SUB
00000226: SWAP1
00000227: RETURN
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: PUSH2 0x0247
00000237: PUSH1 0x01
00000239: PUSH1 0xa0
0000023b: PUSH1 0x02
0000023d: EXP
0000023e: SUB
0000023f: PUSH1 0x04
00000241: CALLDATALOAD
00000242: AND
00000243: PUSH2 0x0446
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: SWAP1
0000024c: DUP2
0000024d: MSTORE
0000024e: PUSH1 0x20
00000250: ADD
00000251: PUSH1 0x40
00000253: MLOAD
00000254: DUP1
00000255: SWAP2
00000256: SUB
00000257: SWAP1
00000258: RETURN
00000259: JUMPDEST
0000025a: CALLVALUE
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: PUSH2 0x0247
00000268: PUSH2 0x0458
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: SWAP1
00000271: DUP2
00000272: MSTORE
00000273: PUSH1 0x20
00000275: ADD
00000276: PUSH1 0x40
00000278: MLOAD
00000279: DUP1
0000027a: SWAP2
0000027b: SUB
0000027c: SWAP1
0000027d: RETURN
0000027e: JUMPDEST
0000027f: CALLVALUE
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: PUSH2 0x019b
0000028d: PUSH1 0x04
0000028f: CALLDATALOAD
00000290: PUSH1 0x24
00000292: CALLDATALOAD
00000293: PUSH2 0x045f
00000296: JUMP
00000297: JUMPDEST
00000298: STOP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: PUSH2 0x0247
000002a8: PUSH2 0x0666
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH1 0x40
000002af: MLOAD
000002b0: SWAP1
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x20
000002b5: ADD
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: SWAP2
000002bb: SUB
000002bc: SWAP1
000002bd: RETURN
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: PUSH2 0x01c8
000002cd: PUSH2 0x066c
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: PUSH1 0x01
000002d7: PUSH1 0xa0
000002d9: PUSH1 0x02
000002db: EXP
000002dc: SUB
000002dd: SWAP1
000002de: SWAP2
000002df: AND
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: ADD
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: SWAP2
000002ea: SUB
000002eb: SWAP1
000002ec: RETURN
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: PUSH2 0x019b
000002fc: PUSH1 0x01
000002fe: PUSH1 0xa0
00000300: PUSH1 0x02
00000302: EXP
00000303: SUB
00000304: PUSH1 0x04
00000306: CALLDATALOAD
00000307: AND
00000308: PUSH2 0x067b
0000030b: JUMP
0000030c: JUMPDEST
0000030d: STOP
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: PUSH2 0x019b
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: PUSH1 0x02
00000323: EXP
00000324: SUB
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: AND
00000329: PUSH2 0x06c3
0000032c: JUMP
0000032d: JUMPDEST
0000032e: STOP
0000032f: JUMPDEST
00000330: PUSH1 0x00
00000332: DUP3
00000333: DUP3
00000334: ADD
00000335: DUP4
00000336: DUP2
00000337: LT
00000338: DUP1
00000339: ISZERO
0000033a: SWAP1
0000033b: PUSH2 0x0344
0000033e: JUMPI
0000033f: POP
00000340: DUP3
00000341: DUP2
00000342: LT
00000343: ISZERO
00000344: JUMPDEST
00000345: ISZERO
00000346: ISZERO
00000347: PUSH2 0x034c
0000034a: JUMPI
0000034b: INVALID
0000034c: JUMPDEST
0000034d: DUP1
0000034e: SWAP2
0000034f: POP
00000350: JUMPDEST
00000351: POP
00000352: SWAP3
00000353: SWAP2
00000354: POP
00000355: POP
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH1 0x01
0000035a: PUSH1 0xa0
0000035c: PUSH1 0x02
0000035e: EXP
0000035f: SUB
00000360: CALLER
00000361: AND
00000362: PUSH1 0x00
00000364: SWAP1
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x03
00000369: PUSH1 0x20
0000036b: MSTORE
0000036c: PUSH1 0x40
0000036e: DUP2
0000036f: KECCAK256
00000370: SLOAD
00000371: SWAP1
00000372: DUP2
00000373: GT
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: PUSH1 0x01
0000037f: PUSH1 0xa0
00000381: PUSH1 0x02
00000383: EXP
00000384: SUB
00000385: CALLER
00000386: AND
00000387: PUSH1 0x00
00000389: DUP2
0000038a: DUP2
0000038b: MSTORE
0000038c: PUSH1 0x03
0000038e: PUSH1 0x20
00000390: MSTORE
00000391: PUSH1 0x40
00000393: DUP1
00000394: DUP3
00000395: KECCAK256
00000396: SWAP2
00000397: SWAP1
00000398: SWAP2
00000399: SSTORE
0000039a: DUP3
0000039b: ISZERO
0000039c: PUSH2 0x08fc
0000039f: MUL
000003a0: SWAP1
000003a1: DUP4
000003a2: SWAP1
000003a3: MLOAD
000003a4: PUSH1 0x00
000003a6: PUSH1 0x40
000003a8: MLOAD
000003a9: DUP1
000003aa: DUP4
000003ab: SUB
000003ac: DUP2
000003ad: DUP6
000003ae: DUP9
000003af: DUP9
000003b0: CALL
000003b1: SWAP4
000003b2: POP
000003b3: POP
000003b4: POP
000003b5: POP
000003b6: ISZERO
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: JUMPDEST
000003c2: POP
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH1 0x02
000003c7: DUP1
000003c8: SLOAD
000003c9: DUP3
000003ca: SWAP1
000003cb: DUP2
000003cc: LT
000003cd: PUSH2 0x03d2
000003d0: JUMPI
000003d1: INVALID
000003d2: JUMPDEST
000003d3: SWAP1
000003d4: PUSH1 0x00
000003d6: MSTORE
000003d7: PUSH1 0x20
000003d9: PUSH1 0x00
000003db: KECCAK256
000003dc: SWAP1
000003dd: ADD
000003de: PUSH1 0x00
000003e0: JUMPDEST
000003e1: SWAP2
000003e2: POP
000003e3: SLOAD
000003e4: SWAP1
000003e5: PUSH2 0x0100
000003e8: EXP
000003e9: SWAP1
000003ea: DIV
000003eb: PUSH1 0x01
000003ed: PUSH1 0xa0
000003ef: PUSH1 0x02
000003f1: EXP
000003f2: SUB
000003f3: AND
000003f4: DUP2
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x00
000003f9: SLOAD
000003fa: CALLER
000003fb: PUSH1 0x01
000003fd: PUSH1 0xa0
000003ff: PUSH1 0x02
00000401: EXP
00000402: SUB
00000403: SWAP1
00000404: DUP2
00000405: AND
00000406: SWAP2
00000407: AND
00000408: EQ
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: PUSH1 0x01
00000414: PUSH1 0xa0
00000416: PUSH1 0x02
00000418: EXP
00000419: SUB
0000041a: ADDRESS
0000041b: AND
0000041c: BALANCE
0000041d: ISZERO
0000041e: PUSH2 0x0426
00000421: JUMPI
00000422: PUSH1 0x00
00000424: DUP1
00000425: REVERT
00000426: JUMPDEST
00000427: PUSH1 0x00
00000429: SLOAD
0000042a: PUSH1 0x01
0000042c: PUSH1 0xa0
0000042e: PUSH1 0x02
00000430: EXP
00000431: SUB
00000432: AND
00000433: SELFDESTRUCT
00000434: JUMPDEST
00000435: JUMPDEST
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH1 0x01
0000043a: SLOAD
0000043b: PUSH1 0x01
0000043d: PUSH1 0xa0
0000043f: PUSH1 0x02
00000441: EXP
00000442: SUB
00000443: AND
00000444: DUP2
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x03
00000449: PUSH1 0x20
0000044b: MSTORE
0000044c: PUSH1 0x00
0000044e: SWAP1
0000044f: DUP2
00000450: MSTORE
00000451: PUSH1 0x40
00000453: SWAP1
00000454: KECCAK256
00000455: SLOAD
00000456: DUP2
00000457: JUMP
00000458: JUMPDEST
00000459: PUSH1 0x02
0000045b: SLOAD
0000045c: JUMPDEST
0000045d: SWAP1
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x00
00000462: DUP1
00000463: SLOAD
00000464: DUP2
00000465: SWAP1
00000466: CALLER
00000467: PUSH1 0x01
00000469: PUSH1 0xa0
0000046b: PUSH1 0x02
0000046d: EXP
0000046e: SUB
0000046f: SWAP1
00000470: DUP2
00000471: AND
00000472: SWAP2
00000473: AND
00000474: EQ
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: PUSH1 0x01
00000480: SLOAD
00000481: PUSH1 0x01
00000483: PUSH1 0xa0
00000485: PUSH1 0x02
00000487: EXP
00000488: SUB
00000489: AND
0000048a: ISZERO
0000048b: ISZERO
0000048c: PUSH2 0x0494
0000048f: JUMPI
00000490: PUSH1 0x00
00000492: DUP1
00000493: REVERT
00000494: JUMPDEST
00000495: PUSH1 0x02
00000497: SLOAD
00000498: DUP4
00000499: GT
0000049a: ISZERO
0000049b: PUSH2 0x04a4
0000049e: JUMPI
0000049f: PUSH1 0x02
000004a1: SLOAD
000004a2: SWAP3
000004a3: POP
000004a4: JUMPDEST
000004a5: POP
000004a6: DUP3
000004a7: JUMPDEST
000004a8: DUP3
000004a9: DUP2
000004aa: LT
000004ab: ISZERO
000004ac: PUSH2 0x065e
000004af: JUMPI
000004b0: PUSH1 0x00
000004b2: PUSH1 0x03
000004b4: PUSH1 0x00
000004b6: PUSH1 0x02
000004b8: DUP5
000004b9: DUP2
000004ba: SLOAD
000004bb: DUP2
000004bc: LT
000004bd: ISZERO
000004be: ISZERO
000004bf: PUSH2 0x04c4
000004c2: JUMPI
000004c3: INVALID
000004c4: JUMPDEST
000004c5: SWAP1
000004c6: PUSH1 0x00
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: PUSH1 0x00
000004cd: KECCAK256
000004ce: SWAP1
000004cf: ADD
000004d0: PUSH1 0x00
000004d2: JUMPDEST
000004d3: SWAP1
000004d4: SLOAD
000004d5: SWAP1
000004d6: PUSH2 0x0100
000004d9: EXP
000004da: SWAP1
000004db: DIV
000004dc: PUSH1 0x01
000004de: PUSH1 0xa0
000004e0: PUSH1 0x02
000004e2: EXP
000004e3: SUB
000004e4: AND
000004e5: PUSH1 0x01
000004e7: PUSH1 0xa0
000004e9: PUSH1 0x02
000004eb: EXP
000004ec: SUB
000004ed: AND
000004ee: PUSH1 0x01
000004f0: PUSH1 0xa0
000004f2: PUSH1 0x02
000004f4: EXP
000004f5: SUB
000004f6: AND
000004f7: DUP2
000004f8: MSTORE
000004f9: PUSH1 0x20
000004fb: ADD
000004fc: SWAP1
000004fd: DUP2
000004fe: MSTORE
000004ff: PUSH1 0x20
00000501: ADD
00000502: PUSH1 0x00
00000504: KECCAK256
00000505: SLOAD
00000506: GT
00000507: ISZERO
00000508: PUSH2 0x0655
0000050b: JUMPI
0000050c: PUSH1 0x03
0000050e: PUSH1 0x00
00000510: PUSH1 0x02
00000512: DUP4
00000513: DUP2
00000514: SLOAD
00000515: DUP2
00000516: LT
00000517: ISZERO
00000518: ISZERO
00000519: PUSH2 0x051e
0000051c: JUMPI
0000051d: INVALID
0000051e: JUMPDEST
0000051f: SWAP1
00000520: PUSH1 0x00
00000522: MSTORE
00000523: PUSH1 0x20
00000525: PUSH1 0x00
00000527: KECCAK256
00000528: SWAP1
00000529: ADD
0000052a: PUSH1 0x00
0000052c: JUMPDEST
0000052d: SWAP1
0000052e: SLOAD
0000052f: SWAP1
00000530: PUSH2 0x0100
00000533: EXP
00000534: SWAP1
00000535: DIV
00000536: PUSH1 0x01
00000538: PUSH1 0xa0
0000053a: PUSH1 0x02
0000053c: EXP
0000053d: SUB
0000053e: AND
0000053f: PUSH1 0x01
00000541: PUSH1 0xa0
00000543: PUSH1 0x02
00000545: EXP
00000546: SUB
00000547: AND
00000548: PUSH1 0x01
0000054a: PUSH1 0xa0
0000054c: PUSH1 0x02
0000054e: EXP
0000054f: SUB
00000550: AND
00000551: DUP2
00000552: MSTORE
00000553: PUSH1 0x20
00000555: ADD
00000556: SWAP1
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x20
0000055b: ADD
0000055c: PUSH1 0x00
0000055e: KECCAK256
0000055f: SLOAD
00000560: SWAP2
00000561: POP
00000562: PUSH1 0x03
00000564: PUSH1 0x00
00000566: PUSH1 0x02
00000568: DUP4
00000569: DUP2
0000056a: SLOAD
0000056b: DUP2
0000056c: LT
0000056d: ISZERO
0000056e: ISZERO
0000056f: PUSH2 0x0574
00000572: JUMPI
00000573: INVALID
00000574: JUMPDEST
00000575: SWAP1
00000576: PUSH1 0x00
00000578: MSTORE
00000579: PUSH1 0x20
0000057b: PUSH1 0x00
0000057d: KECCAK256
0000057e: SWAP1
0000057f: ADD
00000580: PUSH1 0x00
00000582: JUMPDEST
00000583: SWAP1
00000584: SLOAD
00000585: PUSH1 0x01
00000587: PUSH1 0xa0
00000589: PUSH1 0x02
0000058b: EXP
0000058c: SUB
0000058d: PUSH2 0x0100
00000590: SWAP3
00000591: SWAP1
00000592: SWAP3
00000593: EXP
00000594: SWAP1
00000595: DIV
00000596: DUP2
00000597: AND
00000598: DUP3
00000599: MSTORE
0000059a: PUSH1 0x20
0000059c: DUP3
0000059d: ADD
0000059e: SWAP3
0000059f: SWAP1
000005a0: SWAP3
000005a1: MSTORE
000005a2: PUSH1 0x40
000005a4: ADD
000005a5: PUSH1 0x00
000005a7: SWAP1
000005a8: DUP2
000005a9: KECCAK256
000005aa: SSTORE
000005ab: PUSH1 0x01
000005ad: SLOAD
000005ae: PUSH1 0x02
000005b0: DUP1
000005b1: SLOAD
000005b2: SWAP2
000005b3: SWAP1
000005b4: SWAP3
000005b5: AND
000005b6: SWAP2
000005b7: PUSH4 0x03f9c793
000005bc: SWAP2
000005bd: DUP6
000005be: SWAP2
000005bf: SWAP1
000005c0: DUP6
000005c1: SWAP1
000005c2: DUP2
000005c3: LT
000005c4: PUSH2 0x05c9
000005c7: JUMPI
000005c8: INVALID
000005c9: JUMPDEST
000005ca: SWAP1
000005cb: PUSH1 0x00
000005cd: MSTORE
000005ce: PUSH1 0x20
000005d0: PUSH1 0x00
000005d2: KECCAK256
000005d3: SWAP1
000005d4: ADD
000005d5: PUSH1 0x00
000005d7: JUMPDEST
000005d8: SWAP1
000005d9: SLOAD
000005da: SWAP1
000005db: PUSH2 0x0100
000005de: EXP
000005df: SWAP1
000005e0: DIV
000005e1: PUSH1 0x01
000005e3: PUSH1 0xa0
000005e5: PUSH1 0x02
000005e7: EXP
000005e8: SUB
000005e9: AND
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000060b: PUSH4 0xffffffff
00000610: DUP6
00000611: AND
00000612: MUL
00000613: DUP2
00000614: MSTORE
00000615: PUSH1 0x01
00000617: PUSH1 0xa0
00000619: PUSH1 0x02
0000061b: EXP
0000061c: SUB
0000061d: SWAP1
0000061e: SWAP2
0000061f: AND
00000620: PUSH1 0x04
00000622: DUP3
00000623: ADD
00000624: MSTORE
00000625: PUSH1 0x24
00000627: ADD
00000628: PUSH1 0x00
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: DUP4
0000062f: SUB
00000630: DUP2
00000631: DUP6
00000632: DUP9
00000633: DUP1
00000634: EXTCODESIZE
00000635: ISZERO
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: PUSH2 0x25ee
00000643: GAS
00000644: SUB
00000645: CALL
00000646: ISZERO
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: POP
00000652: POP
00000653: POP
00000654: POP
00000655: JUMPDEST
00000656: JUMPDEST
00000657: PUSH1 0x01
00000659: ADD
0000065a: PUSH2 0x04a7
0000065d: JUMP
0000065e: JUMPDEST
0000065f: JUMPDEST
00000660: JUMPDEST
00000661: POP
00000662: POP
00000663: POP
00000664: POP
00000665: JUMP
00000666: JUMPDEST
00000667: PUSH1 0x05
00000669: SLOAD
0000066a: DUP2
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH1 0x00
0000066f: SLOAD
00000670: PUSH1 0x01
00000672: PUSH1 0xa0
00000674: PUSH1 0x02
00000676: EXP
00000677: SUB
00000678: AND
00000679: DUP2
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x00
0000067e: SLOAD
0000067f: CALLER
00000680: PUSH1 0x01
00000682: PUSH1 0xa0
00000684: PUSH1 0x02
00000686: EXP
00000687: SUB
00000688: SWAP1
00000689: DUP2
0000068a: AND
0000068b: SWAP2
0000068c: AND
0000068d: EQ
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: PUSH1 0x00
00000699: DUP1
0000069a: SLOAD
0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b0: NOT
000006b1: AND
000006b2: PUSH1 0x01
000006b4: PUSH1 0xa0
000006b6: PUSH1 0x02
000006b8: EXP
000006b9: SUB
000006ba: DUP4
000006bb: AND
000006bc: OR
000006bd: SWAP1
000006be: SSTORE
000006bf: JUMPDEST
000006c0: JUMPDEST
000006c1: POP
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x00
000006c6: SLOAD
000006c7: CALLER
000006c8: PUSH1 0x01
000006ca: PUSH1 0xa0
000006cc: PUSH1 0x02
000006ce: EXP
000006cf: SUB
000006d0: SWAP1
000006d1: DUP2
000006d2: AND
000006d3: SWAP2
000006d4: AND
000006d5: EQ
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: PUSH1 0x01
000006e1: DUP1
000006e2: SLOAD
000006e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f8: NOT
000006f9: AND
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: PUSH1 0x02
00000700: EXP
00000701: SUB
00000702: DUP4
00000703: AND
00000704: OR
00000705: SWAP1
00000706: SSTORE
00000707: JUMPDEST
00000708: JUMPDEST
00000709: POP
0000070a: JUMP
0000070b: JUMPDEST
0000070c: DUP2
0000070d: SLOAD
0000070e: DUP2
0000070f: DUP4
00000710: SSTORE
00000711: DUP2
00000712: DUP2
00000713: ISZERO
00000714: GT
00000715: PUSH2 0x072f
00000718: JUMPI
00000719: PUSH1 0x00
0000071b: DUP4
0000071c: DUP2
0000071d: MSTORE
0000071e: PUSH1 0x20
00000720: SWAP1
00000721: KECCAK256
00000722: PUSH2 0x072f
00000725: SWAP2
00000726: DUP2
00000727: ADD
00000728: SWAP1
00000729: DUP4
0000072a: ADD
0000072b: PUSH2 0x0735
0000072e: JUMP
0000072f: JUMPDEST
00000730: JUMPDEST
00000731: POP
00000732: POP
00000733: POP
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x045c
00000739: SWAP2
0000073a: SWAP1
0000073b: JUMPDEST
0000073c: DUP1
0000073d: DUP3
0000073e: GT
0000073f: ISZERO
00000740: PUSH2 0x074f
00000743: JUMPI
00000744: PUSH1 0x00
00000746: DUP2
00000747: SSTORE
00000748: PUSH1 0x01
0000074a: ADD
0000074b: PUSH2 0x073b
0000074e: JUMP
0000074f: JUMPDEST
00000750: POP
00000751: SWAP1
00000752: JUMP
00000753: JUMPDEST
00000754: SWAP1
00000755: JUMP
00000756: JUMPDEST
00000757: PUSH1 0x00
00000759: DUP3
0000075a: DUP3
0000075b: MUL
0000075c: DUP4
0000075d: ISZERO
0000075e: DUP1
0000075f: PUSH2 0x0344
00000762: JUMPI
00000763: POP
00000764: DUP3
00000765: DUP5
00000766: DUP3
00000767: DUP2
00000768: ISZERO
00000769: ISZERO
0000076a: PUSH2 0x076f
0000076d: JUMPI
0000076e: INVALID
0000076f: JUMPDEST
00000770: DIV
00000771: EQ
00000772: JUMPDEST
00000773: ISZERO
00000774: ISZERO
00000775: PUSH2 0x034c
00000778: JUMPI
00000779: INVALID
0000077a: JUMPDEST
0000077b: DUP1
0000077c: SWAP2
0000077d: POP
0000077e: JUMPDEST
0000077f: POP
00000780: SWAP3
00000781: SWAP2
00000782: POP
00000783: POP
00000784: JUMP
00000785: STOP
00000786: LOG1
00000787: PUSH6 0x627a7a723058
0000078e: KECCAK256
0000078f: PUSH14 0xc8ef5c3da7ae4ba6150d95fbdab3
0000079e: UNKNOWN(0xDF)
0000079f: UNKNOWN(0x4C)
000007a0: UNKNOWN(0xDB)
000007a1: PUSH20

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: 0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216 call_targets: 0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569" ], "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": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3feb5f2b", "selector": "0x3feb5f2b", "calldata_variants": [ "0x3feb5f2b", "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5d452201", "selector": "0x5d452201", "calldata_variants": [ "0x5d452201", "0x5d4522010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x72ea4b8c", "selector": "0x72ea4b8c", "calldata_variants": [ "0x72ea4b8c", "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7975ce28", "selector": "0x7975ce28", "calldata_variants": [ "0x7975ce28", "0x7975ce280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x84fe5029", "selector": "0x84fe5029", "calldata_variants": [ "0x84fe5029", "0x84fe50290000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 944, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1605, "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: 0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216 call_targets: 0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569" ], "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": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3feb5f2b", "selector": "0x3feb5f2b", "calldata_variants": [ "0x3feb5f2b", "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5d452201", "selector": "0x5d452201", "calldata_variants": [ "0x5d452201", "0x5d4522010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x72ea4b8c", "selector": "0x72ea4b8c", "calldata_variants": [ "0x72ea4b8c", "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7975ce28", "selector": "0x7975ce28", "calldata_variants": [ "0x7975ce28", "0x7975ce280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x84fe5029", "selector": "0x84fe5029", "calldata_variants": [ "0x84fe5029", "0x84fe50290000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 944, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1605, "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: 0xe3dec19f720aa95115822ecafbdbef1bae408a383d520c0a11afc6655fb58000 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 22, "trace_id": "0xe3dec19f720aa95115822ecafbdbef1bae408a383d520c0a11afc6655fb58000", "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": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3feb5f2b", "selector": "0x3feb5f2b", "calldata_variants": [ "0x3feb5f2b", "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x43d726d6", "selector": "0x43d726d6", "calldata_variants": [ "0x43d726d6", "0x43d726d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5d452201", "selector": "0x5d452201", "calldata_variants": [ "0x5d452201", "0x5d4522010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x72ea4b8c", "selector": "0x72ea4b8c", "calldata_variants": [ "0x72ea4b8c", "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7975ce28", "selector": "0x7975ce28", "calldata_variants": [ "0x7975ce28", "0x7975ce280000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x84fe5029", "selector": "0x84fe5029", "calldata_variants": [ "0x84fe5029", "0x84fe50290000000000000000000000000000000000000000000000000000000000000000" ] } ] } 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: 0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216

call_targets: 0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569"
    ],
    "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": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3feb5f2b",
            "selector": "0x3feb5f2b",
            "calldata_variants": [
                "0x3feb5f2b",
                "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5d452201",
            "selector": "0x5d452201",
            "calldata_variants": [
                "0x5d452201",
                "0x5d4522010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72ea4b8c",
            "selector": "0x72ea4b8c",
            "calldata_variants": [
                "0x72ea4b8c",
                "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7975ce28",
            "selector": "0x7975ce28",
            "calldata_variants": [
                "0x7975ce28",
                "0x7975ce280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84fe5029",
            "selector": "0x84fe5029",
            "calldata_variants": [
                "0x84fe5029",
                "0x84fe50290000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 944,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1605,
            "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: 0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216

call_targets: 0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa06204dc05f61b0579915b0c49d9451e5b177086eac182e8d74f527254f43216",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xde0b79f5e66fdc8a4ffb2c470756a1629e8ad569"
    ],
    "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": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3feb5f2b",
            "selector": "0x3feb5f2b",
            "calldata_variants": [
                "0x3feb5f2b",
                "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5d452201",
            "selector": "0x5d452201",
            "calldata_variants": [
                "0x5d452201",
                "0x5d4522010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72ea4b8c",
            "selector": "0x72ea4b8c",
            "calldata_variants": [
                "0x72ea4b8c",
                "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7975ce28",
            "selector": "0x7975ce28",
            "calldata_variants": [
                "0x7975ce28",
                "0x7975ce280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84fe5029",
            "selector": "0x84fe5029",
            "calldata_variants": [
                "0x84fe5029",
                "0x84fe50290000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 944,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1605,
            "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: 0xe3dec19f720aa95115822ecafbdbef1bae408a383d520c0a11afc6655fb58000

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 22,
    "trace_id": "0xe3dec19f720aa95115822ecafbdbef1bae408a383d520c0a11afc6655fb58000",
    "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": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3feb5f2b",
            "selector": "0x3feb5f2b",
            "calldata_variants": [
                "0x3feb5f2b",
                "0x3feb5f2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43d726d6",
            "selector": "0x43d726d6",
            "calldata_variants": [
                "0x43d726d6",
                "0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5d452201",
            "selector": "0x5d452201",
            "calldata_variants": [
                "0x5d452201",
                "0x5d4522010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72ea4b8c",
            "selector": "0x72ea4b8c",
            "calldata_variants": [
                "0x72ea4b8c",
                "0x72ea4b8c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7975ce28",
            "selector": "0x7975ce28",
            "calldata_variants": [
                "0x7975ce28",
                "0x7975ce280000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84fe5029",
            "selector": "0x84fe5029",
            "calldata_variants": [
                "0x84fe5029",
                "0x84fe50290000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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