License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05451.6
URN: urn:nbn:de:0030-drops-4878
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/487/
Go to the corresponding Portal

Breu, Silvia

Extending C Global Surveyor

pdf-format:
05451.BreuSilvia.Paper.487.pdf (0.06 MB)

Abstract

Software failure are noted for their blowing large sums of money and sometimes
even human life, in particular in the area of safety critical mission software. The most well-known desaster happened in 1996 when Ariane 501 exploded shortly
after launch. The least it did was to cost the European space program half a billion US$ due to an overflow in an arithmetic conversion.

The Automated Software Engineering Group at the NASA Ames Research Center
has developed C Global Surveyor (CGS), a static analysis tool based on abstract
interpretation. It particularly concentrates on runtime errors that are hard to find during development such as out-of-bound array accesses, acesses to non-initialised variables, and de-references of null pointers. CGS proved to analyse large, pointer intensive and heavily multithreaded code (up to 280 KLoC) in a couple of hours with a constant precision of 80%. It is used to successfully analyse mission-critical flight software of NASA's "Mars Path-Finder" (MPF) and Deep Space 1 (DS1) legacy as well as software of the Mars Exploration Rover (MER) mission (650 KLoC) and other JPL-based missions.

However, the abstract interpretation techniques on which CGS is based, need to be augmented by complimentary program analysis techniques in order to enhance CGS and support the developer when analysing very large systems. As a first step, we included the construction of control flow graphs that represent the programs to be analysed. It is a first step towards the application of more advanced techniques such as program slicing.

BibTeX - Entry

@InProceedings{breu:DagSemProc.05451.6,
  author =	{Breu, Silvia},
  title =	{{Extending C Global Surveyor}},
  booktitle =	{Beyond Program Slicing},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5451},
  editor =	{David W. Binkley and Mark Harman and Jens Krinke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/487},
  URN =		{urn:nbn:de:0030-drops-4878},
  doi =		{10.4230/DagSemProc.05451.6},
  annote =	{Keywords: Static program analysis, abstract interpretation, program slicing}
}

Keywords: Static program analysis, abstract interpretation, program slicing
Collection: 05451 - Beyond Program Slicing
Issue Date: 2006
Date of publication: 07.07.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI