diff options
author | Gerald Pfeifer <gerald@pfeifer.com> | 2021-03-28 23:34:35 +0200 |
---|---|---|
committer | Gerald Pfeifer <gerald@pfeifer.com> | 2021-03-28 23:34:35 +0200 |
commit | d15db0c5f5d81e9057df07c9568ee81873860a44 (patch) | |
tree | 6fa1479aa734d2d035b780bb4506b65bca21359a /gcc/doc | |
parent | d04c246cae674da081e1c9d8ba631560fee2fa91 (diff) | |
download | gcc-d15db0c5f5d81e9057df07c9568ee81873860a44.zip gcc-d15db0c5f5d81e9057df07c9568ee81873860a44.tar.gz gcc-d15db0c5f5d81e9057df07c9568ee81873860a44.tar.bz2 |
doc: Update link to "Memory Model" paper
gcc/ChangeLog:
* doc/analyzer.texi (Analyzer Internals): Update link to
"A Memory Model for Static Analysis of C Programs".
Diffstat (limited to 'gcc/doc')
-rw-r--r-- | gcc/doc/analyzer.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/analyzer.texi b/gcc/doc/analyzer.texi index 3f7bcf3..26808ff 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/~xzx/memmodel.pdf, +@url{https://www.researchgate.net/publication/221430855_A_Memory_Model_for_Static_Analysis_of_C_Programs, "A Memory Model for Static Analysis of C Programs"} (Zhongxing Xu, Ted Kremenek, and Jian Zhang). |