GaloisInc / macaw
Open source binary analysis tools.
☆221Updated 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 2 years ago
- Semantics of x86-64 in K☆150Updated 5 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆239Updated 6 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated last year
- A tool for analyzing x86-64 binaries.☆318Updated 6 months ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆51Updated 3 months ago
- Symbolic formula representation and solver interaction library☆160Updated 3 weeks ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆322Updated 2 weeks ago
- MIT's abstract interpretation class taught by Cousot☆40Updated 10 years ago
- The BAP tutorial☆72Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated last month
- Constraint solver based on coverage-guided fuzzing☆244Updated last year
- Pretty printer from GTIRB to assembly code☆48Updated last month
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- ☆52Updated 9 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆67Updated this week
- A collection of ready to use binary analysis tools☆57Updated last year
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆266Updated this week
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- A model checker for infinite-state systems.☆74Updated 4 months ago
- solver for the reachability modulo theories problem☆60Updated last year
- An opinionated tool to create amazing presentations☆36Updated 2 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 6 years ago
- KLEE in the browser☆52Updated 10 months ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71Updated 5 years ago
- SMACK Software Verifier and Verification Toolchain☆437Updated last week