From: Jeffrey Yasskin Date: Wed, 31 Mar 2010 05:26:20 +0000 (+0000) Subject: Define "exploded graph" by reference to a paper. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b2213dc3dd8f58b611b91d2fce4834a767efcba7;p=clang Define "exploded graph" by reference to a paper. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@99990 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/Checker/PathSensitive/ExplodedGraph.h b/include/clang/Checker/PathSensitive/ExplodedGraph.h index d6c4436c59..c09c89312e 100644 --- a/include/clang/Checker/PathSensitive/ExplodedGraph.h +++ b/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. // //===----------------------------------------------------------------------===//