Will Polyspace check code within a Simulink user-defined function block?

In a user defined function block I am calling another function implemented as a basic system object. Will Polyspace check code in the user defined function block and the system object code that is called?

Answer 1

[Anirban]

Polyspace checks for run-time errors, bugs and coding standard violations in C/C++ code. So, if you have user defined function blocks such as S-Function blocks (invoking C/C++ code), C Caller blocks or C Function blocks, Polyspace can analyze the code invoked from those blocks.

See:

• Run Polyspace Analysis on S-Function Code
• Run Polyspace Analysis on Custom Code in C Caller Blocks and Stateflow Charts
• Run Polyspace Analysis on Custom Code in C Function Block