svf-tools 1.0.599 → 1.0.601
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/.gitignore +0 -1
- package/CMakeLists.txt +27 -29
- package/README.md +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/ExtAPI_8h.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -2
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +1 -2
- package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +0 -2
- package/SVF-doxygen/html/html/files.html +17 -18
- package/SVF-doxygen/html/html/globals_defs.html +0 -7
- package/SVF-doxygen/html/html/globals_p.html +1 -4
- package/SVF-doxygen/html/html/menudata.js +0 -1
- package/SVF-doxygen/html/html/search/all_10.js +0 -1
- package/SVF-doxygen/html/html/search/all_13.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +0 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/defines_a.js +4 -1
- package/SVF-doxygen/html/html/search/defines_b.js +3 -4
- package/SVF-doxygen/html/html/search/files_2.js +0 -1
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/build.sh +5 -0
- package/package.json +1 -1
|
@@ -674,13 +674,12 @@ Static Private Attributes</h2></td></tr>
|
|
|
674
674
|
</div><div class="memdoc">
|
|
675
675
|
|
|
676
676
|
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00122">122</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
677
|
-
<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> {</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  }</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keyword">struct </span>stat statbuf;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> </div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="comment">// Four ways to get ExtAPI.json path</span></div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="comment">// 1. Explicit path provided</span></div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="comment">// 2. default path (get ExtAPI.json path from Util/config.h)</span></div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="comment">// 3. from $SVF_DIR</span></div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="comment">// 4. from "npm root"(If SVF is installed via npm)</span></div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span> </div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> jsonFilePath = path;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <span class="keywordflow">if</span> (!jsonFilePath.empty() && !stat(jsonFilePath.c_str(), &statbuf))</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> = <a class="code" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a>(jsonFilePath, statbuf.st_size);</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  }</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span> </div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  jsonFilePath =
|
|
677
|
+
<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> {</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  }</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keyword">struct </span>stat statbuf;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> </div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>  <span class="comment">// Four ways to get ExtAPI.json path</span></div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  <span class="comment">// 1. Explicit path provided</span></div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="comment">// 2. default path (get ExtAPI.json path from Util/config.h)</span></div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>  <span class="comment">// 3. from $SVF_DIR</span></div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  <span class="comment">// 4. from "npm root"(If SVF is installed via npm)</span></div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span> </div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> jsonFilePath = path;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <span class="keywordflow">if</span> (!jsonFilePath.empty() && !stat(jsonFilePath.c_str(), &statbuf))</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  {</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> = <a class="code" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a>(jsonFilePath, statbuf.st_size);</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  }</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span> </div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  jsonFilePath = PROJECT_PATH + <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(<a class="code" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">EXTAPI_JSON_PATH</a>);</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="keywordflow">if</span> (!stat(jsonFilePath.c_str(), &statbuf))</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  {</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> = <a class="code" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a>(jsonFilePath, statbuf.st_size);</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  }</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span> </div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  jsonFilePath = <a class="code" href="ExtAPI_8cpp.html#a82e0f4095086de7f384a1f55838b5d28">getJsonFile</a>(<span class="stringliteral">"echo $SVF_DIR"</span>);</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="keywordflow">if</span> (!stat(jsonFilePath.c_str(), &statbuf))</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>  {</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> = <a class="code" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a>(jsonFilePath, statbuf.st_size);</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  }</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span> </div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  jsonFilePath = <a class="code" href="ExtAPI_8cpp.html#a82e0f4095086de7f384a1f55838b5d28">getJsonFile</a>(<span class="stringliteral">"npm root"</span>);</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>  <span class="keywordflow">if</span> (!stat(jsonFilePath.c_str(), &statbuf))</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a> = <a class="code" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a>(jsonFilePath, statbuf.st_size);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>  }</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span> </div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"Open ExtAPI.json file fails!"</span>);</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  }</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> }</div><div class="ttc" id="ExtAPI_8cpp_html_a3957468a4d85cef02d8be1f82bcdfc69"><div class="ttname"><a href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">parseJson</a></div><div class="ttdeci">static cJSON * parseJson(const std::string &path, off_t fileSize)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00090">ExtAPI.cpp:90</a></div></div>
|
|
678
678
|
<div class="ttc" id="classSVF_1_1ExtAPI_html_ab793be4b6f8f0a025599e76f5df2a4eb"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">SVF::ExtAPI::ExtAPI</a></div><div class="ttdeci">ExtAPI()=default</div></div>
|
|
679
679
|
<div class="ttc" id="ExtAPI_8h_html_ad9bef4304f41728bb3edf259c6b67668"><div class="ttname"><a href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">EXTAPI_JSON_PATH</a></div><div class="ttdeci">#define EXTAPI_JSON_PATH</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00039">ExtAPI.h:39</a></div></div>
|
|
680
680
|
<div class="ttc" id="ExtAPI_8cpp_html_a82e0f4095086de7f384a1f55838b5d28"><div class="ttname"><a href="ExtAPI_8cpp.html#a82e0f4095086de7f384a1f55838b5d28">getJsonFile</a></div><div class="ttdeci">static std::string getJsonFile(const std::string &path)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00067">ExtAPI.cpp:67</a></div></div>
|
|
681
681
|
<div class="ttc" id="classSVF_1_1ExtAPI_html_a552feab663622681db231d5b48f00d75"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">SVF::ExtAPI::extOp</a></div><div class="ttdeci">static ExtAPI * extOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00193">ExtAPI.h:193</a></div></div>
|
|
682
682
|
<div class="ttc" id="classSVF_1_1ExtAPI_html_a835fda8fb934d1cd040d1b3fb2dd0270"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">SVF::ExtAPI::root</a></div><div class="ttdeci">static cJSON * root</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00196">ExtAPI.h:196</a></div></div>
|
|
683
|
-
<div class="ttc" id="config_8h_html_a799965f801bbe1f540c3100566f78d81"><div class="ttname"><a href="config_8h.html#a799965f801bbe1f540c3100566f78d81">PROJECT_PATH</a></div><div class="ttdeci">#define PROJECT_PATH</div><div class="ttdef"><b>Definition:</b> <a href="config_8h_source.html#l00004">config.h:4</a></div></div>
|
|
684
683
|
<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
685
684
|
</div><!-- fragment -->
|
|
686
685
|
</div>
|
|
@@ -79,8 +79,6 @@ Files</h2></td></tr>
|
|
|
79
79
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
80
80
|
<tr class="memitem:cJSON_8h"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8h.html">cJSON.h</a> <a href="cJSON_8h_source.html">[code]</a></td></tr>
|
|
81
81
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
82
|
-
<tr class="memitem:config_8h"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="config_8h.html">config.h</a> <a href="config_8h_source.html">[code]</a></td></tr>
|
|
83
|
-
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
84
82
|
<tr class="memitem:CoreBitVector_8h"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="CoreBitVector_8h.html">CoreBitVector.h</a> <a href="CoreBitVector_8h_source.html">[code]</a></td></tr>
|
|
85
83
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
84
|
<tr class="memitem:CxtStmt_8h"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="CxtStmt_8h.html">CxtStmt.h</a> <a href="CxtStmt_8h_source.html">[code]</a></td></tr>
|
|
@@ -176,24 +176,23 @@ $(function() {
|
|
|
176
176
|
<tr id="row_0_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="CallGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8h.html" target="_self">CallGraphBuilder.h</a></td><td class="desc"></td></tr>
|
|
177
177
|
<tr id="row_0_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="Casting_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Casting_8h.html" target="_self">Casting.h</a></td><td class="desc"></td></tr>
|
|
178
178
|
<tr id="row_0_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
|
|
179
|
-
<tr id="row_0_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
180
|
-
<tr id="row_0_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
181
|
-
<tr id="row_0_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
182
|
-
<tr id="row_0_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
183
|
-
<tr id="row_0_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
184
|
-
<tr id="row_0_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
185
|
-
<tr id="row_0_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
186
|
-
<tr id="row_0_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
187
|
-
<tr id="row_0_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
188
|
-
<tr id="row_0_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
189
|
-
<tr id="row_0_10_15_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
190
|
-
<tr id="row_0_10_16_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
191
|
-
<tr id="row_0_10_17_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
192
|
-
<tr id="row_0_10_18_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
193
|
-
<tr id="row_0_10_19_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
194
|
-
<tr id="row_0_10_20_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
195
|
-
<tr id="row_0_10_21_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
196
|
-
<tr id="row_0_10_22_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
|
|
179
|
+
<tr id="row_0_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
|
|
180
|
+
<tr id="row_0_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
|
|
181
|
+
<tr id="row_0_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
|
|
182
|
+
<tr id="row_0_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
|
|
183
|
+
<tr id="row_0_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
|
|
184
|
+
<tr id="row_0_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
|
|
185
|
+
<tr id="row_0_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
|
|
186
|
+
<tr id="row_0_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
|
|
187
|
+
<tr id="row_0_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
|
|
188
|
+
<tr id="row_0_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
|
|
189
|
+
<tr id="row_0_10_15_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
|
|
190
|
+
<tr id="row_0_10_16_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
|
|
191
|
+
<tr id="row_0_10_17_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
|
|
192
|
+
<tr id="row_0_10_18_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
|
|
193
|
+
<tr id="row_0_10_19_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
|
|
194
|
+
<tr id="row_0_10_20_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
|
|
195
|
+
<tr id="row_0_10_21_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
|
|
197
196
|
<tr id="row_0_11_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_11_" class="arrow" onclick="toggleFolder('0_11_')">►</span><span id="img_0_11_" class="iconfclosed" onclick="toggleFolder('0_11_')"> </span><a class="el" href="dir_ea25a8a5b2904424d8a51916f8b475b2.html" target="_self">WPA</a></td><td class="desc"></td></tr>
|
|
198
197
|
<tr id="row_0_11_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
|
|
199
198
|
<tr id="row_0_11_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="AndersenPWC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenPWC_8h.html" target="_self">AndersenPWC.h</a></td><td class="desc"></td></tr>
|
|
@@ -307,13 +307,6 @@ $(function() {
|
|
|
307
307
|
</ul>
|
|
308
308
|
|
|
309
309
|
|
|
310
|
-
<h3><a id="index_p"></a>- p -</h3><ul>
|
|
311
|
-
<li>PROJECT_PATH
|
|
312
|
-
: <a class="el" href="config_8h.html#a799965f801bbe1f540c3100566f78d81">config.h</a>
|
|
313
|
-
</li>
|
|
314
|
-
</ul>
|
|
315
|
-
|
|
316
|
-
|
|
317
310
|
<h3><a id="index_s"></a>- s -</h3><ul>
|
|
318
311
|
<li>static_strlen
|
|
319
312
|
: <a class="el" href="cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef">cJSON.cpp</a>
|
|
@@ -114,14 +114,11 @@ $(function() {
|
|
|
114
114
|
: <a class="el" href="cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb">cJSON.cpp</a>
|
|
115
115
|
</li>
|
|
116
116
|
<li>print_value()
|
|
117
|
-
: <a class="el" href="cJSON_8cpp.html#
|
|
117
|
+
: <a class="el" href="cJSON_8cpp.html#a5ba141f183b9abb4b49e38a211299c7e">cJSON.cpp</a>
|
|
118
118
|
</li>
|
|
119
119
|
<li>printPts()
|
|
120
120
|
: <a class="el" href="svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829">svf-ex.cpp</a>
|
|
121
121
|
</li>
|
|
122
|
-
<li>PROJECT_PATH
|
|
123
|
-
: <a class="el" href="config_8h.html#a799965f801bbe1f540c3100566f78d81">config.h</a>
|
|
124
|
-
</li>
|
|
125
122
|
<li>pureVirtualFunName
|
|
126
123
|
: <a class="el" href="CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c">CHGBuilder.cpp</a>
|
|
127
124
|
</li>
|
|
@@ -304,6 +304,5 @@ var menudata={children:[
|
|
|
304
304
|
{text:"j",url:"globals_defs.html#index_j"},
|
|
305
305
|
{text:"k",url:"globals_defs.html#index_k"},
|
|
306
306
|
{text:"n",url:"globals_defs.html#index_n"},
|
|
307
|
-
{text:"p",url:"globals_defs.html#index_p"},
|
|
308
307
|
{text:"s",url:"globals_defs.html#index_s"},
|
|
309
308
|
{text:"t",url:"globals_defs.html#index_t"}]}]}]}]}
|
|
@@ -231,7 +231,6 @@ var searchData=
|
|
|
231
231
|
['progslice',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF::ProgSlice'],['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice::ProgSlice()']]],
|
|
232
232
|
['progslice_2ecpp',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
|
|
233
233
|
['progslice_2eh',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
|
|
234
|
-
['project_5fpath',['PROJECT_PATH',['../config_8h.html#a799965f801bbe1f540c3100566f78d81',1,'config.h']]],
|
|
235
234
|
['propagate',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
|
|
236
235
|
['propagatefromaptofp',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
|
|
237
236
|
['propagatefromfrtoar',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
|
|
@@ -143,7 +143,7 @@ var searchData=
|
|
|
143
143
|
['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]],
|
|
144
144
|
['true',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
|
|
145
145
|
['twopi',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
|
|
146
|
-
['type',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../
|
|
146
|
+
['type',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
|
|
147
147
|
['type2typeinfo',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
|
|
148
148
|
['type2typeinfomap',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
|
|
149
149
|
['type_5fpair',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],
|
|
@@ -356,7 +356,6 @@ var searchData=
|
|
|
356
356
|
['condptssetiterator',['CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html',1,'SVF::CondPointsToSet< Cond >::CondPtsSetIterator'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::CondPtsSetIterator()']]],
|
|
357
357
|
['condstdset',['CondStdSet',['../classSVF_1_1CondStdSet.html',1,'SVF::CondStdSet< Element >'],['../classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b',1,'SVF::CondStdSet::CondStdSet()'],['../classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0',1,'SVF::CondStdSet::CondStdSet(const CondStdSet< Element > &cptsSet)']]],
|
|
358
358
|
['condvar',['CondVar',['../classSVF_1_1CondVar.html',1,'SVF::CondVar< Cond >'],['../classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f',1,'SVF::CondVar::CondVar(const Cond &cond, NodeID id)'],['../classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674',1,'SVF::CondVar::CondVar(const CondVar &conVar)'],['../classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69',1,'SVF::CondVar::CondVar()']]],
|
|
359
|
-
['config_2eh',['config.h',['../config_8h.html',1,'']]],
|
|
360
359
|
['connectainandfin',['connectAInAndFIn',['../classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62',1,'SVF::SVFG::connectAInAndFIn()'],['../classSVF_1_1SVFGOPT.html#aa39900e11f5689f8bd70f3ec45865225',1,'SVF::SVFGOPT::connectAInAndFIn()']]],
|
|
361
360
|
['connectaparamandfparam',['connectAParamAndFParam',['../classSVF_1_1SVFGOPT.html#a5e65ac95b96fb87a11a765c51f366ec1',1,'SVF::SVFGOPT::connectAParamAndFParam()'],['../classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3',1,'SVF::VFG::connectAParamAndFParam()']]],
|
|
362
361
|
['connectcaller2calleeparams',['connectCaller2CalleeParams',['../classSVF_1_1CFLAlias.html#abfab36c0d5edbdfb94e617bed61ba875',1,'SVF::CFLAlias::connectCaller2CalleeParams()'],['../classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf',1,'SVF::Andersen::connectCaller2CalleeParams()']]],
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
3
|
['n',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
|
|
4
|
-
['name',['name',['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../
|
|
4
|
+
['name',['name',['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp'],['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram::Name()']]],
|
|
5
5
|
['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
|
|
6
6
|
['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
|
|
7
7
|
['nan',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
|
|
@@ -1,4 +1,7 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
|
-
['
|
|
3
|
+
['static_5fstrlen',['static_strlen',['../cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef',1,'cJSON.cpp']]],
|
|
4
|
+
['svf_5fglobal_5fctors',['SVF_GLOBAL_CTORS',['../LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af',1,'LLVMModule.cpp']]],
|
|
5
|
+
['svf_5fglobal_5fdtors',['SVF_GLOBAL_DTORS',['../LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320',1,'LLVMModule.cpp']]],
|
|
6
|
+
['svf_5fmain_5ffunc_5fname',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]]
|
|
4
7
|
];
|
|
@@ -1,7 +1,6 @@
|
|
|
1
1
|
var searchData=
|
|
2
2
|
[
|
|
3
|
-
['
|
|
4
|
-
['
|
|
5
|
-
['
|
|
6
|
-
['svf_5fmain_5ffunc_5fname',['SVF_MAIN_FUNC_NAME',['../LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b',1,'LLVMModule.cpp']]]
|
|
3
|
+
['threadapi_5fcpp_5f',['THREADAPI_CPP_',['../ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1',1,'ThreadAPI.cpp']]],
|
|
4
|
+
['timeinterval',['TIMEINTERVAL',['../SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFType.h']]],
|
|
5
|
+
['true',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]]
|
|
7
6
|
];
|
|
@@ -32,7 +32,6 @@ var searchData=
|
|
|
32
32
|
['cjson_2eh',['cJSON.h',['../cJSON_8h.html',1,'']]],
|
|
33
33
|
['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
|
|
34
34
|
['conditionalpt_2eh',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
|
|
35
|
-
['config_2eh',['config.h',['../config_8h.html',1,'']]],
|
|
36
35
|
['consg_2ecpp',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
|
|
37
36
|
['consg_2eh',['ConsG.h',['../ConsG_8h.html',1,'']]],
|
|
38
37
|
['consgedge_2eh',['ConsGEdge.h',['../ConsGEdge_8h.html',1,'']]],
|
package/build.sh
CHANGED
|
@@ -201,6 +201,11 @@ then
|
|
|
201
201
|
echo "Unzipping z3 package..."
|
|
202
202
|
unzip -q "z3.zip" && mv ./z3-* ./$Z3Home
|
|
203
203
|
rm z3.zip
|
|
204
|
+
if [ "$sysOS" = "Darwin" ]
|
|
205
|
+
then
|
|
206
|
+
# Fix missing rpath information in libz3
|
|
207
|
+
install_name_tool -id @rpath/libz3.dylib "$Z3Home/bin/libz3.dylib"
|
|
208
|
+
fi
|
|
204
209
|
fi
|
|
205
210
|
fi
|
|
206
211
|
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.601",
|
|
4
4
|
"description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|