In many critical applications with regulatory oversight, critical code must be independently reviewed and then compiled under supervision of the independent test lab. Code review generally involves usage of input values, logic/parameters that determines output values and looking for Trojan horses and malicious code. Source code review can be tailored to meet your requirements.
Our consultants have enormous experience in reviewing critical code and conducting remote supervised build. We provide manual as well as automated analysis of software.