| 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 | Field and Description |
|---|---|
Vector<PlainConstraint> |
FullSensitiveNode.complex_cons |
| Modifier and Type | Method and Description |
|---|---|
void |
FullSensitiveNode.put_complex_constraint(PlainConstraint cons) |
| Modifier and Type | Field and Description |
|---|---|
ZArrayNumberer<PlainConstraint> |
GeomPointsTo.constraints |
| Modifier and Type | Method and Description |
|---|---|
abstract void |
IVarAbstraction.put_complex_constraint(PlainConstraint cons) |
void |
DummyNode.put_complex_constraint(PlainConstraint cons) |
| Modifier and Type | Field and Description |
|---|---|
Vector<PlainConstraint> |
HeapInsNode.complex_cons |
| Modifier and Type | Method and Description |
|---|---|
void |
HeapInsNode.put_complex_constraint(PlainConstraint cons) |
| Modifier and Type | Field and Description |
|---|---|
Vector<PlainConstraint> |
PtInsNode.complex_cons
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
void |
PtInsNode.put_complex_constraint(PlainConstraint cons)
Deprecated.
|
Copyright © 2020 Soot OSS. All rights reserved.