GaloisInc / pateLinks
Patches Assured up to Trace Equivalence
☆16Updated 2 months ago
Alternatives and similar repositories for pate
Users that are interested in pate are comparing it to the libraries listed below
Sorting:
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated last week
- The C4 Concurrent C Fuzzer☆14Updated last year
- Cerberus C semantics☆62Updated last week
- ☆55Updated 2 months ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Bedrock Bit Vector Library☆28Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- Coq library for tactics, basic definitions, sets, maps☆49Updated this week
- Genetic program repair using GHC☆30Updated last year
- Formalization of C++ for verification purposes.☆81Updated this week
- The Pulse separation logic DSL for F*☆20Updated last week
- A benchmark for C program verification☆16Updated last year
- Dynamically discover the commands used to create a piece of software☆49Updated 4 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 2 weeks ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- An interactive tool for experimenting with LR(1) grammars☆17Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- The MemCAD static analyzer☆26Updated 3 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆26Updated 2 months ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- The Steel separation logic library for F*☆35Updated last month
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last week
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- Generation of mutant programs☆20Updated 6 years ago
- ☆22Updated 9 years ago
- A library for binary analysis and rewriting☆47Updated last year