Alternatives and similar repositories for android_s2e:

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

• SCUBSRGroup / ThirdPartLibFuzzForAndroid
  Fuzzing framework for third part library of android system
  ☆22Updated 8 years ago
• tigerpuma / Afl_unicorn
  ☆41Updated 7 years ago
• snorez / blog
  blog
  ☆16Updated 5 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• CAFA1 / long-driller
  ☆44Updated 4 years ago
• kanglictf / afl-qai
  A demo project for AFL with QEMU Augmented Instrumentation (qai)
  ☆45Updated 8 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• sslab-gatech / kernel-analyzer
  ☆71Updated 5 years ago
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 7 years ago
• Epeius / FFuzz
  ☆16Updated 7 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆37Updated 9 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 10 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 8 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• lieanu / CVE-2014-3153
  cve2014-3153 exploit for ubuntu x86
  ☆17Updated 10 years ago
• junxzm1990 / afl-pt
  ☆53Updated 5 years ago
• AndrewFasano / simple-crs
  Rode0day API Client
  ☆18Updated 6 years ago
• sslab-gatech / DIE-corpus
  Corpus set used by DIE
  ☆40Updated 4 years ago
• lcatro / klee-fl
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆29Updated 6 years ago
• 0-14N / NDroid
  A dynamic information flow tracing system for Android
  ☆54Updated 4 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• wpengfei / double_fetch_cocci
  Source code of the double-fetch bug detection approach based on Coccinelle engine
  ☆10Updated 8 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• Hcamael / android_kernel_pwn
  android kernel pwn
  ☆19Updated 6 years ago
• jianqiangzhao / mosec2016
  ☆38Updated 8 years ago
• 5alt / emu
  code emulator base on unicorn engine
  ☆51Updated 7 years ago
• bannsec / angr-Windows
  Windows builds for use with angr framework
  ☆29Updated 9 years ago