GNATstack

Company:

ADACORE

Description:

The GNATstack tool statically predicts the maximum stack space required by each task in an application. The computed bounds can be used to ensure that sufficient space is reserved, thus guaranteeing safe execution with respect to stack usage. The tool uses a conservative analysis to deal with complexities such as subprogram recursion, while avoiding unnecessarily pessimistic estimates.

Product Properties

• URL to the product/service/project description on company's website:
  http://www.adacore.com/home/gnatpro/safety-critical/do-178b