We verify the behavior of compilers to support efficient software V&V and compliance, e.g. to show that no code untraceable to source code is generated by compiler optimizations as per DO-178C guidelines. We offer compiler verification services including the following:
- Investigating compiler behavior when different compiler options are used
- Defining a scope of compiler options that can be used to produce compliant software
- Investigating the behavior of different code constructs given a specific set of compiler options
- Generating compliance evidence to show that no additional untraceable code has been generated
For more information, see our Compiler verification case study.
Feature applies to: