Shape-Based Alias Analysis - Computing Alias Sets from Shape Graphs to Evaluate the Precision of Shape Analyses

de Pavlu, Viktor
État : Neuf
62,09 €
TVA incluse - Livraison GRATUITE
Pavlu, Viktor Shape-Based Alias Analysis - Computing Alias Sets from Shape Graphs to Evaluate the Precision of Shape Analyses
Pavlu, Viktor - Shape-Based Alias Analysis - Computing Alias Sets from Shape Graphs to Evaluate the Precision of Shape Analyses

Ce produit vous plaît ? N'hésitez pas à le dire !

62,09 € dont de TVA
Plus que 1 exemplaire(s) disponible(s) Plus que 1 exemplaire(s) disponible(s)
Livraison : entre mercredi 1 juin 2022 et vendredi 3 juin 2022
Vente et expédition: Dodax

Autres options d'achat

1 offre à 62,18 €

Vendu par Dodax

62,18 € dont de TVA
État : Neuf
Livraison gratuite
Livraison : entre mercredi 1 juin 2022 et vendredi 3 juin 2022
Afficher autres options d'achat

La description

Shape analysis is a static code analysis technique for discovering properties of heap-allocated data structures. Such information is crucial to find software bugs at compile-time or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as analyses cannot be compared directly due to different representations of analysis results. The aim of our work is to compare the precision of shape analyses by extracting alias information from shape analysis results. We propose a significant improvement in precision over an existing 3-valued logic-based algorithm for computing alias sets from shape graphs. Using this algorithm we are able to compare the precision of two graph-based shape analyses, proposed by Sagiv, Reps & Wilhelm (SRW) and Nielson, Nielson & Hankin (NNH). The precision of the shape analysis algorithms is measured by the size of extracted strict may-alias sets, where smaller sets indicate a more precise shape analysis. Comparison of the computed alias sets gives a measure of quality by which NNH is more precise than SRW shape analysis for each of our benchmarks.

Contributeurs

Écrivain:
Pavlu, Viktor

Détails du produit

Biographie:
Viktor Pavlu is a research assistant at the Institute of Computer Languages, Vienna University of Technology. His main research interest is in the portable and efficient implementation of programming languages and compiler technology. He currently works on static analysis of pointers and heap-allocated data structures.
Langues:
Anglais
Nombre de pages:
132
Type de média:
Souple
Éditeur:
VDM Verlag Dr. Müller

Données de base

Type d'produit:
Livre de poche
Date de publication:
7 avril 2010
Dimensions du colis:
0.216 x 0.15 x 0.014 m; 0.181 kg
GTIN:
09783639249651
DUIN:
VGE0V8QFK4B
62,09 €
Nous avons recours aux cookies sur notre site internet afin de rendre votre visite plus agréable et ergonomique. Nous vous invitons ainsi à cliquer sur "Accepter les cookies" ! De plus amples informations sont disponibles dans notreDéclaration de protection des données.