An Empirical Study to Discover Patterns for Checking the Matching Pair Property
Kang Gui, Suraj C. Kothari · 2010
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.