From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sun, 27 Dec 2020 20:40:36 +0000 (+0100)
Subject: doc: New source for "Memory Model for Static Analysis" paper
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a48892bea70a1e6a82e24b882f22807b73debe7;p=gcc.git

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.
---

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).