{"repo":"brownsys/paralegal","free":true,"listed":false,"github":"https://github.com/brownsys/paralegal","clone":"git clone https://github.com/brownsys/paralegal.git","description":"Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.","language":"Rust","stars":50,"topics":["privacy","privacy-protection","rust","security","static-analysis"],"license":"MIT","category":"security-tools","readme_excerpt":"Paralegal: A Privacy and Security Bug Finder for Rust Applications. Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs. For example, developers have used Paralegal to find problems such as: Failing to delete user data upon request Missing authorization checks before privileged actions Forgetting to encrypt sensitive data before storage Paralegal's user guide and documentation is available at https://brownsys.github.io/paralegal, which includes a step-by-step walkthrough of an example application and policy. See also our paper from OSDI 2025. Example Take the following policy for a social media application, which checks that the user is not banned or deleted before executing an action on their behalf (e.g., posting, commenting): Developers connect policies to application code by defining markers , which denote high-level concepts such as write , encrypts or user data . Developers apply markers to types, function arguments, or function return values using lightweight annotations, e.g.: Paralegal directly integrates with cargo and rustc, so running it is as easy as building your project ( cargo paralegal-flow ). Performance Paralegal is a fast cargo and rustc plugin that developers can run frequently (in CI for example) to find potential bugs as they develop their application. Here is a performance breakdown plot of Paralegal running end-to-end on realistic web applications. Installation and Usage Install the latest release from ","default_branch":null,"files":null,"tree":[],"storefront":"/r/brownsys","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/brownsys/paralegal/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}