| Package | Description |
|---|---|
| com.ibm.wala.cfg.exc | |
| com.ibm.wala.cfg.exc.inter | |
| com.ibm.wala.cfg.exc.intra | |
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ssa.analysis |
This package provides analyses over the WALA SSA IR.
|
| Class and Description |
|---|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
| Class and Description |
|---|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
| Class and Description |
|---|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
| Class and Description |
|---|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
| Class and Description |
|---|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
| Class and Description |
|---|
| ExplodedControlFlowGraph
A view of a control flow graph where each basic block corresponds to exactly one SSA instruction index.
|
| IExplodedBasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA
instruction array.
|
Copyright © 2015. All rights reserved.