Static memory allocation conditions

Edit online

If the application uses static memory allocation, the checker verifies that the following conditions are met:

  • The maximum number of class instances is non-zero.
  • The statechart implementation is flat.
  • The new and delete operators are explicitly specified for each event and class using local heaps.

Reports include limits set for the number of instances.

All properties are loaded and saved as part of the element definition in the repository.