Title: Exposing uninitialized variables: Strengthening and extending run-time checks in Ada
Authors: Dewar, Robert ×
Hainque, Olivier
Craeynest, Dirk
Waroquiers, Philippe #
Issue Date: 2002
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:2361 pages:193-204
Conference: 7th International Conference on Reliable Software Technologies - Ada-Europe 2002 location:Vienna, Austria date:17-21 June 2002
Abstract: Since its inception, a main objective of the Ada language has been to assist in the development of large and robust applications. In addition to that, the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize-Scalars pragma, which ensures an automatic initialization of the non-explicitly initialized scalars. This paper presents Initialize-Scalars, an enrichment of the Normalize-Scalars concept, and an extended mode to verify at run-time the validity of scalars,,both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented.
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