A full program control flow representation for real programs

DOI10.1007/BFB0002729MaRDI QIDQ4536920zbMATH OpenFDO

Authors He Zhu, Ian Watson

Publication date 25 June 2002

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

Full work available at URL https://doi.org/10.1007/BFB0002729

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• Control-flow analysis of functional programs
• scientific article; zbMATH DE number 3874581
• Precise interprocedural dataflow analysis with applications to constant propagation

Cited in

(6)

• A flow-insensitive-complete program representation
• Alternating control flow reconstruction
• Designing and implementing control flow graph for Magic 4th generation language
• Refinement-based CFG reconstruction from unstructured programs
• An approach of data-flow analysis based on exception propagation analysis
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

This page was built for publication: A full program control flow representation for real programs

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