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Похожие книги
 | Adam Friedel Год: 2011 |
 | "Loisette"Exposed: (Marcus Dwight Larrowe, Alias Silas Holmes, Alias Alphonse Loisette). Автор: George S. Fellows Год: -0001 |
 | The anomalous magnetic moment of the muon Автор: Jegerlehner F. Год: 2007 |
 | Die Fantastischen Vier Год: 2011 |
 | Abu Abdallah Al-Schafi Год: 2011 |