Project of double-fetch bug detection.
This work consists of three parts, the text level filtration, coccinelle-based pattern matching, and automatic patching tool.
(1) /text-filter: Source code of the text level filtration method. Detailed introduction and instruction please check readme.txt in its directory.
(2) /cocci: Source code of the Coccinelle-based pattern matching method. Detailed introduction and instruction please check readme.txt in its directory.
(3) /auto_fix: Source code of the Coccinelle-based automatic double-fetch bug patching tool.