| Modifier and Type | Field and Description |
|---|---|
protected WALAMethod |
WALAVal.method |
| Constructor and Description |
|---|
WALAControlFlowGraph(WALAMethod method,
com.ibm.wala.ipa.cha.IClassHierarchy cha) |
WALADummyVal(WALAMethod method) |
WALAIfStatement(com.ibm.wala.ssa.SSAConditionalBranchInstruction delegate,
WALAMethod method) |
WALAInvokeExpr(com.ibm.wala.ssa.SSAAbstractInvokeInstruction inv,
WALAMethod m) |
WALAUnitializedFieldStatement(WALAField field,
WALAMethod method,
Val thisLocal,
Val rightOp) |
WALAVal(int programCounter,
WALAMethod method) |
WALAVal(int programCounter,
WALAMethod method,
ControlFlowGraph.Edge unbalanced) |
WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite,
WALAMethod method) |
WALAVal(com.ibm.wala.classLoader.NewSiteReference newSite,
WALAMethod method,
ControlFlowGraph.Edge unbalanced)
WALAVal representing a new allocation site statement
|
WALAVal(com.ibm.wala.ssa.SSAInstruction delegate,
WALAVal.OP op,
WALAMethod method) |
WALAVal(com.ibm.wala.ssa.SSAInstruction delegate,
WALAVal.OP op,
WALAMethod method,
ControlFlowGraph.Edge unbalanced)
Dummy WALAVal to represent right hand side of any instruction for instance of a phi val or of
an assining call statement.
|
Copyright © 2024. All rights reserved.