Main entry point (-main)

Specify a Microsoft Visual C++ extensions of main

Description

This option affects a Code Prover analysis only.

This option is not available for code generated from MATLAB^® code or Simulink^® models.

Specify the function that you want to use as main. If the function does not exist, the verification stops with an error message. Use this option to specify Microsoft^® Visual C++^® extensions of main.

Set Option

Set the option using one of these methods:

• Polyspace^® user interface (desktop products only): In your project configuration, select the Code Prover Verification node and then select a value for this option. See Dependencies for other options that you must enable first.

• Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select the Run Time Errors node and then select a value for this option.

• Command line and options file: Use the option -main. See Command-Line Information.

Settings

Default: _tmain

_tmain

Use _tmain as entry point to your code.

wmain

Use wmain as entry point to your code.

_tWinMain

Use _tWinMain as entry point to your code.

wWinMain

Use wWinMain as entry point to your code.

WinMain

Use WinMain as entry point to your code.

DllMain

Use DllMain as entry point to your code.

Dependencies

This option is enabled only if you:

• Set Source code language (-lang) to CPP.

• Select Verify whole application.

Command-Line Information

Parameter: -main

Value: _tmain | wmain | _tWinMain | wWinMain | WinMain | DllMain

Example (Code Prover): polyspace-code-prover -sources file_name -compiler visual14.0 -main _tmain

Example (Code Prover Server): polyspace-code-prover-server -sources file_name -compiler visual14.0 -main _tmain