https://github.com/brownsys/paralegal
GitHub - brownsys/paralegal: Paralegal is a static analyzer for Rust code that enforces privacy and...
Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs. - brownsys/paralegal