GNATstack User's Guide
This guide contains a general description of gnatstack, a framework for computing and analyzing stack usage for the different subprograms in the application and extracting worst case values prior to execution time.
GNATstack User's Guide live docs »
Last Updated: 3/1/2021Posted on: 8/25/2017