Source to Object Code Analyser
RTT-STO - Verified Systems International GMBH (Verified Systems International GMBH)
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.