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 fc9adf3..043b536 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -82,7 +82,7 @@ for general developer guidelines and information. </p> the values of all the expressions in the program based on the input symbols and the path. The execution is path sensitive and every possible path through the program is explored. The explored execution traces are represented with - <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedGraph.html">ExplidedGraph</a> object. + <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedGraph.html">ExplodedGraph</a> object. Each node of the graph is <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedNode.html">ExplodedNode</a>, which consists of a <tt>ProgramPoint</tt> and a <tt>ProgramState</tt>. |
