| Package | Description |
|---|---|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.ipa.slicer |
| Modifier and Type | Method and Description |
|---|---|
static VectorGenFlowFunction |
VectorGenFlowFunction.make(com.ibm.wala.util.intset.IntSet gen) |
| Modifier and Type | Field and Description |
|---|---|
static VectorGenFlowFunction |
ReachabilityFunctions.FLOW_REACHES |
Copyright © 2015. All rights reserved.