Blog

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

An Introduction to Eloizer: A Static Analyzer for Solana programs

An Introduction to Eloizer: A Static Analyzer for Solana programs

Jan 20, 2026 • inversive

This post introduces Eloizer, a static analyzer for Solana programs that we built and released as open source.

static analysis 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