We tested most of the major ones at work on the faulty code, and only PC-Lint caught the issue.