A benchmark of C Single-Thread Double Lock bugs.
As of today (August 27th, 2016) all the files come from bug-fixes to the Linux kernel.
Two folders:
- cpped: Fully preprocessed files.
- raw: Raw un-preprocessed source files, OK for purely syntax-based tools.