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.