Proceedings of the 2nd International Conference on Runtime Verification (RV 2011). Published as Volume 7186 of Lecture Notes in Computer Science (LNCS), pages 345--359; San Francisco, California; September 27-30, 2011.
The robustness of software systems is adversely affected by programming errors and security exploits that corrupt heap data structures. In this paper, we present the design and implementation of TxMon, a system to detect such data structure corruptions. TxMon leverages the concurrency control machinery implemented by hardware transactional memory (HTM) systems to additionally enforce programmer-specified consistency properties on data structures at runtime. We implemented a prototype version of TxMon using an HTM system (LogTM-SE) and studied the feasibility of applying TxMon to enforce data structure consistency properties on several benchmarks. Our experiments show that TxMon is effective at monitoring data structure properties, imposing tolerable runtime performance overheads.
Slides: [ Powerpoint ]
DOI: [ 10.1007/978-3-642-29860-8_26 ]