Predator  [unstable] git snapshot
File List
Here is a list of all files with brief descriptions:
o*cl_msg.hhMacros for emitting error, warning, info and debug messages through the code listener interface
o*cldebug.hh
o*clutil.hhSome generic utilities working on top of code_listener/CodeStorage
o*code_listener.hcode listener interface - useful to write compiler plug-ins, etc
o*easy.hhEasy interface for building new analyzer based on code listener
o*memdebug.hh
o*storage.hhObject model that describes the analyzed code on the input
o*adt_op.hh
o*adt_op_def.hh
o*adt_op_match.hh
o*adt_op_meta.hh
o*doxygen.hDoxygen documentation (common part)
o*clean_list.hh
o*config.hVarious compile-time options
o*cont_shape.hh
o*cont_shape_seq.hh
o*fixed_point.hh
o*fixed_point_proxy.hh
o*glconf.hh
o*id_mapper.hh
o*intarena.hh
o*intrange.hh
o*plotenum.hh
o*prototype.hh
o*shape.hh
o*sigcatch.hh
o*symabstract.hhList segment based abstraction/concretization of heap objects
o*symbin.hhImplementation of built-in functions
o*symbt.hhSymBackTrace - backtrace management
o*symcall.hhClasses SymCallCache and SymCallCtx for function call optimization during the symbolic execution
o*symcmp.hhVarious algorithms for comparison of symbolic (sub-)heaps
o*symcut.hhSplit/join algorithms operating on symbolic heap - splitHeapByCVars() and joinHeapsByCVars()
o*symdebug.hh
o*symdiscover.hhPublic interface of list segment discovering algorithms
o*symdump.hhCollection of dump_* functions operating on a SymHeap object, handy when debugging
o*syments.hh
o*symexec.hhSymExec - top level algorithm of the symbolic execution
o*symgc.hhCollectJunk - implementation of a garbage collector for the symbolic heap
o*symheap.hhSymHeap - the elementary representation of the state of program memory
o*symid.hhTypes used for identification of SymHeap entities - symid.hh::TFldId and symid.hh::TValId
o*symjoin.hh
o*symplot.hhSymPlot - symbolic heap plotter
o*sympred.hh
o*symproc.hhSymProc - a layer on top of SymHeap, providing some higher-level operations
o*symseg.hhSome generic utilities operating on list segments (SLS, DLS, Linux lists)
o*symstate.hh
o*symtrace.hhDirected acyclic graph of the symbolic execution trace, see namespace Trace
o*symutil.hhSome generic utilities working on top of a symbolic heap
o*trap.h
o*util.hh
o*version.h
\*worklist.hh