Here is a list of all files with brief descriptions:
  cl_msg.hh | Macros for emitting error, warning, info and debug messages through the code listener interface |
| cldebug.hh | |
| clutil.hh | Some generic utilities working on top of code_listener/CodeStorage |
| code_listener.h | code listener interface - useful to write compiler plug-ins, etc |
| easy.hh | Easy interface for building new analyzer based on code listener |
| killer.hh | |
| memdebug.hh | |
| storage.hh | Object model that describes the analyzed code on the input |
| adt_op.hh | |
| adt_op_def.hh | |
| adt_op_match.hh | |
| adt_op_meta.hh | |
| adt_op_replace.hh | |
| doxygen.h | Doxygen documentation (common part) |
| clean_list.hh | |
| config.h | Various compile-time options |
| cont_shape.hh | |
| cont_shape_seq.hh | |
| cont_shape_var.hh | |
| fixed_point.hh | |
| fixed_point_proxy.hh | |
| fixed_point_rewrite.hh | |
| glconf.hh | |
| id_mapper.hh | |
| intarena.hh | |
| intrange.hh | |
| join_status.hh | |
| plotenum.hh | |
| prototype.hh | |
| shape.hh | |
| sigcatch.hh | |
| symabstract.hh | List segment based abstraction/concretization of heap objects |
| symbin.hh | Implementation of built-in functions |
| symbt.hh | SymBackTrace - backtrace management |
| symcall.hh | Classes SymCallCache and SymCallCtx for function call optimization during the symbolic execution |
| symcmp.hh | Various algorithms for comparison of symbolic (sub-)heaps |
| symcut.hh | Split/join algorithms operating on symbolic heap - splitHeapByCVars() and joinHeapsByCVars() |
| symdebug.hh | |
| symdiscover.hh | Public interface of list segment discovering algorithms |
| symdump.hh | Collection of dump_* functions operating on a SymHeap object, handy when debugging |
| syments.hh | |
| symexec.hh | SymExec - top level algorithm of the symbolic execution |
| symgc.hh | CollectJunk - implementation of a garbage collector for the symbolic heap |
| symheap.hh | SymHeap - the elementary representation of the state of program memory |
| symid.hh | Types used for identification of SymHeap entities - symid.hh::TFldId and symid.hh::TValId |
| symjoin.hh | |
| symplot.hh | SymPlot - symbolic heap plotter |
| sympred.hh | |
| symproc.hh | SymProc - a layer on top of SymHeap, providing some higher-level operations |
| symseg.hh | Some generic utilities operating on list segments (SLS, DLS, Linux lists) |
| symstate.hh | |
| symtrace.hh | Directed acyclic graph of the symbolic execution trace, see namespace Trace |
| symutil.hh | Some generic utilities working on top of a symbolic heap |
| trap.h | |
| util.hh | |
| version.h | |
 worklist.hh |
