Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Shape-Based Alias Analysis

Name: Shape-Based Alias Analysis
Brand: VDM Verlag
SKU: 9783639249651
Price: 61.16 EUR
Availability: InStock

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

Автор: Viktor Pavlu

Език:

Корици: С меки корици

Издател: VDM Verlag

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

61.16 € 119.63 лв

Shape analysis is a static code analysis technique for discovering properties of heap-allocated data...

Информация за книгата

Автор

Viktor Pavlu

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

132

EAN

9783639249651

ISBN

3639249658

Enbook ID

06832509

Издател

VDM Verlag

Теглоt

204

Размери

152 x 229 x 8

Пълно описание

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.

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Shape-Based Alias Analysis

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също