Shape-Based Alias Analysis epub
Shape-Based Alias Analysis epub
Shape-Based Alias Analysis by Viktor Pavlu
---------------------------------------------------------------
Author: Viktor Pavlu
Page Count: 132 pages
Published Date: 07 Apr 2010
Publisher: VDM Verlag
Publication Country: Germany
Language: English
ISBN: 9783639249651
File size: 19 Mb
File Name: Shape-Based.Alias.Analysis.pdf
Download Link: Shape-Based Alias Analysis
---------------------------------------------------------------
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.
Read online Shape-Based Alias Analysis Buy Shape-Based Alias Analysis Download Shape-Based Alias Analysis for pc, mac, kindle, readers Download to iPad/iPhone/iOS, B&N nook Shape-Based Alias Analysis
Download PDF, EPUB, MOBI Philosopher's Index : Cumulative Edition 1981, Vol XV
modelli-ed-esperienze-di-riforma-del-diritto-penale-complementare-atti-del-convegno-(modena-14-15-dicembre-2001)-ebook
Download PDF, EPUB, Kindle Getting Critical
Southern Practitioner : An Independent Monthly Journal Devoted to Medicine and Surgery, Volume 11, Issue 7 download pdf
Aircraft of the Netherlands East Indies Army Aircraft in crisis and war times february 1937 - June 1942 download torrent
honda e1500 generator manual
Shape-Based Alias Analysis by Viktor Pavlu
Author: Viktor Pavlu
Page Count: 132 pages
Published Date: 07 Apr 2010
Publisher: VDM Verlag
Publication Country: Germany
Language: English
ISBN: 9783639249651
File size: 19 Mb
File Name: Shape-Based.Alias.Analysis.pdf
Download Link: Shape-Based Alias Analysis
---------------------------------------------------------------
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.
Read online Shape-Based Alias Analysis Buy Shape-Based Alias Analysis Download Shape-Based Alias Analysis for pc, mac, kindle, readers Download to iPad/iPhone/iOS, B&N nook Shape-Based Alias Analysis
More links:
patch community club stuttgartDownload PDF, EPUB, MOBI Philosopher's Index : Cumulative Edition 1981, Vol XV
modelli-ed-esperienze-di-riforma-del-diritto-penale-complementare-atti-del-convegno-(modena-14-15-dicembre-2001)-ebook
Download PDF, EPUB, Kindle Getting Critical
Southern Practitioner : An Independent Monthly Journal Devoted to Medicine and Surgery, Volume 11, Issue 7 download pdf
Aircraft of the Netherlands East Indies Army Aircraft in crisis and war times february 1937 - June 1942 download torrent
honda e1500 generator manual