Check for pointers in Stateflow charts

Check ID: mathworks.maab.jm_0011

Guideline: jm_0011: Pointers in Stateflow^®

• MAB v5.0

• JMAAB v5.1

• JMAAB v6.0

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

Condition	Recommended 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.