Namespace List

Here is a list of all namespaces with brief descriptions:

[detail level 12]

CodeStorage	Object model that describes the analyzed code on the input
CallGraph
PointsTo
IR
Trace	Directed acyclic graph of the symbolic execution trace