Alternatives and similar repositories for horndroid

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

• 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
  ☆51Updated 5 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
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆15Updated 8 years ago
• mboehme / pythia
  Pythia (extends AFL with Predictions)
  ☆65Updated 4 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆107Updated last year
• isstac / badger
  ☆20Updated 6 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 8 years ago
• miwong / IntelliDroid
  A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
  ☆59Updated 7 years ago
• MIT-PAC / droidsafe-src
  DroidSafe Android Static Analysis Source Repository
  ☆96Updated 8 years ago
• hksecurity / FuzzBuilder
  ☆47Updated 5 years ago
• thinkmoore / llvm-analysis
  Static analysis for llvm
  ☆20Updated 10 years ago
• SAAF-Developers / saaf
  The Static Android Analysis Framework.
  ☆40Updated 9 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• srasthofer / FuzzDroid
  ☆22Updated 8 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• squaresLab / SemanticCrashBucketing
  Semantic Crash Bucketing
  ☆15Updated 4 years ago
• TACIXAT / CFGScanDroid
  Control Flow Graph Scanning for Android
  ☆59Updated 10 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆36Updated this week
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Updated 2 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• octopus-platform / joern-tools
  Python utilities for joern
  ☆36Updated 6 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆57Updated 6 years ago
• vusec / collabfuzz
  CollabFuzz: A Framework for Collaborative Fuzzing
  ☆69Updated 3 years ago