...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages >Dynamic heap type inference for program understanding and debugging
【24h】

Dynamic heap type inference for program understanding and debugging

机译：动态堆类型推断，有助于程序理解和调试

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency with program types. Our approach builds on ideas from physical subtyping and conservative garbage collection. We infer a program-defined type for each allocated storage location or identify "untypable" blocks that reveal heap corruption or type safety violations. The analysis exploits symbolic debug information if present, but requires no annotation or recompilation beyond a list of defined program types and allocated heap blocks. We have integrated our analysis into the GNU Debugger (gdb), and describe our initial experience using this tool with several small to medium-sized programs.
机译：由于缺乏严格的类型执行和对内存的低级访问，C程序可能难以调试。我们为C提供了一个动态分析，该分析检查堆快照与程序类型的一致性。我们的方法基于物理子类型化和保守垃圾收集的思想。我们为每个分配的存储位置推断一个程序定义的类型，或者识别出显示堆损坏或违反类型安全性的“不可篡改”块。该分析利用了符号调试信息（如果存在），但是除了定义的程序类型和分配的堆块的列表之外，不需要任何注释或重新编译。我们已经将分析集成到GNU调试器（gdb）中，并描述了使用该工具与几个中小型程序的初步经验。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号