TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3836-2c89-731a-badd-fae9becffe6d

complete
Chain ID
1
Address
0x3688c31568b011b541701311a0d31d41fffd8bdf
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
1943 artifact.fetch complete 1 / 3 4 months ago
1944 tool.cast_disasm complete 1 / 3 4 months ago
96662 analysis.bundle complete 1 / 3 2 weeks ago
96663 capability.graph complete 1 / 3 2 weeks ago
96664 detector.run complete 1 / 3 2 weeks ago
96665 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)
2
EXT*/BALANCE
0
Total opcodes
1547
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0119
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x0a831b35
00000034: EQ
00000035: PUSH2 0x011b
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x12c7df73
0000003f: EQ
00000040: PUSH2 0x013e
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x15932ee9
0000004a: EQ
0000004b: PUSH2 0x0161
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x2530c905
00000055: EQ
00000056: PUSH2 0x0184
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x256d1835
00000060: EQ
00000061: PUSH2 0x01b0
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x350df1df
0000006b: EQ
0000006c: PUSH2 0x01d3
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x35815b95
00000076: EQ
00000077: PUSH2 0x01f6
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x41c0e1b5
00000081: EQ
00000082: PUSH2 0x0219
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x4523ad1b
0000008c: EQ
0000008d: PUSH2 0x0228
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x473ca96c
00000097: EQ
00000098: PUSH2 0x024b
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x58cf8131
000000a2: EQ
000000a3: PUSH2 0x026e
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x62d95d9b
000000ad: EQ
000000ae: PUSH2 0x0291
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0x713658f3
000000b8: EQ
000000b9: PUSH2 0x02b4
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0x7ca5d65b
000000c3: EQ
000000c4: PUSH2 0x02d7
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0x8da5cb5b
000000ce: EQ
000000cf: PUSH2 0x02fa
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0xaa8c217c
000000d9: EQ
000000da: PUSH2 0x0333
000000dd: JUMPI
000000de: DUP1
000000df: PUSH4 0xb6ee3b86
000000e4: EQ
000000e5: PUSH2 0x0356
000000e8: JUMPI
000000e9: DUP1
000000ea: PUSH4 0xc040e6b8
000000ef: EQ
000000f0: PUSH2 0x0379
000000f3: JUMPI
000000f4: DUP1
000000f5: PUSH4 0xc2ca0ac5
000000fa: EQ
000000fb: PUSH2 0x039c
000000fe: JUMPI
000000ff: DUP1
00000100: PUSH4 0xd9651f7a
00000105: EQ
00000106: PUSH2 0x03c8
00000109: JUMPI
0000010a: DUP1
0000010b: PUSH4 0xfcaa7664
00000110: EQ
00000111: PUSH2 0x03d7
00000114: JUMPI
00000115: PUSH2 0x0119
00000118: JUMP
00000119: JUMPDEST
0000011a: STOP
0000011b: JUMPDEST
0000011c: PUSH2 0x0128
0000011f: PUSH1 0x04
00000121: DUP1
00000122: POP
00000123: POP
00000124: PUSH2 0x0830
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH1 0x40
0000012b: MLOAD
0000012c: DUP1
0000012d: DUP3
0000012e: DUP2
0000012f: MSTORE
00000130: PUSH1 0x20
00000132: ADD
00000133: SWAP2
00000134: POP
00000135: POP
00000136: PUSH1 0x40
00000138: MLOAD
00000139: DUP1
0000013a: SWAP2
0000013b: SUB
0000013c: SWAP1
0000013d: RETURN
0000013e: JUMPDEST
0000013f: PUSH2 0x014b
00000142: PUSH1 0x04
00000144: DUP1
00000145: POP
00000146: POP
00000147: PUSH2 0x043c
0000014a: JUMP
0000014b: JUMPDEST
0000014c: PUSH1 0x40
0000014e: MLOAD
0000014f: DUP1
00000150: DUP3
00000151: DUP2
00000152: MSTORE
00000153: PUSH1 0x20
00000155: ADD
00000156: SWAP2
00000157: POP
00000158: POP
00000159: PUSH1 0x40
0000015b: MLOAD
0000015c: DUP1
0000015d: SWAP2
0000015e: SUB
0000015f: SWAP1
00000160: RETURN
00000161: JUMPDEST
00000162: PUSH2 0x016e
00000165: PUSH1 0x04
00000167: DUP1
00000168: POP
00000169: POP
0000016a: PUSH2 0x0469
0000016d: JUMP
0000016e: JUMPDEST
0000016f: PUSH1 0x40
00000171: MLOAD
00000172: DUP1
00000173: DUP3
00000174: DUP2
00000175: MSTORE
00000176: PUSH1 0x20
00000178: ADD
00000179: SWAP2
0000017a: POP
0000017b: POP
0000017c: PUSH1 0x40
0000017e: MLOAD
0000017f: DUP1
00000180: SWAP2
00000181: SUB
00000182: SWAP1
00000183: RETURN
00000184: JUMPDEST
00000185: PUSH2 0x019a
00000188: PUSH1 0x04
0000018a: DUP1
0000018b: DUP1
0000018c: CALLDATALOAD
0000018d: SWAP1
0000018e: PUSH1 0x20
00000190: ADD
00000191: SWAP1
00000192: SWAP2
00000193: SWAP1
00000194: POP
00000195: POP
00000196: PUSH2 0x0498
00000199: JUMP
0000019a: JUMPDEST
0000019b: PUSH1 0x40
0000019d: MLOAD
0000019e: DUP1
0000019f: DUP3
000001a0: DUP2
000001a1: MSTORE
000001a2: PUSH1 0x20
000001a4: ADD
000001a5: SWAP2
000001a6: POP
000001a7: POP
000001a8: PUSH1 0x40
000001aa: MLOAD
000001ab: DUP1
000001ac: SWAP2
000001ad: SUB
000001ae: SWAP1
000001af: RETURN
000001b0: JUMPDEST
000001b1: PUSH2 0x01bd
000001b4: PUSH1 0x04
000001b6: DUP1
000001b7: POP
000001b8: POP
000001b9: PUSH2 0x0866
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: DUP1
000001c2: DUP3
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: SWAP2
000001c9: POP
000001ca: POP
000001cb: PUSH1 0x40
000001cd: MLOAD
000001ce: DUP1
000001cf: SWAP2
000001d0: SUB
000001d1: SWAP1
000001d2: RETURN
000001d3: JUMPDEST
000001d4: PUSH2 0x01e0
000001d7: PUSH1 0x04
000001d9: DUP1
000001da: POP
000001db: POP
000001dc: PUSH2 0x0460
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: DUP3
000001e6: DUP2
000001e7: MSTORE
000001e8: PUSH1 0x20
000001ea: ADD
000001eb: SWAP2
000001ec: POP
000001ed: POP
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: RETURN
000001f6: JUMPDEST
000001f7: PUSH2 0x0203
000001fa: PUSH1 0x04
000001fc: DUP1
000001fd: POP
000001fe: POP
000001ff: PUSH2 0x03fa
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH1 0x40
00000206: MLOAD
00000207: DUP1
00000208: DUP3
00000209: DUP2
0000020a: MSTORE
0000020b: PUSH1 0x20
0000020d: ADD
0000020e: SWAP2
0000020f: POP
00000210: POP
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: SWAP2
00000216: SUB
00000217: SWAP1
00000218: RETURN
00000219: JUMPDEST
0000021a: PUSH2 0x0226
0000021d: PUSH1 0x04
0000021f: DUP1
00000220: POP
00000221: POP
00000222: PUSH2 0x0878
00000225: JUMP
00000226: JUMPDEST
00000227: STOP
00000228: JUMPDEST
00000229: PUSH2 0x0235
0000022c: PUSH1 0x04
0000022e: DUP1
0000022f: POP
00000230: POP
00000231: PUSH2 0x044e
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: DUP1
0000023a: DUP3
0000023b: DUP2
0000023c: MSTORE
0000023d: PUSH1 0x20
0000023f: ADD
00000240: SWAP2
00000241: POP
00000242: POP
00000243: PUSH1 0x40
00000245: MLOAD
00000246: DUP1
00000247: SWAP2
00000248: SUB
00000249: SWAP1
0000024a: RETURN
0000024b: JUMPDEST
0000024c: PUSH2 0x0258
0000024f: PUSH1 0x04
00000251: DUP1
00000252: POP
00000253: POP
00000254: PUSH2 0x0485
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: DUP1
0000025d: DUP3
0000025e: DUP2
0000025f: MSTORE
00000260: PUSH1 0x20
00000262: ADD
00000263: SWAP2
00000264: POP
00000265: POP
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: SWAP2
0000026b: SUB
0000026c: SWAP1
0000026d: RETURN
0000026e: JUMPDEST
0000026f: PUSH2 0x027b
00000272: PUSH1 0x04
00000274: DUP1
00000275: POP
00000276: POP
00000277: PUSH2 0x0842
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: DUP3
00000281: DUP2
00000282: MSTORE
00000283: PUSH1 0x20
00000285: ADD
00000286: SWAP2
00000287: POP
00000288: POP
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: DUP1
0000028d: SWAP2
0000028e: SUB
0000028f: SWAP1
00000290: RETURN
00000291: JUMPDEST
00000292: PUSH2 0x029e
00000295: PUSH1 0x04
00000297: DUP1
00000298: POP
00000299: POP
0000029a: PUSH2 0x081e
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH1 0x40
000002a1: MLOAD
000002a2: DUP1
000002a3: DUP3
000002a4: DUP2
000002a5: MSTORE
000002a6: PUSH1 0x20
000002a8: ADD
000002a9: SWAP2
000002aa: POP
000002ab: POP
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: DUP1
000002b0: SWAP2
000002b1: SUB
000002b2: SWAP1
000002b3: RETURN
000002b4: JUMPDEST
000002b5: PUSH2 0x02c1
000002b8: PUSH1 0x04
000002ba: DUP1
000002bb: POP
000002bc: POP
000002bd: PUSH2 0x0472
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP1
000002c6: DUP3
000002c7: DUP2
000002c8: MSTORE
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: SWAP2
000002cd: POP
000002ce: POP
000002cf: PUSH1 0x40
000002d1: MLOAD
000002d2: DUP1
000002d3: SWAP2
000002d4: SUB
000002d5: SWAP1
000002d6: RETURN
000002d7: JUMPDEST
000002d8: PUSH2 0x02e4
000002db: PUSH1 0x04
000002dd: DUP1
000002de: POP
000002df: POP
000002e0: PUSH2 0x0854
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: DUP3
000002ea: DUP2
000002eb: MSTORE
000002ec: PUSH1 0x20
000002ee: ADD
000002ef: SWAP2
000002f0: POP
000002f1: POP
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: DUP1
000002f6: SWAP2
000002f7: SUB
000002f8: SWAP1
000002f9: RETURN
000002fa: JUMPDEST
000002fb: PUSH2 0x0307
000002fe: PUSH1 0x04
00000300: DUP1
00000301: POP
00000302: POP
00000303: PUSH2 0x0416
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: DUP1
0000030c: DUP3
0000030d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000322: AND
00000323: DUP2
00000324: MSTORE
00000325: PUSH1 0x20
00000327: ADD
00000328: SWAP2
00000329: POP
0000032a: POP
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: DUP1
0000032f: SWAP2
00000330: SUB
00000331: SWAP1
00000332: RETURN
00000333: JUMPDEST
00000334: PUSH2 0x0340
00000337: PUSH1 0x04
00000339: DUP1
0000033a: POP
0000033b: POP
0000033c: PUSH2 0x0445
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH1 0x40
00000343: MLOAD
00000344: DUP1
00000345: DUP3
00000346: DUP2
00000347: MSTORE
00000348: PUSH1 0x20
0000034a: ADD
0000034b: SWAP2
0000034c: POP
0000034d: POP
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: DUP1
00000352: SWAP2
00000353: SUB
00000354: SWAP1
00000355: RETURN
00000356: JUMPDEST
00000357: PUSH2 0x0363
0000035a: PUSH1 0x04
0000035c: DUP1
0000035d: POP
0000035e: POP
0000035f: PUSH2 0x0457
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x40
00000366: MLOAD
00000367: DUP1
00000368: DUP3
00000369: DUP2
0000036a: MSTORE
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP2
0000036f: POP
00000370: POP
00000371: PUSH1 0x40
00000373: MLOAD
00000374: DUP1
00000375: SWAP2
00000376: SUB
00000377: SWAP1
00000378: RETURN
00000379: JUMPDEST
0000037a: PUSH2 0x0386
0000037d: PUSH1 0x04
0000037f: DUP1
00000380: POP
00000381: POP
00000382: PUSH2 0x0403
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: DUP1
0000038b: DUP3
0000038c: DUP2
0000038d: MSTORE
0000038e: PUSH1 0x20
00000390: ADD
00000391: SWAP2
00000392: POP
00000393: POP
00000394: PUSH1 0x40
00000396: MLOAD
00000397: DUP1
00000398: SWAP2
00000399: SUB
0000039a: SWAP1
0000039b: RETURN
0000039c: JUMPDEST
0000039d: PUSH2 0x03b2
000003a0: PUSH1 0x04
000003a2: DUP1
000003a3: DUP1
000003a4: CALLDATALOAD
000003a5: SWAP1
000003a6: PUSH1 0x20
000003a8: ADD
000003a9: SWAP1
000003aa: SWAP2
000003ab: SWAP1
000003ac: POP
000003ad: POP
000003ae: PUSH2 0x05d4
000003b1: JUMP
000003b2: JUMPDEST
000003b3: PUSH1 0x40
000003b5: MLOAD
000003b6: DUP1
000003b7: DUP3
000003b8: DUP2
000003b9: MSTORE
000003ba: PUSH1 0x20
000003bc: ADD
000003bd: SWAP2
000003be: POP
000003bf: POP
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: SWAP2
000003c5: SUB
000003c6: SWAP1
000003c7: RETURN
000003c8: JUMPDEST
000003c9: PUSH2 0x03d5
000003cc: PUSH1 0x04
000003ce: DUP1
000003cf: POP
000003d0: POP
000003d1: PUSH2 0x0562
000003d4: JUMP
000003d5: JUMPDEST
000003d6: STOP
000003d7: JUMPDEST
000003d8: PUSH2 0x03e4
000003db: PUSH1 0x04
000003dd: DUP1
000003de: POP
000003df: POP
000003e0: PUSH2 0x0802
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: DUP1
000003e9: DUP3
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: SWAP2
000003f0: POP
000003f1: POP
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: DUP1
000003f6: SWAP2
000003f7: SUB
000003f8: SWAP1
000003f9: RETURN
000003fa: JUMPDEST
000003fb: PUSH1 0x09
000003fd: PUSH1 0x00
000003ff: POP
00000400: SLOAD
00000401: DUP2
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH1 0x00
00000406: PUSH1 0x00
00000408: SWAP1
00000409: SLOAD
0000040a: SWAP1
0000040b: PUSH2 0x0100
0000040e: EXP
0000040f: SWAP1
00000410: DIV
00000411: PUSH1 0xff
00000413: AND
00000414: DUP2
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x00
00000419: PUSH1 0x01
0000041b: SWAP1
0000041c: SLOAD
0000041d: SWAP1
0000041e: PUSH2 0x0100
00000421: EXP
00000422: SWAP1
00000423: DIV
00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000439: AND
0000043a: DUP2
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH1 0x01
0000043f: PUSH1 0x00
00000441: POP
00000442: SLOAD
00000443: DUP2
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH1 0x02
00000448: PUSH1 0x00
0000044a: POP
0000044b: SLOAD
0000044c: DUP2
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH1 0x04
00000451: PUSH1 0x00
00000453: POP
00000454: SLOAD
00000455: DUP2
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x05
0000045a: PUSH1 0x00
0000045c: POP
0000045d: SLOAD
0000045e: DUP2
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH1 0x06
00000463: PUSH1 0x00
00000465: POP
00000466: SLOAD
00000467: DUP2
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH1 0x07
0000046c: PUSH1 0x00
0000046e: POP
0000046f: SLOAD
00000470: DUP2
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x08
00000475: PUSH1 0x00
00000477: SWAP1
00000478: SLOAD
00000479: SWAP1
0000047a: PUSH2 0x0100
0000047d: EXP
0000047e: SWAP1
0000047f: DIV
00000480: PUSH1 0xff
00000482: AND
00000483: DUP2
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x08
00000488: PUSH1 0x01
0000048a: SWAP1
0000048b: SLOAD
0000048c: SWAP1
0000048d: PUSH2 0x0100
00000490: EXP
00000491: SWAP1
00000492: DIV
00000493: PUSH1 0xff
00000495: AND
00000496: DUP2
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x00
0000049b: PUSH1 0x00
0000049d: PUSH1 0x00
0000049f: PUSH1 0x00
000004a1: PUSH1 0x00
000004a3: DUP1
000004a4: PUSH1 0x00
000004a6: PUSH1 0x00
000004a8: SWAP1
000004a9: SLOAD
000004aa: SWAP1
000004ab: PUSH2 0x0100
000004ae: EXP
000004af: SWAP1
000004b0: DIV
000004b1: PUSH1 0xff
000004b3: AND
000004b4: EQ
000004b5: ISZERO
000004b6: ISZERO
000004b7: PUSH2 0x04bf
000004ba: JUMPI
000004bb: PUSH2 0x0002
000004be: JUMP
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: SWAP4
000004c2: POP
000004c3: PUSH1 0x01
000004c5: PUSH1 0x00
000004c7: PUSH1 0x00
000004c9: SWAP1
000004ca: SLOAD
000004cb: SWAP1
000004cc: PUSH2 0x0100
000004cf: EXP
000004d0: SWAP1
000004d1: DIV
000004d2: PUSH1 0xff
000004d4: AND
000004d5: EQ
000004d6: ISZERO
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04f2
000004dc: JUMPI
000004dd: POP
000004de: PUSH1 0x02
000004e0: PUSH1 0x00
000004e2: PUSH1 0x00
000004e4: SWAP1
000004e5: SLOAD
000004e6: SWAP1
000004e7: PUSH2 0x0100
000004ea: EXP
000004eb: SWAP1
000004ec: DIV
000004ed: PUSH1 0xff
000004ef: AND
000004f0: EQ
000004f1: ISZERO
000004f2: JUMPDEST
000004f3: ISZERO
000004f4: PUSH2 0x0558
000004f7: JUMPI
000004f8: DUP6
000004f9: PUSH1 0x05
000004fb: PUSH1 0x00
000004fd: POP
000004fe: DUP2
000004ff: SWAP1
00000500: SSTORE
00000501: POP
00000502: PUSH1 0x64
00000504: PUSH1 0x5a
00000506: DUP6
00000507: MUL
00000508: DIV
00000509: DUP5
0000050a: ADD
0000050b: PUSH1 0x01
0000050d: PUSH1 0x00
0000050f: POP
00000510: DUP2
00000511: SWAP1
00000512: SSTORE
00000513: POP
00000514: PUSH1 0x01
00000516: NUMBER
00000517: SUB
00000518: SWAP3
00000519: POP
0000051a: DUP3
0000051b: BLOCKHASH
0000051c: PUSH1 0x01
0000051e: SWAP1
0000051f: DIV
00000520: SWAP2
00000521: POP
00000522: DUP2
00000523: PUSH1 0x03
00000525: PUSH1 0x00
00000527: POP
00000528: DUP2
00000529: SWAP1
0000052a: SSTORE
0000052b: POP
0000052c: PUSH1 0x03
0000052e: PUSH1 0x00
00000530: POP
00000531: SLOAD
00000532: PUSH1 0x40
00000534: MLOAD
00000535: DUP1
00000536: DUP3
00000537: DUP2
00000538: MSTORE
00000539: PUSH1 0x20
0000053b: ADD
0000053c: SWAP2
0000053d: POP
0000053e: POP
0000053f: PUSH1 0x40
00000541: MLOAD
00000542: DUP1
00000543: SWAP2
00000544: SUB
00000545: SWAP1
00000546: KECCAK256
00000547: PUSH1 0x04
00000549: PUSH1 0x00
0000054b: POP
0000054c: DUP2
0000054d: SWAP1
0000054e: SSTORE
0000054f: POP
00000550: PUSH2 0x0557
00000553: PUSH2 0x090c
00000556: JUMP
00000557: JUMPDEST
00000558: JUMPDEST
00000559: POP
0000055a: JUMPDEST
0000055b: POP
0000055c: POP
0000055d: POP
0000055e: SWAP2
0000055f: SWAP1
00000560: POP
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x02
00000565: DUP1
00000566: PUSH1 0x00
00000568: PUSH1 0x00
0000056a: SWAP1
0000056b: SLOAD
0000056c: SWAP1
0000056d: PUSH2 0x0100
00000570: EXP
00000571: SWAP1
00000572: DIV
00000573: PUSH1 0xff
00000575: AND
00000576: EQ
00000577: ISZERO
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH2 0x0002
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH1 0x00
00000584: PUSH1 0x00
00000586: PUSH1 0x00
00000588: SWAP1
00000589: SLOAD
0000058a: SWAP1
0000058b: PUSH2 0x0100
0000058e: EXP
0000058f: SWAP1
00000590: DIV
00000591: PUSH1 0xff
00000593: AND
00000594: EQ
00000595: ISZERO
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05b1
0000059b: JUMPI
0000059c: POP
0000059d: PUSH1 0x01
0000059f: PUSH1 0x00
000005a1: PUSH1 0x00
000005a3: SWAP1
000005a4: SLOAD
000005a5: SWAP1
000005a6: PUSH2 0x0100
000005a9: EXP
000005aa: SWAP1
000005ab: DIV
000005ac: PUSH1 0xff
000005ae: AND
000005af: EQ
000005b0: ISZERO
000005b1: JUMPDEST
000005b2: ISZERO
000005b3: PUSH2 0x05d0
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: PUSH1 0x00
000005bb: PUSH1 0x00
000005bd: PUSH2 0x0100
000005c0: EXP
000005c1: DUP2
000005c2: SLOAD
000005c3: DUP2
000005c4: PUSH1 0xff
000005c6: MUL
000005c7: NOT
000005c8: AND
000005c9: SWAP1
000005ca: DUP4
000005cb: MUL
000005cc: OR
000005cd: SWAP1
000005ce: SSTORE
000005cf: POP
000005d0: JUMPDEST
000005d1: POP
000005d2: JUMPDEST
000005d3: JUMP
000005d4: JUMPDEST
000005d5: PUSH1 0x00
000005d7: PUSH1 0x00
000005d9: PUSH1 0x00
000005db: PUSH1 0x01
000005dd: DUP1
000005de: PUSH1 0x00
000005e0: PUSH1 0x00
000005e2: SWAP1
000005e3: SLOAD
000005e4: SWAP1
000005e5: PUSH2 0x0100
000005e8: EXP
000005e9: SWAP1
000005ea: DIV
000005eb: PUSH1 0xff
000005ed: AND
000005ee: EQ
000005ef: ISZERO
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH2 0x0002
000005f8: JUMP
000005f9: JUMPDEST
000005fa: PUSH1 0x00
000005fc: PUSH1 0x00
000005fe: PUSH1 0x00
00000600: SWAP1
00000601: SLOAD
00000602: SWAP1
00000603: PUSH2 0x0100
00000606: EXP
00000607: SWAP1
00000608: DIV
00000609: PUSH1 0xff
0000060b: AND
0000060c: EQ
0000060d: DUP1
0000060e: PUSH2 0x0626
00000611: JUMPI
00000612: POP
00000613: PUSH1 0x02
00000615: PUSH1 0x00
00000617: PUSH1 0x00
00000619: SWAP1
0000061a: SLOAD
0000061b: SWAP1
0000061c: PUSH2 0x0100
0000061f: EXP
00000620: SWAP1
00000621: DIV
00000622: PUSH1 0xff
00000624: AND
00000625: EQ
00000626: JUMPDEST
00000627: ISZERO
00000628: PUSH2 0x062c
0000062b: JUMPI
0000062c: JUMPDEST
0000062d: PUSH1 0x00
0000062f: PUSH1 0x00
00000631: PUSH1 0x00
00000633: SWAP1
00000634: SLOAD
00000635: SWAP1
00000636: PUSH2 0x0100
00000639: EXP
0000063a: SWAP1
0000063b: DIV
0000063c: PUSH1 0xff
0000063e: AND
0000063f: EQ
00000640: ISZERO
00000641: DUP1
00000642: ISZERO
00000643: PUSH2 0x065c
00000646: JUMPI
00000647: POP
00000648: PUSH1 0x02
0000064a: PUSH1 0x00
0000064c: PUSH1 0x00
0000064e: SWAP1
0000064f: SLOAD
00000650: SWAP1
00000651: PUSH2 0x0100
00000654: EXP
00000655: SWAP1
00000656: DIV
00000657: PUSH1 0xff
00000659: AND
0000065a: EQ
0000065b: ISZERO
0000065c: JUMPDEST
0000065d: ISZERO
0000065e: PUSH2 0x07f9
00000661: JUMPI
00000662: DUP5
00000663: PUSH1 0x05
00000665: PUSH1 0x00
00000667: POP
00000668: DUP2
00000669: SWAP1
0000066a: SSTORE
0000066b: POP
0000066c: PUSH1 0x01
0000066e: NUMBER
0000066f: SUB
00000670: SWAP3
00000671: POP
00000672: DUP3
00000673: BLOCKHASH
00000674: PUSH1 0x01
00000676: SWAP1
00000677: DIV
00000678: SWAP2
00000679: POP
0000067a: DUP2
0000067b: PUSH1 0x06
0000067d: PUSH1 0x00
0000067f: POP
00000680: DUP2
00000681: SWAP1
00000682: SSTORE
00000683: POP
00000684: PUSH1 0x01
00000686: PUSH1 0x09
00000688: PUSH1 0x00
0000068a: POP
0000068b: SLOAD
0000068c: PUSH1 0x06
0000068e: PUSH1 0x00
00000690: POP
00000691: SLOAD
00000692: PUSH1 0x05
00000694: PUSH1 0x00
00000696: POP
00000697: SLOAD
00000698: PUSH1 0x03
0000069a: PUSH1 0x00
0000069c: POP
0000069d: SLOAD
0000069e: ADD
0000069f: ADD
000006a0: DIV
000006a1: ADD
000006a2: PUSH1 0x07
000006a4: PUSH1 0x00
000006a6: POP
000006a7: DUP2
000006a8: SWAP1
000006a9: SSTORE
000006aa: POP
000006ab: PUSH1 0x31
000006ad: PUSH1 0x07
000006af: PUSH1 0x00
000006b1: POP
000006b2: SLOAD
000006b3: GT
000006b4: ISZERO
000006b5: PUSH2 0x06d2
000006b8: JUMPI
000006b9: PUSH1 0x01
000006bb: PUSH1 0x08
000006bd: PUSH1 0x00
000006bf: PUSH2 0x0100
000006c2: EXP
000006c3: DUP2
000006c4: SLOAD
000006c5: DUP2
000006c6: PUSH1 0xff
000006c8: MUL
000006c9: NOT
000006ca: AND
000006cb: SWAP1
000006cc: DUP4
000006cd: MUL
000006ce: OR
000006cf: SWAP1
000006d0: SSTORE
000006d1: POP
000006d2: JUMPDEST
000006d3: PUSH1 0x32
000006d5: PUSH1 0x07
000006d7: PUSH1 0x00
000006d9: POP
000006da: SLOAD
000006db: LT
000006dc: ISZERO
000006dd: PUSH2 0x06fa
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: PUSH1 0x08
000006e5: PUSH1 0x00
000006e7: PUSH2 0x0100
000006ea: EXP
000006eb: DUP2
000006ec: SLOAD
000006ed: DUP2
000006ee: PUSH1 0xff
000006f0: MUL
000006f1: NOT
000006f2: AND
000006f3: SWAP1
000006f4: DUP4
000006f5: MUL
000006f6: OR
000006f7: SWAP1
000006f8: SSTORE
000006f9: POP
000006fa: JUMPDEST
000006fb: PUSH1 0x01
000006fd: PUSH1 0x08
000006ff: PUSH1 0x00
00000701: SWAP1
00000702: SLOAD
00000703: SWAP1
00000704: PUSH2 0x0100
00000707: EXP
00000708: SWAP1
00000709: DIV
0000070a: PUSH1 0xff
0000070c: AND
0000070d: EQ
0000070e: DUP1
0000070f: ISZERO
00000710: PUSH2 0x071e
00000713: JUMPI
00000714: POP
00000715: PUSH1 0x31
00000717: PUSH1 0x05
00000719: PUSH1 0x00
0000071b: POP
0000071c: SLOAD
0000071d: GT
0000071e: JUMPDEST
0000071f: ISZERO
00000720: PUSH2 0x0775
00000723: JUMPI
00000724: PUSH1 0x01
00000726: PUSH1 0x08
00000728: PUSH1 0x01
0000072a: PUSH2 0x0100
0000072d: EXP
0000072e: DUP2
0000072f: SLOAD
00000730: DUP2
00000731: PUSH1 0xff
00000733: MUL
00000734: NOT
00000735: AND
00000736: SWAP1
00000737: DUP4
00000738: MUL
00000739: OR
0000073a: SWAP1
0000073b: SSTORE
0000073c: POP
0000073d: CALLER
0000073e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000753: AND
00000754: PUSH1 0x00
00000756: PUSH1 0x01
00000758: PUSH1 0x00
0000075a: POP
0000075b: SLOAD
0000075c: PUSH1 0x40
0000075e: MLOAD
0000075f: DUP1
00000760: SWAP1
00000761: POP
00000762: PUSH1 0x00
00000764: PUSH1 0x40
00000766: MLOAD
00000767: DUP1
00000768: DUP4
00000769: SUB
0000076a: DUP2
0000076b: DUP6
0000076c: DUP9
0000076d: DUP9
0000076e: CALL
0000076f: SWAP4
00000770: POP
00000771: POP
00000772: POP
00000773: POP
00000774: POP
00000775: JUMPDEST
00000776: PUSH1 0x00
00000778: PUSH1 0x08
0000077a: PUSH1 0x00
0000077c: SWAP1
0000077d: SLOAD
0000077e: SWAP1
0000077f: PUSH2 0x0100
00000782: EXP
00000783: SWAP1
00000784: DIV
00000785: PUSH1 0xff
00000787: AND
00000788: EQ
00000789: DUP1
0000078a: ISZERO
0000078b: PUSH2 0x0799
0000078e: JUMPI
0000078f: POP
00000790: PUSH1 0x32
00000792: PUSH1 0x05
00000794: PUSH1 0x00
00000796: POP
00000797: SLOAD
00000798: LT
00000799: JUMPDEST
0000079a: ISZERO
0000079b: PUSH2 0x07f0
0000079e: JUMPI
0000079f: PUSH1 0x01
000007a1: PUSH1 0x08
000007a3: PUSH1 0x01
000007a5: PUSH2 0x0100
000007a8: EXP
000007a9: DUP2
000007aa: SLOAD
000007ab: DUP2
000007ac: PUSH1 0xff
000007ae: MUL
000007af: NOT
000007b0: AND
000007b1: SWAP1
000007b2: DUP4
000007b3: MUL
000007b4: OR
000007b5: SWAP1
000007b6: SSTORE
000007b7: POP
000007b8: CALLER
000007b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ce: AND
000007cf: PUSH1 0x00
000007d1: PUSH1 0x01
000007d3: PUSH1 0x00
000007d5: POP
000007d6: SLOAD
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: DUP1
000007db: SWAP1
000007dc: POP
000007dd: PUSH1 0x00
000007df: PUSH1 0x40
000007e1: MLOAD
000007e2: DUP1
000007e3: DUP4
000007e4: SUB
000007e5: DUP2
000007e6: DUP6
000007e7: DUP9
000007e8: DUP9
000007e9: CALL
000007ea: SWAP4
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: POP
000007ef: POP
000007f0: JUMPDEST
000007f1: PUSH2 0x07f8
000007f4: PUSH2 0x090c
000007f7: JUMP
000007f8: JUMPDEST
000007f9: JUMPDEST
000007fa: POP
000007fb: JUMPDEST
000007fc: POP
000007fd: POP
000007fe: SWAP2
000007ff: SWAP1
00000800: POP
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH1 0x00
00000805: PUSH1 0x00
00000807: PUSH1 0x00
00000809: SWAP1
0000080a: SLOAD
0000080b: SWAP1
0000080c: PUSH2 0x0100
0000080f: EXP
00000810: SWAP1
00000811: DIV
00000812: PUSH1 0xff
00000814: AND
00000815: SWAP1
00000816: POP
00000817: PUSH2 0x081b
0000081a: JUMP
0000081b: JUMPDEST
0000081c: SWAP1
0000081d: JUMP
0000081e: JUMPDEST
0000081f: PUSH1 0x00
00000821: PUSH1 0x03
00000823: PUSH1 0x00
00000825: POP
00000826: SLOAD
00000827: SWAP1
00000828: POP
00000829: PUSH2 0x082d
0000082c: JUMP
0000082d: JUMPDEST
0000082e: SWAP1
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH1 0x00
00000833: PUSH1 0x04
00000835: PUSH1 0x00
00000837: POP
00000838: SLOAD
00000839: SWAP1
0000083a: POP
0000083b: PUSH2 0x083f
0000083e: JUMP
0000083f: JUMPDEST
00000840: SWAP1
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x00
00000845: PUSH1 0x05
00000847: PUSH1 0x00
00000849: POP
0000084a: SLOAD
0000084b: SWAP1
0000084c: POP
0000084d: PUSH2 0x0851
00000850: JUMP
00000851: JUMPDEST
00000852: SWAP1
00000853: JUMP
00000854: JUMPDEST
00000855: PUSH1 0x00
00000857: PUSH1 0x06
00000859: PUSH1 0x00
0000085b: POP
0000085c: SLOAD
0000085d: SWAP1
0000085e: POP
0000085f: PUSH2 0x0863
00000862: JUMP
00000863: JUMPDEST
00000864: SWAP1
00000865: JUMP
00000866: JUMPDEST
00000867: PUSH1 0x00
00000869: PUSH1 0x07
0000086b: PUSH1 0x00
0000086d: POP
0000086e: SLOAD
0000086f: SWAP1
00000870: POP
00000871: PUSH2 0x0875
00000874: JUMP
00000875: JUMPDEST
00000876: SWAP1
00000877: JUMP
00000878: JUMPDEST
00000879: PUSH1 0x00
0000087b: PUSH1 0x01
0000087d: SWAP1
0000087e: SLOAD
0000087f: SWAP1
00000880: PUSH2 0x0100
00000883: EXP
00000884: SWAP1
00000885: DIV
00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089b: AND
0000089c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b1: AND
000008b2: CALLER
000008b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c8: AND
000008c9: EQ
000008ca: ISZERO
000008cb: PUSH2 0x0909
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: PUSH1 0x01
000008d3: SWAP1
000008d4: SLOAD
000008d5: SWAP1
000008d6: PUSH2 0x0100
000008d9: EXP
000008da: SWAP1
000008db: DIV
000008dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f1: AND
000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000907: AND
00000908: SELFDESTRUCT
00000909: JUMPDEST
0000090a: JUMPDEST
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH1 0x01
0000090f: PUSH1 0x00
00000911: PUSH1 0x00
00000913: SWAP1
00000914: SLOAD
00000915: SWAP1
00000916: PUSH2 0x0100
00000919: EXP
0000091a: SWAP1
0000091b: DIV
0000091c: PUSH1 0xff
0000091e: AND
0000091f: ADD
00000920: PUSH1 0x00
00000922: PUSH1 0x00
00000924: PUSH2 0x0100
00000927: EXP
00000928: DUP2
00000929: SLOAD
0000092a: DUP2
0000092b: PUSH1 0xff
0000092d: MUL
0000092e: NOT
0000092f: AND
00000930: SWAP1
00000931: DUP4
00000932: MUL
00000933: OR
00000934: SWAP1
00000935: SSTORE
00000936: POP
00000937: JUMPDEST
00000938: 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 Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x8b66deb93af1fd8649a992bb2e0398e93a5fee69ce4384fb7f7abe3f1297445a
call_targets: 0x3688c31568b011b541701311a0d31d41fffd8bdf
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8b66deb93af1fd8649a992bb2e0398e93a5fee69ce4384fb7f7abe3f1297445a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3688c31568b011b541701311a0d31d41fffd8bdf"
    ],
    "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": "0x0a831b35",
            "selector": "0x0a831b35",
            "calldata_variants": [
                "0x0a831b35",
                "0x0a831b350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12c7df73",
            "selector": "0x12c7df73",
            "calldata_variants": [
                "0x12c7df73",
                "0x12c7df730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15932ee9",
            "selector": "0x15932ee9",
            "calldata_variants": [
                "0x15932ee9",
                "0x15932ee90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2530c905",
            "selector": "0x2530c905",
            "calldata_variants": [
                "0x2530c905",
                "0x2530c9050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x256d1835",
            "selector": "0x256d1835",
            "calldata_variants": [
                "0x256d1835",
                "0x256d18350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x350df1df",
            "selector": "0x350df1df",
            "calldata_variants": [
                "0x350df1df",
                "0x350df1df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35815b95",
            "selector": "0x35815b95",
            "calldata_variants": [
                "0x35815b95",
                "0x35815b950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1902,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2025,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x8b66deb93af1fd8649a992bb2e0398e93a5fee69ce4384fb7f7abe3f1297445a
call_targets: 0x3688c31568b011b541701311a0d31d41fffd8bdf
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8b66deb93af1fd8649a992bb2e0398e93a5fee69ce4384fb7f7abe3f1297445a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3688c31568b011b541701311a0d31d41fffd8bdf"
    ],
    "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": "0x0a831b35",
            "selector": "0x0a831b35",
            "calldata_variants": [
                "0x0a831b35",
                "0x0a831b350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12c7df73",
            "selector": "0x12c7df73",
            "calldata_variants": [
                "0x12c7df73",
                "0x12c7df730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15932ee9",
            "selector": "0x15932ee9",
            "calldata_variants": [
                "0x15932ee9",
                "0x15932ee90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2530c905",
            "selector": "0x2530c905",
            "calldata_variants": [
                "0x2530c905",
                "0x2530c9050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x256d1835",
            "selector": "0x256d1835",
            "calldata_variants": [
                "0x256d1835",
                "0x256d18350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x350df1df",
            "selector": "0x350df1df",
            "calldata_variants": [
                "0x350df1df",
                "0x350df1df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35815b95",
            "selector": "0x35815b95",
            "calldata_variants": [
                "0x35815b95",
                "0x35815b950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1902,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2025,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x16c76205ba786f0da050aec131dba1490cbc82c5a5988e61a7618c11b2389303
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x16c76205ba786f0da050aec131dba1490cbc82c5a5988e61a7618c11b2389303",
    "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": "0x0a831b35",
            "selector": "0x0a831b35",
            "calldata_variants": [
                "0x0a831b35",
                "0x0a831b350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12c7df73",
            "selector": "0x12c7df73",
            "calldata_variants": [
                "0x12c7df73",
                "0x12c7df730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15932ee9",
            "selector": "0x15932ee9",
            "calldata_variants": [
                "0x15932ee9",
                "0x15932ee90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2530c905",
            "selector": "0x2530c905",
            "calldata_variants": [
                "0x2530c905",
                "0x2530c9050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x256d1835",
            "selector": "0x256d1835",
            "calldata_variants": [
                "0x256d1835",
                "0x256d18350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x350df1df",
            "selector": "0x350df1df",
            "calldata_variants": [
                "0x350df1df",
                "0x350df1df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x35815b95",
            "selector": "0x35815b95",
            "calldata_variants": [
                "0x35815b95",
                "0x35815b950000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 2226,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}