主入口函数 (-main)
指定 main 的 Microsoft Visual C++ 扩展
描述
此选项仅影响 Code Prover 分析。
此选项不适用于从 MATLAB® 代码或 Simulink® 模型生成的代码。
指定您要用作 main 的函数。如果该函数不存在，则验证将停止并显示错误消息。使用此选项指定 main 的 Microsoft® Visual C++® 扩展。
设置选项
用户界面（仅限桌面端产品）：在您的工程配置中，此选项位于 Code Prover 验证节点上。有关您还必须启用的其他选项，请参阅依存关系。
用户界面（仅限 Polyspace 平台、桌面端产品）：在您的工程配置中，此选项位于运行时错误节点的静态分析选项卡上。有关您还必须启用的其他选项，请参阅依存关系。
设置
默认值：_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 |
示例 (Code Prover Server)：polyspace-code-prover-server -sources |
另请参阅
验证整个应用程序 | 验证模块或库 (-main-generator)
主题
- 指定 Polyspace 分析选项
- Verify C Application Without main Function (Polyspace Code Prover)
- Verify C++ Classes (Polyspace Code Prover)
