[cfe-commits] r99990 - /cfe/trunk/include/clang/Checker/PathSensitive/ExplodedGraph.h
Jeffrey Yasskin
jyasskin at google.com
Tue Mar 30 22:26:20 PDT 2010
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.
//
//===----------------------------------------------------------------------===//
More information about the cfe-commits
mailing list