GaloisInc / macawLinks
Open source binary analysis tools.
☆247Updated 2 weeks ago
Alternatives and similar repositories for macaw
Users that are interested in macaw are comparing it to the libraries listed below
Sorting:
- Program analysis tools developed at Draper on the CBAT project.☆106Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆55Updated 10 months ago
- A tool for analyzing x86-64 binaries.☆335Updated last year
- Semantics of x86-64 in K☆162Updated 5 years ago
- The BAP tutorial☆73Updated 2 years ago
- Dynamically discover the commands used to create a piece of software☆57Updated last month
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆331Updated 2 weeks ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 11 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆295Updated last week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆247Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆285Updated last year
- Symbolic formula representation and solver interaction library☆171Updated 2 weeks ago
- A collection of ready to use binary analysis tools☆61Updated last year
- Parser for the llvm bitcode format☆60Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- BINSEC binary-level open-source platform☆378Updated 4 months ago
- Experimental translation of llvm to smt.☆58Updated 5 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Updated 2 months ago
- An opinionated tool to create amazing presentations☆38Updated 2 years ago
- Capstone bindings for Haskell: https://github.com/aquynh/capstone☆15Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆72Updated this week
- Linux kernel library functions formally verified.☆52Updated 2 weeks ago
- Variation of american fuzzy lop for testing compilers☆125Updated 3 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆164Updated 2 years ago