TaintDroid
From MaRDI portal
Cited in
(28)- LoPSiL
- Perracotta
- Information flow analysis for valued-indexed data security compartments
- Automated inference of library specifications for source-sink property verification
- JFlow
- Stochastic Dynamic Information Flow Tracking Game with Reinforcement Learning
- Rewriting-based runtime verification for alternation-free HyperLTL
- EviCheck: Digital Evidence for Android
- Merlin
- Panorama
- Pixy
- FlowDroid
- Julia Static Analyzer
- F4F
- Dytan
- TAJ
- DREBIN
- BackFlow
- MorphDroid
- Aletheia
- Sails
- AUTOMATED STATIC ANALYSIS AND CLASSIFICATION OF ANDROID MALWARE USING PERMISSION AND API CALLS MODELS
- EMBER
- EviCheck
- AppGuard
- Androguard
- Apposcopy
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
This page was built for software: TaintDroid
