Affiliation:
1. IBM Research, Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY
Abstract
The Factored Control Flow Graph,
FCFG,
is a novel representation of a program's intraprocedural control flow, which is designed to efficiently support the analysis of programs written in languages, such as Java, that have frequently occurring operations whose execution may result in exceptional control flow. The FCFG is more compact than traditional CFG representations for exceptional control flow, yet there is no loss of precision in using the FCFG. In this paper, we introduce the FCFG representation and outline how standard forward and backward data flow analysis algorithms can be adapted to work on this representation. We also present empirical measurements of FCFG sizes for a large number of methods obtained from a variety of Java programs, and compare these sizes with those of a traditional CFG representation.
Publisher
Association for Computing Machinery (ACM)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Precise Framework for Source-Level Control-Flow Analysis;2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM);2021-09
2. An integration test coverage metric for Java programs;International Journal of System Assurance Engineering and Management;2019-06-15
3. Modeling and Coverage Analysis of Programs with Exception Handling;Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference);2019-02-14
4. Provably correct control flow graphs from Java bytecode programs with exceptions;International Journal on Software Tools for Technology Transfer;2015-04-05
5. Amplifying Tests to Validate Exception Handling Code;ACM Transactions on Software Engineering and Methodology;2014-09-05