GaloisInc / macaw
Open source binary analysis tools.
☆218Updated last week
Alternatives and similar repositories for macaw:
Users that are interested in macaw are comparing it to the libraries listed below
- Program analysis tools developed at Draper on the CBAT project.☆103Updated last year
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆49Updated 2 months ago
- Semantics of x86-64 in K☆147Updated 5 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated 11 months ago
- The BAP tutorial☆73Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆238Updated 5 months ago
- Pretty printer from GTIRB to assembly code☆48Updated 2 weeks ago
- A tool for analyzing x86-64 binaries.☆317Updated 5 months ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆320Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆266Updated this week
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Symbolic formula representation and solver interaction library☆157Updated this week
- Stratified synthesis for learning machine code instruction semantics☆36Updated 7 months ago
- Dynamically discover the commands used to create a piece of software☆49Updated last month
- Constraint solver based on coverage-guided fuzzing☆243Updated last year
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 5 years ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆227Updated 3 years ago
- Patches Assured up to Trace Equivalence☆16Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- A framework for instrumenting build tools☆87Updated 4 months ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Parser for the llvm bitcode format☆60Updated 2 weeks ago
- An opinionated tool to create amazing presentations☆36Updated 2 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- ☆51Updated 9 years ago
- A collection of ready to use binary analysis tools☆57Updated last year