com.ibm.wala.classLoader

Class CodeScanner

java.lang.Object

com.ibm.wala.classLoader.CodeScanner

public class CodeScanner
extends java.lang.Object

Simple utilities to scan IMethods to gather information without building an IR.

Constructor Summary

Constructors

Constructor and Description
CodeScanner()

Method Summary

Modifier and Type	Method and Description
static java.util.Collection<TypeReference>	getArraysWritten(IMethod m) get the element types of the arrays that m may update
static java.util.List<TypeReference>	getArraysWritten(SSAInstruction[] statements)
static java.util.Collection<CallSiteReference>	getCallSites(IMethod m)
static java.util.Set<TypeReference>	getCaughtExceptions(IMethod m)
static java.util.Set<TypeReference>	getCaughtExceptions(SSAInstruction[] statements)
static java.util.Collection<FieldReference>	getFieldsRead(IMethod m)
static java.util.List<FieldReference>	getFieldsRead(SSAInstruction[] statements)
static java.util.Collection<FieldReference>	getFieldsWritten(IMethod m)
static java.util.List<FieldReference>	getFieldsWritten(SSAInstruction[] statements)
static java.util.Collection<NewSiteReference>	getNewSites(IMethod m)
static boolean	hasObjectArrayLoad(IMethod m)
static boolean	hasObjectArrayLoad(SSAInstruction[] statements)
static boolean	hasObjectArrayStore(IMethod m)
static boolean	hasObjectArrayStore(SSAInstruction[] statements)
static java.util.Iterator<TypeReference>	iterateCastTypes(IMethod m) Return the types this method may cast to
static java.util.Iterator<TypeReference>	iterateCastTypes(SSAInstruction[] statements)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CodeScanner

public CodeScanner()

Method Detail

getCallSites

public static java.util.Collection<CallSiteReference> getCallSites(IMethod m)
                                                            throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

java.lang.IllegalArgumentException - if m is null

com.ibm.wala.shrikeCT.InvalidClassFileException

getFieldsRead

public static java.util.Collection<FieldReference> getFieldsRead(IMethod m)
                                                          throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

java.lang.IllegalArgumentException - if m is null

com.ibm.wala.shrikeCT.InvalidClassFileException

getFieldsWritten

public static java.util.Collection<FieldReference> getFieldsWritten(IMethod m)
                                                             throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

java.lang.IllegalArgumentException - if m is null

com.ibm.wala.shrikeCT.InvalidClassFileException

getArraysWritten

public static java.util.Collection<TypeReference> getArraysWritten(IMethod m)
                                                            throws com.ibm.wala.shrikeCT.InvalidClassFileException

get the element types of the arrays that m may update

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

getNewSites

public static java.util.Collection<NewSiteReference> getNewSites(IMethod m)
                                                          throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

java.lang.IllegalArgumentException - if m is null

com.ibm.wala.shrikeCT.InvalidClassFileException

hasObjectArrayLoad

public static boolean hasObjectArrayLoad(IMethod m)
                                  throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

hasObjectArrayStore

public static boolean hasObjectArrayStore(IMethod m)
                                   throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

getCaughtExceptions

public static java.util.Set<TypeReference> getCaughtExceptions(IMethod m)
                                                        throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

iterateCastTypes

public static java.util.Iterator<TypeReference> iterateCastTypes(IMethod m)
                                                          throws com.ibm.wala.shrikeCT.InvalidClassFileException

Return the types this method may cast to

Returns:

iterator of TypeReference

Throws:

java.lang.IllegalArgumentException - if m is null

com.ibm.wala.shrikeCT.InvalidClassFileException

getCaughtExceptions

public static java.util.Set<TypeReference> getCaughtExceptions(SSAInstruction[] statements)
                                                        throws java.lang.IllegalArgumentException

Returns:

Set<TypeReference>

Throws:

java.lang.IllegalArgumentException - if statements == null

iterateCastTypes

public static java.util.Iterator<TypeReference> iterateCastTypes(SSAInstruction[] statements)
                                                          throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException - if statements == null

getFieldsRead

public static java.util.List<FieldReference> getFieldsRead(SSAInstruction[] statements)
                                                    throws java.lang.IllegalArgumentException

Parameters:

statements - list of ssa statements

Returns:

List of FieldReference

Throws:

java.lang.IllegalArgumentException - if statements == null

getFieldsWritten

public static java.util.List<FieldReference> getFieldsWritten(SSAInstruction[] statements)
                                                       throws java.lang.IllegalArgumentException

Parameters:

statements - list of ssa statements

Returns:

List of FieldReference

Throws:

java.lang.IllegalArgumentException - if statements == null

getArraysWritten

public static java.util.List<TypeReference> getArraysWritten(SSAInstruction[] statements)
                                                      throws java.lang.IllegalArgumentException

Parameters:

statements - list of ssa statements

Returns:

List of TypeReference

Throws:

java.lang.IllegalArgumentException - if statements == null

hasObjectArrayLoad

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

Throws:

java.lang.IllegalArgumentException

hasObjectArrayStore

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

Throws:

java.lang.IllegalArgumentException