brownsys / paralegalLinks
Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
☆44Updated last month
Alternatives and similar repositories for paralegal
Users that are interested in paralegal are comparing it to the libraries listed below
Sorting:
- Analyze Rust crates without touching compiler internals☆287Updated this week
- The Pulse separation logic DSL for F*☆31Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆28Updated last month
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆46Updated this week
- An experimental optimizing compiler for Bril using egglog☆83Updated 3 weeks ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Updated last month
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 7 months ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- Sound static analysis for the masses.☆50Updated this week
- RustHorn: A CHC-based automated verifier for Rust☆89Updated 10 months ago
- ☆13Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- UB-free and deterministic rustc fuzzer☆95Updated last month
- A menagerie of cute implementations of modern typechecking algorithms☆381Updated 2 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated last week
- A Rust hashconsing library.☆38Updated last year
- Datalog with equality for rust☆72Updated last month
- Scope Graph Implementation in Rust☆29Updated last year
- Liquid Types implementation for Rust☆30Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆151Updated 8 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆341Updated this week
- A memory allocator verified with Verus☆29Updated last month
- 🎶 Choreographic programming in Rust 🎶☆66Updated 10 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- A Rust verification tool☆372Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆368Updated last week
- A verification toolchain for Rust programs☆554Updated this week
- Debugger written in Rust☆25Updated 3 years ago
- A different approach to an E-graph library☆28Updated 8 months ago