MATLAB答案

最近添加的

订阅此视图

1.

答复

Polyspace代码验证程序在通过命令行远程执行后不会创建报告

问亚历山德罗·萨莫里 2021年9月21日14时14分
最新活动 编辑通过阿尼尔班 2021年9月23日13:13
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

为什么在尝试为指向结构的指针设置缓冲区时，我会在Polyspace代码验证程序中得到红色复选框“非法取消引用指针”？

问MathWorks支万博1manbetx持团队 2021年9月14日4:00
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年9月14日13:28
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

服务器重新启动后，如何取回我的工作人员数据？

问MathWorks支万博1manbetx持团队 2017年12月7日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2021年9月7日8:45
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

Polyspace CP目标和编译器。

问陈冲 2021年8月5日
最新活动 回答通过阿什法库尔·西拉吉 2021年8月6日
标签
s manbetx 845

1.

答复

为什么数组只使用一个索引时，下一行的橙色警告不会发生？

问陈冲 2021年7月28日
最新活动 编辑通过阿尼尔班 2021年7月29日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

代码权力判断颜色警告不一致

问陈冲 2021年7月6日
最新活动 编辑通过阿尼尔班 2021年7月9日
标签
s manbetx 845

1.

答复

Polyspace MISRA C 2012规则8.1和17.3似乎被禁用，即使被选中

问MathWorks支万博1manbetx持团队 2017年12月20日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2021年6月25日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

为什么在“polyspace作业管理器”等命令中使用选项“-mjs username”时，凭据未正确缓存？

问MathWorks支万博1manbetx持团队 2021年6月23日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年6月23日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

输入和存根：通过约束设置初始化全局变量

问陈冲 2021年6月1日
最新活动 评论通过阿尼尔班 2021年6月18日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

为什么运行时报告不是基于使用多空间代码证明器验证的C++项目的验证结果生成的？

问MathWorks支万博1manbetx持团队 2021年5月25日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2021年6月14日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

在Visual Studio 2019（16.7.3）中，多空间R2020B bug查找器和代码证明器兼容C++吗？

问马丁·沃克 2021年6月8日
最新活动 评论通过马丁·沃克2021年6月9日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

如何给指针形参数据范围

问尼迪什·马杜 2021年5月6日
最新活动 评论通过阿尼尔班 2021年5月7日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

代码验证程序警告“非法取消引用指针”

问尼迪什·马杜 2021年5月5日
最新活动 评论通过阿尼尔班 2021年5月6日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

R2020b版本上非法解引用的指针数量显著减少?

问陈冲 2021年3月18日
最新活动 评论通过阿尼尔班 2021年4月30日
标签
s manbetx 845

1.

答复

PS代码验证程序-工具提示文本展开，获取完整列表

问托马斯 2021年4月28日
最新活动 评论通过托马斯2021年4月28日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

为什么我的Polyspace代码验证程序分析只在仪表板中显示编码标准结果，而不显示代码验证程序结果？

问MathWorks支万博1manbetx持团队 2021年4月2日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年4月23日
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

为什么我不能在Polyspace中看到所有运行时检入审查范围？

问MathWorks支万博1manbetx持团队 2021年4月23日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年4月23日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

3.

答案

是否将注释从PolySpace 2010b（V8.0）导入PolySpace V8.5？

问锿 2014年7月3日
最新活动 编辑通过李拉蒂莎2021年4月21日
公认的答案通过亚历山大·德巴罗斯
标签
s manbetx 845

1.

答复

可以将polyspace V2020b与Matlab R2019a一起使用吗？

问索纳利帕蒂尔酒店 2021年4月15日
最新活动 评论通过阿尼尔班 2021年4月19日
标签
s manbetx 845

1.

答复

为什么即使在分析过程中编译失败，Polyspace代码验证程序也会生成报告？

问MathWorks支万博1manbetx持团队 2019年9月30日
最新活动 评论通过穆罕默德·扎卡里亚·安萨里2021年4月15日
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

polyspace：如何通过在代码本身中减少id来抑制polyspace警告

问尼希尔·平努斯 2021年4月14日
最新活动 编辑通过尼希尔·平努斯2021年4月15日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

启动Polyspace Bug Finder或Code Prover时，为什么会收到“无许可证可用”消息？

问MathWorks支万博1manbetx持团队 2014年3月21日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2021年4月12日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

错误：由于以前的错误而退出

问马纳尔Jalanapure 2021年4月5日
最新活动 回答通过阿尼尔班 2021年4月6日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

WriteFile失败，出现错误112

问纳兰德拉Venkata 2021年3月25日
最新活动 评论通过阿尼尔班 2021年4月1日
标签
s manbetx 845

2.

答案

Polyspace代码验证器无法找到windows.h作为头文件。由于Windows依赖而导致编译错误。

问纳兰德拉Venkata 2020年2月11日
最新活动 回答通过马丁道伊2021年3月31日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

在Polyspace Code Prover R2018b中保存结果（将来导入注释时需要）时，是否有办法减少磁盘空间使用？

问MathWorks支万博1manbetx持团队 2021年3月11日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年3月11日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

我可以使用代码中的宏在Polyspace中创建DRS文件吗？

问MathWorks支万博1manbetx持团队 2021年3月11日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年3月11日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

为什么会出现错误“请联系您的销售代表或联系MathWorks支持团队进行故障排除，网址为//www.tianjin-qmedu.com/support."万博1manbetx

问MathWorks支万博1manbetx持团队 2015年12月29日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2021年3月10日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

我如何为Polyspace错误查找器定义TI C2000编译器

问曼苏尔康复中心 2020年11月19日
最新活动 回答通过基督教的吟游诗人 2021年3月9日
标签
s manbetx 845

1.

答复

无法访问Polyspace Metrics http地址

问迪伦·埃里克森 2016年11月16日
最新活动 评论通过达尔善·盖德2021年3月5日
标签
s manbetx 845

1.

答复

非法取消引用的指针可能不正确

问陈冲 2020年12月30日
最新活动 评论通过陈冲2021年2月22日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

Polyspace配置致命错误无法找到arm-none-eabi-gcc

问MathWorks支万博1manbetx持团队 2020年11月12日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年2月18日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

局部变量在两次运行中的计算方式不同

问陈冲 2021年1月27日
最新活动 评论通过陈冲2021年2月4日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

通过代码验证程序进行堆栈检查

问维克多·加西亚·桑托斯 2021年2月3日
最新活动 评论通过维克多·加西亚·桑托斯2021年2月3日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

Polyspace MISRA-CPP 2008编码规则自定义设置

问李元熙 2021年1月25日
最新活动 回答通过阿尼尔班 2021年1月26日
标签
s manbetx 845

1.

答复

Polyspace无法使用编译器arm none eabi gcc生成项目

问MathWorks支万博1manbetx持团队 2020年11月5日
最新活动 回答通过MathWorks支万博1manbetx持团队 2021年1月14日
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

Polyspace代码证明不能分析整个项目的堆栈

问ashwini BHAT 2020年12月3日
最新活动 评论通过阿尼尔班 2021年1月5日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

局部变量是更改范围值，但没有分配

问陈冲 2020年12月15日
最新活动 编辑通过陈冲2020年12月30日
公认的答案通过阿尼尔班
标签
s manbetx 845

1.

答复

polyspace代码验证程序2016b中的哪些函数类型错误？

问施里坎特·拉哈恩 2020年12月22日
最新活动 回答通过阿尼尔班 2020年12月28日
标签
s manbetx 845

1.

答复

如何将新模块添加到我的现有项目中

问陈冲 2020年12月10日
最新活动 编辑通过阿尼尔班 2020年12月10日
标签
s manbetx 845

1.

答复

Polyspace_Code_Prover：无法对项目的整个代码进行堆栈分析

问图沙尔贾达夫 2020年12月3日
最新活动 回答通过阿尼尔班 2020年12月4日
标签
s manbetx 845

1.

答复

如何在同一集群上混合两个版本的Polyspace？

问MathWorks支万博1manbetx持团队 2014年4月22日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2020年11月27日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

在Polyspace Code Prover 9.2（R2014b）中的一次长时间验证中，我被建议使用选项“无不活动监视”。这意味着什么？

问MathWorks支万博1manbetx持团队 2015年1月28日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2020年11月25日
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

Polyspace代码验证程序因内部错误崩溃

问拉胡尔K 2018年11月6日
最新活动 编辑通过亚历山大·德巴罗斯 2020年11月24日
标签
s manbetx 845

1.

答复

当面对Polyspace Code Prover的伸缩行为时，该怎么做?

问MathWorks支万博1manbetx持团队 2016年8月5日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2020年11月9日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

2.

答案

是否可以在Docker中使用Polyspace ?

问MathWorks支万博1manbetx持团队 2018年6月25日
最新活动 评论通过佐尔布·埃尔登巴亚尔2020年10月30日
公认的答案通过MathWorks支万博1manbetx持团队
s manbetx 845

1.

答复

Polyspace命令行：将审阅信息添加到结果

问vu NagMs 2020年10月5日
最新活动 回答通过阿尼尔班 2020年10月6日
标签
s manbetx 845

1.

答复

读取内存区域：未读取所有预期条目。可能的解决方法是使用-cppfe extra flags--skip_il_check选项

问莱昂西奥·洛佩兹 2020年9月10日
最新活动 评论通过阿尼尔班 2020年9月23日
标签
s manbetx 845

1.

答复

为什么在运行Polyspace（或R2013b之后的Polyspace代码验证程序）验证时收到“内存不足”错误？

问MathWorks支万博1manbetx持团队 2009年6月27日
最新活动 编辑通过MathWorks支万博1manbetx持团队 2020年8月6日
公认的答案通过MathWorks支万博1manbetx持团队
标签
s manbetx 845

1.

答复

代码验证的结果是否正确取决于运行它的计算机的能力？

问陈冲 2020年7月22日
最新活动 评论通过阿尼尔班 3月1日
标签
s manbetx 845