diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-01-15 15:26:07 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-01-15 15:26:07 +0000 |
commit | 665a8dc95379a936a26e58620c16a175d0226053 (patch) | |
tree | 794588bd06e6a6768d3ff4ab6e3595d4b2ebcc6a /docs/AnalyzerRegions.html | |
parent | ae9f85b2c062ac20512a484cfa6e66239dd3d0d9 (diff) |
Fix ALL the markup.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148219 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/AnalyzerRegions.html')
-rw-r--r-- | docs/AnalyzerRegions.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/AnalyzerRegions.html b/docs/AnalyzerRegions.html index 35708d57c9..f9d3337920 100644 --- a/docs/AnalyzerRegions.html +++ b/docs/AnalyzerRegions.html @@ -1,3 +1,5 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" + "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <title>Static Analyzer Design Document: Memory Regions</title> @@ -59,7 +61,7 @@ of structures) then the StoreManager can simply return 'unknown' (represented by concerns not only isolates the core analysis engine from the details of reasoning about program memory but also facilities the option of a client of the path-sensitive engine to easily swap in different StoreManager implementations -that internally reason about program memory in very different ways.</pp> +that internally reason about program memory in very different ways.</p> <p>The rest of this document is divided into two parts. We first discuss region taxonomy and the semantics of regions. We then discuss the StoreManager @@ -102,7 +104,7 @@ typedef struct s my_type; void *p; int *q = (int*) p; char *r = (char*) p; -</pre +</pre> <p>Thus we need to canonicalize the MemRegion which is used in binding and retrieving.</p> |