Dynamic shape analysis of program heap using graph spectra: nier track
Dynamic shape analysis of program heap using graph spectra: nier track
复制标题
使用图谱进行程序堆的动态形状分析：nier track
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Muhammad Zubair Malik
中科院分区：
文献类型：
--
作者：
Muhammad Zubair Malik
Programs written in languages such as Java and C# maintain most of their state on the heap. The size and complexity of these programs pose a challenge in understanding and maintaining them; Heap analysis by summarizing the state of heap graphs assists programmers in these tasks. In this paper we present a novel dynamic heap analysis technique that uses spectra of the heap graphs to summarize them. These summaries capture the shape of recursive data structures as dynamic invariants or likely properties of these structures that must be preserved after any destructive update. Initial experiments show that this approach can generate meaningful summaries for a range of subject structures.
