| Class | Description |
|---|---|
| ContextInsensitiveBuilder |
A context insensitive pointer assignment graph builder.
|
| GlobalNodeFactory |
Factory for nodes not specific to a given method.
|
| MethodNodeFactory |
Class implementing builder parameters (this decides what kinds of nodes
should be built for each kind of Soot value).
|