Static analysis of Android programs

Information and Software Technology

Volumn 54, Issue 11, 2012, Pages 1192-1201

  Payet, Étienne ^a   Spoto, Fausto ^b  

^a UNIVERSITÉ DE LA RÉUNION   (France)

^b UNIVERSITY OF VERONA   (Italy)

Author keywords

Abstract interpretation; Android; Program verification; Static analysis

Indexed keywords

ABSTRACT INTERPRETATIONS; ANDROID; CLASS ANALYSIS; DYNAMIC INFLATION; EMBEDDED AND MOBILE DEVICES; ENTRY POINT; EVENT-BASED; INDUSTRIAL USE; OPEN-SOURCE; OPEN-SOURCE PROGRAM; PROGRAM VERIFICATION; STANDARD HARDWARE; STATIC ANALYZERS; TERMINATION ANALYSIS; UPPER LAYER; USER ANNOTATIONS;

ABSTRACTING; INDUSTRIAL APPLICATIONS; JAVA PROGRAMMING LANGUAGE; MOBILE DEVICES; ROBOTS; XML;

STATIC ANALYSIS;

EID: 84864766220     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2012.05.003     Document Type: Article

References (29)

1. The Android Developers Website. < http://developer.android.com >.
2. The Android Market. < http://www.android.com/market >.
3. N. Ayewah, W. Pugh, J.D. Morgenthaler, J. Penix, Y. Zhou. Using FindBugs on production software. in: R.P. Gabriel, D.F. Bacon, C.V. Lopes, G.L. Steele Jr., (Eds.), Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), ACM, Montreal, Quebec, Canada, October 2007, pp. 805-806.
4. Checkstyle. < http://checkstyle.sourceforge.net >.
5. P. Cousot, R. Cousot, Static determination of dynamic properties of programs, in: Proc. of the 2nd Int. Symposium on Programming, Paris, France, April 1976. Dunod, pp. 106-130.
6. P. Cousot, R. Cousot, Abstract interpretation: a unifed lattice model for static analysis of programs by construction or approximation of fixpoints, in Proc. of the 4th Symposium on Principles of Programming Languages (POPL'77), ACM Press, 1977, pp. 238-252.
7. Coverity. < http://www.coverity.com >.
8. Dex2jar. < http://code.google.com/p/dex2jar >.
9. Eclipse. < http://www.eclipse.org >.
10. F. Tip, J. Palsberg, Scalable propagation-based call graph construction algorithms, in: Proc. of Object-Oriented Programming Systems, Languages & Applications (OOPSLA), number 35(10) in SIGPLAN Notices, 2000, pp. 281-293. (Pubitemid 32396366)
11. FindBugs. < http://findbugs.sourceforge.net >.
12. C. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe, and R. Stata Extended static checking for Java J. Knoop, L.J. Hendren, Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2002 ACM Berlin, Germany 234 245 (Pubitemid 34991522)
13. Robert W. Floyd. Assigning Meanings to Programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proc. of Symposia in Applied Mathematics, pages 19-32, Providence, Rhode Island, 1967. American Mathematical Society.
14. A.P. Fuchs, A. Chaudhuri, J.S. Foster, SCanDroid: automated security certification of android applications. < http://www.cs.umd.edu/∼avik/ papers/scandroidascaa.pdf >.
15. L. Hubert, T. Jensen, and D. Pichardie Semantic foundations and inference of non-null annotations G. Barthe, F.S. de Boer, Proc. of the 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08) Lecture Notes in Computer Science vol. 5051 2008 Springer 132 149
16. Klocwork. < http://www.klocwork.com >.
17. http://f-droid.org/repository/browse/.
18. A. Miné, A new numerical abstract domain based on difference-bound matrices, in: O. Danvy, A. Filinski, (Eds.), Proc. of the 2nd Symposium on Programs as Data Objects (PADO II), volume 2053 of Lecture Notes in Computer Science, Springer, 2001, pp. 155-172. (Pubitemid 33282936)
19. http://moonblink.googlecode.com/svn/trunk/.
20. J. Palsberg, and M.I. Schwartzbach Object-oriented type inference A. Paepcke, Proc. of the 6th Annual Conference on Object-Oriented Programming Systems Languages, and Applications (OOPSLA'91), ACM SIGPLAN Notices vol. 26 1991 ACM Press 146 161 (11)
21. M.M. Papi, M. Ali, T.L. Correa, J.H. Perkins, M.D. Ernst, Practical pluggable types for Java, in: B.G. Ryder, A. Zeller, (Eds.), Proc. of the ACM/SIGSOFT 2008 International Symposium on Software Testing and Analysis (ISSTA'08), ACM, 2008, pp. 201-212.
22. É. Payet, and F. Spoto Static analysis of Android program N. Bjorner, V. Sofronie-Stokkermans, Proc. of the 23rd International Conference on Automated Deduction (CADE'11) Lecture Notes in Computer Science vol. 6803 2011 Springer 439 445
23. PMD. < http://pmd.sourceforge.net >.
24. M. Schönefeld, Reconstructing Dalvik applications, in: Presented at the 10th annual CanSecWest conference, March 2009.
25. F. Spoto The nullness analyser of julia E.M. Clarke, A. Voronkov, Proc. of the 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'10) Lecture Notes in Artificial Intelligence vol. 6355 2010 Springer 405 424
26. F. Spoto Precise null-pointer analysis Software and Systems Modeling 10 2 2011 219 252
27. F. Spoto, and T. Jensen Class analyses as abstract interpretations of trace semantics ACM Transactions on Programming Languages and Systems (TOPLAS) 25 5 2003 578 630 (Pubitemid 41283896)
28. F. Spoto, F. Mesnard, and É. Payet A termination analyzer for Java bytecode based on path-length ACM Transactions on Programming Languages and Systems (TOPLAS) 32 3 2010 70
29. http://typoweather.googlecode.com/svn/trunk/.