svf-tools 1.0.832 → 1.0.834
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/AndersenPWC_8h_source.html +1 -1
- package/SVF-doxygen/html/ExtAPI_8cpp.html +23 -21
- package/SVF-doxygen/html/ExtAPI_8cpp_source.html +145 -143
- package/SVF-doxygen/html/ExtAPI_8h_source.html +10 -10
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8h_source.html +1 -1
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +97 -97
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/package.json +1 -1
- package/svf/include/WPA/AndersenPWC.h +1 -1
- package/svf/lib/Util/ExtAPI.cpp +4 -2
|
@@ -187,7 +187,7 @@ $(function() {
|
|
|
187
187
|
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  {</div>
|
|
188
188
|
<div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb">sfrAndersen</a> == <span class="keyword">nullptr</span>)</div>
|
|
189
189
|
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  {</div>
|
|
190
|
-
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499">AndersenSFR</a>(_pag);</div>
|
|
190
|
+
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <a class="code" href="classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb">sfrAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499">AndersenSFR</a>(_pag);</div>
|
|
191
191
|
<div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <a class="code" href="classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb">sfrAndersen</a>-><a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div>
|
|
192
192
|
<div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb">sfrAndersen</a>;</div>
|
|
193
193
|
<div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  }</div>
|
|
@@ -115,27 +115,29 @@ Functions</h2></td></tr>
|
|
|
115
115
|
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> bcFilePath = <span class="stringliteral">""</span>;</div>
|
|
116
116
|
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="keywordflow">if</span> (path.compare(<span class="stringliteral">"SVF_DIR"</span>) == 0)</div>
|
|
117
117
|
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  {</div>
|
|
118
|
-
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span> 
|
|
119
|
-
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span> 
|
|
120
|
-
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span> 
|
|
121
|
-
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span> 
|
|
122
|
-
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> 
|
|
123
|
-
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span> 
|
|
124
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <
|
|
125
|
-
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> 
|
|
126
|
-
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">//
|
|
127
|
-
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> 
|
|
128
|
-
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span> 
|
|
129
|
-
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="
|
|
130
|
-
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> 
|
|
131
|
-
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> 
|
|
132
|
-
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span> 
|
|
133
|
-
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> 
|
|
134
|
-
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span> 
|
|
135
|
-
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span> 
|
|
136
|
-
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  bcFilePath.
|
|
137
|
-
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span> 
|
|
138
|
-
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> 
|
|
118
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordtype">char</span> <span class="keyword">const</span>* svfdir = getenv(<span class="stringliteral">"SVF_DIR"</span>);</div>
|
|
119
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="keywordflow">if</span> (svfdir)</div>
|
|
120
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  bcFilePath = svfdir;</div>
|
|
121
|
+
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  }</div>
|
|
122
|
+
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (path.compare(<span class="stringliteral">"npm root"</span>) == 0)</div>
|
|
123
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  {</div>
|
|
124
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  bcFilePath = <a class="code" href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">GetStdoutFromCommand</a>(path);</div>
|
|
125
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  <span class="comment">// SVF installed via npm needs to determine the type of operating</span></div>
|
|
126
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// system, otherwise the extapi.bc path may not be found.</span></div>
|
|
127
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> <span class="preprocessor">#ifdef linux</span></div>
|
|
128
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="comment">// Linux os</span></div>
|
|
129
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  bcFilePath.append(<span class="stringliteral">"/svf-lib/SVF-linux"</span>);</div>
|
|
130
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="preprocessor">#else</span></div>
|
|
131
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  <span class="comment">// Mac os</span></div>
|
|
132
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  bcFilePath.append(<span class="stringliteral">"/svf-lib/SVF-osx"</span>);</div>
|
|
133
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="preprocessor">#endif</span></div>
|
|
134
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  }</div>
|
|
135
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  </div>
|
|
136
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  <span class="keywordflow">if</span> (!bcFilePath.empty() && bcFilePath.back() != <span class="charliteral">'/'</span>)</div>
|
|
137
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  bcFilePath.push_back(<span class="charliteral">'/'</span>);</div>
|
|
138
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  bcFilePath.append(BUILD_TYPE).append(<a class="code" href="ExtAPI_8h.html#a3be52a096fe407bb55141117f1cf4c75">DEFAULT_EXTAPI_BC_PATH</a>);</div>
|
|
139
|
+
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="keywordflow">return</span> bcFilePath;</div>
|
|
140
|
+
<div class="line"><a name="l00122"></a><span class="lineno"> 122</span> }</div>
|
|
139
141
|
</div><!-- fragment -->
|
|
140
142
|
</div>
|
|
141
143
|
</div>
|