diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index fc9adf371e..043b53612a 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.
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 - ExplidedGraph object. + ExplodedGraph object. Each node of the graph is ExplodedNode, which consists of a ProgramPoint and a ProgramState.