通过Polyspace使用的编译器文件，代码验证工具用于执行C ++和Ada源的静态数据;包含原始文件的副本被编译，除了头，宏和充分发展的文件中的其他结构。
该Polyspace编译器使用CI文件报告的具体编译错误信息给开发者。
