Purpose-built security infrastructure and tooling for blockchain security research
Bytecode-level coverage-guided, stateful, structure-aware fuzzer for Solana programs. Discover vulnerabilities through intelligent fuzzing.
Bytecode-level Concolic execution engine for Solana Programs. Explore execution paths for satisfiable program inputs, and discover edge cases to uncover vulnerabilities.
Modular Static Analysis Framework for Solana Programs. Detect vulnerabilities, security issues, and code quality problems.