Analysis Run

019b3836-410a-7117-ab5b-19e3ee2a975f

complete

Chain ID

1

Address

0x97740f3239ead47a78df7eb68b9402ac618b454c

Block Number

—

Created

Fri, Dec 19, 2025 8:03 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
5325	artifact.fetch	complete	1 / 3	3 months ago
5326	tool.cast_disasm	complete	1 / 3	3 months ago
97718	analysis.bundle	complete	1 / 3	1 week ago
97719	capability.graph	complete	1 / 3	1 week ago
97720	detector.run	complete	1 / 3	1 week ago
97721	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

9

EXT*/BALANCE

0

Total opcodes

1278

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x008d
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x009a
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x21f8a721
00000025: EQ
00000026: PUSH2 0x00a3
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x38eada1c
00000030: EQ
00000031: PUSH2 0x011b
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x4ba79dfe
0000003b: EQ
0000003c: PUSH2 0x01dc
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x7948f523
00000046: EQ
00000047: PUSH2 0x0299
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x95a078e8
00000051: EQ
00000052: PUSH2 0x02be
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xa7f43779
0000005c: EQ
0000005d: PUSH2 0x02d9
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xd0e30db0
00000067: EQ
00000068: PUSH2 0x038e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xf359671c
00000072: EQ
00000073: PUSH2 0x03a5
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xf3fef3a3
0000007d: EQ
0000007e: PUSH2 0x03fd
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xf89005e7
00000088: EQ
00000089: PUSH2 0x044f
0000008c: JUMPI
0000008d: JUMPDEST
0000008e: PUSH2 0x054a
00000091: PUSH1 0x00
00000093: PUSH2 0x055c
00000096: PUSH2 0x0392
00000099: JUMP
0000009a: JUMPDEST
0000009b: PUSH2 0x054a
0000009e: PUSH1 0x01
000000a0: SLOAD
000000a1: DUP2
000000a2: JUMP
000000a3: JUMPDEST
000000a4: PUSH2 0x0562
000000a7: PUSH1 0x04
000000a9: CALLDATALOAD
000000aa: PUSH1 0x40
000000ac: DUP1
000000ad: MLOAD
000000ae: PUSH1 0x00
000000b0: DUP1
000000b1: SLOAD
000000b2: PUSH32 0x2ade6c3600000000000000000000000000000000000000000000000000000000
000000d3: DUP4
000000d4: MSTORE
000000d5: PUSH1 0x04
000000d7: DUP4
000000d8: ADD
000000d9: DUP6
000000da: SWAP1
000000db: MSTORE
000000dc: SWAP3
000000dd: MLOAD
000000de: SWAP1
000000df: SWAP3
000000e0: PUSH1 0x01
000000e2: PUSH1 0xa0
000000e4: PUSH1 0x02
000000e6: EXP
000000e7: SUB
000000e8: AND
000000e9: SWAP2
000000ea: PUSH4 0x2ade6c36
000000ef: SWAP2
000000f0: PUSH1 0x24
000000f2: DUP1
000000f3: DUP4
000000f4: ADD
000000f5: SWAP3
000000f6: PUSH1 0x20
000000f8: SWAP3
000000f9: SWAP2
000000fa: SWAP1
000000fb: DUP3
000000fc: SWAP1
000000fd: SUB
000000fe: ADD
000000ff: DUP2
00000100: DUP8
00000101: DUP8
00000102: PUSH2 0x61da
00000105: GAS
00000106: SUB
00000107: CALL
00000108: ISZERO
00000109: PUSH2 0x0002
0000010c: JUMPI
0000010d: POP
0000010e: POP
0000010f: PUSH1 0x40
00000111: MLOAD
00000112: MLOAD
00000113: SWAP2
00000114: POP
00000115: PUSH2 0x0545
00000118: SWAP1
00000119: POP
0000011a: JUMP
0000011b: JUMPDEST
0000011c: PUSH2 0x054a
0000011f: PUSH1 0x04
00000121: CALLDATALOAD
00000122: PUSH1 0x00
00000124: DUP1
00000125: SLOAD
00000126: PUSH1 0xd9
00000128: PUSH1 0x02
0000012a: EXP
0000012b: PUSH5 0x30b236b4b7
00000131: MUL
00000132: SWAP1
00000133: PUSH1 0x01
00000135: PUSH1 0xa0
00000137: PUSH1 0x02
00000139: EXP
0000013a: SUB
0000013b: AND
0000013c: DUP3
0000013d: EQ
0000013e: DUP1
0000013f: ISZERO
00000140: SWAP1
00000141: PUSH2 0x01aa
00000144: JUMPI
00000145: POP
00000146: PUSH1 0x40
00000148: DUP1
00000149: MLOAD
0000014a: DUP4
0000014b: SLOAD
0000014c: PUSH1 0x01
0000014e: SLOAD
0000014f: PUSH1 0xe4
00000151: PUSH1 0x02
00000153: EXP
00000154: PUSH4 0x0a1add51
00000159: MUL
0000015a: DUP4
0000015b: MSTORE
0000015c: PUSH1 0x04
0000015e: DUP4
0000015f: ADD
00000160: MSTORE
00000161: PUSH1 0x24
00000163: DUP3
00000164: ADD
00000165: DUP5
00000166: SWAP1
00000167: MSTORE
00000168: CALLER
00000169: PUSH1 0x01
0000016b: PUSH1 0xa0
0000016d: PUSH1 0x02
0000016f: EXP
00000170: SUB
00000171: SWAP1
00000172: DUP2
00000173: AND
00000174: PUSH1 0x44
00000176: DUP5
00000177: ADD
00000178: MSTORE
00000179: SWAP3
0000017a: MLOAD
0000017b: SWAP3
0000017c: AND
0000017d: SWAP2
0000017e: PUSH4 0xa1add510
00000183: SWAP2
00000184: PUSH1 0x64
00000186: DUP1
00000187: DUP3
00000188: ADD
00000189: SWAP3
0000018a: PUSH1 0x20
0000018c: SWAP3
0000018d: SWAP1
0000018e: SWAP2
0000018f: SWAP1
00000190: DUP3
00000191: SWAP1
00000192: SUB
00000193: ADD
00000194: DUP2
00000195: DUP9
00000196: DUP8
00000197: PUSH2 0x61da
0000019a: GAS
0000019b: SUB
0000019c: CALL
0000019d: ISZERO
0000019e: PUSH2 0x0002
000001a1: JUMPI
000001a2: POP
000001a3: POP
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: MLOAD
000001a8: SWAP1
000001a9: POP
000001aa: JUMPDEST
000001ab: ISZERO
000001ac: PUSH2 0x0588
000001af: JUMPI
000001b0: POP
000001b1: POP
000001b2: PUSH1 0x01
000001b4: PUSH1 0xa0
000001b6: PUSH1 0x02
000001b8: EXP
000001b9: SUB
000001ba: DUP2
000001bb: AND
000001bc: PUSH1 0x00
000001be: SWAP1
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x02
000001c3: PUSH1 0x20
000001c5: MSTORE
000001c6: PUSH1 0x40
000001c8: SWAP1
000001c9: KECCAK256
000001ca: DUP1
000001cb: SLOAD
000001cc: PUSH1 0xff
000001ce: NOT
000001cf: AND
000001d0: PUSH1 0x01
000001d2: SWAP1
000001d3: DUP2
000001d4: OR
000001d5: SWAP1
000001d6: SWAP2
000001d7: SSTORE
000001d8: PUSH2 0x0545
000001db: JUMP
000001dc: JUMPDEST
000001dd: PUSH2 0x054a
000001e0: PUSH1 0x04
000001e2: CALLDATALOAD
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: SLOAD
000001e7: PUSH1 0xd9
000001e9: PUSH1 0x02
000001eb: EXP
000001ec: PUSH5 0x30b236b4b7
000001f2: MUL
000001f3: SWAP1
000001f4: PUSH1 0x01
000001f6: PUSH1 0xa0
000001f8: PUSH1 0x02
000001fa: EXP
000001fb: SUB
000001fc: AND
000001fd: DUP3
000001fe: EQ
000001ff: DUP1
00000200: ISZERO
00000201: SWAP1
00000202: PUSH2 0x026b
00000205: JUMPI
00000206: POP
00000207: PUSH1 0x40
00000209: DUP1
0000020a: MLOAD
0000020b: DUP4
0000020c: SLOAD
0000020d: PUSH1 0x01
0000020f: SLOAD
00000210: PUSH1 0xe4
00000212: PUSH1 0x02
00000214: EXP
00000215: PUSH4 0x0a1add51
0000021a: MUL
0000021b: DUP4
0000021c: MSTORE
0000021d: PUSH1 0x04
0000021f: DUP4
00000220: ADD
00000221: MSTORE
00000222: PUSH1 0x24
00000224: DUP3
00000225: ADD
00000226: DUP5
00000227: SWAP1
00000228: MSTORE
00000229: CALLER
0000022a: PUSH1 0x01
0000022c: PUSH1 0xa0
0000022e: PUSH1 0x02
00000230: EXP
00000231: SUB
00000232: SWAP1
00000233: DUP2
00000234: AND
00000235: PUSH1 0x44
00000237: DUP5
00000238: ADD
00000239: MSTORE
0000023a: SWAP3
0000023b: MLOAD
0000023c: SWAP3
0000023d: AND
0000023e: SWAP2
0000023f: PUSH4 0xa1add510
00000244: SWAP2
00000245: PUSH1 0x64
00000247: DUP1
00000248: DUP3
00000249: ADD
0000024a: SWAP3
0000024b: PUSH1 0x20
0000024d: SWAP3
0000024e: SWAP1
0000024f: SWAP2
00000250: SWAP1
00000251: DUP3
00000252: SWAP1
00000253: SUB
00000254: ADD
00000255: DUP2
00000256: DUP9
00000257: DUP8
00000258: PUSH2 0x61da
0000025b: GAS
0000025c: SUB
0000025d: CALL
0000025e: ISZERO
0000025f: PUSH2 0x0002
00000262: JUMPI
00000263: POP
00000264: POP
00000265: PUSH1 0x40
00000267: MLOAD
00000268: MLOAD
00000269: SWAP1
0000026a: POP
0000026b: JUMPDEST
0000026c: ISZERO
0000026d: PUSH2 0x0588
00000270: JUMPI
00000271: POP
00000272: POP
00000273: PUSH1 0x01
00000275: PUSH1 0xa0
00000277: PUSH1 0x02
00000279: EXP
0000027a: SUB
0000027b: DUP2
0000027c: AND
0000027d: PUSH1 0x00
0000027f: SWAP1
00000280: DUP2
00000281: MSTORE
00000282: PUSH1 0x02
00000284: PUSH1 0x20
00000286: MSTORE
00000287: PUSH1 0x40
00000289: SWAP1
0000028a: KECCAK256
0000028b: DUP1
0000028c: SLOAD
0000028d: PUSH1 0xff
0000028f: NOT
00000290: AND
00000291: SWAP1
00000292: SSTORE
00000293: PUSH1 0x01
00000295: PUSH2 0x0545
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH2 0x054a
0000029d: PUSH1 0x04
0000029f: CALLDATALOAD
000002a0: PUSH1 0x24
000002a2: CALLDATALOAD
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: SLOAD
000002a7: DUP2
000002a8: SWAP1
000002a9: DUP2
000002aa: SWAP1
000002ab: PUSH1 0x01
000002ad: PUSH1 0xa0
000002af: PUSH1 0x02
000002b1: EXP
000002b2: SUB
000002b3: AND
000002b4: DUP2
000002b5: EQ
000002b6: PUSH2 0x05bd
000002b9: JUMPI
000002ba: PUSH2 0x05b5
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x054a
000002c2: PUSH1 0x04
000002c4: CALLDATALOAD
000002c5: PUSH1 0x02
000002c7: PUSH1 0x20
000002c9: MSTORE
000002ca: PUSH1 0x00
000002cc: SWAP1
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x40
000002d1: SWAP1
000002d2: KECCAK256
000002d3: SLOAD
000002d4: PUSH1 0xff
000002d6: AND
000002d7: DUP2
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x00
000002dc: DUP1
000002dd: SLOAD
000002de: PUSH2 0x057e
000002e1: SWAP2
000002e2: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00000303: SWAP2
00000304: PUSH1 0x01
00000306: PUSH1 0xa0
00000308: PUSH1 0x02
0000030a: EXP
0000030b: SUB
0000030c: AND
0000030d: EQ
0000030e: DUP1
0000030f: ISZERO
00000310: SWAP1
00000311: PUSH2 0x037d
00000314: JUMPI
00000315: POP
00000316: PUSH1 0x40
00000318: DUP1
00000319: MLOAD
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: SLOAD
0000031e: PUSH1 0x01
00000320: SLOAD
00000321: PUSH1 0xe4
00000323: PUSH1 0x02
00000325: EXP
00000326: PUSH4 0x0a1add51
0000032b: MUL
0000032c: DUP5
0000032d: MSTORE
0000032e: PUSH1 0x04
00000330: DUP5
00000331: ADD
00000332: MSTORE
00000333: PUSH1 0x24
00000335: DUP4
00000336: ADD
00000337: DUP6
00000338: SWAP1
00000339: MSTORE
0000033a: CALLER
0000033b: PUSH1 0x01
0000033d: PUSH1 0xa0
0000033f: PUSH1 0x02
00000341: EXP
00000342: SUB
00000343: SWAP1
00000344: DUP2
00000345: AND
00000346: PUSH1 0x44
00000348: DUP6
00000349: ADD
0000034a: MSTORE
0000034b: SWAP4
0000034c: MLOAD
0000034d: SWAP4
0000034e: AND
0000034f: SWAP3
00000350: PUSH4 0xa1add510
00000355: SWAP3
00000356: PUSH1 0x64
00000358: DUP1
00000359: DUP3
0000035a: ADD
0000035b: SWAP4
0000035c: PUSH1 0x20
0000035e: SWAP4
0000035f: SWAP3
00000360: DUP4
00000361: SWAP1
00000362: SUB
00000363: SWAP1
00000364: SWAP2
00000365: ADD
00000366: SWAP1
00000367: DUP3
00000368: SWAP1
00000369: DUP8
0000036a: PUSH2 0x61da
0000036d: GAS
0000036e: SUB
0000036f: CALL
00000370: ISZERO
00000371: PUSH2 0x0002
00000374: JUMPI
00000375: POP
00000376: POP
00000377: PUSH1 0x40
00000379: MLOAD
0000037a: MLOAD
0000037b: SWAP1
0000037c: POP
0000037d: JUMPDEST
0000037e: ISZERO
0000037f: PUSH2 0x068c
00000382: JUMPI
00000383: CALLER
00000384: PUSH1 0x01
00000386: PUSH1 0xa0
00000388: PUSH1 0x02
0000038a: EXP
0000038b: SUB
0000038c: AND
0000038d: SELFDESTRUCT
0000038e: JUMPDEST
0000038f: PUSH2 0x054a
00000392: JUMPDEST
00000393: PUSH1 0x00
00000395: PUSH1 0x00
00000397: CALLVALUE
00000398: GT
00000399: ISZERO
0000039a: PUSH2 0x0580
0000039d: JUMPI
0000039e: POP
0000039f: PUSH1 0x01
000003a1: PUSH2 0x055f
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH1 0x40
000003a8: DUP1
000003a9: MLOAD
000003aa: PUSH1 0x20
000003ac: PUSH1 0x44
000003ae: CALLDATALOAD
000003af: PUSH1 0x04
000003b1: DUP2
000003b2: DUP2
000003b3: ADD
000003b4: CALLDATALOAD
000003b5: PUSH1 0x1f
000003b7: DUP2
000003b8: ADD
000003b9: DUP5
000003ba: SWAP1
000003bb: DIV
000003bc: DUP5
000003bd: MUL
000003be: DUP6
000003bf: ADD
000003c0: DUP5
000003c1: ADD
000003c2: SWAP1
000003c3: SWAP6
000003c4: MSTORE
000003c5: DUP5
000003c6: DUP5
000003c7: MSTORE
000003c8: PUSH2 0x054a
000003cb: SWAP5
000003cc: DUP2
000003cd: CALLDATALOAD
000003ce: SWAP5
000003cf: PUSH1 0x24
000003d1: DUP1
000003d2: CALLDATALOAD
000003d3: SWAP6
000003d4: SWAP4
000003d5: SWAP5
000003d6: PUSH1 0x64
000003d8: SWAP5
000003d9: SWAP3
000003da: SWAP4
000003db: SWAP2
000003dc: ADD
000003dd: SWAP2
000003de: DUP2
000003df: SWAP1
000003e0: DUP5
000003e1: ADD
000003e2: DUP4
000003e3: DUP3
000003e4: DUP1
000003e5: DUP3
000003e6: DUP5
000003e7: CALLDATACOPY
000003e8: POP
000003e9: SWAP5
000003ea: SWAP7
000003eb: POP
000003ec: POP
000003ed: POP
000003ee: POP
000003ef: POP
000003f0: POP
000003f1: POP
000003f2: PUSH1 0x00
000003f4: PUSH2 0x0745
000003f7: DUP5
000003f8: DUP5
000003f9: PUSH2 0x0407
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x054a
00000401: PUSH1 0x04
00000403: CALLDATALOAD
00000404: PUSH1 0x24
00000406: CALLDATALOAD
00000407: JUMPDEST
00000408: CALLER
00000409: PUSH1 0x01
0000040b: PUSH1 0xa0
0000040d: PUSH1 0x02
0000040f: EXP
00000410: SUB
00000411: AND
00000412: PUSH1 0x00
00000414: SWAP1
00000415: DUP2
00000416: MSTORE
00000417: PUSH1 0x02
00000419: PUSH1 0x20
0000041b: MSTORE
0000041c: PUSH1 0x40
0000041e: DUP2
0000041f: KECCAK256
00000420: SLOAD
00000421: PUSH1 0xff
00000423: AND
00000424: ISZERO
00000425: PUSH2 0x0449
00000428: JUMPI
00000429: PUSH1 0x40
0000042b: MLOAD
0000042c: PUSH1 0x01
0000042e: PUSH1 0xa0
00000430: PUSH1 0x02
00000432: EXP
00000433: SUB
00000434: DUP5
00000435: AND
00000436: SWAP1
00000437: DUP3
00000438: SWAP1
00000439: DUP5
0000043a: SWAP1
0000043b: DUP3
0000043c: DUP2
0000043d: DUP2
0000043e: DUP2
0000043f: DUP6
00000440: DUP9
00000441: DUP4
00000442: CALL
00000443: SWAP5
00000444: POP
00000445: POP
00000446: POP
00000447: POP
00000448: POP
00000449: JUMPDEST
0000044a: SWAP3
0000044b: SWAP2
0000044c: POP
0000044d: POP
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH1 0x40
00000452: DUP1
00000453: MLOAD
00000454: PUSH1 0x20
00000456: PUSH1 0x04
00000458: DUP1
00000459: CALLDATALOAD
0000045a: DUP1
0000045b: DUP3
0000045c: ADD
0000045d: CALLDATALOAD
0000045e: PUSH1 0x1f
00000460: DUP2
00000461: ADD
00000462: DUP5
00000463: SWAP1
00000464: DIV
00000465: DUP5
00000466: MUL
00000467: DUP6
00000468: ADD
00000469: DUP5
0000046a: ADD
0000046b: SWAP1
0000046c: SWAP6
0000046d: MSTORE
0000046e: DUP5
0000046f: DUP5
00000470: MSTORE
00000471: PUSH2 0x054a
00000474: SWAP5
00000475: SWAP2
00000476: SWAP4
00000477: PUSH1 0x24
00000479: SWAP4
0000047a: SWAP1
0000047b: SWAP3
0000047c: SWAP2
0000047d: DUP5
0000047e: ADD
0000047f: SWAP2
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: DUP5
00000484: ADD
00000485: DUP4
00000486: DUP3
00000487: DUP1
00000488: DUP3
00000489: DUP5
0000048a: CALLDATACOPY
0000048b: POP
0000048c: SWAP5
0000048d: SWAP7
0000048e: POP
0000048f: POP
00000490: POP
00000491: POP
00000492: POP
00000493: POP
00000494: POP
00000495: PUSH1 0x00
00000497: PUSH1 0x00
00000499: CALLVALUE
0000049a: GT
0000049b: ISZERO
0000049c: PUSH2 0x0541
0000049f: JUMPI
000004a0: CALLER
000004a1: PUSH1 0x01
000004a3: PUSH1 0xa0
000004a5: PUSH1 0x02
000004a7: EXP
000004a8: SUB
000004a9: AND
000004aa: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b
000004cb: CALLVALUE
000004cc: DUP5
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: DUP1
000004d1: DUP4
000004d2: DUP2
000004d3: MSTORE
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: DUP1
000004d8: PUSH1 0x20
000004da: ADD
000004db: DUP3
000004dc: DUP2
000004dd: SUB
000004de: DUP3
000004df: MSTORE
000004e0: DUP4
000004e1: DUP2
000004e2: DUP2
000004e3: MLOAD
000004e4: DUP2
000004e5: MSTORE
000004e6: PUSH1 0x20
000004e8: ADD
000004e9: SWAP2
000004ea: POP
000004eb: DUP1
000004ec: MLOAD
000004ed: SWAP1
000004ee: PUSH1 0x20
000004f0: ADD
000004f1: SWAP1
000004f2: DUP1
000004f3: DUP4
000004f4: DUP4
000004f5: DUP3
000004f6: SWAP1
000004f7: PUSH1 0x00
000004f9: PUSH1 0x04
000004fb: PUSH1 0x20
000004fd: DUP5
000004fe: PUSH1 0x1f
00000500: ADD
00000501: DIV
00000502: PUSH1 0x0f
00000504: MUL
00000505: PUSH1 0x03
00000507: ADD
00000508: CALL
00000509: POP
0000050a: SWAP1
0000050b: POP
0000050c: SWAP1
0000050d: DUP2
0000050e: ADD
0000050f: SWAP1
00000510: PUSH1 0x1f
00000512: AND
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x0532
00000518: JUMPI
00000519: DUP1
0000051a: DUP3
0000051b: SUB
0000051c: DUP1
0000051d: MLOAD
0000051e: PUSH1 0x01
00000520: DUP4
00000521: PUSH1 0x20
00000523: SUB
00000524: PUSH2 0x0100
00000527: EXP
00000528: SUB
00000529: NOT
0000052a: AND
0000052b: DUP2
0000052c: MSTORE
0000052d: PUSH1 0x20
0000052f: ADD
00000530: SWAP2
00000531: POP
00000532: JUMPDEST
00000533: POP
00000534: SWAP4
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: DUP1
0000053d: SWAP2
0000053e: SUB
0000053f: SWAP1
00000540: LOG2
00000541: JUMPDEST
00000542: POP
00000543: PUSH1 0x01
00000545: JUMPDEST
00000546: SWAP2
00000547: SWAP1
00000548: POP
00000549: JUMP
0000054a: JUMPDEST
0000054b: PUSH1 0x40
0000054d: DUP1
0000054e: MLOAD
0000054f: SWAP2
00000550: DUP3
00000551: MSTORE
00000552: MLOAD
00000553: SWAP1
00000554: DUP2
00000555: SWAP1
00000556: SUB
00000557: PUSH1 0x20
00000559: ADD
0000055a: SWAP1
0000055b: RETURN
0000055c: JUMPDEST
0000055d: SWAP1
0000055e: POP
0000055f: JUMPDEST
00000560: SWAP1
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x40
00000565: DUP1
00000566: MLOAD
00000567: PUSH1 0x01
00000569: PUSH1 0xa0
0000056b: PUSH1 0x02
0000056d: EXP
0000056e: SUB
0000056f: SWAP1
00000570: SWAP3
00000571: AND
00000572: DUP3
00000573: MSTORE
00000574: MLOAD
00000575: SWAP1
00000576: DUP2
00000577: SWAP1
00000578: SUB
00000579: PUSH1 0x20
0000057b: ADD
0000057c: SWAP1
0000057d: RETURN
0000057e: JUMPDEST
0000057f: STOP
00000580: JUMPDEST
00000581: POP
00000582: PUSH1 0x00
00000584: PUSH2 0x055f
00000587: JUMP
00000588: JUMPDEST
00000589: POP
0000058a: SWAP2
0000058b: SWAP1
0000058c: POP
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH1 0x01
00000591: DUP5
00000592: DUP2
00000593: SSTORE
00000594: PUSH1 0x00
00000596: DUP1
00000597: SLOAD
00000598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ad: NOT
000005ae: AND
000005af: DUP5
000005b0: OR
000005b1: SWAP1
000005b2: SSTORE
000005b3: SWAP3
000005b4: POP
000005b5: JUMPDEST
000005b6: POP
000005b7: POP
000005b8: SWAP3
000005b9: SWAP2
000005ba: POP
000005bb: POP
000005bc: JUMP
000005bd: JUMPDEST
000005be: DUP5
000005bf: SWAP2
000005c0: POP
000005c1: ADDRESS
000005c2: PUSH1 0x01
000005c4: PUSH1 0xa0
000005c6: PUSH1 0x02
000005c8: EXP
000005c9: SUB
000005ca: AND
000005cb: DUP3
000005cc: PUSH1 0x01
000005ce: PUSH1 0xa0
000005d0: PUSH1 0x02
000005d2: EXP
000005d3: SUB
000005d4: AND
000005d5: PUSH4 0x2ade6c36
000005da: DUP7
000005db: PUSH1 0x40
000005dd: MLOAD
000005de: DUP3
000005df: PUSH1 0xe0
000005e1: PUSH1 0x02
000005e3: EXP
000005e4: MUL
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x04
000005e9: ADD
000005ea: DUP1
000005eb: DUP3
000005ec: DUP2
000005ed: MSTORE
000005ee: PUSH1 0x20
000005f0: ADD
000005f1: SWAP2
000005f2: POP
000005f3: POP
000005f4: PUSH1 0x20
000005f6: PUSH1 0x40
000005f8: MLOAD
000005f9: DUP1
000005fa: DUP4
000005fb: SUB
000005fc: DUP2
000005fd: PUSH1 0x00
000005ff: DUP8
00000600: PUSH2 0x61da
00000603: GAS
00000604: SUB
00000605: CALL
00000606: ISZERO
00000607: PUSH2 0x0002
0000060a: JUMPI
0000060b: POP
0000060c: POP
0000060d: PUSH1 0x40
0000060f: MLOAD
00000610: MLOAD
00000611: PUSH1 0x01
00000613: PUSH1 0xa0
00000615: PUSH1 0x02
00000617: EXP
00000618: SUB
00000619: AND
0000061a: SWAP1
0000061b: SWAP2
0000061c: EQ
0000061d: SWAP1
0000061e: POP
0000061f: PUSH2 0x058e
00000622: JUMPI
00000623: DUP2
00000624: PUSH1 0x01
00000626: PUSH1 0xa0
00000628: PUSH1 0x02
0000062a: EXP
0000062b: SUB
0000062c: AND
0000062d: PUSH4 0x76849376
00000632: DUP6
00000633: ADDRESS
00000634: PUSH1 0x40
00000636: MLOAD
00000637: DUP4
00000638: PUSH1 0xe0
0000063a: PUSH1 0x02
0000063c: EXP
0000063d: MUL
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x04
00000642: ADD
00000643: DUP1
00000644: DUP4
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: DUP3
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: PUSH1 0x02
00000651: EXP
00000652: SUB
00000653: AND
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x20
00000658: ADD
00000659: SWAP3
0000065a: POP
0000065b: POP
0000065c: POP
0000065d: PUSH1 0x20
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: DUP1
00000663: DUP4
00000664: SUB
00000665: DUP2
00000666: PUSH1 0x00
00000668: DUP8
00000669: PUSH2 0x61da
0000066c: GAS
0000066d: SUB
0000066e: CALL
0000066f: ISZERO
00000670: PUSH2 0x0002
00000673: JUMPI
00000674: POP
00000675: POP
00000676: PUSH1 0x40
00000678: MLOAD
00000679: MLOAD
0000067a: SWAP2
0000067b: POP
0000067c: POP
0000067d: DUP1
0000067e: ISZERO
0000067f: ISZERO
00000680: PUSH2 0x058e
00000683: JUMPI
00000684: PUSH1 0x00
00000686: SWAP3
00000687: POP
00000688: PUSH2 0x05b5
0000068b: JUMP
0000068c: JUMPDEST
0000068d: POP
0000068e: JUMP
0000068f: JUMPDEST
00000690: DUP4
00000691: PUSH1 0x01
00000693: PUSH1 0xa0
00000695: PUSH1 0x02
00000697: EXP
00000698: SUB
00000699: AND
0000069a: CALLER
0000069b: PUSH1 0x01
0000069d: PUSH1 0xa0
0000069f: PUSH1 0x02
000006a1: EXP
000006a2: SUB
000006a3: AND
000006a4: PUSH32 0x2b0d35cc55a37536a00cf056f44b5f4b453659ddd18bc131a978463523ad3a1f
000006c5: DUP6
000006c6: DUP6
000006c7: PUSH1 0x40
000006c9: MLOAD
000006ca: DUP1
000006cb: DUP4
000006cc: DUP2
000006cd: MSTORE
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: DUP1
000006d2: PUSH1 0x20
000006d4: ADD
000006d5: DUP3
000006d6: DUP2
000006d7: SUB
000006d8: DUP3
000006d9: MSTORE
000006da: DUP4
000006db: DUP2
000006dc: DUP2
000006dd: MLOAD
000006de: DUP2
000006df: MSTORE
000006e0: PUSH1 0x20
000006e2: ADD
000006e3: SWAP2
000006e4: POP
000006e5: DUP1
000006e6: MLOAD
000006e7: SWAP1
000006e8: PUSH1 0x20
000006ea: ADD
000006eb: SWAP1
000006ec: DUP1
000006ed: DUP4
000006ee: DUP4
000006ef: DUP3
000006f0: SWAP1
000006f1: PUSH1 0x00
000006f3: PUSH1 0x04
000006f5: PUSH1 0x20
000006f7: DUP5
000006f8: PUSH1 0x1f
000006fa: ADD
000006fb: DIV
000006fc: PUSH1 0x0f
000006fe: MUL
000006ff: PUSH1 0x03
00000701: ADD
00000702: CALL
00000703: POP
00000704: SWAP1
00000705: POP
00000706: SWAP1
00000707: DUP2
00000708: ADD
00000709: SWAP1
0000070a: PUSH1 0x1f
0000070c: AND
0000070d: DUP1
0000070e: ISZERO
0000070f: PUSH2 0x072c
00000712: JUMPI
00000713: DUP1
00000714: DUP3
00000715: SUB
00000716: DUP1
00000717: MLOAD
00000718: PUSH1 0x01
0000071a: DUP4
0000071b: PUSH1 0x20
0000071d: SUB
0000071e: PUSH2 0x0100
00000721: EXP
00000722: SUB
00000723: NOT
00000724: AND
00000725: DUP2
00000726: MSTORE
00000727: PUSH1 0x20
00000729: ADD
0000072a: SWAP2
0000072b: POP
0000072c: JUMPDEST
0000072d: POP
0000072e: SWAP4
0000072f: POP
00000730: POP
00000731: POP
00000732: POP
00000733: PUSH1 0x40
00000735: MLOAD
00000736: DUP1
00000737: SWAP2
00000738: SUB
00000739: SWAP1
0000073a: LOG3
0000073b: POP
0000073c: PUSH1 0x01
0000073e: JUMPDEST
0000073f: SWAP4
00000740: SWAP3
00000741: POP
00000742: POP
00000743: POP
00000744: JUMP
00000745: JUMPDEST
00000746: ISZERO
00000747: ISZERO
00000748: PUSH2 0x068f
0000074b: JUMPI
0000074c: POP
0000074d: PUSH1 0x00
0000074f: PUSH2 0x073e
00000752: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6 call_targets: 0x97740f3239ead47a78df7eb68b9402ac618b454c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x97740f3239ead47a78df7eb68b9402ac618b454c" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21f8a721", "selector": "0x21f8a721", "calldata_variants": [ "0x21f8a721", "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38eada1c", "selector": "0x38eada1c", "calldata_variants": [ "0x38eada1c", "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4ba79dfe", "selector": "0x4ba79dfe", "calldata_variants": [ "0x4ba79dfe", "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7948f523", "selector": "0x7948f523", "calldata_variants": [ "0x7948f523", "0x7948f5230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95a078e8", "selector": "0x95a078e8", "calldata_variants": [ "0x95a078e8", "0x95a078e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7f43779", "selector": "0xa7f43779", "calldata_variants": [ "0xa7f43779", "0xa7f437790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 263, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 605, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [], "untrusted_call_count": 9 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6 call_targets: 0x97740f3239ead47a78df7eb68b9402ac618b454c target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x97740f3239ead47a78df7eb68b9402ac618b454c" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21f8a721", "selector": "0x21f8a721", "calldata_variants": [ "0x21f8a721", "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38eada1c", "selector": "0x38eada1c", "calldata_variants": [ "0x38eada1c", "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4ba79dfe", "selector": "0x4ba79dfe", "calldata_variants": [ "0x4ba79dfe", "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7948f523", "selector": "0x7948f523", "calldata_variants": [ "0x7948f523", "0x7948f5230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95a078e8", "selector": "0x95a078e8", "calldata_variants": [ "0x95a078e8", "0x95a078e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7f43779", "selector": "0xa7f43779", "calldata_variants": [ "0xa7f43779", "0xa7f437790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 263, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 605, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x662eda489bfae2f347f4b00aa84c6990422ec5e7cec41bd65e11b51fcb4d6bdd validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 22, "trace_id": "0x662eda489bfae2f347f4b00aa84c6990422ec5e7cec41bd65e11b51fcb4d6bdd", "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21f8a721", "selector": "0x21f8a721", "calldata_variants": [ "0x21f8a721", "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38eada1c", "selector": "0x38eada1c", "calldata_variants": [ "0x38eada1c", "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4ba79dfe", "selector": "0x4ba79dfe", "calldata_variants": [ "0x4ba79dfe", "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7948f523", "selector": "0x7948f523", "calldata_variants": [ "0x7948f523", "0x7948f5230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95a078e8", "selector": "0x95a078e8", "calldata_variants": [ "0x95a078e8", "0x95a078e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa7f43779", "selector": "0xa7f43779", "calldata_variants": [ "0xa7f43779", "0xa7f437790000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd0e30db0", "selector": "0xd0e30db0", "calldata_variants": [ "0xd0e30db0", "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000" ] } ] } 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: 0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6

call_targets: 0x97740f3239ead47a78df7eb68b9402ac618b454c

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x97740f3239ead47a78df7eb68b9402ac618b454c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7f43779",
            "selector": "0xa7f43779",
            "calldata_variants": [
                "0xa7f43779",
                "0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 263,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 412,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 605,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6

call_targets: 0x97740f3239ead47a78df7eb68b9402ac618b454c

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x38d01cff581d596138ce6cf292d8198fbd8842440612d223f312590fb8a1bad6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x97740f3239ead47a78df7eb68b9402ac618b454c"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7f43779",
            "selector": "0xa7f43779",
            "calldata_variants": [
                "0xa7f43779",
                "0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 263,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 412,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 605,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}

high

other

detector

SELFDESTRUCT reachable

65

no

view

trace_id: 0x662eda489bfae2f347f4b00aa84c6990422ec5e7cec41bd65e11b51fcb4d6bdd

validation_json

{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 22,
    "trace_id": "0x662eda489bfae2f347f4b00aa84c6990422ec5e7cec41bd65e11b51fcb4d6bdd",
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38eada1c",
            "selector": "0x38eada1c",
            "calldata_variants": [
                "0x38eada1c",
                "0x38eada1c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4ba79dfe",
            "selector": "0x4ba79dfe",
            "calldata_variants": [
                "0x4ba79dfe",
                "0x4ba79dfe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7948f523",
            "selector": "0x7948f523",
            "calldata_variants": [
                "0x7948f523",
                "0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95a078e8",
            "selector": "0x95a078e8",
            "calldata_variants": [
                "0x95a078e8",
                "0x95a078e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7f43779",
            "selector": "0xa7f43779",
            "calldata_variants": [
                "0xa7f43779",
                "0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

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