Debugging via Run-Time Type Checking

摘要: This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The instruments program to monitor stored in each memory location. Whenever value is written into location, location's tag updated match value. Also, static compared with value's type; if there mismatch, warning message issued. location used, its checked, inappropriate context which being an error has been used pinpoint cause bugs several Solaris utilities Olden benchmarks, usually providing information succinct precise.