MatCat.OpenSource/8sa1-gcc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

doc: New source for "Memory Model for Static Analysis" paper

Browse Source 
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.
This commit is contained in:
Gerald Pfeifer 2020-12-27 21:40:36 +01:00
parent 15b99a6b83
commit 9a48892bea
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/doc/analyzer.texi
View File

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