|
Class Summary |
| Configuration |
An abstract state machine configuration. |
| Constraint |
Implements a single constraint. |
| Disjunct<A> |
A disjunct represents a mapping of variables (type String) to
creation sites (type PointsToSet). |
| FinalConfigsUnitGraph |
Augments a directed graph over Units with a graph suffix that models all
possible executions following the execution of the associated method, based on
interprocedural shadow information. |
| FixedUniverse<E> |
A fixed universe of values of type E. |
| HashBag<E> |
A Bag that uses a HashMap as backing map. |
| Intersection |
Implements an intersection of two points-to sets without altering them. |
| PreciseSymmetricDisjunct |
A disjuncts making use of must and must-not alias information. |