v0.1.0

v0.1.0 — Initial Release

Soroban Guard is a static analysis and security auditing toolchain for Soroban smart contracts on Stellar.

Features

• Reentrancy detection (R-01 to R-04)
• Integer overflow/underflow checking (O-01 to O-05)
• Access control analysis (A-01 to A-05)
• Storage collision detection (S-01 to S-05)
• Security scoring engine (0–100, letter grade A–F)
• Multiple output formats: human-readable, JSON, SARIF
• CLI with parallel processing, config file support, and CI/CD integration
• 107 tests passing — unit, integration, CLI, property-based, regression, and edge case tests

Notes

• First public release
• Pre-release status — API and rules may change based on feedback
• Linux only (Ubuntu CI); macOS and Windows support planned