Package com.ibm.wala.classLoader

Class CodeScanner

java.lang.Object

com.ibm.wala.classLoader.CodeScanner

public class CodeScanner
extends Object

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

Constructor Summary

Constructors

Constructor	Description
CodeScanner()

Method Summary

Modifier and Type	Method	Description
static Collection<TypeReference>	getArraysWritten(IMethod m)	get the element types of the arrays that m may update
static List<TypeReference>	getArraysWritten(SSAInstruction[] statements)
static Collection<CallSiteReference>	getCallSites(IMethod m)
static Set<TypeReference>	getCaughtExceptions(IMethod m)
static Set<TypeReference>	getCaughtExceptions(SSAInstruction[] statements)
static Collection<FieldReference>	getFieldsRead(IMethod m)
static List<FieldReference>	getFieldsRead(SSAInstruction[] statements)
static Collection<FieldReference>	getFieldsWritten(IMethod m)
static List<FieldReference>	getFieldsWritten(SSAInstruction[] statements)
static 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 Iterator<TypeReference>	iterateCastTypes(IMethod m)	Return the types this method may cast to
static Iterator<TypeReference>	iterateCastTypes(SSAInstruction[] statements)

Methods inherited from class java.lang.Object

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

Constructor Details

CodeScanner

public CodeScanner()

Method Details

getCallSites

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

Throws:

IllegalArgumentException - if m is null

InvalidClassFileException

getFieldsRead

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

Throws:

IllegalArgumentException - if m is null

InvalidClassFileException

getFieldsWritten

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

Throws:

IllegalArgumentException - if m is null

InvalidClassFileException

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:

IllegalArgumentException - if m is null

InvalidClassFileException

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<TypeReference> getCaughtExceptions(IMethod m)
                                              throws InvalidClassFileException

Throws:

InvalidClassFileException

iterateCastTypes

public static Iterator<TypeReference> iterateCastTypes(IMethod m)
                                                throws InvalidClassFileException

Return the types this method may cast to

Returns:

iterator of TypeReference

Throws:

IllegalArgumentException - if m is null

InvalidClassFileException

getCaughtExceptions

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

Returns:

Set<TypeReference>

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