Class 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.
    • Method Detail

      • isFakeRoot

        public static boolean isFakeRoot​(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.