To add up to it, here is one example of companies that validate security in high integrity systems.

http://www.ldra.com/en/software-quality-test-tools

Namely for C, C++, Java and Ada stacks on the domains of medicine, trains, aviation, automotive, factory automation.

This needs to be extended to other business domains.