Here are the data structures with brief descriptions:
[detail level 1234]
  CodeStorage | Object model that describes the analyzed code on the input |
 CallGraph | |
  Node | Call-graph node (there is a 1:1 relation with Fnc, if the CG is built) |
 Graph | |
| PointsTo | |
| Item | |
| Node | |
| Graph | |
| GlobalData | |
 BuildCtx | |
 debug | |
| plot | |
| Var | High-level variable representation |
| VarDb | Lookup container for set of Var objects |
| TypeDb | Type lookup table |
| NameDb | Name to UID mapping for global/static symbols |
| KillVar | Value type describing a single 'kill variable' hint |
| ltKillVar | FIXME: inserting <id,0> and <id,1> could break the consistency of std::set |
| Insn | High-level representation of an intermediate code instruction |
| Block | Basic block - a single node in ControlFlow graph |
| ControlFlow | Control flow graph - an easy to analyse representation of the intermediate code |
| Fnc | Function definition |
| FncDb | Lookup container for set of Fnc objects |
| Storage | Value type representing the whole serialised model of code |
| cl_accessor | Accessor definition, available for some operands |
| cl_code_listener | Listener object - the core part of this interface |
| cl_cst | Constant, in the C language terminology: literal |
| cl_init_data | Collection of call-backs for writing various types of messages |
| cl_initializer | Initializer, used mainly for global/static variables |
| cl_insn | Single instruction definition |
| cl_loc | Generic location info |
| cl_operand | Generic operand |
| cl_type | Type definition available for each operand |
| cl_type_item | Used for nesting types into another (composite) type |
| cl_var | Variable (local, global, fnc argument, register, etc.) |
| ClFactory | Factory responsible for creating ICodeListener objects |
| ClFilterBase | Base class for all ICodeListener filters |
| ClfOpCheckerBase | |
| ClStorageBuilder | Base class for all CodeStorage based code listeners, see run() |
| CltStackItem | |
| ICodeListener | C++ interface for listener objects |
| StopWatch | |
| WorkList | Really stupid, but easy to use, DFS implementation |
| WorkListLib | |
| WorkListLib< T, std::queue< T > > | |
| WorkListLib< T, std::stack< T > > |
