Static analysis for oVirt