FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
作者： Steven Arzt , Siegfried Rasthofer , Christian Fritz , Eric Bodden , Alexandre Bartel
关键词:
摘要: … analysis for Android applications. A precise model of Android’s lifecycle allows the analysis … , while context, flow, field and object-sensitivity allows the analysis to reduce the number of …
acm.org
elsevier.com
tu-darmstadt.de
patrickmcdaniel.org 参考文章(34)
Clint Gibler, Jonathan Crussell, Jeremy Erickson, Hao Chen, AndroidLeaks: automatically detecting potential privacy leaks in android applications on a large scale trust and trustworthy computing. pp. 291- 307 ,(2012) , 10.1007/978-3-642-30921-2_17
George Kastrinis, Yannis Smaragdakis, Efficient and effective handling of exceptions in java points-to analysis compiler construction. pp. 41- 60 ,(2013) , 10.1007/978-3-642-37051-9_3
Ross Anderson, Hassen Saïdi, Rubin Xu, Aurasium: practical policy enforcement for Android applications usenix security symposium. pp. 27- 27 ,(2012)
Siegfried Rasthofer, Eric Bodden, Steven Arzt, SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks ,(2013)
Ondřej Lhoták, Laurie Hendren, Scaling Java points-to analysis using SPARK compiler construction. pp. 153- 169 ,(2003) , 10.1007/3-540-36579-6_12
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger, Implicit Flows: Can't Live with `Em, Can't Live without `Em international conference on information systems security. pp. 56- 70 ,(2008) , 10.1007/978-3-540-89862-7_4
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri, ANDROMEDA: accurate and scalable security analysis of web applications fundamental approaches to software engineering. ,vol. 7793, pp. 210- 225 ,(2013) , 10.1007/978-3-642-37057-1_15
Damien Octeau, Yves Le Traon, Eric Bodden, Alexandre Bartel, Patrick McDaniel, Jacques Klein, Somesh Jha, Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis usenix security symposium. pp. 543- 558 ,(2013)
Nomair A. Naeem, Ondřej Lhoták, Jonathan Rodriguez, Practical extensions to the IFDS algorithm compiler construction. pp. 124- 144 ,(2010) , 10.1007/978-3-642-11970-5_8
Babil Golam Sarwar, Olivier Mehani, Roksana Boreli, Mohamed-Ali Kaafar, None, On the effectiveness of dynamic taint analysis for protecting against private information leaks on Android-based devices international conference on security and cryptography. pp. 461- 468 ,(2013)