有没有人使用XC16编译器使用SyopoS'隐式静态分析?我刚刚开始使用Curress并配置它成功地为各种目标编译,但是Microchip XC16给了我这样的问题,以至于我不能从中得到任何CoV的构建。我问SyopSyS,他们说要联系Microchip。以下是我尝试过的:XC16覆盖文件:& XC16安装路径& gt;/ETC/Pluri
ti将Microchip覆盖文件导入到我的覆盖分析模板中,并勾勒了其他人是如何做到的:$ln-fs<xc16安装路径& gt;/ETC/Copythics& lt;覆盖性分析路径& gt;/CONFIG/模板/MCHIPXX16$COV配置——编译器XC16 GCC——COMPTICAL GCCα使用通用GCC,而不是COV构建$COV配置——编译的XC16 GCC——COMPTION MCHIPIXXC16Y似乎不起作用
以上来自于百度翻译
以下为原文
Has anyone uses Synopsys' Coverity static analysis using the xc16 compiler? I'm just getting started with Coverity and configured it to compile for various targets successfully, but the Microchip xc16 is giving me issues such that I'm not getting any cov-builds out of it. I asked Synopsys and they said to contact Microchip. Here's what I tried:
xc16 Coverity files:
/etc/coverity
I brought in the Microchip Coverity files into my Coverity analysis templates and googled how other people have done it:
$ ln -fs /etc/coverity /config/templates/mchip_x16
$ cov-configure --compiler xc16-gcc --comptype gcc # uses generic gcc and doesn't cov-build
$ cov-configure --compiled xc16-gcc --comptype mchip_xc16 # doesn't seem to work