Using static analysis to reduce dynamic analysis overhead

DOI10.1007/S10703-005-3401-0MaRDI QIDQ812056zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• Static analysis: a brief survey
• scientific article; zbMATH DE number 1863891
• Static analysis method for detecting buffer overflow vulnerabilities
• scientific article; zbMATH DE number 1822437
• scientific article; zbMATH DE number 148937

Cites work

• scientific article; zbMATH DE number 1693522 (Why is no real title available?)
• scientific article; zbMATH DE number 1738288 (Why is no real title available?)
• CCured, type-safe retrofitting of legacy code

Cited in

(3)

• scientific article; zbMATH DE number 2089397 (Why is no real title available?)
• Formal concept analysis model for static code analysis
• Constraints in dynamic symbolic execution: bitvectors or integers?

Describes a project that uses

Uses Software

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

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

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