Class AnalysisUtil

java.lang.Object
com.ibm.wala.cfg.exc.inter.AnalysisUtil

public final class AnalysisUtil extends Object
Utility class for the exception pruning analysis.

This class has been developed as part of a student project "Studienarbeit" by Markus Herhoffer. It has been adapted and integrated into the WALA project by Juergen Graf.

Author:
Markus Herhoffer <markus.herhoffer@student.kit.edu>, Juergen Graf <graf@kit.edu>
  • Method Details

    • isFakeRoot

      public static boolean isFakeRoot(CallGraph CG, CGNode node)
      Checks if a node is FakeRoot
      Parameters:
      node - the node to check
      Returns:
      true if node is FakeRoot
    • getParameterNumbers

      public static int[] getParameterNumbers(SSAAbstractInvokeInstruction invokeInstruction)
      Returns an array of int with the parameter's var nums of the invoked method in invokeInstruction.
      Parameters:
      invokeInstruction - The instruction that invokes the method.
      Returns:
      an array of int with all parameter's var nums including the this pointer.
    • extractInvokeBlocks

      public static Set<IExplodedBasicBlock> extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg)
      Returns a Set of all blocks that invoke another method.
      Parameters:
      cfg - The Control Flow Graph to analyze
      Returns:
      a Set of all blocks that contain an invoke