Next: Creating Sample Bodies Using gnatstub, Previous: Using the GNU make Utility, Up: Top
This chapter describes the gnatmem tool, which can be used to track down “memory leaks”, and the GNAT Debug Pool facility, which can be used to detect incorrect uses of access values (including “dangling references”).