DocumentCode
1870873
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
fYear
2010
fDate
10-12 Dec. 2010
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CISE.2010.5676795
Filename
5676795
Link To Document