Alternatives and similar repositories for android_s2e

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

• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• kanglictf / afl-qai
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆45Updated 8 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 10 years ago
• 0-14N / NDroid
  A dynamic information flow tracing system for Android
  ☆54Updated 4 years ago
• tigerpuma / Afl_unicorn
  ☆41Updated 7 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
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• vitorallo / dronity
  Dronity, the Trinity syscall fuzzer ported to Android
  ☆43Updated 9 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• lieanu / CVE-2014-3153
  cve2014-3153 exploit for ubuntu x86
  ☆18Updated 10 years ago
• 5alt / emu
  code emulator base on unicorn engine
  ☆51Updated 7 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆94Updated 7 years ago
• sslab-gatech / kernel-analyzer
  ☆72Updated 5 years ago
• chyyuu / symexe
  symexe
  ☆97Updated 8 years ago
• snorez / blog
  blog
  ☆16Updated 5 years ago
• jianqiangzhao / mosec2016
  ☆38Updated 9 years ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆101Updated 5 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 9 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• lcatro / klee-fl
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆29Updated 6 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• junxzm1990 / afl-pt
  ☆53Updated 6 years ago
• bannsec / angr-Windows
  Windows builds for use with angr framework
  ☆29Updated 9 years ago
• a7vinx / angr-doc-zh_CN
  Suspended
  ☆74Updated 8 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 8 years ago
• S2E / docs
  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  ☆77Updated 5 years ago