Gimpel Software каждый месяц показывает ошибки, которые были найдены с помощью статического анализатора кода PC Lint. Вы могли бы протестировать свой инструмент на этих примерах.