社区概况

杰里米·朗斯特里特

最后出现时间:两天前|自2020年起活跃

统计数据

内容提要

问题

这是Polyspace漏洞查找器中的一个问题:警告:无法创建临时文件:
这是Polyspace Bug-finder中的一个问题:警告:无法创建临时文件…或者我可以无视警告吗?从:T开始…

2年前| 1回答| 0

1

回答

问题

为什么我在使用polyspace-configure: error: [from sniffer]: invalid句柄时得到这个错误
不确定这个响应消息是什么意思?polyspace-configure: 22s: ERROR: [from sniffer] NtCreateFile \??\C:\Users\scoqates…

2年前| 1回答| 0

1

回答

问题

ActiveX如何修改一个MS Word表格单元格的值使用Matlab?
我有一个word文档，里面有一个表格。我想搜索一个短语:“圈复杂度”在一个表…

2年前|回答| 0

0

答案

问题

如何加载XML文件以在命令行设置“代码度量”选项。
我想将这些更改设置为“代码度量”:

2年前| 1回答| 0

1

回答

回答
microsoft visual studio项目上的Polyspace-configure挂起或我仍然缺少成分。
使用Polyspace-config，使用-module，我为每个项目获得了psopts输出文件。但这些不包括树的来源…

2年前| 0

问题

用户程序错误:用户应该提供一个主例程，使用-main或-main-generator。
当运行Polyspace-Code-Prover时，日志文件的结果是:“用户程序错误:用户应该提供一个主例程，使用-ma…

2年前| 1回答| 0

1

回答

问题

microsoft visual studio项目上的Polyspace-configure挂起或我仍然缺少成分。
我正在使用的例子(一些我找到的东西):"polyspace- configuration .exe -lang cpp /msbuild sample. exe "Sln "发现于:h…

2年前| 2回答| 0

2

答案

问题

为什么内存限制的数据结构在cpp:大小“XXX::C_SubNetwork::S_ListBuffer[3]”>= 256 Mb，我可以提高限制更高?
如何在cpp (visual studio)中为数据结构使用超过256Mb的内存?我可以将备忘录的内存限制设置为1gb吗?

2年前| 1回答| 0

1

回答