본문 바로가기
  • Home

Static Type Inference Based on Static Single Assignment for Bytecode

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2006, 11(4), pp.87-96
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

김지민 1 Weon Hee Yoo 1 김기태 1 김제민 1

1인하대학교

Candidate

ABSTRACT

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations, bytecode must be translated to a Static Single Assignment Form(SSA Form). But when bytecode is translated a SSA Form it has lost type informations of some variables. For resolving these problemㄴ in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator, dominance frontier, -Function, renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First, we construct call graph and derivation graph of classes. And the we collect informationㄴ associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations, we assign type to each node.

Citation status

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