Blog

Research, insights, and technical deep-dives into Web3 security

Radiant: Concolic Execution for Solana Programs

Radiant: Concolic Execution for Solana Programs

Dec 22, 2025 • inversive

This article introduces Radiant, a binary-level concolic execution framework for Solana programs.

symbolic execution security
Solaris: Stateful, Structure-Aware, sBPF Bytecode Coverage-Guided Fuzzing

Solaris: Stateful, Structure-Aware, sBPF Bytecode Coverage-Guided Fuzzing

Dec 15, 2025 • inversive

This article introduces Solaris, a stateful, structure-aware, sBPF bytecode coverage-guided fuzzer designed for Solana programs.

fuzzing security