Alternatives and similar repositories for horndroid:

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

• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 7 years ago
• SunghoLee / HybriDroid
  Static Analysis Framework for Android Hybrid Applications
  ☆25Updated 4 years ago
• serval-snt-uni-lu / DroidRA
  Taming Reflection to Support Whole-Program Analysis of Android Apps
  ☆50Updated 5 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• JulianSchuette / ConDroid
  Symbolic/concolic execution of Android apps
  ☆56Updated 9 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆39Updated 9 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 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…
  ☆27Updated last year
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆58Updated 6 years ago
• octopus-platform / joern-tools
  Python utilities for joern
  ☆36Updated 6 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆90Updated 2 years ago
• choller / afl
  Mozilla fork of the American Fuzzy Lop repo
  ☆46Updated 5 years ago
• OMirzaei / AndrODet
  AndrODet: An Adaptive Android Obfuscation Detector
  ☆32Updated 2 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆62Updated 3 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆44Updated 4 years ago
• lungetech / cgc-challenge-corpus
  ☆63Updated 7 years ago
• programa-stic / Marvin-static-Analyzer
  Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…
  ☆68Updated 6 years ago
• CIFASIS / OS-fuzzing
  Using Machine Learning to predict the outcome of a zzuf fuzzing campaign
  ☆24Updated 9 years ago
• aflgo / oss-fuzz
  OSS-Fuzz - integrated with AFLGo for Patch Testing
  ☆35Updated 7 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 10 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆94Updated 7 years ago
• secure-software-engineering / swan
  Security methods for WeAkNess detection
  ☆20Updated 3 weeks ago
• SeanHeelan / HeapLayout
  Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
  ☆99Updated 5 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• isstac / badger
  ☆20Updated 6 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago