From object fields to local variables: a practical approach to field-sensitive analysis

DOI10.1007/978-3-642-15769-1_7MaRDI QIDQ4930719zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Diana Vanessa Ramírez Deantes

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/9122/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic inference of stationary fields, a generalization of Java's final fields
• Magic-sets for localised analysis of Java bytecode
• Pick your contexts well, understanding object-sensitivity
• Reachability analysis of program variables
• Automatic inference of heap properties exploiting value domains

Cited in

(2)

• Automatic inference of stationary fields, a generalization of Java's final fields
• Cost analysis of object-oriented bytecode programs

This page was built for publication: From object fields to local variables: a practical approach to field-sensitive analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930719)