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 »