/paralegal

Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below

Primary LanguageRustMIT LicenseMIT

Watchers