GitHub repository: polystat/awesome-bugs
Primary language: Python
Description: A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers