Polyspace-Code-Prover:用户程序错误:用户应该提供一个主程序,使用小镇或主发电机。

你好,

首先,该决议。您可以添加的选项 主发电机 在你的选项文件 BugFinderOptions.psops 和错误不会发生 。 选项只适用于代码验证但它应该被忽略的错误仪分析,这样你就可以继续重用相同的选项文件。

现在,这个问题发生的原因。它的使用有关 模块 在 polyspace-configure 运行。可能的一个Visual Studio项目解决方案会导致一个共享库,而不是一个可执行文件。在这种情况下,项目本身不包含 主要 函数。

如果你检查你的Visual Studio解决方案(例如,在VS2019,右键单击一个项目 解决方案资源管理器 并选择 属性 ),一个图书馆,你将看到这样的:

你看到 配置类型 为 zlib 是 动态库文件(. dll)中 。现在,如果我使用 polyspace-configure 与 模块 在上述解决方案,专为创建一个单独的选项文件 zlib 。自 zlib 执行是一个库,并不意味着就其本身而言,不会有吗 主要 函数。

可能你有一个这样的情况。没有经历你的解决方案,很难多说(你可以 联系MathWorks技术支持金宝app 让他们进一步诊断该问题)。

解决方法很简单:只是使用 主发电机 在选项文件中。这样的情况下,分析运行在文件中,都有一个 主要 ,一个 主要 将为您生成。看到更多的关于这个选项 主发电机 。

是的,抱歉。看起来像 主发电机 将迫使您添加另一个选择。

它可能是更好的添加 -main-generator-calls未使用 不叫的,因此只有函数生成项目的任何一个地方被调用 主要 。这实际上是默认的Polyspace用户界面。

再次抱歉。我忘了这是c++。

你能试一试 -class-analyzer所有 -class-analyzer-calls未使用?

的 -main-generator-calls 都是需要在C但是在c++,外面看起来只在函数定义一个类的范围。看到更多的选择 -class-analyzer 和 -class-analyzer-calls 。