Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.spark.builder | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.internal | |
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.pautil | |
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Class and Description |
---|
ClientAccessibilityOracle
The decision whether a libraries field or method is accessible for a client
can be different for different analyses.
|
CompleteAccessibility
Using this oracle one assumes, that a client of the target library can call
every method and access every field.
|
PublicAndProtectedAccessibility
Using this oracle one assumes, that a client of the target library can call
every public or protected method and access every public or protected field.
|
Class and Description |
---|
ClientAccessibilityOracle
The decision whether a libraries field or method is accessible for a client
can be different for different analyses.
|
Class and Description |
---|
TypeManager
A map of bit-vectors representing subtype relationships.
|
Class and Description |
---|
ClientAccessibilityOracle
The decision whether a libraries field or method is accessible for a client
can be different for different analyses.
|
CompleteAccessibility
Using this oracle one assumes, that a client of the target library can call
every method and access every field.
|
PublicAndProtectedAccessibility
Using this oracle one assumes, that a client of the target library can call
every public or protected method and access every public or protected field.
|
Class and Description |
---|
TypeManager
A map of bit-vectors representing subtype relationships.
|
Class and Description |
---|
TypeManager
A map of bit-vectors representing subtype relationships.
|
Class and Description |
---|
ClientAccessibilityOracle
The decision whether a libraries field or method is accessible for a client
can be different for different analyses.
|
TypeManager
A map of bit-vectors representing subtype relationships.
|
Class and Description |
---|
TypeManager
A map of bit-vectors representing subtype relationships.
|