Details
-
Task
-
Resolution: Won't Fix
-
Major
-
None
-
None
-
None
Description
You are already using stuff like Coverity so I thought you might be interested in https://github.com/NASA-SW-VnV/ikos
The only downside is that it produces a lot of false positives, but it won't miss any detectable bug.