4 ms·
No. Coverity scans QEMU regularly but it is not sound. The challenge with static analyzers is that false positives make people not want to deal with the analyz
by stefanha 6y ago
No. Coverity scans QEMU regularly but it is not sound.
The challenge with static analyzers is that false positives make people not want to deal with the analyzer reports.
I will check out IKOS, thanks!
- OnlyOneCannolo 6y agoOne of the cool things about that particular analyzer is that you can choose how accurate it is in exchange for how long it takes.