GaloisInc / macawLinks
Open source binary analysis tools.
☆228Updated this week
Alternatives and similar repositories for macaw
Users that are interested in macaw are comparing it to the libraries listed below
Sorting:
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆52Updated 6 months ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- A tool for analyzing x86-64 binaries.☆322Updated 9 months ago
- The BAP tutorial☆72Updated 2 years ago
- Semantics of x86-64 in K☆156Updated 5 years ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Symbolic formula representation and solver interaction library☆166Updated 2 weeks ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆281Updated this week
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- Parser for the llvm bitcode format☆59Updated last week
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 9 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆329Updated 2 months ago
- Dynamically discover the commands used to create a piece of software☆50Updated 5 months ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 6 months ago
- Experimental translation of llvm to smt.☆57Updated 5 years ago
- Experimental MLIR based points-to analysis tool☆17Updated 2 weeks ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- An opinionated tool to create amazing presentations☆36Updated 2 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 5 months ago
- A collection of ready to use binary analysis tools☆60Updated last year
- ☆52Updated 9 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆163Updated last year
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week