-
Notifications
You must be signed in to change notification settings - Fork 0
/
AbstractLocation_8h_source.html
178 lines (178 loc) · 36.3 KB
/
AbstractLocation_8h_source.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.8"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>ROSE: AbstractLocation.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<link rel="search" href="search_opensearch.php?v=opensearch.xml" type="application/opensearchdescription+xml" title="ROSE"/>
<link href="roseDoxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">ROSE<span id="projectnumber"> 0.11.145.141</span>
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.8 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search/",'.html');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(function() {
initMenu('',true,true,'search.html','Search');
$(document).ready(function() {
if ($('.searchresults').length > 0) { searchBox.DOMSearchField().focus(); }
});
});
/* @license-end */
</script>
<div id="main-nav"></div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
$(document).ready(function() { init_codefold(0); });
/* @license-end */
</script>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_9e62d0ec1b5e35066c963e582c20357f.html">Rose</a></li><li class="navelem"><a class="el" href="dir_b6b36e208517412b6f28695766cc080b.html">BinaryAnalysis</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle"><div class="title">AbstractLocation.h</div></div>
</div><!--header-->
<div class="contents">
<div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno"> 1</span><span class="preprocessor">#ifndef ROSE_BinaryAnalysis_AbstractLocation_H</span></div>
<div class="line"><a id="l00002" name="l00002"></a><span class="lineno"> 2</span><span class="preprocessor">#define ROSE_BinaryAnalysis_AbstractLocation_H</span></div>
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno"> 3</span><span class="preprocessor">#include <featureTests.h></span></div>
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno"> 4</span><span class="preprocessor">#ifdef ROSE_ENABLE_BINARY_ANALYSIS</span></div>
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno"> 5</span> </div>
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno"> 6</span><span class="preprocessor">#include <Rose/Location.h></span></div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno"> 7</span><span class="preprocessor">#include <Rose/BinaryAnalysis/BasicTypes.h></span></div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno"> 8</span><span class="preprocessor">#include <Rose/BinaryAnalysis/SmtSolver.h></span></div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno"> 9</span> </div>
<div class="line"><a id="l00010" name="l00010"></a><span class="lineno"> 10</span><span class="preprocessor">#include <ostream></span></div>
<div class="line"><a id="l00011" name="l00011"></a><span class="lineno"> 11</span><span class="preprocessor">#include <string></span></div>
<div class="line"><a id="l00012" name="l00012"></a><span class="lineno"> 12</span> </div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno"> 13</span><span class="keyword">namespace </span><a class="code hl_namespace" href="namespaceRose.html">Rose</a> {</div>
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno"> 14</span><span class="keyword">namespace </span>BinaryAnalysis {</div>
<div class="line"><a id="l00015" name="l00015"></a><span class="lineno"> 15</span> </div>
<div class="foldopen" id="foldopen00032" data-start="{" data-end="};">
<div class="line"><a id="l00032" name="l00032"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html"> 32</a></span><span class="keyword">class </span><a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a>: <span class="keyword">public</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a> {</div>
<div class="line"><a id="l00033" name="l00033"></a><span class="lineno"> 33</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00034" name="l00034"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#aa177db2769cae056e0261d8f04d268e0"> 34</a></span> <span class="keyword">using </span><a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Address</a> = <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#ae281182bb99b033e6087f27309dcf603">InstructionSemantics::BaseSemantics::SValuePtr</a>; </div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno"> 36</span><span class="keyword">private</span>:</div>
<div class="line"><a id="l00037" name="l00037"></a><span class="lineno"> 37</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1RegisterDescriptor.html">RegisterDescriptor</a> reg_;</div>
<div class="line"><a id="l00038" name="l00038"></a><span class="lineno"> 38</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Address</a> addr_;</div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno"> 39</span> <span class="keywordtype">size_t</span> nBytes_ = 0; <span class="comment">// size of memory location, or zero if unknown</span></div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno"> 40</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">RegisterDictionaryPtr</a> regdict_;</div>
<div class="line"><a id="l00041" name="l00041"></a><span class="lineno"> 41</span> </div>
<div class="line"><a id="l00042" name="l00042"></a><span class="lineno"> 42</span><span class="keyword">public</span>:</div>
<div class="line"><a id="l00047" name="l00047"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2f8b78269b71a7d48f6f1d021bdbb84d"> 47</a></span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2f8b78269b71a7d48f6f1d021bdbb84d">AbstractLocation</a>();</div>
<div class="line"><a id="l00048" name="l00048"></a><span class="lineno"> 48</span> <span class="keyword">virtual</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">~AbstractLocation</a>();</div>
<div class="line"><a id="l00049" name="l00049"></a><span class="lineno"> 49</span> </div>
<div class="line"><a id="l00051" name="l00051"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a214837b1bb46e28f60df3b4d9db2cd43"> 51</a></span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a214837b1bb46e28f60df3b4d9db2cd43">AbstractLocation</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a>&);</div>
<div class="line"><a id="l00052" name="l00052"></a><span class="lineno"> 52</span> </div>
<div class="line"><a id="l00054" name="l00054"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a63805882126df4e7b489b776ae3387f3"> 54</a></span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a>& <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a63805882126df4e7b489b776ae3387f3">operator=</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a>&);</div>
<div class="line"><a id="l00055" name="l00055"></a><span class="lineno"> 55</span> </div>
<div class="line"><a id="l00061" name="l00061"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afe24a4c3d656c065a3bd2854c852a5a7"> 61</a></span> <span class="keyword">explicit</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afe24a4c3d656c065a3bd2854c852a5a7">AbstractLocation</a>(<a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1RegisterDescriptor.html">RegisterDescriptor</a>);</div>
<div class="line"><a id="l00062" name="l00062"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#ae5cd588074ad36087a60deca947311a7"> 62</a></span> <span class="keyword">explicit</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#ae5cd588074ad36087a60deca947311a7">AbstractLocation</a>(<a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1RegisterDescriptor.html">RegisterDescriptor</a>, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">RegisterDictionaryPtr</a> &regdict);</div>
<div class="line"><a id="l00068" name="l00068"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2c1495feb45ba1a1b9d10bdcb25ce05a"> 68</a></span> <span class="keyword">explicit</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2c1495feb45ba1a1b9d10bdcb25ce05a">AbstractLocation</a>(<span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Address</a>&, <span class="keywordtype">size_t</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a9940167a24d0076e4e6f61b220b14dc2">nBytes</a> = 0);</div>
<div class="line"><a id="l00069" name="l00069"></a><span class="lineno"> 69</span> </div>
<div class="line"><a id="l00071" name="l00071"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a410ed83e36bfd2c35d6c6c3b87e0fa26"> 71</a></span> <span class="keyword">static</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a410ed83e36bfd2c35d6c6c3b87e0fa26">parse</a>(<span class="keyword">const</span> std::string&);</div>
<div class="line"><a id="l00072" name="l00072"></a><span class="lineno"> 72</span> </div>
<div class="line"><a id="l00073" name="l00073"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#af913b22c50b0aaf22fbfa09f6146be38"> 73</a></span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#af913b22c50b0aaf22fbfa09f6146be38">isValid</a>() <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00074" name="l00074"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#aa9382261731904254853ad44680f7150"> 74</a></span> <span class="keyword">virtual</span> std::string <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#aa9382261731904254853ad44680f7150">toString</a>() <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00075" name="l00075"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6ab383aaa1581897dd66ec07f3cc3516"> 75</a></span> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6ab383aaa1581897dd66ec07f3cc3516">print</a>(std::ostream&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00076" name="l00076"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a34967e62fb6e8eb2dfd860b7e9240a3f"> 76</a></span> <span class="keyword">virtual</span> std::string <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a34967e62fb6e8eb2dfd860b7e9240a3f">printableName</a>() <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00077" name="l00077"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afd4c21e855c461f54b9927b98d222315"> 77</a></span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afd4c21e855c461f54b9927b98d222315">isEqual</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a>&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00078" name="l00078"></a><span class="lineno"> 78</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> operator<(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a>&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00079" name="l00079"></a><span class="lineno"> 79</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> operator<=(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a>&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00080" name="l00080"></a><span class="lineno"> 80</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> operator>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a>&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno"> 81</span> <span class="keyword">virtual</span> <span class="keywordtype">bool</span> operator>=(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1Location.html">Location</a>&) <span class="keyword">const override</span>;</div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> </div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a527f75f9ed2088f1d054fecce7daa643"> 87</a></span> <span class="keywordtype">int</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a527f75f9ed2088f1d054fecce7daa643">compare</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a> &other) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span> </div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a22cd2c01cc8fdfc28f806ed88ad993f3"> 93</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a22cd2c01cc8fdfc28f806ed88ad993f3">isRegister</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno"> 94</span> </div>
<div class="line"><a id="l00099" name="l00099"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a89643e545e9c235df7e8b520e2f20f0c"> 99</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a89643e545e9c235df7e8b520e2f20f0c">isAddress</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno"> 100</span> </div>
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#acd197ace13c0ac5eeb3924b689790261"> 106</a></span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1RegisterDescriptor.html">RegisterDescriptor</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#acd197ace13c0ac5eeb3924b689790261">getRegister</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno"> 107</span> </div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a8b185600f3ac24e3f8786ca03eadfd4d"> 112</a></span> <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">Address</a> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a8b185600f3ac24e3f8786ca03eadfd4d">getAddress</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> </div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a9940167a24d0076e4e6f61b220b14dc2"> 118</a></span> <span class="keywordtype">size_t</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a9940167a24d0076e4e6f61b220b14dc2">nBytes</a>() <span class="keyword">const</span>;</div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno"> 119</span> </div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a53744f182b6384b4dc73c9afee48cc7d"> 129</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a53744f182b6384b4dc73c9afee48cc7d">mayAlias</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a> &other, <span class="keyword">const</span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis.html#ac6a5a4bfe0af39c76b621715abea1925">SmtSolverPtr</a> &solver = <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis.html#ac6a5a4bfe0af39c76b621715abea1925">SmtSolverPtr</a>()) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno"> 130</span> </div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6083ee550548c8218354acd73148f5a2"> 140</a></span> <span class="keywordtype">bool</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6083ee550548c8218354acd73148f5a2">mustAlias</a>(<span class="keyword">const</span> <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">AbstractLocation</a> &other, <span class="keyword">const</span> <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis.html#ac6a5a4bfe0af39c76b621715abea1925">SmtSolverPtr</a> &solver = <a class="code hl_typedef" href="namespaceRose_1_1BinaryAnalysis.html#ac6a5a4bfe0af39c76b621715abea1925">SmtSolverPtr</a>()) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno"> 141</span> </div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a846d78f9cb26b0675e5835f2188cd7a2"> 148</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a846d78f9cb26b0675e5835f2188cd7a2">print</a>(std::ostream &out, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">RegisterDictionaryPtr</a> &regdict) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00149" name="l00149"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a04e50181887a342db98622471afc39b7"> 149</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a04e50181887a342db98622471afc39b7">print</a>(std::ostream &out, <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_1_1Formatter.html">InstructionSemantics::BaseSemantics::Formatter</a> &fmt) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00150" name="l00150"></a><span class="lineno"><a class="line" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a24a93e15e9f6d9aa3534ff090583f694"> 150</a></span> <span class="keywordtype">void</span> <a class="code hl_function" href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a24a93e15e9f6d9aa3534ff090583f694">print</a>(std::ostream &out, <span class="keyword">const</span> <a class="code hl_class" href="classSawyer_1_1SharedPointer.html">RegisterDictionaryPtr</a> &regdict, <a class="code hl_class" href="classRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_1_1Formatter.html">InstructionSemantics::BaseSemantics::Formatter</a> &fmt) <span class="keyword">const</span>;</div>
<div class="line"><a id="l00152" name="l00152"></a><span class="lineno"> 152</span>};</div>
</div>
<div class="line"><a id="l00153" name="l00153"></a><span class="lineno"> 153</span> </div>
<div class="line"><a id="l00154" name="l00154"></a><span class="lineno"> 154</span>} <span class="comment">// namespace</span></div>
<div class="line"><a id="l00155" name="l00155"></a><span class="lineno"> 155</span>} <span class="comment">// namespace</span></div>
<div class="line"><a id="l00156" name="l00156"></a><span class="lineno"> 156</span> </div>
<div class="line"><a id="l00157" name="l00157"></a><span class="lineno"> 157</span><span class="preprocessor">#endif</span></div>
<div class="line"><a id="l00158" name="l00158"></a><span class="lineno"> 158</span><span class="preprocessor">#endif</span></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html">Rose::BinaryAnalysis::AbstractLocation</a></div><div class="ttdoc">Abstract location.</div><div class="ttdef"><b>Definition</b> <a href="AbstractLocation_8h_source.html#l00032">AbstractLocation.h:32</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a04e50181887a342db98622471afc39b7"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a04e50181887a342db98622471afc39b7">Rose::BinaryAnalysis::AbstractLocation::print</a></div><div class="ttdeci">void print(std::ostream &out, InstructionSemantics::BaseSemantics::Formatter &fmt) const</div><div class="ttdoc">Print an abstract location.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a214837b1bb46e28f60df3b4d9db2cd43"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a214837b1bb46e28f60df3b4d9db2cd43">Rose::BinaryAnalysis::AbstractLocation::AbstractLocation</a></div><div class="ttdeci">AbstractLocation(const AbstractLocation &)</div><div class="ttdoc">Copy constructor.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a22cd2c01cc8fdfc28f806ed88ad993f3"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a22cd2c01cc8fdfc28f806ed88ad993f3">Rose::BinaryAnalysis::AbstractLocation::isRegister</a></div><div class="ttdeci">bool isRegister() const</div><div class="ttdoc">Checks register reference.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a24a93e15e9f6d9aa3534ff090583f694"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a24a93e15e9f6d9aa3534ff090583f694">Rose::BinaryAnalysis::AbstractLocation::print</a></div><div class="ttdeci">void print(std::ostream &out, const RegisterDictionaryPtr &regdict, InstructionSemantics::BaseSemantics::Formatter &fmt) const</div><div class="ttdoc">Print an abstract location.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a2c1495feb45ba1a1b9d10bdcb25ce05a"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2c1495feb45ba1a1b9d10bdcb25ce05a">Rose::BinaryAnalysis::AbstractLocation::AbstractLocation</a></div><div class="ttdeci">AbstractLocation(const Address &, size_t nBytes=0)</div><div class="ttdoc">Memory referent.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a2f8b78269b71a7d48f6f1d021bdbb84d"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a2f8b78269b71a7d48f6f1d021bdbb84d">Rose::BinaryAnalysis::AbstractLocation::AbstractLocation</a></div><div class="ttdeci">AbstractLocation()</div><div class="ttdoc">Default constructor.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a34967e62fb6e8eb2dfd860b7e9240a3f"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a34967e62fb6e8eb2dfd860b7e9240a3f">Rose::BinaryAnalysis::AbstractLocation::printableName</a></div><div class="ttdeci">virtual std::string printableName() const override</div><div class="ttdoc">Convert location to escaped, parsable string.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a410ed83e36bfd2c35d6c6c3b87e0fa26"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a410ed83e36bfd2c35d6c6c3b87e0fa26">Rose::BinaryAnalysis::AbstractLocation::parse</a></div><div class="ttdeci">static AbstractLocation parse(const std::string &)</div><div class="ttdoc">Parse an abstract location from a string.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a527f75f9ed2088f1d054fecce7daa643"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a527f75f9ed2088f1d054fecce7daa643">Rose::BinaryAnalysis::AbstractLocation::compare</a></div><div class="ttdeci">int compare(const AbstractLocation &other) const</div><div class="ttdoc">Compare two abstract locations.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a53744f182b6384b4dc73c9afee48cc7d"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a53744f182b6384b4dc73c9afee48cc7d">Rose::BinaryAnalysis::AbstractLocation::mayAlias</a></div><div class="ttdeci">bool mayAlias(const AbstractLocation &other, const SmtSolverPtr &solver=SmtSolverPtr()) const</div><div class="ttdoc">True if two abstract locations could be aliases.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a6083ee550548c8218354acd73148f5a2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6083ee550548c8218354acd73148f5a2">Rose::BinaryAnalysis::AbstractLocation::mustAlias</a></div><div class="ttdeci">bool mustAlias(const AbstractLocation &other, const SmtSolverPtr &solver=SmtSolverPtr()) const</div><div class="ttdoc">True if two abstract locations are certainly aliases.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a63805882126df4e7b489b776ae3387f3"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a63805882126df4e7b489b776ae3387f3">Rose::BinaryAnalysis::AbstractLocation::operator=</a></div><div class="ttdeci">AbstractLocation & operator=(const AbstractLocation &)</div><div class="ttdoc">Assignment operator.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a6ab383aaa1581897dd66ec07f3cc3516"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a6ab383aaa1581897dd66ec07f3cc3516">Rose::BinaryAnalysis::AbstractLocation::print</a></div><div class="ttdeci">virtual void print(std::ostream &) const override</div><div class="ttdoc">Output location to a stream.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a846d78f9cb26b0675e5835f2188cd7a2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a846d78f9cb26b0675e5835f2188cd7a2">Rose::BinaryAnalysis::AbstractLocation::print</a></div><div class="ttdeci">void print(std::ostream &out, const RegisterDictionaryPtr &regdict) const</div><div class="ttdoc">Print an abstract location.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a89643e545e9c235df7e8b520e2f20f0c"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a89643e545e9c235df7e8b520e2f20f0c">Rose::BinaryAnalysis::AbstractLocation::isAddress</a></div><div class="ttdeci">bool isAddress() const</div><div class="ttdoc">Checks memory reference.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a8b185600f3ac24e3f8786ca03eadfd4d"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a8b185600f3ac24e3f8786ca03eadfd4d">Rose::BinaryAnalysis::AbstractLocation::getAddress</a></div><div class="ttdeci">const Address getAddress() const</div><div class="ttdoc">Returns memory address.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_a9940167a24d0076e4e6f61b220b14dc2"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#a9940167a24d0076e4e6f61b220b14dc2">Rose::BinaryAnalysis::AbstractLocation::nBytes</a></div><div class="ttdeci">size_t nBytes() const</div><div class="ttdoc">Returns size of memory location in bytes.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_aa9382261731904254853ad44680f7150"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#aa9382261731904254853ad44680f7150">Rose::BinaryAnalysis::AbstractLocation::toString</a></div><div class="ttdeci">virtual std::string toString() const override</div><div class="ttdoc">Convert location to string.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_acd197ace13c0ac5eeb3924b689790261"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#acd197ace13c0ac5eeb3924b689790261">Rose::BinaryAnalysis::AbstractLocation::getRegister</a></div><div class="ttdeci">RegisterDescriptor getRegister() const</div><div class="ttdoc">Returns register.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_ae5cd588074ad36087a60deca947311a7"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#ae5cd588074ad36087a60deca947311a7">Rose::BinaryAnalysis::AbstractLocation::AbstractLocation</a></div><div class="ttdeci">AbstractLocation(RegisterDescriptor, const RegisterDictionaryPtr &regdict)</div><div class="ttdoc">Register referent.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_af913b22c50b0aaf22fbfa09f6146be38"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#af913b22c50b0aaf22fbfa09f6146be38">Rose::BinaryAnalysis::AbstractLocation::isValid</a></div><div class="ttdeci">virtual bool isValid() const override</div><div class="ttdoc">Test whether this object is valid.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_afd4c21e855c461f54b9927b98d222315"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afd4c21e855c461f54b9927b98d222315">Rose::BinaryAnalysis::AbstractLocation::isEqual</a></div><div class="ttdeci">virtual bool isEqual(const Location &) const override</div><div class="ttdoc">Equality and inequality.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1AbstractLocation_html_afe24a4c3d656c065a3bd2854c852a5a7"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1AbstractLocation.html#afe24a4c3d656c065a3bd2854c852a5a7">Rose::BinaryAnalysis::AbstractLocation::AbstractLocation</a></div><div class="ttdeci">AbstractLocation(RegisterDescriptor)</div><div class="ttdoc">Register referent.</div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_1_1Formatter_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_1_1Formatter.html">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::Formatter</a></div><div class="ttdoc">Format for printing things.</div><div class="ttdef"><b>Definition</b> <a href="Formatter_8h_source.html#l00019">Formatter.h:19</a></div></div>
<div class="ttc" id="aclassRose_1_1BinaryAnalysis_1_1RegisterDescriptor_html"><div class="ttname"><a href="classRose_1_1BinaryAnalysis_1_1RegisterDescriptor.html">Rose::BinaryAnalysis::RegisterDescriptor</a></div><div class="ttdoc">Describes (part of) a physical CPU register.</div><div class="ttdef"><b>Definition</b> <a href="RegisterDescriptor_8h_source.html#l00028">RegisterDescriptor.h:28</a></div></div>
<div class="ttc" id="aclassRose_1_1Location_html"><div class="ttname"><a href="classRose_1_1Location.html">Rose::Location</a></div><div class="ttdoc">Base class for location types.</div><div class="ttdef"><b>Definition</b> <a href="Location_8h_source.html#l00023">Location.h:23</a></div></div>
<div class="ttc" id="aclassSawyer_1_1SharedPointer_html"><div class="ttname"><a href="classSawyer_1_1SharedPointer.html">Sawyer::SharedPointer< SValue ></a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics_html_ae281182bb99b033e6087f27309dcf603"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis_1_1InstructionSemantics_1_1BaseSemantics.html#ae281182bb99b033e6087f27309dcf603">Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuePtr</a></div><div class="ttdeci">Sawyer::SharedPointer< SValue > SValuePtr</div><div class="ttdoc">Shared-ownership pointer to a semantic value in any domain.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2InstructionSemantics_2BaseSemantics_2BasicTypes_8h_source.html#l00048">Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h:48</a></div></div>
<div class="ttc" id="anamespaceRose_1_1BinaryAnalysis_html_ac6a5a4bfe0af39c76b621715abea1925"><div class="ttname"><a href="namespaceRose_1_1BinaryAnalysis.html#ac6a5a4bfe0af39c76b621715abea1925">Rose::BinaryAnalysis::SmtSolverPtr</a></div><div class="ttdeci">std::shared_ptr< SmtSolver > SmtSolverPtr</div><div class="ttdoc">Reference counting pointer.</div><div class="ttdef"><b>Definition</b> <a href="Rose_2BinaryAnalysis_2BasicTypes_8h_source.html#l00057">Rose/BinaryAnalysis/BasicTypes.h:57</a></div></div>
<div class="ttc" id="anamespaceRose_html"><div class="ttname"><a href="namespaceRose.html">Rose</a></div><div class="ttdoc">The ROSE library.</div><div class="ttdef"><b>Definition</b> <a href="BinaryTutorial_8dox_source.html#l00003">BinaryTutorial.dox:3</a></div></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Wed Oct 2 2024 00:08:23 for ROSE by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
</small></address>
</body>
</html>