Any 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 reac

Any 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.