viperproject/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

285 best points · 92 comments · 2 Hacker News posts · 1,831 GitHub stars · View on GitHub

Hacker News discussions

• Prusti: Static Analyzer for Rust (285 points, 92 comments, by aviramha, 2022-10-13)
• Prusti: a static verifier for Rust (2 points, 0 comments, by kunfubar, 2022-10-06)