-main)Укажите
расширения Microsoft Visual C++ main
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите функцию, которую необходимо использовать в качестве main. Если функция не существует, проверка прекращается с сообщением об ошибке. Используйте этот параметр, чтобы указать расширения Microsoft ® Visual C++ main.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification). Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -main. См. раздел Сведения о командной строке.
По умолчанию: _tmain
_tmainИспользовать _tmain в качестве точки входа в код.
wmainИспользовать wmain в качестве точки входа в код.
_tWinMainИспользовать _tWinMain в качестве точки входа в код.
wWinMainИспользовать wWinMain в качестве точки входа в код.
WinMainИспользовать WinMain в качестве точки входа в код.
DllMainИспользовать DllMain в качестве точки входа в код.
Эта опция включена только в том случае, если:
Набор Source code language (-lang) кому CPP.
Выбрать Verify whole application.
Параметр: -main |
Значение: _tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |