Next: Verifying properties using gnatcheck, Previous: Memory Management Issues, Up: Top
This chapter describes some useful tools associated with stack checking and analysis. In particular, it deals with dynamic and static stack usage measurements.