Juliet Test Suite 1.1 offers test cases for assessing the effectiveness of static analyzers and other software-assurance tools.
No takes yet. Share an insight, caveat, or question.
Boland et al. (2012) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: