Key points are not available for this paper at this time.
Juliet Test Suite 1.1 offers test cases for assessing the effectiveness of static analyzers and other software-assurance tools.
Boland et al. (Mon,) studied this question.