Eloizer
Eloizer is a static analysis framework for Solana and Anchor programs. It includes a modular rule engine, AST queries, source locations, and a detector DSL.
Public analyzer and CLI
Extensible custom detector DSL
Source-aware Markdown reporting
AGPL-3.0 licensed
The release or operating risk.
Solana programs have specific vulnerability patterns that general Rust tools do not model. These patterns include account ownership, signer rules, PDA derivation, aliases, and Anchor constraints.
The technical approach.
Eloizer parses Rust source into an analysis model. Focused detectors use a query DSL. Each rule reports severity, source location, cause, and corrective guidance.
The available evidence.
The public framework includes a CLI, reports, custom rules, documentation, and a growing detector set. It also supplies static analysis for execution and security research.
Stack and evidence
- Rust
- Anchor
- AST analysis
- Detector DSL
- CLI