angr / angr-z3

Related projects ⓘ

Alternatives and complementary repositories for angr-z3

• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• zcutlip / gdbinit-mips
  A gdbinit file that makes gdb much more usable for MIPS debugging.
  ☆39Updated 12 years ago
• felixgr / kerckhoffs
  Automatic Identification of Cryptographic Primitives in Software
  ☆30Updated 9 years ago
• axt / bingraphvis
  ☆42Updated 2 years ago
• moyix / panda
  Deprecated repo for PANDA 1.0 – see PANDA 2.0 repository
  ☆104Updated 7 years ago
• angr / archinfo
  Classes with architecture-specific information useful to other projects.
  ☆87Updated this week
• angr / angr-dev
  Some helper scripts to set up an environment for angr development.
  ☆117Updated last month
• rc0r / afl-fuzz
  Non-official repository for lcamtuf's American Fuzzy Lop http://lcamtuf.coredump.cx/afl/
  ☆63Updated 6 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• aflgo / oss-fuzz
  OSS-Fuzz - integrated with AFLGo for Patch Testing
  ☆35Updated 7 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 7 years ago
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• angr / simuvex
  [DEPRECATED] A symbolic execution engine for the VEX IR
  ☆79Updated 6 years ago
• ouspg / libfuzzerfication
  libfuzzerfication - fuzzing for the rest of us!
  ☆62Updated 7 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated 2 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆62Updated 3 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆98Updated 4 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 4 years ago
• cseagle / ida_clemency
  IDA cLEMENCy Tools
  ☆61Updated 7 years ago
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆157Updated 4 years ago
• SQLab / symgdb
  SymGDB - symbolic execution plugin for gdb
  ☆215Updated 6 years ago
• shellphish / afl-other-arch
  AFL, with scripts to support other architectures.
  ☆96Updated 6 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• angr / acsac-course
  ☆47Updated 3 years ago
• angr / vex
  A patched version of VEX to work with PyVEX.
  ☆105Updated 2 months ago
• MozillaSecurity / libfuzzer-python-bridge
  INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators
  ☆74Updated 5 years ago
• bshastry / afl-sancov
  AFL coverage tool using Clang SanitizerCoverage
  ☆37Updated 8 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆49Updated 7 years ago
• mrash / afl-cve
  A collection of vulnerabilities discovered by the AFL fuzzer (afl-fuzz)
  ☆89Updated 7 years ago
• angr / binaries
  A repository with binaries for angr tests and examples.
  ☆56Updated last week