https://wp.jochen.hayek.name/blog-en/2015/11/03/prqa/
"Programming Research" AKA PRQA is a provider of static program analysis tools, including QA-C and QA-C++