Alternatives and similar repositories for android_s2e

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

• tigerpuma / Afl_unicorn
  ☆41Updated 7 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 8 years ago
• kanglictf / afl-qai
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆45Updated 8 years ago
• CAFA1 / long-driller
  ☆44Updated 5 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 7 years ago
• SCUBSRGroup / ThirdPartLibFuzzForAndroid
  Fuzzing framework for third part library of android system
  ☆22Updated 9 years ago
• vitorallo / dronity
  Dronity, the Trinity syscall fuzzer ported to Android
  ☆43Updated 10 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 11 years ago
• flankerhqd / mediacodecoob
  Infoleak and PC control poc for CVE-2015-6620 (24445127), I'll add after conference
  ☆52Updated 9 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆101Updated 5 years ago
• chyyuu / symexe
  symexe
  ☆97Updated 8 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 years ago
• shellphish / afl-other-arch
  AFL, with scripts to support other architectures.
  ☆97Updated 7 years ago
• lcatro / klee-fl
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆30Updated 6 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• sslab-gatech / kernel-analyzer
  ☆74Updated 5 years ago
• Epeius / FFuzz
  ☆16Updated 7 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 5 years ago
• lieanu / CVE-2014-3153
  cve2014-3153 exploit for ubuntu x86
  ☆18Updated 10 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 8 years ago
• snorez / blog
  blog
  ☆16Updated 5 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago
• junxzm1990 / afl-pt
  ☆54Updated 6 years ago
• a7vinx / angr-doc-zh_CN
  Suspended
  ☆74Updated 9 years ago
• zhunki / skyfire
  ☆54Updated 7 years ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆29Updated last year
• martinlindhe / autofuzz
  framework for fuzzing various open source tools
  ☆18Updated 10 years ago
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆82Updated 5 years ago
• yahnik / TaintTracking
  Implementation of Taint Tracking in LLVM compiler.
  ☆10Updated 12 years ago