Exposing memory corruption and finding leaks: Advanced mechanisms in Ada
Briot, Emmanuel Gasperoni, Franco Dewar, Robert Craeynest, Dirk Waroquiers, Philippe #
Springer-Verlag Berlin, LNCS
8th International Conference on Reliable Software Technologies - Ada-Europe 2003 vol:2655 pages:129-141
8th International Conference on Reliable Software Technologies - Ada-Europe 2003 location:Toulouse, France date:16-20 June 2003
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower developers when tracking memory leaks and memory corruption in their code. This Ada extension rests on the notion of "checked pools", i.e. storage pools with an additional Dereference operation. The paper describes how a particular instance of the checked pool, called the "debug pool", is implemented in the GNAT technology. Performance measurements for the use of debug pools are provided in the context of the Air Traffic Flow Management application at Eurocontrol.