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
...