摘要: This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entities can be recovered by iterating Value-Set Analysis (VSA), ... 展开
作者 | Gogul Balakrishnan Thomas Reps | ||
---|---|---|---|
作者单位 | |||
文集名称 | Verification, Model Checking, and Abstract Interpretation; Lecture Notes in Computer Science; 4349 | ||
出版年 | 2007 | ||
会议名称 | International Conference on Verification, Model Checking, and Abstract Interpretation(VMCAI 2007) | ||
页码 | 1-28 | 开始页/总页数 | 1 / 28 |
会议日期/会议地点 | 20070114-16 / Nice(FR) | 会议年/会议届次 | 2007 / 8th |
中图分类号 | TN929.5 | ||
馆藏号 | P0700894 |