Next: Creating Sample Bodies Using gnatstub,
Previous: Using the GNU make Utility,
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”).