Package com.ibm.wala.classLoader
Class CodeScanner
- java.lang.Object
-
- com.ibm.wala.classLoader.CodeScanner
-
-
Constructor Summary
Constructors Constructor Description CodeScanner()
-
Method Summary
-
-
-
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
-
-