Documentation in categories GNATstack

  • GNATstack
    • GNATstack User’s Guide     (Link to this entry)

      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.