@article{ART001791001},
author={이혜련 and 신승훈 and Kyung-Hee Choi and Kihyun Chung and 박승규},
title={Constructing Software Structure Graph through Progressive Execution},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2013},
volume={18},
number={7},
pages={111-123}
TY - JOUR
AU - 이혜련
AU - 신승훈
AU - Kyung-Hee Choi
AU - Kihyun Chung
AU - 박승규
TI - Constructing Software Structure Graph through Progressive Execution
JO - Journal of The Korea Society of Computer and Information
PY - 2013
VL - 18
IS - 7
PB - The Korean Society Of Computer And Information
SP - 111
EP - 123
SN - 1598-849X
AB - To verify software vulnerability, the method of conjecturing software structure and then testing the software based on the conjectured structure has been highlighted. To utilize the method, an efficient way to conjecture software structure is required. The popular graph and tree methods such as DFG(Data Flow Graph), CFG(Control Flow Graph) and CFA(Control Flow Automata) have a serious drawback. That is, they cannot express software in a hierarchical fashion. In this paper, we propose a method to overcome the drawback. The proposed method applies various input data to a binary code, generate CFG’s based on the code output and construct a HCFG (Hierarchical Control Flow Graph) to express the generated CFG’s in a hierarchical structure. The components required for HCFG and progressive algorithm to construct HCFG are also proposed. The proposed method is verified through constructing the software architecture of an open SMTP(Simple Mail Transfer Protocol) server program. The structure generated by the proposed method and the real program structure are compared and analyzed.
KW - Software Structure;Software Graph;HCFG;Hierarchical Control Flow Graph
DO -
UR -
ER -
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung and 박승규. (2013). Constructing Software Structure Graph through Progressive Execution. Journal of The Korea Society of Computer and Information, 18(7), 111-123.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung and 박승규. 2013, "Constructing Software Structure Graph through Progressive Execution", Journal of The Korea Society of Computer and Information, vol.18, no.7 pp.111-123.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung, 박승규 "Constructing Software Structure Graph through Progressive Execution" Journal of The Korea Society of Computer and Information 18.7 pp.111-123 (2013) : 111.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung, 박승규. Constructing Software Structure Graph through Progressive Execution. 2013; 18(7), 111-123.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung and 박승규. "Constructing Software Structure Graph through Progressive Execution" Journal of The Korea Society of Computer and Information 18, no.7 (2013) : 111-123.
이혜련; 신승훈; Kyung-Hee Choi; Kihyun Chung; 박승규. Constructing Software Structure Graph through Progressive Execution. Journal of The Korea Society of Computer and Information, 18(7), 111-123.
이혜련; 신승훈; Kyung-Hee Choi; Kihyun Chung; 박승규. Constructing Software Structure Graph through Progressive Execution. Journal of The Korea Society of Computer and Information. 2013; 18(7) 111-123.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung, 박승규. Constructing Software Structure Graph through Progressive Execution. 2013; 18(7), 111-123.
이혜련, 신승훈, Kyung-Hee Choi, Kihyun Chung and 박승규. "Constructing Software Structure Graph through Progressive Execution" Journal of The Korea Society of Computer and Information 18, no.7 (2013) : 111-123.