Class CodeScanner
java.lang.Object
com.ibm.wala.classLoader.CodeScanner
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Collection
<TypeReference> get the element types of the arrays that m may updatestatic List
<TypeReference> getArraysWritten
(SSAInstruction[] statements) static Collection
<CallSiteReference> static Set
<TypeReference> static Set
<TypeReference> getCaughtExceptions
(SSAInstruction[] statements) static Collection
<FieldReference> static List
<FieldReference> getFieldsRead
(SSAInstruction[] statements) static Collection
<FieldReference> static List
<FieldReference> getFieldsWritten
(SSAInstruction[] statements) static Collection
<NewSiteReference> static boolean
static boolean
hasObjectArrayLoad
(SSAInstruction[] statements) static boolean
static boolean
hasObjectArrayStore
(SSAInstruction[] statements) static Iterator
<TypeReference> Return the types this method may cast tostatic Iterator
<TypeReference> iterateCastTypes
(SSAInstruction[] statements)
-
Constructor Details
-
CodeScanner
public CodeScanner()
-
-
Method Details
-
getCallSites
public static Collection<CallSiteReference> getCallSites(IMethod m) throws InvalidClassFileException - Throws:
IllegalArgumentException
- if m is nullInvalidClassFileException
-
getFieldsRead
- Throws:
IllegalArgumentException
- if m is nullInvalidClassFileException
-
getFieldsWritten
public static Collection<FieldReference> getFieldsWritten(IMethod m) throws InvalidClassFileException - Throws:
IllegalArgumentException
- if m is nullInvalidClassFileException
-
getArraysWritten
public static Collection<TypeReference> getArraysWritten(IMethod m) throws InvalidClassFileException get the element types of the arrays that m may update- Throws:
InvalidClassFileException
-
getNewSites
- Throws:
IllegalArgumentException
- if m is nullInvalidClassFileException
-
hasObjectArrayLoad
- Throws:
InvalidClassFileException
-
hasObjectArrayStore
- Throws:
InvalidClassFileException
-
getCaughtExceptions
- Throws:
InvalidClassFileException
-
iterateCastTypes
Return the types this method may cast to- Returns:
- iterator of TypeReference
- Throws:
IllegalArgumentException
- if m is nullInvalidClassFileException
-
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
-