diff options
Diffstat (limited to 'www/analyzer/checker_dev_manual.html')
| -rw-r--r-- | www/analyzer/checker_dev_manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index 9c7cd98efa527..c2606f92ee5e3 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -99,7 +99,7 @@ for developer guidelines and send your questions and proposals to which consists of a <tt>ProgramPoint</tt> and a <tt>ProgramState</tt>. <p> <a href="http://clang.llvm.org/doxygen/classclang_1_1ProgramPoint.html">ProgramPoint</a> - represents the corresponding location in the program (or the CFG graph). + represents the corresponding location in the program (or the CFG). <tt>ProgramPoint</tt> is also used to record additional information on when/how the state was added. For example, <tt>PostPurgeDeadSymbolsKind</tt> kind means that the state is the result of purging dead symbols - the |