Constructing control flow graph that accounts for exception induced control flows for Java
- Authors
- Jo J.-W.; Chang B.-M.
- Issue Date
- Aug-2003
- Publisher
- Institute of Electrical and Electronics Engineers Inc.
- Keywords
- Computer science; Failure analysis; Flow graphs; Information analysis; Java; Merging; Performance analysis; Performance evaluation; Software engineering; Software testing
- Citation
- Proceedings - KORUS 2003: 7th Korea-Russia International Symposium on Science and Technology, v.2, pp 160 - 165
- Pages
- 6
- Journal Title
- Proceedings - KORUS 2003: 7th Korea-Russia International Symposium on Science and Technology
- Volume
- 2
- Start Page
- 160
- End Page
- 165
- URI
- https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/16353
- ISSN
- 0000-0000
- Abstract
- Many program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings, use control flow graph (CFG). For these analyses to be safe and useful, the CFG should incorporate the exception-induced control flow. Failure to account for exception induced control flows in performing analyses can result in incorrect analysis information. In this paper, we propose a method to construct CFG that accounts for exception-induced control flow. We show that normal control flows and exception induced control flows can be safely decoupled, hence these two flows can be computed separately. We propose the analysis that estimates exception-induced control flows, and also propose exception propagation graph that represents exception induced control flows. The control flow graph that accounts for exception-induced control flow can be constructed by merging exception propagation graph onto control flow graph with normal control flows. © 2003 7th Korea-Russia Intl Sym on Science.
- Files in This Item
-
Go to Link
- Appears in
Collections - 공과대학 > 소프트웨어학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.