E. Albert, P. Arenas, S. Genaim, and G. Puebla, Field-Sensitive Value Analysis by Field-Insensitive Analysis. In World Congress on Formal Methods (FM), pp.370-386, 2009.

E. Albert, P. Arenas, S. Genaim, G. Puebla, and D. V. Ramírez-deantes, From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis, Static Analysis Symposium (SAS), pp.100-116, 2010.

R. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008.

R. Bagnara, P. M. Hill, and E. Zaffanella, Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems, Theoretical Computer Science, vol.410, issue.46, pp.4672-4691, 2009.

P. Cousot and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Principles of Programming Languages (POPL), pp.238-252, 1977.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., The Astrée Analyzer, European Symposium on Programming (ESOP), pp.21-30, 2005.

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné et al., Why does Astrée Scale up? Formal Methods in System Design, vol.35, pp.229-264, 2009.

P. Cousot and N. Halbwachs, Automatic Discovery of Linear Restraints Among Variables of a Program, Principles of Programming Languages (POPL), pp.84-96, 1978.

T. Lindholm, F. Yellin, G. Bracha, and A. Buckley, The Java TM Virtual Machine Specification, Financial Times, 2013.

A. Miné, Weakly Relational Numerical Abstract Domains, 2004.

A. Miné, Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics, Languages, Compilers, and Tools for Embedded Systems (LCTES), pp.54-63, 2006.

A. Miné, The Octagon Abstract Domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006.

D. Nikolic and F. Spoto, Reachability Analysis of Program Variables, Transactions on Programming Languages and Systems, vol.35, issue.4, 2013.

´. E. Payet and F. Spoto, Index Checking Experiments, 2017.

J. Santino, Enforcing Correct Array Indexes with a Type System, Foundations of Software Engineering (FSE), pp.1142-1144, 2016.

S. Secci and F. Spoto, Pair-Sharing Analysis of Object-Oriented Programs, Static Analysis Symposium (SAS), pp.320-335, 2005.

F. Spoto, The Julia Static Analyzer for Java, Static Analysis Symposium (SAS), pp.39-57, 2016.

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

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