| Interface | Description |
|---|---|
| ClientAccessibilityOracle |
The decision whether a libraries field or method is accessible for a client
can be different for different analyses.
|
| Class | Description |
|---|---|
| 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.
|
| SparkLibraryHelper |
This
TypeSwitch can be used to add library behavior to the PAG. |
| SparkNativeHelper | |
| TypeManager |
A map of bit-vectors representing subtype relationships.
|