|
Class Summary |
| AlgebraicLib |
AlgebraicLib creates run time deterministic predicates
at the requested byte code position of a node within the
CFG of a method. |
| OpaqueManager |
The OpaqueManager class encapsulates the various opaque predicate libraries.
|
| OpaqueUtil |
This class encapsulates all the support modules for the various opaque libraries |
| Predicatelib |
This 'OpaquePred' class forms the base class for the separate opaque predicate implementations
which inherit some properties from this base class |
| RuntimeIntOPLib |
RuntimeIntOPLib creates run time deterministic predicates
at the requested byte code position of a node within the
CFG of a method. |
| RuntimeIsNullOPLib |
RuntimeIsNullOPLib creates run time deterministic predicates
at the requested byte code position of a node within the
CFG of a method. |
| RuntimeStrOPLib |
RuntimeStrOPLib creates run time deterministic predicates
at the requested byte code position of a node within the
CFG of a method. |
