StackAnalyzer automatically determines the worst-case stack usage of the tasks in embedded systems.
It detects any stack overflow or formally proves the absence thereof.