完善资料让更多小伙伴认识你,还能领取20积分哦, 立即完善>
有没有人使用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: I brought in the Microchip Coverity files into my Coverity analysis templates and googled how other people have done it: $ ln -fs $ 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个回答
|
|
[解决]问题是两个(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 |
|
|
|
只有小组成员才能发言,加入小组>>
5077 浏览 9 评论
1953 浏览 8 评论
1888 浏览 10 评论
请问是否能把一个ADC值转换成两个字节用来设置PWM占空比?
3115 浏览 3 评论
请问电源和晶体值之间有什么关系吗?PIC在正常条件下运行4MHz需要多少电压?
2186 浏览 5 评论
631浏览 1评论
504浏览 1评论
有偿咨询,关于MPLAB X IPE烧录PIC32MX所遇到的问题
366浏览 1评论
PIC Kit3出现目标设备ID(00000000)与预期的设备ID(02c20000)不匹配。是什么原因
533浏览 0评论
439浏览 0评论
小黑屋| 手机版| Archiver| 电子发烧友 ( 湘ICP备2023018690号 )
GMT+8, 2024-9-28 06:11 , Processed in 0.894300 second(s), Total 47, Slave 41 queries .
Powered by 电子发烧友网
© 2015 bbs.elecfans.com
关注我们的微信
下载发烧友APP
电子发烧友观察
版权所有 © 湖南华秋数字科技有限公司
电子发烧友 (电路图) 湘公网安备 43011202000918 号 电信与信息服务业务经营许可证:合字B2-20210191 工商网监 湘ICP备2023018690号