Alternatives and similar repositories for vex:

Users that are interested in vex are comparing it to the libraries listed below

• angr / tracer
  Utilities for generating dynamic traces
  ☆90Updated 2 years ago
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆118Updated 4 months ago
• S2E / s2e-env
  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  ☆95Updated 3 months ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 2 years ago
• AFLplusplus / LibAFL-legacy
  AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!
  ☆112Updated 3 years ago
• angr / angr-platforms
  A collection of extensions to angr to handle new platforms
  ☆67Updated last month
• angr / pyvex
  Python bindings for Valgrind's VEX IR.
  ☆348Updated this week
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆81Updated 6 years ago
• angr / archinfo
  Classes with architecture-specific information useful to other projects.
  ☆89Updated this week
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆158Updated 5 years ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆137Updated 3 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆58Updated 4 years ago
• junxzm1990 / x86-sok
  ☆141Updated 4 months ago
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆82Updated 4 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• googleprojectzero / DrSancov
  DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables
  ☆206Updated 3 years ago
• s3team / loop
  Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
  ☆50Updated 9 years ago
• axt / bingraphvis
  ☆43Updated 2 years ago
• RUB-SysSec / Marx
  Uncovering Class Hierarchies in C++ Programs
  ☆126Updated 2 years ago
• angr / angr-targets
  This repository contains the currently implemented angr concrete targets.
  ☆33Updated last year
• sslab-gatech / perf-fuzz
  ☆96Updated 5 years ago
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆61Updated 2 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆105Updated 6 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆101Updated 2 years ago
• talos-vulndev / afl-dyninst
  American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries
  ☆186Updated 3 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆95Updated 6 years ago
• uxmal / nucleus
  Clone of "Compiler-Agnostic Function Detection in Binaries" source code
  ☆86Updated 3 years ago