2019 · 20 citations · 18 references
ComputingCybersecurityApplication SecurityMalware AnalysisMobile SecurityApplication Programming InterfacesBehavioral AnalysisCode Obfuscation AnalysisMobile Application DevelopmentMobile Application Reverse EngineeringMobile Application VulnerabilitiesAndroid Application AnalysisAndroid Application VulnerabilitiesAndroid Malware AnalysisApplication Reverse EngineeringApplication Taint AnalysisMalware Taint AnalysisMobile Application Vulnerability AnalysisTaint Detection
Recent years have seen the development of numerous tools for the analysis of taint flows in Android apps. Taint analyses aim at detecting data leaks, accidentally or by purpose programmed into apps. Often, such tools specialize in the treatment of specific features impeding precise taint analysis (like reflection or inter-app communication). This multitude of tools, their specific applicability and their various combination options complicate the selection of a tool (or multiple tools) when faced with an analysis instance, even for knowledgeable users, and hence hinders the successful adoption of taint analyses.
18
Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations
Steven Arzt, Siegfried Rasthofer, Christian Fritz et al. · 2014 · 1.4K citations
Fengguo Wei, Sankardas Roy, Xinming Ou et al. · 2014 · 421 citations
Eric Bodden, Andreas Sewe, Jan Sinschek et al. · 2011 · 237 citations
Compositional may-must program analysis
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani et al. · 2010 · 217 citations