Hob: A Tool for Verifying Data Structure Consistency

Abstract. 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.

• Type: Conference
• Year: 2005
• Where: CC
• Authors: Patrick Lam, Viktor Kuncak, Martin C. Rinard
• Keywords: CC 2005, Data Structure Consistency, Demonstration Presents Hob, General-purpose Programming Language, Programming Languages