Constructor Detail

• CodeScanner

  public CodeScanner()

Method Detail

• getCallSites

  public static Collection<CallSiteReference> getCallSites(IMethod m)
                                                    throws InvalidClassFileException

  Throws:

  InvalidClassFileException

  IllegalArgumentException - if m is null

• getFieldsRead

  public static Collection<FieldReference> getFieldsRead(IMethod m)
                                                  throws InvalidClassFileException

  Throws:

  InvalidClassFileException

  IllegalArgumentException - if m is null

• getFieldsWritten

  public static Collection<FieldReference> getFieldsWritten(IMethod m)
                                                     throws InvalidClassFileException

  Throws:

  InvalidClassFileException

  IllegalArgumentException - if m is null

• getArraysWritten

  public static Collection<TypeReference> getArraysWritten(IMethod m)
                                                    throws InvalidClassFileException

  get the element types of the arrays that m may update

  Throws:

  InvalidClassFileException

• getNewSites

  public static Collection<NewSiteReference> getNewSites(IMethod m)
                                                  throws InvalidClassFileException

  Throws:

  InvalidClassFileException

  IllegalArgumentException - if m is null

• hasObjectArrayLoad

  public static boolean hasObjectArrayLoad(IMethod m)
                                    throws InvalidClassFileException

  Throws:

  InvalidClassFileException

• hasObjectArrayStore

  public static boolean hasObjectArrayStore(IMethod m)
                                     throws InvalidClassFileException

  Throws:

  InvalidClassFileException

• getCaughtExceptions

  public static Set getCaughtExceptions(IMethod m)
                                 throws InvalidClassFileException

  Throws:

  InvalidClassFileException

• iterateCastTypes

  public static Iterator iterateCastTypes(IMethod m)
                                   throws InvalidClassFileException

  Return the types this method may cast to

  Returns:

  iterator of TypeReference

  Throws:

  InvalidClassFileException

  IllegalArgumentException - if m is null

• getCaughtExceptions

  public static Set<TypeReference> getCaughtExceptions(Language l,
                                                       SSAInstruction[] statements)
                                                throws IllegalArgumentException

  Returns:

  Set

  Throws:

  IllegalArgumentException - if statements == null

• iterateCastTypes

  public static Iterator<TypeReference> iterateCastTypes(SSAInstruction[] statements)
                                                  throws IllegalArgumentException

  Throws:

  IllegalArgumentException - if statements == null

• getFieldsRead

  public static List<FieldReference> getFieldsRead(SSAInstruction[] statements)
                                            throws IllegalArgumentException

  Parameters:

  statements - list of ssa statements

  Returns:

  List of FieldReference

  Throws:

  IllegalArgumentException - if statements == null

• getFieldsWritten

  public static List<FieldReference> getFieldsWritten(SSAInstruction[] statements)
                                               throws IllegalArgumentException

  Parameters:

  statements - list of ssa statements

  Returns:

  List of FieldReference

  Throws:

  IllegalArgumentException - if statements == null

• getArraysWritten

  public static List<TypeReference> getArraysWritten(SSAInstruction[] statements)
                                              throws IllegalArgumentException

  Parameters:

  statements - list of ssa statements

  Returns:

  List of TypeReference

  Throws:

  IllegalArgumentException - if statements == null

• hasObjectArrayLoad

  public static boolean hasObjectArrayLoad(SSAInstruction[] statements)
                                    throws IllegalArgumentException

  Throws:

  IllegalArgumentException

• hasObjectArrayStore

  public static boolean hasObjectArrayStore(SSAInstruction[] statements)
                                     throws IllegalArgumentException

  Throws:

  IllegalArgumentException