Skip to Main content Skip to Navigation
Conference papers

Targeted Update -- Aggressive Memory Abstraction Beyond Common Sense and its Application on Static Numeric Analysis

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 high scalability.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00921702
Contributor : Fu Zhoulai <>
Submitted on : Thursday, January 23, 2014 - 11:18:58 PM
Last modification on : Friday, January 24, 2014 - 8:31:04 AM
Long-term archiving on: : Thursday, April 24, 2014 - 12:25:46 PM

File

main_esop14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00921702, version 2

Citation

Zhoulai Fu. Targeted Update -- Aggressive Memory Abstraction Beyond Common Sense and its Application on Static Numeric Analysis. ESOP - 23rd European Symposium on Programming - 2014, Yale University, Apr 2014, Grenoble, France. ⟨hal-00921702v2⟩

Share

Metrics

Record views

405

Files downloads

198