Hob: A Tool for Verifying Data Structure Consistency
Hob: A Tool for Verifying Data Structure Consistency
复制标题
Hob：验证数据结构一致性的工具
DOI：
10.1007/978-3-540-31985-6_16
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
M. Rinard
中科院分区：
文献类型：
--
作者：
Patrick Lam;Viktor Kunčak;M. Rinard
这个工具演示了Hob，一个用于验证用通用编程语言编写的程序的数据结构一致性的系统。我们的工具可以将多个通信静态分析集中应用于同一程序中的不同模块。在整个程序开发过程中使用我们的工具，我们已经成功地确定了几个程序的规范和实现中的错误。
This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables the focused application of multiple communicating static analyses to different modules in the same program. Using our tool throughout the program development process, we have successfully identified several bugs in both specifications and implementations of programs.