본문 바로가기
  • Home

Constructing Software Structure Graph through Progressive Execution

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2013, 18(7), pp.111-123
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

이혜련 1 신승훈 2 Kyung-Hee Choi 3 Kihyun Chung 3 박승규 3

1아주대학교 컴퓨터공학과
2아주대학교 소프트웨어융합학과
3아주대학교

Accredited

ABSTRACT

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.

Citation status

* References for papers published after 2023 are currently being built.