ylya / horndroid
A Static Analysis Tool For Android Apps
☆18Updated 2 years ago
Related projects: ⓘ
- Static Analysis Framework for Android Hybrid Applications☆24Updated 3 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 6 years ago
- Symbolic/concolic execution of Android apps☆56Updated 8 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Updated 4 years ago
- Symbolic Execution of Android Framework☆14Updated 7 years ago
- A coverage-based software testing tool☆29Updated 3 years ago
- Mozilla fork of the American Fuzzy Lop repo☆46Updated 5 years ago
- Concolic Execution Fuzzer☆24Updated 2 years ago
- ☆47Updated 4 years ago
- ReDeBug Source Code.☆24Updated 9 months ago
- ☆20Updated 5 years ago
- KLEE / CSE Project☆42Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated last year
- Control Flow Graph Scanning for Android☆59Updated 9 years ago
- Pythia (extends AFL with Predictions)☆61Updated 3 years ago
- FoRTE-Research's fuzzing benchmarks☆54Updated 5 years ago
- DroidSafe Android Static Analysis Source Repository☆93Updated 7 years ago
- TaintAll, a taint analysis and concolic execution tool☆32Updated 7 years ago
- TIRO - A hybrid iterative deobfuscation framework for Android applications☆21Updated 6 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- ☆21Updated 7 years ago
- Static analysis for llvm☆20Updated 9 years ago
- ☆50Updated 6 years ago
- ☆19Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- ☆24Updated 5 years ago
- BAP Plugins Repository☆57Updated 3 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆13Updated 5 years ago