SPECTRE · Research
Audit reports & corpus analyses.
SPECTRE is Pinpoint’s static-analysis engine for Solana programs. These pages collect every report it has produced, plus the methodology that underwrites them: single-protocol audits, multi-protocol corpus passes, and rule-mining studies. All free to read, no signup.
Master report
Topline report — read this first · 2 reports- 2026-05-09
SPECTRE Solana — Master Audit Report
Issuer: Pinpoint Technologies Issue Date: 2026-05-09 Document Status: Living. Supersedes the topline numbers in v1.0 of SPECTRE-Solana-Ecosystem-Security-Report-2026-05.md. Every per-protocol file referenced here is the authoritative single-source for that audit.
Read report → - 2026-05
SPECTRE Solana Ecosystem Security Report
This report consolidates SPECTRE's static-analysis output across the public source of 24 Solana protocols. Each finding describes an architectural pattern in the protocol's source that SPECTRE associates with a real-world incident class in the Solana ecosystem. The report ships a
Read report →
Corpus
N-protocol scan artefacts · 1 reportPer-protocol
Single-protocol audits · 5 reports- 2026-05-19
Kamino klend — SPECTRE Scan Validation (2026-05-19)
Target: Kamino-Finance/klend (HEAD, shallow clone) Scanner: pinpoint spectre scan . --local (CLI v1.2.2, strict profile, default confidence 0.78) Codebase: 1 Anchor program, ~1137 Rust files
Read report → - 2026-05-19
Threshold tBTC v2 (BOB) — SPECTRE Scan Foundation (2026-05-19)
Target: threshold-network/tbtc-v2 — cross-chain/bob/contracts Bounty: Immunefi — Threshold
Read report → - 2026-05
SPECTRE vs Published Audits — Kamino Klend Cross-Version Comparison
Repo: Kamino-Finance/klend Tags scanned: release/v1.13.0, release/v1.14.0, release/v1.16.0, release/v1.17.0 Audit PDFs reviewed: OtterSec 1.16.0+1.17.0, Certora 1.13.0, Certora 1.17.0 Date: 2026-05-07
Read report → - 2026-05
SPECTRE Audit Report — Kamino Finance (full Rust suite)
Target: Kamino-Finance — klend, scope, kvault, limo, kfarms Codebase size: 104 Rust source files (klend) Tooling: pinpoint-cli spectre scan + spectre link (feat/spectre-solana-v2) Date: 2026-05-07
Read report → - 2026-05
SPECTRE Audit Report — Vouch (`hack-belfast`)
Target: vouch/programs/vouch (Anchor program) Codebase size: 4 Rust files Tooling: pinpoint-cli spectre scan + spectre link (feat/spectre-solana-v2) Date: 2026-05-07
Read report →
Methodology
Rule mining + comparison studies · 11 reports- 2026-05-18
SPECTRE for Solana: Production-Readiness Audit (Signup to Dashboard)
Date: 2026-05-18 Branch: feat/spectre-solana-max Scope: Distribution model where a customer signs up, runs a scan through the spectre scan end-to-end pipeline, and reviews audit results in the dashboard. Author: spectre-solana-max engineering
Read report → - 2026-05-18
SPECTRE-Solana Timeline (Day 1 → Day 26)
Author: spectre-solana-max engineering Date: 2026-05-18 Scope: Iteration timeline of every SPECTRE-Solana branch since day zero, including unmerged ones, day-numbered against the 2026-04-23 anchor. Method: git log --all across feat/spectre-solana,
Read report → - 2026-05-17
SPECTRE vs Competitor Gap Analysis (2026-05-17)
Author: spectre-solana-max engineering Supersedes: spectre-vs-competitors-gap-analysis-2026-05-16.md Scope: Static analysis, formal verification, audit-firm tooling, and real-time monitoring on Solana, benchmarked against SPECTRE at
Read report → - 2026-05-16
SPECTRE × Certora SCP — FV Integration Design
Author: spectre-solana-max engineering Status: Design doc. PoC implementation deferred to a follow-up. Companion: spectre-vs-competitors-gap-analysis-2026-05-16.md (tier-3 item 7).
Read report → - 2026-05-16
SPECTRE × Differential Fuzzing — Integration Design
Author: spectre-solana-max engineering Status: Design doc. PoC implementation deferred to a follow-up. Companion: spectre-vs-competitors-gap-analysis-2026-05-16.md (tier-3 item 8).
Read report → - 2026-05-16
SPECTRE Distribution + DevEx Roadmap (Tier 1 + 2 Follow-ups)
Author: spectre-solana-max engineering Status: Roadmap. Each item is a discrete follow-up ticket. Companion: spectre-vs-competitors-gap-analysis-2026-05-16.md
Read report → - 2026-05-16
SPECTRE Exact-Rule Gap Analysis (2026-05-16)
Author: spectre-solana-max engineering Status: Gap analysis on the 7 incidents that detect class-level but not exact-rule on the historical-incident replay benchmark. Companion: spectre-historical-incident-replay-2026-05-15.md
Read report → - 2026-05-16
SPECTRE × Hexagate Gatelang — Monitor Rule Exporter Design
Author: spectre-solana-max engineering Status: Design doc. PoC implementation deferred to a follow-up. Companion: spectre-vs-competitors-gap-analysis-2026-05-16.md (tier-3 item 9).
Read report → - 2026-05-16
SPECTRE vs Competitor Gap Analysis (2026-05-16)
Author: spectre-solana-max engineering Supersedes: documents/spectre/spectre-vs-audit-firms-gap-analysis-2026-05.md Scope: Static analysis, formal verification, audit-firm tooling, and real-time monitoring on Solana, with SPECTRE's current state benchmarked
Read report → - 2026-05-15
Historical-Incident Corpus Backlog
Generator: This is a hand-maintained backlog for replay_incidents.py. Pair with: documents/audits/methodology/spectre-historical-incident-replay-2026-05-15.md
Read report → - 2026-05-15
Historical-Incident Replay Benchmark
Generator: runner/replay_incidents.py Source: documents/incidents/*.yml (architectural_fingerprint ground truth) Scan results: runner/results/<corpus-id>.json
Read report →