Modifier and Type | Field and Description |
---|---|
protected GeomPointsTo |
PtSensVisitor.ptsProvider |
protected GeomPointsTo |
PtSensVisitor.ptsProvider |
Modifier and Type | Method and Description |
---|---|
void |
FullSensitiveNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
FullSensitiveNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
FullSensitiveNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
The place where you implement the pointer assignment reasoning.
|
void |
FullSensitiveNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
The place where you implement the pointer assignment reasoning.
|
Modifier and Type | Field and Description |
---|---|
protected GeomPointsTo |
GeomQueries.geomPTA |
protected GeomPointsTo |
GeomQueries.geomPTA |
Modifier and Type | Method and Description |
---|---|
abstract void |
IEncodingBroker.initFlowGraph(GeomPointsTo ptAnalyzer)
Build the initial encoding of the pointer assignments and points-to facts.
|
abstract void |
IEncodingBroker.initFlowGraph(GeomPointsTo ptAnalyzer)
Build the initial encoding of the pointer assignments and points-to facts.
|
void |
DummyNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
abstract void |
IVarAbstraction.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
void |
DummyNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
abstract void |
IVarAbstraction.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
Constructor and Description |
---|
GeomQueries(GeomPointsTo geom_pta)
We copy and make a condensed version of call graph.
|
GeomQueries(GeomPointsTo geom_pta)
We copy and make a condensed version of call graph.
|
OfflineProcessor(GeomPointsTo pta) |
OfflineProcessor(GeomPointsTo pta) |
Modifier and Type | Method and Description |
---|---|
void |
HeapInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
HeapInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
HeapInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
An efficient implementation of differential propagation.
|
void |
HeapInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
An efficient implementation of differential propagation.
|
Constructor and Description |
---|
GeomEvaluator(GeomPointsTo gpts,
PrintStream ps) |
GeomEvaluator(GeomPointsTo gpts,
PrintStream ps) |
Modifier and Type | Method and Description |
---|---|
void |
PtInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
PtInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer) |
void |
PtInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
Deprecated.
An efficient implementation of differential propagation.
|
void |
PtInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
Deprecated.
An efficient implementation of differential propagation.
|