, The Android Developers Website

, The Android Market

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.

L. Hubert, T. Jensen, and D. Pichardie, Semantic Foundations and Inference of non-null Annotations, Proc. of the 10th Int. 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

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 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.

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, vol.6355, pp.405-424, 2010.

F. Spoto, Precise null-Pointer Analysis. Software and Systems Modeling, 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, vol.32, issue.3, p.70, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01186167