Analysis Run

019b3836-4d30-71d3-96f8-e19eaaa3bdcb

complete

Chain ID

1

Address

0xb7439aee668e802be9c2e3d0643e0bd0338dd0ce

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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

SELFDESTRUCT 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
7175	artifact.fetch	complete	1 / 3	4 months ago
7176	tool.cast_disasm	complete	1 / 3	4 months ago
50320	analysis.bundle	complete	1 / 3	2 weeks ago
50321	capability.graph	complete	1 / 3	2 weeks ago
50322	detector.run	complete	1 / 3	2 weeks ago
50323	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

0

EXT*/BALANCE

0

Total opcodes

777

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ab
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x07da68f5
00000034: EQ
00000035: PUSH2 0x00ad
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x0eecae21
0000003f: EQ
00000040: PUSH2 0x00bc
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x38cc4831
0000004a: EQ
0000004b: PUSH2 0x00f5
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x3e539e71
00000055: EQ
00000056: PUSH2 0x012e
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x41c0e1b5
00000060: EQ
00000061: PUSH2 0x0146
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x893d20e8
0000006b: EQ
0000006c: PUSH2 0x0155
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x936ed117
00000076: EQ
00000077: PUSH2 0x018e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbe9a6555
00000081: EQ
00000082: PUSH2 0x01b1
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xce10cf88
0000008c: EQ
0000008d: PUSH2 0x01c0
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe30081a0
00000097: EQ
00000098: PUSH2 0x0202
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xed96cd42
000000a2: EQ
000000a3: PUSH2 0x021a
000000a6: JUMPI
000000a7: PUSH2 0x00ab
000000aa: JUMP
000000ab: JUMPDEST
000000ac: STOP
000000ad: JUMPDEST
000000ae: PUSH2 0x00ba
000000b1: PUSH1 0x04
000000b3: DUP1
000000b4: POP
000000b5: POP
000000b6: PUSH2 0x02c0
000000b9: JUMP
000000ba: JUMPDEST
000000bb: STOP
000000bc: JUMPDEST
000000bd: PUSH2 0x00c9
000000c0: PUSH1 0x04
000000c2: DUP1
000000c3: POP
000000c4: POP
000000c5: PUSH2 0x03e5
000000c8: JUMP
000000c9: JUMPDEST
000000ca: PUSH1 0x40
000000cc: MLOAD
000000cd: DUP1
000000ce: DUP3
000000cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000e4: AND
000000e5: DUP2
000000e6: MSTORE
000000e7: PUSH1 0x20
000000e9: ADD
000000ea: SWAP2
000000eb: POP
000000ec: POP
000000ed: PUSH1 0x40
000000ef: MLOAD
000000f0: DUP1
000000f1: SWAP2
000000f2: SUB
000000f3: SWAP1
000000f4: RETURN
000000f5: JUMPDEST
000000f6: PUSH2 0x0102
000000f9: PUSH1 0x04
000000fb: DUP1
000000fc: POP
000000fd: POP
000000fe: PUSH2 0x05b0
00000101: JUMP
00000102: JUMPDEST
00000103: PUSH1 0x40
00000105: MLOAD
00000106: DUP1
00000107: DUP3
00000108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000011d: AND
0000011e: DUP2
0000011f: MSTORE
00000120: PUSH1 0x20
00000122: ADD
00000123: SWAP2
00000124: POP
00000125: POP
00000126: PUSH1 0x40
00000128: MLOAD
00000129: DUP1
0000012a: SWAP2
0000012b: SUB
0000012c: SWAP1
0000012d: RETURN
0000012e: JUMPDEST
0000012f: PUSH2 0x0144
00000132: PUSH1 0x04
00000134: DUP1
00000135: DUP1
00000136: CALLDATALOAD
00000137: SWAP1
00000138: PUSH1 0x20
0000013a: ADD
0000013b: SWAP1
0000013c: SWAP2
0000013d: SWAP1
0000013e: POP
0000013f: POP
00000140: PUSH2 0x02dc
00000143: JUMP
00000144: JUMPDEST
00000145: STOP
00000146: JUMPDEST
00000147: PUSH2 0x0153
0000014a: PUSH1 0x04
0000014c: DUP1
0000014d: POP
0000014e: POP
0000014f: PUSH2 0x0496
00000152: JUMP
00000153: JUMPDEST
00000154: STOP
00000155: JUMPDEST
00000156: PUSH2 0x0162
00000159: PUSH1 0x04
0000015b: DUP1
0000015c: POP
0000015d: POP
0000015e: PUSH2 0x023d
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH1 0x40
00000165: MLOAD
00000166: DUP1
00000167: DUP3
00000168: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000017d: AND
0000017e: DUP2
0000017f: MSTORE
00000180: PUSH1 0x20
00000182: ADD
00000183: SWAP2
00000184: POP
00000185: POP
00000186: PUSH1 0x40
00000188: MLOAD
00000189: DUP1
0000018a: SWAP2
0000018b: SUB
0000018c: SWAP1
0000018d: RETURN
0000018e: JUMPDEST
0000018f: PUSH2 0x019b
00000192: PUSH1 0x04
00000194: DUP1
00000195: POP
00000196: POP
00000197: PUSH2 0x0361
0000019a: JUMP
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: DUP1
000001a0: DUP3
000001a1: DUP2
000001a2: MSTORE
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: SWAP2
000001a7: POP
000001a8: POP
000001a9: PUSH1 0x40
000001ab: MLOAD
000001ac: DUP1
000001ad: SWAP2
000001ae: SUB
000001af: SWAP1
000001b0: RETURN
000001b1: JUMPDEST
000001b2: PUSH2 0x01be
000001b5: PUSH1 0x04
000001b7: DUP1
000001b8: POP
000001b9: POP
000001ba: PUSH2 0x024a
000001bd: JUMP
000001be: JUMPDEST
000001bf: STOP
000001c0: JUMPDEST
000001c1: PUSH2 0x01d6
000001c4: PUSH1 0x04
000001c6: DUP1
000001c7: DUP1
000001c8: CALLDATALOAD
000001c9: SWAP1
000001ca: PUSH1 0x20
000001cc: ADD
000001cd: SWAP1
000001ce: SWAP2
000001cf: SWAP1
000001d0: POP
000001d1: POP
000001d2: PUSH2 0x0385
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH1 0x40
000001d9: MLOAD
000001da: DUP1
000001db: DUP3
000001dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f1: AND
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP2
000001f8: POP
000001f9: POP
000001fa: PUSH1 0x40
000001fc: MLOAD
000001fd: DUP1
000001fe: SWAP2
000001ff: SUB
00000200: SWAP1
00000201: RETURN
00000202: JUMPDEST
00000203: PUSH2 0x0218
00000206: PUSH1 0x04
00000208: DUP1
00000209: DUP1
0000020a: CALLDATALOAD
0000020b: SWAP1
0000020c: PUSH1 0x20
0000020e: ADD
0000020f: SWAP1
00000210: SWAP2
00000211: SWAP1
00000212: POP
00000213: POP
00000214: PUSH2 0x052a
00000217: JUMP
00000218: JUMPDEST
00000219: STOP
0000021a: JUMPDEST
0000021b: PUSH2 0x0227
0000021e: PUSH1 0x04
00000220: DUP1
00000221: POP
00000222: POP
00000223: PUSH2 0x0373
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: DUP1
0000022c: DUP3
0000022d: DUP2
0000022e: MSTORE
0000022f: PUSH1 0x20
00000231: ADD
00000232: SWAP2
00000233: POP
00000234: POP
00000235: PUSH1 0x40
00000237: MLOAD
00000238: DUP1
00000239: SWAP2
0000023a: SUB
0000023b: SWAP1
0000023c: RETURN
0000023d: JUMPDEST
0000023e: PUSH1 0x00
00000240: ADDRESS
00000241: SWAP1
00000242: POP
00000243: PUSH2 0x0247
00000246: JUMP
00000247: JUMPDEST
00000248: SWAP1
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x00
0000024d: PUSH1 0x06
0000024f: PUSH1 0x00
00000251: POP
00000252: DUP2
00000253: SWAP1
00000254: SSTORE
00000255: POP
00000256: PUSH1 0x01
00000258: PUSH1 0x00
0000025a: POP
0000025b: SLOAD
0000025c: PUSH1 0x00
0000025e: PUSH1 0x00
00000260: POP
00000261: SLOAD
00000262: DIV
00000263: PUSH1 0x05
00000265: PUSH1 0x00
00000267: POP
00000268: DUP2
00000269: SWAP1
0000026a: SSTORE
0000026b: POP
0000026c: PUSH1 0x01
0000026e: PUSH1 0x04
00000270: PUSH1 0x00
00000272: PUSH2 0x0100
00000275: EXP
00000276: DUP2
00000277: SLOAD
00000278: DUP2
00000279: PUSH1 0xff
0000027b: MUL
0000027c: NOT
0000027d: AND
0000027e: SWAP1
0000027f: DUP4
00000280: MUL
00000281: OR
00000282: SWAP1
00000283: SSTORE
00000284: POP
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: DUP1
0000028a: PUSH32 0x737461727442757920636f6e7472616374000000000000000000000000000000
000002ab: DUP2
000002ac: MSTORE
000002ad: PUSH1 0x20
000002af: ADD
000002b0: POP
000002b1: PUSH1 0x11
000002b3: ADD
000002b4: SWAP1
000002b5: POP
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: SWAP2
000002bb: SUB
000002bc: SWAP1
000002bd: LOG0
000002be: JUMPDEST
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH1 0x00
000002c3: PUSH1 0x04
000002c5: PUSH1 0x00
000002c7: PUSH2 0x0100
000002ca: EXP
000002cb: DUP2
000002cc: SLOAD
000002cd: DUP2
000002ce: PUSH1 0xff
000002d0: MUL
000002d1: NOT
000002d2: AND
000002d3: SWAP1
000002d4: DUP4
000002d5: MUL
000002d6: OR
000002d7: SWAP1
000002d8: SSTORE
000002d9: POP
000002da: JUMPDEST
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x04
000002df: PUSH1 0x00
000002e1: SWAP1
000002e2: SLOAD
000002e3: SWAP1
000002e4: PUSH2 0x0100
000002e7: EXP
000002e8: SWAP1
000002e9: DIV
000002ea: PUSH1 0xff
000002ec: AND
000002ed: DUP1
000002ee: ISZERO
000002ef: PUSH2 0x0301
000002f2: JUMPI
000002f3: POP
000002f4: PUSH1 0x05
000002f6: PUSH1 0x00
000002f8: POP
000002f9: SLOAD
000002fa: PUSH1 0x06
000002fc: PUSH1 0x00
000002fe: POP
000002ff: SLOAD
00000300: LT
00000301: JUMPDEST
00000302: ISZERO
00000303: PUSH2 0x035d
00000306: JUMPI
00000307: PUSH1 0x01
00000309: PUSH1 0x06
0000030b: PUSH1 0x00
0000030d: POP
0000030e: SLOAD
0000030f: ADD
00000310: PUSH1 0x06
00000312: PUSH1 0x00
00000314: POP
00000315: DUP2
00000316: SWAP1
00000317: SSTORE
00000318: POP
00000319: DUP1
0000031a: PUSH1 0x03
0000031c: PUSH1 0x00
0000031e: POP
0000031f: PUSH1 0x00
00000321: PUSH1 0x06
00000323: PUSH1 0x00
00000325: POP
00000326: SLOAD
00000327: DUP2
00000328: MSTORE
00000329: PUSH1 0x20
0000032b: ADD
0000032c: SWAP1
0000032d: DUP2
0000032e: MSTORE
0000032f: PUSH1 0x20
00000331: ADD
00000332: PUSH1 0x00
00000334: KECCAK256
00000335: PUSH1 0x00
00000337: PUSH2 0x0100
0000033a: EXP
0000033b: DUP2
0000033c: SLOAD
0000033d: DUP2
0000033e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000353: MUL
00000354: NOT
00000355: AND
00000356: SWAP1
00000357: DUP4
00000358: MUL
00000359: OR
0000035a: SWAP1
0000035b: SSTORE
0000035c: POP
0000035d: JUMPDEST
0000035e: JUMPDEST
0000035f: POP
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH1 0x00
00000364: PUSH1 0x06
00000366: PUSH1 0x00
00000368: POP
00000369: SLOAD
0000036a: SWAP1
0000036b: POP
0000036c: PUSH2 0x0370
0000036f: JUMP
00000370: JUMPDEST
00000371: SWAP1
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH1 0x00
00000376: PUSH1 0x05
00000378: PUSH1 0x00
0000037a: POP
0000037b: SLOAD
0000037c: SWAP1
0000037d: POP
0000037e: PUSH2 0x0382
00000381: JUMP
00000382: JUMPDEST
00000383: SWAP1
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x00
00000388: PUSH1 0x00
0000038a: DUP3
0000038b: GT
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x039c
00000391: JUMPI
00000392: POP
00000393: PUSH1 0x06
00000395: PUSH1 0x00
00000397: POP
00000398: SLOAD
00000399: DUP3
0000039a: GT
0000039b: ISZERO
0000039c: JUMPDEST
0000039d: ISZERO
0000039e: PUSH2 0x03df
000003a1: JUMPI
000003a2: PUSH1 0x03
000003a4: PUSH1 0x00
000003a6: POP
000003a7: PUSH1 0x00
000003a9: DUP4
000003aa: DUP2
000003ab: MSTORE
000003ac: PUSH1 0x20
000003ae: ADD
000003af: SWAP1
000003b0: DUP2
000003b1: MSTORE
000003b2: PUSH1 0x20
000003b4: ADD
000003b5: PUSH1 0x00
000003b7: KECCAK256
000003b8: PUSH1 0x00
000003ba: SWAP1
000003bb: SLOAD
000003bc: SWAP1
000003bd: PUSH2 0x0100
000003c0: EXP
000003c1: SWAP1
000003c2: DIV
000003c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d8: AND
000003d9: SWAP1
000003da: POP
000003db: PUSH2 0x03e0
000003de: JUMP
000003df: JUMPDEST
000003e0: JUMPDEST
000003e1: SWAP2
000003e2: SWAP1
000003e3: POP
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH1 0x00
000003e8: PUSH1 0x00
000003ea: PUSH1 0x00
000003ec: PUSH1 0x05
000003ee: PUSH1 0x00
000003f0: POP
000003f1: SLOAD
000003f2: PUSH1 0x06
000003f4: PUSH1 0x00
000003f6: POP
000003f7: SLOAD
000003f8: LT
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH2 0x0002
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH1 0x01
00000405: NUMBER
00000406: SUB
00000407: BLOCKHASH
00000408: PUSH1 0x01
0000040a: SWAP1
0000040b: DIV
0000040c: SWAP2
0000040d: POP
0000040e: PUSH1 0x01
00000410: PUSH1 0x06
00000412: PUSH1 0x00
00000414: POP
00000415: SLOAD
00000416: DUP4
00000417: MOD
00000418: ADD
00000419: SWAP1
0000041a: POP
0000041b: PUSH1 0x40
0000041d: MLOAD
0000041e: DUP1
0000041f: DUP1
00000420: PUSH32 0x6472617720646f6e653a00000000000000000000000000000000000000000000
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x20
00000445: ADD
00000446: POP
00000447: PUSH1 0x0a
00000449: ADD
0000044a: SWAP1
0000044b: POP
0000044c: PUSH1 0x40
0000044e: MLOAD
0000044f: DUP1
00000450: SWAP2
00000451: SUB
00000452: SWAP1
00000453: LOG0
00000454: PUSH1 0x03
00000456: PUSH1 0x00
00000458: POP
00000459: PUSH1 0x00
0000045b: DUP3
0000045c: DUP2
0000045d: MSTORE
0000045e: PUSH1 0x20
00000460: ADD
00000461: SWAP1
00000462: DUP2
00000463: MSTORE
00000464: PUSH1 0x20
00000466: ADD
00000467: PUSH1 0x00
00000469: KECCAK256
0000046a: PUSH1 0x00
0000046c: SWAP1
0000046d: SLOAD
0000046e: SWAP1
0000046f: PUSH2 0x0100
00000472: EXP
00000473: SWAP1
00000474: DIV
00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048a: AND
0000048b: SWAP3
0000048c: POP
0000048d: PUSH2 0x0491
00000490: JUMP
00000491: JUMPDEST
00000492: POP
00000493: POP
00000494: SWAP1
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH1 0x02
00000499: PUSH1 0x00
0000049b: SWAP1
0000049c: SLOAD
0000049d: SWAP1
0000049e: PUSH2 0x0100
000004a1: EXP
000004a2: SWAP1
000004a3: DIV
000004a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b9: AND
000004ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cf: AND
000004d0: CALLER
000004d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e6: AND
000004e7: EQ
000004e8: ISZERO
000004e9: PUSH2 0x0527
000004ec: JUMPI
000004ed: PUSH1 0x02
000004ef: PUSH1 0x00
000004f1: SWAP1
000004f2: SLOAD
000004f3: SWAP1
000004f4: PUSH2 0x0100
000004f7: EXP
000004f8: SWAP1
000004f9: DIV
000004fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000050f: AND
00000510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000525: AND
00000526: SELFDESTRUCT
00000527: JUMPDEST
00000528: JUMPDEST
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x02
0000052d: PUSH1 0x00
0000052f: SWAP1
00000530: SLOAD
00000531: SWAP1
00000532: PUSH2 0x0100
00000535: EXP
00000536: SWAP1
00000537: DIV
00000538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054d: AND
0000054e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000563: AND
00000564: CALLER
00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000057a: AND
0000057b: EQ
0000057c: ISZERO
0000057d: PUSH2 0x05ac
00000580: JUMPI
00000581: DUP1
00000582: PUSH1 0x07
00000584: PUSH1 0x00
00000586: PUSH2 0x0100
00000589: EXP
0000058a: DUP2
0000058b: SLOAD
0000058c: DUP2
0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a2: MUL
000005a3: NOT
000005a4: AND
000005a5: SWAP1
000005a6: DUP4
000005a7: MUL
000005a8: OR
000005a9: SWAP1
000005aa: SSTORE
000005ab: POP
000005ac: JUMPDEST
000005ad: JUMPDEST
000005ae: POP
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x00
000005b3: PUSH1 0x07
000005b5: PUSH1 0x00
000005b7: SWAP1
000005b8: SLOAD
000005b9: SWAP1
000005ba: PUSH2 0x0100
000005bd: EXP
000005be: SWAP1
000005bf: DIV
000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d5: AND
000005d6: SWAP1
000005d7: POP
000005d8: PUSH2 0x05dc
000005db: JUMP
000005dc: JUMPDEST
000005dd: SWAP1
000005de: 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
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xdb6ca7fcc31d8cdb3ea821690acf7cab1e7b9a4c3a10e317b9cbed00c502f28e validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 22, "trace_id": "0xdb6ca7fcc31d8cdb3ea821690acf7cab1e7b9a4c3a10e317b9cbed00c502f28e", "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": "0x07da68f5", "selector": "0x07da68f5", "calldata_variants": [ "0x07da68f5", "0x07da68f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0eecae21", "selector": "0x0eecae21", "calldata_variants": [ "0x0eecae21", "0x0eecae210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x38cc4831", "selector": "0x38cc4831", "calldata_variants": [ "0x38cc4831", "0x38cc48310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3e539e71", "selector": "0x3e539e71", "calldata_variants": [ "0x3e539e71", "0x3e539e710000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x893d20e8", "selector": "0x893d20e8", "calldata_variants": [ "0x893d20e8", "0x893d20e80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x936ed117", "selector": "0x936ed117", "calldata_variants": [ "0x936ed117", "0x936ed1170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbe9a6555", "selector": "0xbe9a6555", "calldata_variants": [ "0xbe9a6555", "0xbe9a65550000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 1232, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 1380, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "selfdestruct_count": 1 }

Severity