, The Android Developers Website
, The Android Market
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. ,
,
Static Determination of Dynamic Properties of Programs, Proc. of the 2nd Int. Symposium on Programming, pp.106-130, 1976. ,
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. ,
,
,
Scalable Propagation-based Call Graph Construction Algorithms, Proc. of Object-Oriented Programming Systems, Languages & Applications (OOPSLA), number, vol.35, pp.281-293, 2000. ,
,
Extended Static Checking for Java, Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.234-245, 2002. ,
Assigning Meanings to Programs, Mathematical Aspects of Computer Science, vol.19, pp.19-32, 1967. ,
, Automated Security Certification of Android Applications. Available at
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
,
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 the 6th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (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. ,
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
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 (LPAR'10), vol.6355, pp.405-424, 2010. ,
, Precise null-Pointer Analysis. Software and Systems Modeling, vol.10, pp.219-252, 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 (TOPLAS), vol.32, issue.3, p.70, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01186167