ylya / horndroidLinks
A Static Analysis Tool For Android Apps
☆20Updated last month
Alternatives and similar repositories for horndroid
Users that are interested in horndroid are comparing it to the libraries listed below
Sorting:
- Static Analysis Framework for Android Hybrid Applications☆25Updated 5 years ago
- Symbolic/concolic execution of Android apps☆56Updated 9 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆52Updated 5 years ago
- DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Updated 7 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆63Updated 8 years ago
- ☆22Updated 8 years ago
- Symbolic Execution of Android Framework☆15Updated 8 years ago
- ☆20Updated 8 years ago
- Control Flow Graph Scanning for Android☆63Updated 10 years ago
- ☆47Updated 5 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- BAP Plugins Repository☆58Updated 5 years ago
- static taint analysis of hybrid Android Apps (Java + HTML)☆13Updated 4 years ago
- Security methods for WeAkNess detection☆20Updated 2 weeks ago
- The Static Android Analysis Framework.☆40Updated 10 years ago
- TaintAll, a taint analysis and concolic execution tool☆31Updated 9 years ago
- Tool for detecting error handling bugs☆23Updated 9 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Updated 6 years ago
- Time-travel Testing☆106Updated 3 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Updated 7 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Argus static analysis framework☆197Updated 2 years ago
- Python utilities for joern☆36Updated 7 years ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Updated 8 years ago
- ReDeBug Source Code.☆24Updated 2 years ago
- Mozilla fork of the American Fuzzy Lop repo☆47Updated 6 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Updated 8 years ago
- COVA - A static analysis tool to compute path conditions☆40Updated 7 months ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Updated 9 years ago