D. F. Bacon and P. F. Sweeney, Fast static analysis of C++ virtual function calls, Proc. of OOPSLA'96, pp.324-341, 1996.

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software, Proc. of PLDI'03, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

M. Bravenboer and Y. Smaragdakis, Strictly declarative specification of sophisticated points-to analyses, ACM SIGPLAN Notices, vol.44, issue.10, pp.243-262, 2009.
DOI : 10.1145/1639949.1640108

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043
URL : http://akebono.stanford.edu/users/nanni/courses/EE318/bryant92.pdf

M. G. Burke, J. Choi, S. Fink, D. Grove, M. Hind et al., The Jalape??o dynamic optimizing compiler for Java, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.129-141, 1999.
DOI : 10.1145/304065.304113

J. Dean, D. Grove, and C. Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, Proc. of ECOOP'95, pp.77-101, 1995.
DOI : 10.1007/3-540-49538-X_5

D. Demange, T. Jensen, and D. Pichardie, A Provably Correct Stackless Intermediate Representation for Java Bytecode, Research Report, vol.7021, 2009.
DOI : 10.1007/978-3-642-17164-2_8
URL : https://hal.archives-ouvertes.fr/inria-00414099

A. P. Ershov, On programming of arithmetic operations, Communications of the ACM, vol.1, issue.8, pp.3-6, 1958.
DOI : 10.1145/368892.368907

D. Grove and C. Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems, vol.23, issue.6, pp.685-746, 2001.
DOI : 10.1145/506315.506316

L. Hubert, A non-null annotation inferencer for Java bytecode, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '08, pp.36-42, 2008.
DOI : 10.1145/1512475.1512484
URL : https://hal.archives-ouvertes.fr/inria-00504006

L. Hubert, T. Jensen, V. Monfort, and D. Pichardie, Enforcing Secure Object Initialization in Java, Proc. of ESORICS, 2010.
DOI : 10.1007/978-3-642-15497-3_7
URL : https://hal.archives-ouvertes.fr/inria-00503953

T. J. The, Watson Libraries for Analysis (Wala)

T. Jensen and D. Pichardie, Secure the Clones, 2010.
DOI : 10.1006/inco.1996.2613
URL : https://hal.archives-ouvertes.fr/hal-00762377

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon, The Objective Caml system. Inria, 2007.

O. Lhoták and L. Hendren, Scaling Java Points-to Analysis Using Spark, Proc. of CC, pp.153-169, 2003.
DOI : 10.1007/3-540-36579-6_12

O. Lhoták and L. Hendren, Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation, ACM Transactions on Software Engineering and Methodology, vol.18, issue.1, 2008.
DOI : 10.1145/1391984.1391987

T. Lindholm and F. Yellin, The Java TM Virtual Machine Specification, Second Edition, 1999.

V. B. Livshits, J. Whaley, and M. S. Lam, Reflection Analysis for Java, Proc. of APLAS, pp.139-160, 2005.
DOI : 10.1007/11575467_11

J. Meyer and T. Downing, Java Virtual Machine. O'Reilly Associates, 1997.

D. R. Morrison, PATRICIA---Practical Algorithm To Retrieve Information Coded in Alphanumeric, Journal of the ACM, vol.15, issue.4, 1968.
DOI : 10.1145/321479.321481

B. Pagano, O. Andrieu, T. Moniot, B. Canou, E. Chailloux et al., Experience report: using Objective Caml to develop safety-critical embedded tools in a certification framework, Proc. of ICFP, pp.215-220, 2009.

E. Rose, Lightweight Bytecode Verification, Journal of Automated Reasoning, vol.31, issue.3/4, pp.303-334, 2003.
DOI : 10.1023/B:JARS.0000021015.15794.82

F. Spoto, Julia: A Generic Static Analyser for the Java Bytecode, Proc. of the Workshop FTfJP, 2005.

R. Stata and M. Abadi, A type system for java bytecode subroutines, Proc of POPL, pp.149-160, 1998.

F. Tip and J. Palsberg, Scalable propagation-based call graph construction algorithms, Proc. of OOPSLA'00, pp.281-293, 2000.

R. Vallée-rai, P. Co, E. Gagnon, L. Hendren, P. Lam et al., Soot - A Java bytecode optimization framework, Proc. of CASCON, 1999.

J. Whaley, Dynamic optimization through the use of automatic runtime specialization . Master's thesis, Massachusetts Institute of Technology, 1999.