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 and Description
CodeScanner()

Method Summary

Methods

Modifier and Type	Method and 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	getCaughtExceptions(IMethod m)
static Set<TypeReference>	getCaughtExceptions(Language l, 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	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 Detail

CodeScanner

public CodeScanner()

Method Detail

getCallSites

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

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

IllegalArgumentException - if m is null

getFieldsRead

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

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

IllegalArgumentException - if m is null

getFieldsWritten

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

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

IllegalArgumentException - if m is null

getArraysWritten

public static 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 Collection<NewSiteReference> getNewSites(IMethod m)
                                                throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

IllegalArgumentException - if m is null

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 Set getCaughtExceptions(IMethod m)
                               throws com.ibm.wala.shrikeCT.InvalidClassFileException

Throws:

com.ibm.wala.shrikeCT.InvalidClassFileException

iterateCastTypes

public static Iterator iterateCastTypes(IMethod m)
                                 throws com.ibm.wala.shrikeCT.InvalidClassFileException

Return the types this method may cast to

Returns:

iterator of TypeReference

Throws:

com.ibm.wala.shrikeCT.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