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