我可以配置Polyspace错误发现者忽略编译错误发现的C / c++标准库吗?

8视图(30天)
我试图分析代码文件,包括C / c++标准库的功能。起初我有编译错误,因为我不包括编译器的标准库的路径。我纠正这个遵循指导: //www.tatmou.com/help/bugfinder/ug/provide-standard-library-headers-for-polyspace-analysis.html, 然而现在是把这些包括文件编译错误。
我怎么能忽略这些错误,因为它不是我想要的标准库分析?我想要的结果我的源代码。
我不够配置设置为它的“模拟”我的编译器足够吗?