Debugging via run-time type checking

DOI10.1007/3-540-45314-8_16MaRDI QIDQ2764121zbMATH OpenFDO

Authors Alexey Loginov, Susan Horwitz, Thomas Reps, Suan Hsi Yong

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2029/20290217

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Run-time type checking for binary programs
• CCured, type-safe retrofitting of legacy code
• Experience with a portable debugging tool
• Tools and Algorithms for the Construction and Analysis of Systems
• Runtime checking of multithreaded applications with visual threads

Cited in

(3)

• Run-time type checking for binary programs
• Guided Type Debugging
• Using static analysis to reduce dynamic analysis overhead

This page was built for publication: Debugging via run-time type checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764121)