OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

doc: Update link to "Memory Model" paper

Browse Source 
gcc/ChangeLog:
	* doc/analyzer.texi (Analyzer Internals): Update link to
	"A Memory Model for Static Analysis of C Programs".
This commit is contained in:
Gerald Pfeifer 2021-03-28 23:34:35 +02:00
parent d04c246cae
commit d15db0c5f5
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/~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).