GaloisInc / pate
Patches Assured up to Trace Equivalence
☆15Updated last week
Related projects: ⓘ
- Cerberus C semantics☆49Updated this week
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- The C4 Concurrent C Fuzzer☆13Updated 10 months ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Genetic program repair using GHC☆28Updated 4 months ago
- Generation of mutant programs☆21Updated 5 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 3 years ago
- A library for binary analysis and rewriting☆47Updated 11 months ago
- A linter for Soufflé Datalog☆12Updated 5 months ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A benchmark for C program verification☆15Updated 6 months ago
- Bedrock Bit Vector Library☆27Updated 6 months ago
- Isabelle LLVM Code Generator and Refinement☆26Updated 3 weeks ago
- Verified, Incremental, Binary Editing with Synthesis☆46Updated last year
- ☆51Updated last week
- Parser for the llvm bitcode format☆59Updated 2 weeks ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Formalization of C++ for verification purposes.☆66Updated this week
- Coq library for tactics, basic definitions, sets, maps☆42Updated last month
- Binary analysis in HOL☆35Updated this week
- Staged Abstract Interpreters☆64Updated last year
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A toy symbolic execution engine, supporting the blog article ...☆16Updated 3 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆36Updated last month
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- Open source binary analysis tools.☆203Updated this week
- SWORD: A Whole Program Race Detector for Java☆12Updated 3 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated last month