Efficient runtime invariant checking

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2008 Proceedings of the 2008 international workshop on dynamic analysis held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008) - WODA '08  
This paper describes a general and powerful framework for efficient runtime invariant checking. The framework supports (1) declarative specification of arbitrary invariants using high-level queries, with easy use of information from any data in the execution, (2) powerful analysis and transformations for automatic generation of instrumentation for efficient incremental checking of invariants, and (3) convenient mechanisms for reporting errors, debugging, and taking preventive or remedial
more » ... , as well as recording history data for use in queries. We demonstrate the advantages and effectiveness of the framework through implementations and case studies with abstract syntax tree transformations, authentication in a SMB client, and the BitTorrent peer-to-peer file distribution protocol.
doi:10.1145/1401827.1401837 dblp:conf/issta/GorbovitskiRLS08 fatcat:gy2phwybrfe5zgj5sfl4lnlrt4