| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| Modifier and Type | Method and Description |
|---|---|
void |
TypeInference.TypeOperatorFactory.visitUnaryOp(SSAUnaryOpInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAUnaryOpInstruction |
JavaLanguage.JavaInstructionFactory.UnaryOpInstruction(int iindex,
com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator,
int result,
int val) |
| Modifier and Type | Class and Description |
|---|---|
class |
SSAPiInstruction
A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order
to get a new variable name to associate with some flow-insensitive dataflow fact.
|
| Modifier and Type | Method and Description |
|---|---|
SSAUnaryOpInstruction |
SSAInstructionFactory.UnaryOpInstruction(int iindex,
com.ibm.wala.shrikeBT.IUnaryOpInstruction.IOperator operator,
int result,
int val) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitUnaryOp(SSAUnaryOpInstruction instruction) |
void |
SSAInstruction.Visitor.visitUnaryOp(SSAUnaryOpInstruction instruction) |
Copyright © 2015. All rights reserved.