diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2020-12-27 21:40:36 +0100 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@pfeifer.com> | 2020-12-27 21:40:36 +0100 |
| commit | 9a48892bea70a1e6a82e24b882f22807b73debe7 (patch) | |
| tree | 8b97c4cb5aecb8cd4d228a486ad557f90e6b778d | |
| parent | 15b99a6b83e00ac29f9c0b034c27e34feb8ecf1c (diff) | |
| download | gcc-9a48892bea70a1e6a82e24b882f22807b73debe7.zip gcc-9a48892bea70a1e6a82e24b882f22807b73debe7.tar.gz gcc-9a48892bea70a1e6a82e24b882f22807b73debe7.tar.bz2 | |
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.
| -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 96fe9bb..c9df556 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). |