-main)Задайте Microsoft Visual C++
расширения main
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте функцию, которую вы хотите использовать в качестве 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 |
Пример (программа автоматического доказательства кода):
|
Пример (сервер программы автоматического доказательства кода):
|