Predator
[unstable] git snapshot
|
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 |