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