| Message ID | 20201227220710.2692933E37@hamza.pair.com |
|---|---|
| State | New |
| Headers | show |
| Series | [committed] doc: New source for "Memory Model for Static Analysis" paper | expand |
diff --git a/gcc/doc/analyzer.texi b/gcc/doc/analyzer.texi index 96fe9bb1a06..c9df556ca35 100644 --- a/gcc/doc/analyzer.texi +++ b/gcc/doc/analyzer.texi @@ -245,7 +245,7 @@ Merging can be disabled via @option{-fno-analyzer-state-merge}. Part of the state stored at a @code{exploded_node} is a @code{region_model}. This is an implementation of the region-based ternary model described in -@url{http://lcs.ios.ac.cn/~xuzb/canalyze/memmodel.pdf, +@url{http://lcs.ios.ac.cn/~xzx/memmodel.pdf, "A Memory Model for Static Analysis of C Programs"} (Zhongxing Xu, Ted Kremenek, and Jian Zhang).
Same same, but different. Thanks to Google search for helping locate the new home for that paper. Pushed. Gerald commit 9a48892bea70a1e6a82e24b882f22807b73debe7 Author: Gerald Pfeifer <gerald@pfeifer.com> Date: Sun Dec 27 21:40:36 2020 +0100 doc: New source for "Memory Model for Static Analysis" paper gcc: 2020-12-27 Gerald Pfeifer <gerald@pfeifer.com> * doc/analyzer.texi (Analyzer Internals): Find a new source for the "A Memory Model for Static Analysis of C Programs" paper.