[Frequently asked questions]
Frequently asked questions
- Where should we start?
- With the two-week Pilot Audit ($15,000, fixed scope, one repository or component). It is designed to prove the deliverable quality before any larger commitment. Customers who continue typically move into a Focused Audit, a Full Verified Audit, a Triage Retainer for incoming AI reports, or per-class Patch Validation.
- What languages and targets does Stella cover?
- C and C++ infrastructure software — protocol parsers, TLS libraries, VPN daemons, DNS servers, routers, embedded TCP/IP stacks, database infrastructure. Rust is on the roadmap as the verification harness matures; if you have a Rust target you'd like considered, ask us. Targets sitting outside that scope can sometimes be taken on as a custom engagement.
- How does Stella avoid the AI-slop problem?
- Lilith's verification harness runs every candidate finding on isolated GCP VMs with AddressSanitizer / UBSan / MSan and validates source citations against the actual repository before any human ever sees the report. Findings that fail any gate are dropped, not forwarded. The result is a report set limited to candidates that passed reproduction and citation checks.
- Who owns the findings?
- You do. On paid engagements, all findings on your codebases are exclusively yours. You decide whether, when, and how to disclose. Stella retains only aggregated, anonymized statistics (finding count, severity distribution) for internal calibration — never tied to your organization or codebase.
- How does the Open Source tier work?
- Free, approval-based, limited capacity. Stella accepts a small number of significant open-source C/C++ infrastructure projects per quarter and coordinates the disclosure end-to-end. This is how Stella contributes back to the upstream ecosystem — not the primary commercial offering. Apply via the contact form and we will reply within a week.
- What about contracts, NDAs, and disclosure scope?
- Every engagement begins with a written scope-of-work, an NDA, and a coordinated-disclosure authorization before audit starts. Stella does not test production systems, will not disclose anything without explicit written authorization, and respects vendor-specific embargo timelines (typically 90 days, extendable on request).