GaloisInc / macawLinks
Open source binary analysis tools.
☆224Updated this week
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.☆103Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆51Updated 4 months ago
- Symbolic formula representation and solver interaction library☆161Updated 2 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆241Updated 7 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated last year
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆325Updated last week
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- Semantics of x86-64 in K☆156Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆274Updated this week
- Constraint solver based on coverage-guided fuzzing☆247Updated last year
- A tool for analyzing x86-64 binaries.☆321Updated 7 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆255Updated this week
- The BAP tutorial☆72Updated 2 years ago
- A model checker for infinite-state systems.☆74Updated 2 weeks ago
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- ☆52Updated 9 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆492Updated 9 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆68Updated last week
- A fuzzing framework for SMT solvers☆192Updated last year
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- Dynamically discover the commands used to create a piece of software☆49Updated 3 months ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 6 years ago