brownsys/paralegal

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.