Predator  [unstable] git snapshot
doxygen.h
Go to the documentation of this file.
1 // This file contains no code inside
2 
3 /**
4  * @file doxygen.h
5  * @brief Doxygen documentation (common part)
6  */
7 
8 /**
9  * @mainpage
10  * @note See the
11  * <A HREF="http://www.fit.vutbr.cz/research/groups/verifit/tools/predator/"><B>project page</B></A>
12  * for details about the <B>Predator</B> project, new releases, etc.
13  * @version @include version.h
14  *
15  * @remark
16  *
17  * - symbolic heap: symid.hh, SymHeapCore, SymHeap
18  *
19  * - garbage collector: collectJunk(), destroyObjectAndCollectJunk(), LeakMonitor
20  *
21  * - generic join algorithm: joinSymHeaps(), joinData()
22  *
23  * - list segment discovery: discoverBestAbstraction()
24  *
25  * - list segment abstraction: abstractIfNeeded()
26  *
27  * - list segment concretization: concretizeObj(), spliceOutListSegment(), dlSegReplaceByConcrete()
28  *
29  * - symbolic state: SymState, SymHeapUnion, SymStateWithJoin
30  *
31  * - function call management: SymBackTrace, symcut.hh, SymCallCache, SymCallCtx
32  *
33  * - symbolic execution: SymProc, SymExecCore, execute()
34  *
35  * - symbolic heap plotter: symplot.hh, symdebug.hh
36  *
37  * - trace graph maintenance and visualization: Trace, Trace::Node
38  *
39  * - utilities: symutil.hh, symseg.hh
40  *
41  * - built-in dispatcher: handleBuiltIn()
42  *
43  * - configuration: config.h
44  */
Generated on Mon Nov 9 2015 14:51:59 for Predator by   doxygen 1.8.1.2