Check for pointers in Stateflow charts
Guideline: jm_0011: Pointers in Stateflow®
Pointers are not allowed in Stateflow charts.
This check requires a Simulink® Check™ and Stateflow license.
This check requires a license.
This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.
For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:
NA-MAAB — a
JMAAB — a
Results and Recommended Actions
|Pointer operations are used in Stateflow charts.||Modify the specified chart to remove the dependency on pointer operations.|
Capabilities and Limitations
Applies only to Stateflow charts that use C as the action language.
Runs on library models.
Does not analyze content of library linked blocks.
Analyzes content in all masked subsystems.
Allows exclusions of blocks and charts.