Products
Advanced security tooling for Solana and other Non-EVMs
Solaris
Bytecode-level coverage-guided, structure-aware fuzzer for Solana Programs.
Discover edge cases and vulnerabilities in your program invariants.
Radiant
Bytecode-level Concolic execution engine for Solana Programs.
Explore execution paths for satisfiable program inputs, and discover edge cases to uncover vulnerabilities.
Eloizer
Modular Static Analysis Framework for Solana Programs.
Detect vulnerabilities, security issues, and code quality problems.