Debugging via Run-Time Type Checking
- 23 March 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 217-232
- https://doi.org/10.1007/3-540-45314-8_16
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Symbolic bounds analysis of pointers, array indices, and accessed memory regionsPublished by Association for Computing Machinery (ACM) ,2000
- ABCDACM SIGPLAN Notices, 2000
- Physical type checking for CACM SIGSOFT Software Engineering Notes, 1999
- Coping with Type Casts in CLecture Notes in Computer Science, 1999
- Pointer analysis for programs with structures and castingPublished by Association for Computing Machinery (ACM) ,1999
- Low-cost, Concurrent Checking of Pointer and Array Accesses in C ProgramsSoftware: Practice and Experience, 1997
- Points-to analysis by type inference of programs with structures and unionsLecture Notes in Computer Science, 1996
- Generalized Constant Propagation a study in CLecture Notes in Computer Science, 1996
- Efficient detection of all pointer and array access errorsPublished by Association for Computing Machinery (ACM) ,1994
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978