GitHub repository: salterm/rustproof
Primary language: Rust
Description: Rust Plugin