3 ms·
The compiler warnings are good, but they are not enough :). Specialized tools for static analysis, such as PVS-Studio will always outpace the compilers in diagn
by AndreyKarpov 9y ago
The compiler warnings are good, but they are not enough :). Specialized tools for static analysis, such as PVS-Studio will always outpace the compilers in diagnostic capabilities and configuration flexibility working with false positives. That's actually how the analyzer developers make money. Proofs: https://www.viva64.com/en/inspections/#ID0EAPAG https://www.viva64.com/en/inspections/#ID0EAPAG
- bonzini 9y agoAny chance you want to try PVS-Studio on QEMU? It's about one million lines of code, do not huge but definitely nontrivial. We use static analysis and have reached almost zero defects. You can contact me at pbonzini@redhat.com if you are interested.