Next: Stack Related Facilities, Previous: Using the GNU make Utility, Up: Top
This chapter describes some useful memory pools provided in the GNAT library and in particular the GNAT Debug Pool facility, which can be used to detect incorrect uses of access values (including “dangling references”). It also describes the gnatmem tool, which can be used to track down “memory leaks”.