public class ShrikeIRFactory extends java.lang.Object implements IRFactory<IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction>>
IRFactory that for methods that originate from Shrike.| Modifier and Type | Field and Description |
|---|---|
static boolean |
buildLocalMap |
| Constructor and Description |
|---|
ShrikeIRFactory() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
contextIsIrrelevant(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method)
Does this factory always return the same IR for a method, regardless of context?
|
ShrikeCFG |
makeCFG(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method) |
IR |
makeIR(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method,
Context C,
SSAOptions options)
Build an SSA
IR for a method in a particular context |
public static final boolean buildLocalMap
public ShrikeCFG makeCFG(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method)
public IR makeIR(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method, Context C, SSAOptions options) throws java.lang.IllegalArgumentException
IRFactoryIR for a method in a particular contextmakeIR in interface IRFactory<IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction>>java.lang.IllegalArgumentExceptionpublic boolean contextIsIrrelevant(IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction> method)
IRFactorycontextIsIrrelevant in interface IRFactory<IBytecodeMethod<com.ibm.wala.shrikeBT.IInstruction>>