projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15b99a6) | patch
doc: New source for "Memory Model for Static Analysis" paper
authorGerald Pfeifer <gerald@pfeifer.com>
Sun, 27 Dec 2020 20:40:36 +0000 (21:40 +0100)
committerGerald Pfeifer <gerald@pfeifer.com>
Sun, 27 Dec 2020 20:40:36 +0000 (21:40 +0100)
commit9a48892bea70a1e6a82e24b882f22807b73debe7
tree8b97c4cb5aecb8cd4d228a486ad557f90e6b778dtree
parent15b99a6b83e00ac29f9c0b034c27e34feb8ecf1ccommit | diff
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.
gcc/doc/analyzer.texi diff | blob | history