diff options
| author | Jeffrey Yasskin <jyasskin@google.com> | 2010-03-31 05:26:20 +0000 |
|---|---|---|
| committer | Jeffrey Yasskin <jyasskin@google.com> | 2010-03-31 05:26:20 +0000 |
| commit | b2213dc3dd8f58b611b91d2fce4834a767efcba7 (patch) | |
| tree | 35af1709a9b66112332835d6f4c95b5e4c44ec3a | |
| parent | aaa210cf82141968b59eff28ae448d0e383c46a3 (diff) | |
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
| -rw-r--r-- | include/clang/Checker/PathSensitive/ExplodedGraph.h | 4 |
1 files changed, 4 insertions, 0 deletions
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. // //===----------------------------------------------------------------------===// |