Keyword: data flow analysis

• Kildall: Application of the Generic kildall's Data Flow Analysis Algorithm to a Type and Shape Static Analyses of Bytecode
  Solange Coupet-Grimal, William Delobel