Using static analysis to reduce dynamic analysis overhead

DOI10.1007/s10703-005-3401-0zbMath1083.68552OpenAlexW1996296256WikidataQ56814416 ScholiaQ56814416MaRDI QIDQ812056

Suan Hsi Yong, Susan Horwitz

Publication date: 23 January 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-3401-0

zbMATH Keywords

static analysisdynamic debuggingruntime types

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Valgrind
• Cyclone
• CCured
• Insure++
• GDB

Cites Work

• CCured
• Unnamed Item
• Unnamed Item

This page was built for publication: Using static analysis to reduce dynamic analysis overhead