OOO Program Verification Systems (Co Ltd)Russia-based OOO "Program Verification Systems" (Co Ltd.) develops PVS-Studio, advanced C/C++/C++11 source code static analysis tool