主入口函数 (-main)

指定 main 的 Microsoft Visual C++ 扩展

描述

此选项仅影响 Code Prover 分析。

此选项不适用于从 MATLAB® 代码或 Simulink® 模型生成的代码。

指定您要用作 main 的函数。如果该函数不存在，则验证将停止并显示错误消息。使用此选项指定 main 的 Microsoft® Visual C++® 扩展。

设置选项

使用以下方法之一设置选项：

  • Polyspace® 用户界面（仅限桌面端产品）：在您的工程配置中，选择 Code Prover 验证节点，然后为此选项选择值。有关您必须首先启用的其他选项，请参阅依赖关系。

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择运行时错误节点，然后为此选项选择值。

  • 命令行和选项文件：请使用 -main 选项。请参阅命令行信息。

设置

默认值：_tmain

_tmain

使用 _tmain 作为代码的入口函数。

wmain

使用 wmain 作为代码的入口函数。

_tWinMain

使用 _tWinMain 作为代码的入口函数。

wWinMain

使用 wWinMain 作为代码的入口函数。

WinMain

使用 WinMain 作为代码的入口函数。

DllMain

使用 DllMain 作为代码的入口函数。

依赖关系

此选项仅在以下情况下启用：

命令行信息

参数：-main
值：_tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain
示例 (Code Prover)：polyspace-code-prover -sources file_name -compiler visual14.0 -main _tmain
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -compiler visual14.0 -main _tmain

另请参阅

|

主题