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.
Chapter PDF
Similar content being viewed by others
References
Hoare, C.A.R.: The verifying compiler: still a Grand Challenge for computing research. ETAPS Invited Lecture (April 2003)
Lam, P., Kuncak, V., Rinard, M.: Crosscutting techniques in program specification and analysis. In: Tarr, P. (ed.) Proceedings of the Fourth Conference on Aspect-Oriented Software Development (2005)
Lam, P., Kuncak, V., Rinard, M.: Generalized typestate checking for data structure consistency. In: 6th International Conference on Verification, Model Checking and Abstract Interpretation (2005)
Møller, A., Schwartzbach, M.I.: The Pointer Assertion Logic Engine. In: Proc. PLDI (2001)
Nelson, G.: Techniques for program verification. Technical report, XEROX Palo Alto Research Center (1981)
Zee, K., Lam, P., Kuncak, V., Rinard, M.: Combining theorem proving with static analysis for data structure consistency. In: International Workshop on Software Verification and Validation (SVV 2004), Seattle (November 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lam, P., Kuncak, V., Rinard, M. (2005). Hob: A Tool for Verifying Data Structure Consistency. In: Bodik, R. (eds) Compiler Construction. CC 2005. Lecture Notes in Computer Science, vol 3443. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31985-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-31985-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25411-9
Online ISBN: 978-3-540-31985-6
eBook Packages: Computer ScienceComputer Science (R0)