Run-time type checking for binary programs

DOI10.1007/3-540-36579-6_7MaRDI QIDQ4417786zbMATH OpenFDO

Authors Stephen N. Freund, Janet L. Wiener, Mike Burrows

Publication date 30 July 2003

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/2622/26220090.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• Debugging via run-time type checking
• scientific article; zbMATH DE number 1863891
• CCured, type-safe retrofitting of legacy code
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• Tools to make C programs safe: a deeper study

Cited in

(8)

• A type system for static and dynamic checking of C++ pointers
• Typestate checking of machine code
• Debugging via run-time type checking
• Tools to make C programs safe: a deeper study
• Type checking systems code
• CCured, type-safe retrofitting of legacy code
• A type system for certified binaries
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

This page was built for publication: Run-time type checking for binary programs

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