| Package | Description |
|---|---|
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.slicer.thin |
| Modifier and Type | Class and Description |
|---|---|
class |
SDG
System dependence graph.
|
| Modifier and Type | Method and Description |
|---|---|
protected Slicer.SliceProblem |
Slicer.makeSliceProblem(Collection<Statement> roots,
ISDG sdgView,
boolean backward)
Return an object which encapsulates the tabulation logic for the slice problem.
|
| Constructor and Description |
|---|
Slicer.SliceProblem(Collection<Statement> roots,
ISDG sdg,
boolean backward) |
| Modifier and Type | Class and Description |
|---|---|
class |
CISDG
A context-insensitive SDG.
|
Copyright © 2015. All rights reserved.