, The Android Developers Website
, The Android Market
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. ,
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 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. ,
Object-Oriented Type Inference, Proc. of OOPSLA'91, vol.26, pp.146-161, 1991. ,
Practical Pluggable Types for Java, Proc. of the ACM/SIGSOFT 2008 International Symposium on Software Testing and Analysis (ISSTA'08), pp.201-212, 2008. ,
Reconstructing Dalvik Applications. Presented at the 10th annual CanSecWest conference, 2009. ,
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. ,
Precise null-Pointer Analysis. Software and Systems Modeling, 2011. ,
Class Analyses as Abstract Interpretations of Trace Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.25, issue.5, pp.578-630, 2003. ,
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