PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Loginov A., Yong S., Horwitz S., Reps T. Debugging via run-time type checking. In: Approaches to Software Engineering - 4th International Conference - FASE 2001 (Genova, Italy, 2-6 April 2001). Proceedings, pp. 217 - 232. (Lecture Notes in Computer Science, vol. 2029). Springer, 2001.
 
 
Abstract
(English)
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information.The tool instruments a program to monitor the type stored in each mem-ory location. Whenever a value is written into a location, the location's run-time type tag is updated to match the type of the value. Also, the location's static type is compared with the value's type; if there is a mis-match, a warning message is issued. Whenever the value in a location is used, its run-time type tag is checked, and if the type is inappropriate in the context in which the value is being used, an error message is issued. The tool has been used to pinpoint the cause of bugs in several Solaris utilities and Olden benchmarks, usually providing information that is succinct and precise.
Subject Design tools
D.2.2 Design Tools and Techniques


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional