![Source to Object Code Analyser](https://d27wgn5g4t3wja.cloudfront.net/img/6c9d16e8-a744-45ab-93ed-4e847b1a13b5/260666.png)
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.