arguslab / Argus-SAF-playgroundLinks
Learning playground for Argus-SAF
☆10Updated 7 years ago
Alternatives and similar repositories for Argus-SAF-playground
Users that are interested in Argus-SAF-playground are comparing it to the libraries listed below
Sorting:
- DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
- Inter-component communication Taint Analysis for Android☆94Updated 9 years ago
- Argus static analysis framework☆197Updated 2 years ago
- ☆22Updated 8 years ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆293Updated 7 months ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Updated 7 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆18Updated 8 years ago
- ☆10Updated 4 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆151Updated 9 years ago
- Binary Instrumentation of Android Apps☆69Updated 9 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Updated 9 years ago
- Time-travel Testing☆106Updated 3 years ago
- Research papers and tools on Android☆129Updated 4 years ago
- Symbolic/concolic execution of Android apps☆56Updated 9 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- This repository contains several examples of logic bomb.☆115Updated 2 years ago
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆66Updated 6 years ago
- Framework model for static analysis of Android☆46Updated 9 years ago
- IC3: Inter-Component Communication Analysis in Android☆41Updated 6 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆43Updated 2 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆92Updated last year
- Flow analysis using Soot☆52Updated 5 years ago
- ☆23Updated 2 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆52Updated 5 years ago
- The Static Android Analysis Framework.☆40Updated 10 years ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Updated 9 years ago
- A Static Analysis Tool For Android Apps☆20Updated last month
- ☆86Updated 9 years ago