Loading...
Please wait, while we are loading the content...
Similar Documents
Debugging via run-time type checking (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Loginov, Alexey Horwitz, Susan Reps, Thomas Yong, Suan Hsi |
| Description | In Proceedings of FASE 2001: Fundamental Approaches to Software Engineering |
| Abstract | Abstract. 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 memory 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 mismatch, 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. 1 |
| File Format | |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Static Type Error Message Warning Message Run-time Type Checking Run-time Type Tag Run-time Check Several Solaris Utility Olden Benchmark Tool Instrument Value Type |
| Content Type | Text |
| Resource Type | Proceeding Article |
