Package soot.jimple.spark.internal

Interface Summary

Interface	Description
ClientAccessibilityOracle	The decision whether a libraries field or method is accessible for a client can be different for different analyses.

Class Summary

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.