Main Content

Check for pointers in Stateflow charts

Check ID: mathworks.maab.jm_0011

Guideline: jm_0011: Pointers in Stateflow®

Description

Pointers are not allowed in Stateflow charts.

This check requires a Simulink® Check™ and Stateflow license.

This check requires a license.

Check Parameterization

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

ConditionRecommended Action
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.

  • Does not support Truth Table (Stateflow) blocks and Stateflow transition tables.