Static analyzer, State Archival (TTL & 64 KiB ledger limit) verifier, and SEP-0048 XDR / WASM upgrade-compatibility diff engine for Stellar Soroban smart contracts.
rust cli linter static-analysis wasm stellar sarif blockchain-security soroban smart-contract-security soroban-smart-contracts websassembly stellar-xdr
-
Updated
Nov 2, 2026 - Rust