[cfe-commits] r99990 - /cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h

[Jeffrey Yasskin]

Author: jyasskin
Date: Wed Mar 31 00:26:20 2010
New Revision: 99990

URL: http://llvm.org/viewvc/llvm-project?rev=99990&view=rev
Log:
Define "exploded graph" by reference to a paper.

Modified:
    cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h

Modified: cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h?rev=99990&r1=99989&r2=99990&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h Wed Mar 31 00:26:20 2010
@@ -9,6 +9,10 @@
 //
 //  This file defines the template classes ExplodedNode and ExplodedGraph,
 //  which represent a path-sensitive, intra-procedural "exploded graph."
+//  See "Precise interprocedural dataflow analysis via graph reachability"
+//  by Reps, Horwitz, and Sagiv
+//  (http://portal.acm.org/citation.cfm?id=199462) for the definition of an
+//  exploded graph.
 //
 //===----------------------------------------------------------------------===//