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. © Springer-Verlag Berlin Heidelberg 2005.