Description
Avoid costly run-time errors early in development, reduce debug effort, and support ISO 26262 process with an all-new Raptor tool. Raptor-Safe Stack Check is fully integrated with Raptor-Dev to provide automatic calculation of critical errors in the executable produced by the compiler – ensuring that the analysis reflects what you would experience when running on hardware, including:
- Worst-case stack usage calculated per task.
- Identification of potential recursive calls that are forbidden in safety-critical systems.
- Detection of loops that may not terminate.
Raptor-Safe Stack Check will be the first release in a set of Raptor-Safe tools that are designed to support safe development and verification of Raptor-developed software.
