Here is a list of all namespaces with brief descriptions:
  AdtOp | |
| CodeStorage | Object model that describes the analyzed code on the input |
| ContShape | |
| FixedPoint | |
| GlConf | |
| IR | |
 Trace | Directed acyclic graph of the symbolic execution trace |
|
Predator
[unstable] git snapshot
|
| AdtOp | |
| CodeStorage | Object model that describes the analyzed code on the input |
| ContShape | |
| FixedPoint | |
| GlConf | |
| IR | |
| Trace | Directed acyclic graph of the symbolic execution trace |
1.8.1.2