Define "exploded graph" by reference to a paper.

llvm-svn: 99990
2010-03-31 05:26:20 +00:00 · 2010-03-31 05:26:20 +00:00 · cd028b14ea
parent a5ab82a613
commit cd028b14ea
1 changed files with 4 additions and 0 deletions
--- a/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h
+++ b/clang/include/clang/Checker/PathSensitive/ExplodedGraph.h
@ -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.
 //
 //===----------------------------------------------------------------------===//