Static Analysis

  • Data-Flow Analysis