Package | Description |
---|---|
soot.jimple.spark.geom.geomE | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.geom.heapinsE | |
soot.jimple.spark.geom.ptinsE |
Modifier and Type | Class and Description |
---|---|
class |
FullSensitiveNodeGenerator
Build the initial encoding of the assignment graph in full geometric encoding.
|
Modifier and Type | Field and Description |
---|---|
protected IEncodingBroker |
GeomPointsTo.nodeGenerator |
protected IEncodingBroker |
GeomPointsTo.nodeGenerator |
Modifier and Type | Class and Description |
---|---|
class |
HeapInsNodeGenerator
Build the initial pointer assignment graph with the HeapIns encoding.
|
Modifier and Type | Class and Description |
---|---|
class |
PtInsNodeGenerator
Build the initial encoded pointer assignment graph with the PtIns encoding.
|