Eloizer
Eloizer is a static analysis framework for Solana and Anchor programs. It combines a semantic model, focused queries, source locations, and an extensible detector system.
Founder-led work at Inversive LabsPublic analyzer and CLI
More than 50 built-in detectors
Custom detector DSL
AGPL-3.0 license
Why this project exists
Solana programs have vulnerability patterns that general Rust tools do not model. These patterns include account ownership, signer rules, PDA derivation, aliases, and Anchor constraints.
System design
Eloizer parses Rust source into a semantic analysis model. Focused detectors use a query DSL. Each rule reports severity, source location, cause, and corrective guidance.
Current release
The public framework includes a CLI, reports, custom rules, documentation, and more than 50 built-in detectors. Teams can run it locally or in continuous integration.
Stack and source
- Rust
- Anchor
- AST analysis
- Detector DSL
- CLI