-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathboa_8cpp_source.html
More file actions
224 lines (222 loc) · 19.5 KB
/
Copy pathboa_8cpp_source.html
File metadata and controls
224 lines (222 loc) · 19.5 KB
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
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
<!-- This comment will put IE 6, 7 and 8 in quirks mode -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>boa: source/boa.cpp Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javaScript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body onload='searchBox.OnSelectItem(0);'>
<!-- Generated by Doxygen 1.6.3 -->
<script type="text/javascript"><!--
var searchBox = new SearchBox("searchBox", "search",false,'Search');
--></script>
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
<li>
<div id="MSearchBox" class="MSearchBoxInactive">
<img id="MSearchSelect" src="search/search.png"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
alt=""/>
<input type="text" id="MSearchField" value="Search" accesskey="S"
onfocus="searchBox.OnSearchFieldFocus(true)"
onblur="searchBox.OnSearchFieldFocus(false)"
onkeyup="searchBox.OnSearchFieldChange(event)"/>
<a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
</div>
</li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
</ul>
</div>
<h1>source/boa.cpp</h1><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="preprocessor">#include "llvm/Pass.h"</span>
<a name="l00002"></a>00002 <span class="preprocessor">#include "llvm/Module.h"</span>
<a name="l00003"></a>00003 <span class="preprocessor">#include "llvm/Function.h"</span>
<a name="l00004"></a>00004 <span class="preprocessor">#include "llvm/Support/raw_ostream.h"</span>
<a name="l00005"></a>00005 <span class="preprocessor">#include "llvm/Support/CommandLine.h"</span>
<a name="l00006"></a>00006 <span class="preprocessor">#include "llvm/Support/InstIterator.h"</span>
<a name="l00007"></a>00007
<a name="l00008"></a>00008 <span class="preprocessor">#include "Buffer.h"</span>
<a name="l00009"></a>00009 <span class="preprocessor">#include "ConstraintGenerator.h"</span>
<a name="l00010"></a>00010 <span class="preprocessor">#include "ConstraintProblem.h"</span>
<a name="l00011"></a>00011 <span class="preprocessor">#include "Helpers.h"</span>
<a name="l00012"></a>00012 <span class="preprocessor">#include "log.h"</span>
<a name="l00013"></a>00013
<a name="l00014"></a>00014 <span class="preprocessor">#include <fstream></span>
<a name="l00015"></a>00015 <span class="preprocessor">#include <iostream></span>
<a name="l00016"></a>00016 <span class="preprocessor">#include <unistd.h></span>
<a name="l00017"></a>00017 <span class="preprocessor">#include <vector></span>
<a name="l00018"></a>00018 <span class="preprocessor">#include <set></span>
<a name="l00019"></a>00019
<a name="l00020"></a>00020 <span class="keyword">using</span> std::cerr;
<a name="l00021"></a>00021 <span class="keyword">using</span> std::ios_base;
<a name="l00022"></a>00022 <span class="keyword">using</span> std::ofstream;
<a name="l00023"></a>00023 <span class="keyword">using</span> std::set;
<a name="l00024"></a>00024 <span class="keyword">using</span> std::vector;
<a name="l00025"></a>00025
<a name="l00026"></a>00026 <span class="keyword">using</span> <a class="code" href="namespaceboa_1_1Helpers.html#a92f1cf2f94f9543435481b8135bbac83">boa::Helpers::SplitString</a>;
<a name="l00027"></a>00027
<a name="l00028"></a>00028 <span class="keyword">using namespace </span>llvm;
<a name="l00029"></a>00029
<a name="l00030"></a>00030 cl::opt<string> LogFile(<span class="stringliteral">"logfile"</span>, cl::desc(<span class="stringliteral">"Log to filename"</span>), cl::value_desc(<span class="stringliteral">"filename"</span>));
<a name="l00031"></a>00031 cl::opt<bool> OutputGlpk(<span class="stringliteral">"output_glpk"</span>, cl::desc(<span class="stringliteral">"Show GLPK Output"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00032"></a>00032 cl::opt<bool> Blame(<span class="stringliteral">"blame"</span>, cl::desc(<span class="stringliteral">"Calculate and show Blame information"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00033"></a>00033 cl::opt<bool> NoPointerAnalysis(<span class="stringliteral">"no_pointer_analysis"</span>,
<a name="l00034"></a>00034 cl::desc(<span class="stringliteral">"Do not generate pointer analysis constraints"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00035"></a>00035 cl::opt<bool> IgnoreLiterals(<span class="stringliteral">"ignore_literals"</span>,
<a name="l00036"></a>00036 cl::desc(<span class="stringliteral">"Don't report buffer overruns on string literals"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00037"></a>00037 cl::opt<bool> Verbose(<span class="stringliteral">"v"</span>, cl::desc(<span class="stringliteral">"Verbose output format"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00038"></a>00038 cl::opt<string> SafeFunctions(<span class="stringliteral">"safe_functions"</span>, cl::desc(<span class="stringliteral">"Names of safe functions"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00039"></a>00039 cl::opt<string> UnsafeFunctions(<span class="stringliteral">"unsafe_functions"</span>, cl::desc(<span class="stringliteral">"Names of unsafe functions"</span>), cl::value_desc(<span class="stringliteral">""</span>));
<a name="l00040"></a>00040
<a name="l00041"></a>00041 <span class="keyword">namespace </span>boa {
<a name="l00042"></a>00042 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">string</span> SEPARATOR(<span class="stringliteral">"---"</span>);
<a name="l00043"></a>00043
<a name="l00044"></a>00044 <span class="keyword">namespace </span>Colors {
<a name="l00045"></a>00045 <span class="keyword">static</span> <span class="keywordtype">string</span> Red, Green, Normal, Bold;
<a name="l00046"></a>00046 <span class="keyword">static</span> <span class="keywordtype">void</span> Setup() {
<a name="l00047"></a>00047 Red = <span class="stringliteral">"\033[0;31m"</span>;
<a name="l00048"></a>00048 Green = <span class="stringliteral">"\033[0;32m"</span>;
<a name="l00049"></a>00049 Normal = <span class="stringliteral">"\033[0m"</span>;
<a name="l00050"></a>00050 Bold = <span class="stringliteral">"\033[1m"</span>;
<a name="l00051"></a>00051 }
<a name="l00052"></a>00052 }
<a name="l00053"></a>00053
<a name="l00054"></a><a class="code" href="classboa_1_1boa.html">00054</a> <span class="keyword">class </span><a class="code" href="classboa_1_1boa.html">boa</a> : <span class="keyword">public</span> ModulePass {
<a name="l00055"></a>00055 <span class="keyword">private</span>:
<a name="l00056"></a>00056 <a class="code" href="classboa_1_1ConstraintProblem.html">ConstraintProblem</a> constraintProblem_;
<a name="l00057"></a>00057 set<string> safeFunctions_, unsafeFunctions_;
<a name="l00058"></a>00058
<a name="l00059"></a>00059 <span class="keyword">public</span>:
<a name="l00060"></a>00060 <span class="keyword">static</span> <span class="keywordtype">char</span> ID;
<a name="l00061"></a>00061
<a name="l00062"></a>00062
<a name="l00063"></a>00063 <a class="code" href="classboa_1_1boa.html">boa</a>() : ModulePass(ID), constraintProblem_(OutputGlpk) {
<a name="l00064"></a>00064 <span class="keywordflow">if</span> (LogFile != <span class="stringliteral">""</span>) {
<a name="l00065"></a>00065 ofstream* logfile = <span class="keyword">new</span> ofstream();
<a name="l00066"></a>00066 logfile->open(LogFile.c_str());
<a name="l00067"></a>00067 log::set(*logfile);
<a name="l00068"></a>00068 }
<a name="l00069"></a>00069 <span class="keywordflow">if</span> (isatty(2)) {
<a name="l00070"></a>00070 <span class="comment">// use colors only if stderror is a tty</span>
<a name="l00071"></a>00071 Colors::Setup();
<a name="l00072"></a>00072 }
<a name="l00073"></a>00073 safeFunctions_ = SplitString(SafeFunctions, <span class="charliteral">','</span>);
<a name="l00074"></a>00074 unsafeFunctions_ = SplitString(UnsafeFunctions, <span class="charliteral">','</span>);
<a name="l00075"></a>00075 }
<a name="l00076"></a>00076
<a name="l00077"></a>00077 <span class="keyword">virtual</span> <span class="keywordtype">bool</span> runOnModule(Module &M) {
<a name="l00078"></a>00078 <a class="code" href="classboa_1_1ConstraintGenerator.html">ConstraintGenerator</a> constraintGenerator(constraintProblem_, IgnoreLiterals, safeFunctions_,
<a name="l00079"></a>00079 unsafeFunctions_);
<a name="l00080"></a>00080
<a name="l00081"></a>00081 <span class="keywordflow">for</span> (Module::const_global_iterator it = M.global_begin(); it != M.global_end(); ++it) {
<a name="l00082"></a>00082 <span class="keyword">const</span> GlobalValue *g = it;
<a name="l00083"></a>00083 constraintGenerator.<a class="code" href="classboa_1_1ConstraintGenerator.html#ab046d91978647b04cfc8f274e71e61a2">VisitGlobal</a>(g);
<a name="l00084"></a>00084 }
<a name="l00085"></a>00085 <span class="keywordflow">for</span> (Module::const_iterator it = M.begin(); it != M.end(); ++it) {
<a name="l00086"></a>00086 <span class="keyword">const</span> Function *F = it;
<a name="l00087"></a>00087 <span class="keywordflow">for</span> (const_inst_iterator ii = inst_begin(F); ii != inst_end(F); ++ii) {
<a name="l00088"></a>00088 constraintGenerator.<a class="code" href="classboa_1_1ConstraintGenerator.html#a61280ca09cac26d858e08b75626b5381">VisitInstruction</a>(&(*ii), F);
<a name="l00089"></a>00089 }
<a name="l00090"></a>00090 }
<a name="l00091"></a>00091
<a name="l00092"></a>00092 <span class="keywordflow">if</span> (!NoPointerAnalysis) {
<a name="l00093"></a>00093 constraintGenerator.AnalyzePointers();
<a name="l00094"></a>00094 }
<a name="l00095"></a>00095 <span class="keywordflow">return</span> <span class="keyword">false</span>;
<a name="l00096"></a>00096 }
<a name="l00097"></a>00097
<a name="l00098"></a>00098 <span class="keyword">virtual</span> ~<a class="code" href="classboa_1_1boa.html">boa</a>() {
<a name="l00099"></a>00099 <span class="keywordflow">if</span> (constraintProblem_.BuffersCount() == 0) {
<a name="l00100"></a>00100 cerr << <span class="stringliteral">"no buffers detected"</span> << endl;
<a name="l00101"></a>00101 cerr << SEPARATOR << endl;
<a name="l00102"></a>00102 cerr << SEPARATOR << endl;
<a name="l00103"></a>00103 cerr << SEPARATOR << endl;
<a name="l00104"></a>00104 <span class="keywordflow">return</span>;
<a name="l00105"></a>00105 }
<a name="l00106"></a>00106 LOG << <span class="stringliteral">"Constraint solver output - "</span> << endl;
<a name="l00107"></a>00107 vector<Buffer> unsafeBuffers = constraintProblem_.<a class="code" href="classboa_1_1ConstraintProblem.html#a89906278f9c580dcc86adf95f87d2a9a">Solve</a>();
<a name="l00108"></a>00108 cerr << Colors::Bold << <span class="stringliteral">"boa"</span> << Colors::Normal << <span class="stringliteral">" found "</span>
<a name="l00109"></a>00109 << constraintProblem_.BuffersCount() << <span class="stringliteral">" buffers. "</span>;
<a name="l00110"></a>00110 <span class="keywordflow">if</span> (unsafeBuffers.empty()) {
<a name="l00111"></a>00111 cerr << endl << Colors::Green << <span class="stringliteral">"No overruns detected"</span> << Colors::Normal << <span class="stringliteral">"."</span> << endl;
<a name="l00112"></a>00112 cerr << SEPARATOR << endl;
<a name="l00113"></a>00113 cerr << SEPARATOR << endl;
<a name="l00114"></a>00114 cerr << SEPARATOR << endl;
<a name="l00115"></a>00115 } <span class="keywordflow">else</span> {
<a name="l00116"></a>00116 cerr << Colors::Red << unsafeBuffers.size() << <span class="stringliteral">" possible buffer overruns found"</span>
<a name="l00117"></a>00117 << Colors::Normal << <span class="stringliteral">"."</span> << endl;
<a name="l00118"></a>00118 cerr << SEPARATOR << endl;
<a name="l00119"></a>00119 <span class="keywordflow">if</span> (Blame) {
<a name="l00120"></a>00120 <span class="keywordflow">if</span> (Verbose) {
<a name="l00121"></a>00121 cerr << Colors::Bold << <span class="stringliteral">"Blames section"</span> << Colors::Normal << <span class="stringliteral">" Each of the overrunning "</span>
<a name="l00122"></a>00122 <span class="stringliteral">"buffers appear here with a small list of constraints which cause an overrun in "</span>
<a name="l00123"></a>00123 <span class="stringliteral">"this buffer. A buffer is described by its name and the source location where it is "</span>
<a name="l00124"></a>00124 <span class="stringliteral">"defined, a constraint consist of a brief desctiption and the source line where "</span>
<a name="l00125"></a>00125 <span class="stringliteral">"it originates."</span> << endl << endl;
<a name="l00126"></a>00126 }
<a name="l00127"></a>00127 map<Buffer, vector<string> > blames = constraintProblem_.<a class="code" href="classboa_1_1ConstraintProblem.html#afb4825c5bf44f112f046f9d93bbdbf3f">SolveAndBlame</a>();
<a name="l00128"></a>00128 <span class="keywordflow">for</span> (map<<a class="code" href="classboa_1_1Buffer.html">Buffer</a>, vector<string> >::iterator it = blames.begin();
<a name="l00129"></a>00129 it != blames.end();
<a name="l00130"></a>00130 ++it) {
<a name="l00131"></a>00131 cerr << Colors::Red << it->first.getReadableName() << Colors ::Normal << <span class="stringliteral">" "</span> <<
<a name="l00132"></a>00132 it->first.getSourceLocation() << endl;
<a name="l00133"></a>00133 <span class="keywordtype">string</span> lastLine = <span class="stringliteral">""</span>;
<a name="l00134"></a>00134 <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 0; i < it->second.size(); ++i) {
<a name="l00135"></a>00135 <span class="keywordflow">if</span> (it->second[i] != lastLine) {
<a name="l00136"></a>00136 cerr << <span class="stringliteral">" - "</span> << it->second[i] << endl;
<a name="l00137"></a>00137 lastLine = it->second[i];
<a name="l00138"></a>00138 }
<a name="l00139"></a>00139 }
<a name="l00140"></a>00140 }
<a name="l00141"></a>00141 }
<a name="l00142"></a>00142 cerr << SEPARATOR << endl;
<a name="l00143"></a>00143 <span class="keywordflow">if</span> (Verbose) {
<a name="l00144"></a>00144 cerr << Colors::Bold << <span class="stringliteral">"Buffers section"</span> << Colors::Normal << <span class="stringliteral">" Each of the overrunning "</span>
<a name="l00145"></a>00145 <span class="stringliteral">"buffers appear here, one in each line. A buffer is described by its name and the "</span>
<a name="l00146"></a>00146 <span class="stringliteral">"source location where it is defined"</span> << endl << endl;
<a name="l00147"></a>00147 }
<a name="l00148"></a>00148 <span class="keywordflow">for</span> (vector<Buffer>::iterator buff = unsafeBuffers.begin();
<a name="l00149"></a>00149 buff != unsafeBuffers.end();
<a name="l00150"></a>00150 ++buff) {
<a name="l00151"></a>00151 cerr << Colors::Red << buff->getReadableName() << Colors::Normal << <span class="stringliteral">" "</span> <<
<a name="l00152"></a>00152 buff->getSourceLocation() << endl;
<a name="l00153"></a>00153 }
<a name="l00154"></a>00154 cerr << SEPARATOR << endl;
<a name="l00155"></a>00155 }
<a name="l00156"></a>00156 }
<a name="l00157"></a>00157 };
<a name="l00158"></a>00158 }
<a name="l00159"></a>00159
<a name="l00160"></a>00160 <span class="keywordtype">char</span> boa::boa::ID = 0;
<a name="l00161"></a>00161 <span class="keyword">static</span> RegisterPass<boa::boa> X(<span class="stringliteral">"boa"</span>, <span class="stringliteral">"boa - buffer overrun analyzer"</span>);
</pre></div></div>
<!--- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark"> </span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark"> </span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark"> </span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark"> </span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark"> </span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark"> </span>Enumerations</a></div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<hr class="footer"/><address style="text-align: right;"><small>Generated on Sat Mar 19 17:29:26 2011 for boa by
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.6.3 </small></address>
</body>
</html>