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.
Type de document :
Communication dans un congrès
ESOP - 23rd European Symposium on Programming - 2014, Apr 2014, Grenoble, France. 2014
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00921702
Contributeur : Fu Zhoulai <>
Soumis le : jeudi 23 janvier 2014 - 23:18:58
Dernière modification le : vendredi 24 janvier 2014 - 08:31:04
Document(s) archivé(s) le : jeudi 24 avril 2014 - 12:25:46

Fichier

main_esop14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, Apr 2014, Grenoble, France. 2014. 〈hal-00921702v2〉

Partager

Métriques

Consultations de la notice

355

Téléchargements de fichiers

51