Targeted Update -- Aggressive Memory Abstraction Beyond Common Sense and its Application on Static Numeric Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Zhoulai Fu
  • Fonction : Auteur
  • PersonId : 938997

Résumé

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.
Fichier principal
Vignette du fichier
main_esop14.pdf (313.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00921702 , version 1 (20-12-2013)
hal-00921702 , version 2 (23-01-2014)

Identifiants

  • HAL Id : hal-00921702 , version 2

Citer

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⟩
172 Consultations
151 Téléchargements

Partager

Gmail Facebook X LinkedIn More