Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 2003: Reliable Software Technologies — Ada-Europe 2003 pp 129–141Cite as

Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2655))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Taft, S.T., Duff, R.A., Brukardt, R.L. and Plödereder, E.; Consolidated Ada Reference Manual. Language and Standard Libraries, ISO/IEC 8652:1995(E) with COR.1:2000, Lecture Notes in Computer Science, vol. 2219, Springer-Verlag, 2001.

    MATH  Google Scholar 

  2. Barnes, J.; Storage Pool Alignment, Ada User Journal, pp. 182–187, vol. 19, number 3, October 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ACT Europe, 8 rue de Milan, 75009, Paris, France

    Emmanuel Briot & Franco Gasperoni

  2. Ada Core Technologies, 104 Fifth Avenue, New York, NY, 10011, USA

    Robert Dewar

  3. Eurocontrol/CFMU, Development Division, Rue de la Fusée, 96, B-1130, Brussels, Belgium

    Dirk Craeynest & Philippe Waroquiers

Authors
  1. Emmanuel Briot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Franco Gasperoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Dewar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dirk Craeynest
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Philippe Waroquiers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Adalog, 19-21 rue du 8 mai 1945, 94110, Arcueil, France

    Jean-Pierre Rosen

  2. Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, 1015, Lausanne EPFL, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Briot, E., Gasperoni, F., Dewar, R., Craeynest, D., Waroquiers, P. (2003). Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. In: Rosen, JP., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2003. Ada-Europe 2003. Lecture Notes in Computer Science, vol 2655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44947-7_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-44947-7_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40376-0

  • Online ISBN: 978-3-540-44947-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation