, The Android Developers Website

, The Android Market

N. Ayewah, W. Pugh, J. D. Morgenthaler, J. Penix, Y. P. Zhou-;-r et al., Using FindBugs on Production Software, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), pp.805-806, 2007.

. Checkstyle,

P. Cousot and R. Cousot, Static Determination of Dynamic Properties of Programs, Proc. of the 2nd Int. Symposium on Programming, pp.106-130, 1976.

P. Cousot and R. Cousot, Abstract Interpretation: A Unifed Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Proc. of the 4th Symposium on Principles of Programming Languages (POPL'77), pp.238-252, 1977.

. Coverity,

. Dex2jar,

J. F. Tip and . Palsberg, Scalable Propagation-based Call Graph Construction Algorithms, Proc. of Object-Oriented Programming Systems, Languages & Applications (OOPSLA), number, vol.35, pp.281-293, 2000.

. Findbugs,

C. Flanagan, K. R. Leino, M. Lillibridge, G. Nelson, J. B. Saxe et al., Extended Static Checking for Java, Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.234-245, 2002.

R. W. Floyd, Assigning Meanings to Programs, Mathematical Aspects of Computer Science, vol.19, pp.19-32, 1967.

A. P. Fuchs, A. Chaudhuri, J. S. Foster, and . Scandroid, Automated Security Certification of Android Applications. Available at

L. Hubert, T. Jensen, and D. Pichardie, Semantic Foundations and Inference of non-null Annotations, Proc. of the 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), vol.5051, pp.132-149, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00266171

. Klocwork,

A. Miné, A New Numerical Abstract Domain Based on Difference-Bound Matrices, Proc. of the 2nd Symposium on Programs as Data Objects (PADO II), vol.2053, pp.155-172, 2001.

J. Palsberg and M. I. Schwartzbach, Object-Oriented Type Inference, Proc. of the 6th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'91), vol.26, pp.146-161, 1991.

M. M. Papi, M. Ali, T. L. Correa, J. H. Perkins, and M. D. Ernst, Practical Pluggable Types for Java, Proc. of the ACM/SIGSOFT 2008 International Symposium on Software Testing and Analysis (ISSTA'08), pp.201-212, 2008.

E. Payet and F. Spoto, Static Analysis of Android Programs, Proc. of the 23rd International Conference on Automated Deduction (CADE'11), vol.6803, pp.439-445, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01186147

M. Schönefeld, Reconstructing Dalvik Applications. Presented at the 10th annual CanSecWest conference, 2009.

F. Spoto, The Nullness Analyser of Julia, Proc. of the 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'10), vol.6355, pp.405-424, 2010.

F. Spoto, Precise null-Pointer Analysis. Software and Systems Modeling, vol.10, pp.219-252, 2011.

F. Spoto and T. Jensen, Class Analyses as Abstract Interpretations of Trace Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.25, issue.5, pp.578-630, 2003.

F. Spoto, F. Mesnard, and . Payet, A Termination Analyzer for, Java Bytecode Based on Path-Length. ACM Transactions on Programming Languages and Systems (TOPLAS), vol.32, issue.3, p.70, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01186167