ylya / horndroid
A Static Analysis Tool For Android Apps
☆19Updated 6 months ago
Alternatives and similar repositories for horndroid:
Users that are interested in horndroid are comparing it to the libraries listed below
- Static Analysis Framework for Android Hybrid Applications☆25Updated 4 years ago
- Symbolic/concolic execution of Android apps☆56Updated 9 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆50Updated 5 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Symbolic Execution of Android Framework☆15Updated 7 years ago
- Control Flow Graph Scanning for Android☆59Updated 9 years ago
- Concolic analysis tool for Java☆21Updated last year
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- The Static Android Analysis Framework.☆39Updated 9 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 6 years ago
- Python utilities for joern☆36Updated 6 years ago
- TaintAll, a taint analysis and concolic execution tool☆32Updated 8 years ago
- TIRO - A hybrid iterative deobfuscation framework for Android applications☆23Updated 6 years ago
- Pythia (extends AFL with Predictions)☆63Updated 3 years ago
- DroidSafe Android Static Analysis Source Repository☆95Updated 7 years ago
- Z3 Symbolic Execution python☆28Updated 7 years ago
- StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications☆23Updated 2 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆26Updated last year
- BAP Plugins Repository☆57Updated 4 years ago
- ☆22Updated 8 years ago
- Mozilla fork of the American Fuzzy Lop repo☆46Updated 6 years ago
- ☆47Updated 4 years ago
- Utilities for generating dynamic traces☆91Updated 2 weeks ago
- An Android port of radamsa fuzzer☆65Updated 5 years ago
- ☆53Updated 7 years ago
- Static analysis for llvm☆20Updated 10 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆58Updated 6 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago