Alternatives and similar repositories for android_s2e

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

• kanglictf / afl-qai
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆45Updated 8 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• SCUBSRGroup / ThirdPartLibFuzzForAndroid
  Fuzzing framework for third part library of android system
  ☆22Updated 8 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 11 years ago
• CAFA1 / long-driller
  ☆44Updated 5 years ago
• flankerhqd / mediacodecoob
  Infoleak and PC control poc for CVE-2015-6620 (24445127), I'll add after conference
  ☆53Updated 9 years ago
• chyyuu / symexe
  symexe
  ☆96Updated 8 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆102Updated 5 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• tigerpuma / Afl_unicorn
  ☆41Updated 7 years ago
• zhunki / skyfire
  ☆54Updated 6 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• retme7 / mate7_TZ_exploit
  Huawei mate 7 TrustZone exploit
  ☆110Updated 10 years ago
• asarubbo / poc
  ☆84Updated 7 years ago
• vitorallo / dronity
  Dronity, the Trinity syscall fuzzer ported to Android
  ☆43Updated 9 years ago
• shellphish / afl-other-arch
  AFL, with scripts to support other architectures.
  ☆96Updated 6 years ago
• sslab-gatech / kernel-analyzer
  ☆72Updated 5 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 8 years ago
• a7vinx / angr-doc-zh_CN
  Suspended
  ☆74Updated 8 years ago
• junxzm1990 / pomp
  ☆55Updated 5 years ago
• lcatro / klee-fl
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆29Updated 6 years ago
• lieanu / CVE-2014-3153
  cve2014-3153 exploit for ubuntu x86
  ☆18Updated 10 years ago
• csienslab / instrim
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆82Updated 5 years ago
• martinlindhe / autofuzz
  framework for fuzzing various open source tools
  ☆18Updated 10 years ago
• jianqiangzhao / mosec2016
  ☆38Updated 9 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆76Updated 5 years ago