Products

Advanced security tooling for Solana and other Non-EVMs

Radiant

Bytecode-level Concolic execution engine for Solana smart contracts. Explore execution paths for satisfiable program inputs, and discover edge cases to uncover vulnerabilities.

Solana Symbolic Execution Formal Verification
Learn More

Static Analyzer

Static analysis for Solana smart contracts. Detect vulnerabilities, security issues, and code quality problems.

Solana Invariant Testing Rust
Learn More
WIP

Photon

Scriptable debugger for Solana programs. Steps through transactions and bytecode instructions, inspect account states, restore memory snapshots to identify issues in real-time.

Solana Rust Fuzzing
Learn More
WIP

Rewind

LLM-enhanced Decompiler for Solana programs. Understand closed-sourced deployed programs and contract logic.

sBPF Reverse Engineering LLM Rust
Learn More
WIP

Aethra

Security intelligence platform for Solana programs. LLM-powered vulnerability database with historical sBPF bytecode analysis, execution flow pattern detection, and AI-guided security audits.

Solana LLM Infrastructure
Learn More

Pulsar

Analysis-focused Taint-guided fuzzer for Solana closed-source programs. Performs instruction and account data inference analysis to discover Solana instruction and account data information.

Rust Solana Reverse Engineering
Learn More