Abstract. Summarizing techniques are widely used in the reasoning of unbounded data structures. These techniques prohibit strong update unless certain restricted safety conditions are satisfied. We find that by setting and enforcing the analysis boundaries to a limited scope of program identifiers, called targets in this paper, more cases of strong update can be shown sound, not with regard to the entire heap, but with regard to the targets. We have implemented the analysis for inferring numeric properties in Java programs. The experimental results show a tangible precision enhancement compared with classical approaches while preserving a high scalability. © 2014 Springer-Verlag.
CITATION STYLE
Fu, Z. (2014). Targeted update - Aggressive memory abstraction beyond common sense and its application on static numeric analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8410 LNCS, pp. 534–553). Springer Verlag. https://doi.org/10.1007/978-3-642-54833-8_28
Mendeley helps you to discover research relevant for your work.