Learning to verify the heap

Shape-analysis driven memory graph visualization

JH Boockmann, G Lüttgen - Proceedings of the 30th IEEE/ACM …, 2022 - dl.acm.org
Analyzing heap dumps containing complex dynamic data structures is essential when
debugging modern software systems. However, existing tools for visualizing memory graphs …
被引用次数：4 相关文章 所有 4 个版本
[PDF] swt-bamberg.de

DSI: An evidence-based approach to identify dynamic data structures in C programs

DH White, T Rupprecht, G Lüttgen - Proceedings of the 25th International …, 2016 - dl.acm.org
Comprehension of C programs containing pointer-based dynamic data structures can be a
challenging task. To tackle this challenge we present Data Structure Investigator (DSI), a …
被引用次数：17 相关文章 所有 4 个版本
[PDF] swt-bamberg.de

[PDF][PDF] Learning Data Structure Shapes from Memory Graphs.

JH Boockmann, G Lüttgen, E Albert, L Kovács - LPAR, 2020 - swt-bamberg.de
This paper presents a novel algorithm for automatically learning recursive shape predicates
from memory graphs, so as to formally describe the pointer-based data structures contained …
被引用次数：6 相关文章 所有 5 个版本

[引用][C] Shape inference from memory graphs

J Boockmann, G Lüttgen - … und Grundlagen der …, 2019 - fis.uni-bamberg.de
被引用次数：1 相关文章