Microchip
直播中

李娜

8年用户 1696经验值
私信 关注
[问答]

有没有人使用XC16编译器使用SyopoS'隐式静态分析?

有没有人使用XC16编译器使用SyopoS'隐式静态分析?我刚刚开始使用Curress并配置它成功地为各种目标编译,但是Microchip XC16给了我这样的问题,以至于我不能从中得到任何CoV的构建。我问SyopSyS,他们说要联系Microchip。以下是我尝试过的:XC16覆盖文件:& XC16安装路径& gt;/ETC/Pluriti将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

回帖(1)

张琛根

2019-5-9 11:23:39
[解决]问题是两个(2)倍:Type和需要A-模板参数$COV配置编译器XC16 GCC模板-压缩MCHIPIXXC16

以上来自于百度翻译


      以下为原文

    [SOLVED] Issue was two (2) fold: typo and need a --template argument


$ cov-configure --compiler xc16-gcc --template --comptype mchip_xc16
举报

更多回帖

发帖
×
20
完善资料,
赚取积分