Title :
An Empirical Study to Discover Patterns for Checking the Matching Pair Property
Author :
Gui, Kang ; Kothari, Suraj
Author_Institution :
Electr. & Comput. Eng., Iowa State Univ., Ames, IA, USA
Abstract :
The matching pair (MP) property requires that an operation P is followed by an operation V on every execution path. Memory leaks, asymmetric synchronization, and several other defects result from violations of the MP property. We propose two patterns indicative of good software design with respect to the MP property. We present an empirical study about the existence of these patterns in Linux kernel.
Keywords :
Linux; pattern matching; program diagnostics; program verification; synchronisation; Linux kernel; MP property checking; asymmetric synchronization; matching pair property checking; memory leaks; pattern based program analysis; software design; Driver circuits; Kernel; Linux; Pattern matching; Performance evaluation; Synchronization;
Conference_Titel :
Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5391-7
Electronic_ISBN :
978-1-4244-5392-4
DOI :
10.1109/CISE.2010.5676795
