Title: Exposing memory corruption and finding leaks: Advanced mechanisms in Ada
Authors: Briot, Emmanuel ×
Gasperoni, Franco
Dewar, Robert
Craeynest, Dirk
Waroquiers, Philippe #
Issue Date: 2003
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:2655 pages:129-141
Conference: 8th International Conference on Reliable Software Technologies - Ada-Europe 2003 location:Toulouse, France date:16-20 June 2003
Abstract: 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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science