| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.dataflow.ssa |
| Modifier and Type | Class and Description |
|---|---|
protected class |
TypeInference.TypeOperatorFactory |
| Modifier and Type | Method and Description |
|---|---|
protected void |
SSAInference.init(IR ir,
SSAInference.VariableFactory varFactory,
SSAInference.OperatorFactory<T> opFactory)
initializer for SSA Inference equations.
|
Copyright © 2015. All rights reserved.