svf-tools 1.0.781 → 1.0.782
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/html/ExtAPI_8cpp.html +50 -50
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +180 -181
- package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +13 -13
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +107 -107
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/functions_func_s.html +1 -1
- package/SVF-doxygen/html/html/functions_s.html +1 -1
- package/SVF-doxygen/html/html/globals_d.html +2 -2
- package/SVF-doxygen/html/html/globals_defs.html +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_4.js +5 -5
- package/SVF-doxygen/html/html/search/defines_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_12.js +1 -1
- package/package.json +1 -1
- package/svf/include/Util/ExtAPI.h +2 -2
- package/svf/lib/Util/ExtAPI.cpp +14 -15
|
@@ -110,32 +110,32 @@ Functions</h2></td></tr>
|
|
|
110
110
|
</table>
|
|
111
111
|
</div><div class="memdoc">
|
|
112
112
|
|
|
113
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
114
|
-
<div class="fragment"><div class="line"><a name="
|
|
115
|
-
<div class="line"><a name="
|
|
116
|
-
<div class="line"><a name="
|
|
117
|
-
<div class="line"><a name="
|
|
118
|
-
<div class="line"><a name="
|
|
119
|
-
<div class="line"><a name="
|
|
120
|
-
<div class="line"><a name="
|
|
121
|
-
<div class="line"><a name="
|
|
122
|
-
<div class="line"><a name="
|
|
123
|
-
<div class="line"><a name="
|
|
124
|
-
<div class="line"><a name="
|
|
125
|
-
<div class="line"><a name="
|
|
126
|
-
<div class="line"><a name="
|
|
127
|
-
<div class="line"><a name="
|
|
128
|
-
<div class="line"><a name="
|
|
129
|
-
<div class="line"><a name="
|
|
130
|
-
<div class="line"><a name="
|
|
131
|
-
<div class="line"><a name="
|
|
132
|
-
<div class="line"><a name="
|
|
133
|
-
<div class="line"><a name="
|
|
134
|
-
<div class="line"><a name="
|
|
135
|
-
<div class="line"><a name="
|
|
136
|
-
<div class="line"><a name="
|
|
137
|
-
<div class="line"><a name="
|
|
138
|
-
<div class="line"><a name="
|
|
113
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00095">95</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
114
|
+
<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span> {</div>
|
|
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
|
+
<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
|
+
<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>  bcFilePath = getenv(<span class="stringliteral">"SVF_DIR"</span>);</div>
|
|
119
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  }</div>
|
|
120
|
+
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (path.compare(<span class="stringliteral">"npm root"</span>) == 0)</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>  bcFilePath = <a class="code" href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">GetStdoutFromCommand</a>(path);</div>
|
|
123
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// SVF installed via npm needs to determine the type of operating</span></div>
|
|
124
|
+
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="comment">// system, otherwise the extapi.bc path may not be found.</span></div>
|
|
125
|
+
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="preprocessor">#ifdef linux</span></div>
|
|
126
|
+
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// Linux os</span></div>
|
|
127
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  bcFilePath.append(<span class="stringliteral">"/svf-lib/SVF-linux"</span>);</div>
|
|
128
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="preprocessor">#else</span></div>
|
|
129
|
+
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="comment">// Mac os</span></div>
|
|
130
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  bcFilePath.append(<span class="stringliteral">"/svf-lib/SVF-osx"</span>);</div>
|
|
131
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="preprocessor">#endif</span></div>
|
|
132
|
+
<div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div>
|
|
133
|
+
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  </div>
|
|
134
|
+
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">if</span> (!bcFilePath.empty() && bcFilePath.back() != <span class="charliteral">'/'</span>)</div>
|
|
135
|
+
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  bcFilePath.push_back(<span class="charliteral">'/'</span>);</div>
|
|
136
|
+
<div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  bcFilePath.append(BUILD_TYPE).append(<a class="code" href="ExtAPI_8h.html#a3be52a096fe407bb55141117f1cf4c75">DEFAULT_EXTAPI_BC_PATH</a>);</div>
|
|
137
|
+
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  <span class="keywordflow">return</span> bcFilePath;</div>
|
|
138
|
+
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span> }</div>
|
|
139
139
|
</div><!-- fragment -->
|
|
140
140
|
</div>
|
|
141
141
|
</div>
|
|
@@ -163,38 +163,38 @@ Functions</h2></td></tr>
|
|
|
163
163
|
</table>
|
|
164
164
|
</div><div class="memdoc">
|
|
165
165
|
|
|
166
|
-
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#
|
|
167
|
-
<div class="fragment"><div class="line"><a name="
|
|
168
|
-
<div class="line"><a name="
|
|
169
|
-
<div class="line"><a name="
|
|
170
|
-
<div class="line"><a name="
|
|
171
|
-
<div class="line"><a name="
|
|
172
|
-
<div class="line"><a name="
|
|
173
|
-
<div class="line"><a name="
|
|
174
|
-
<div class="line"><a name="
|
|
175
|
-
<div class="line"><a name="
|
|
176
|
-
<div class="line"><a name="
|
|
177
|
-
<div class="line"><a name="
|
|
178
|
-
<div class="line"><a name="
|
|
179
|
-
<div class="line"><a name="
|
|
180
|
-
<div class="line"><a name="
|
|
181
|
-
<div class="line"><a name="
|
|
182
|
-
<div class="line"><a name="
|
|
183
|
-
<div class="line"><a name="
|
|
184
|
-
<div class="line"><a name="
|
|
185
|
-
<div class="line"><a name="
|
|
186
|
-
<div class="line"><a name="
|
|
187
|
-
<div class="line"><a name="
|
|
166
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00071">71</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
167
|
+
<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> {</div>
|
|
168
|
+
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordtype">char</span> <a class="code" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a>[128];</div>
|
|
169
|
+
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> result = <span class="stringliteral">""</span>;</div>
|
|
170
|
+
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <span class="comment">// Open pipe to file</span></div>
|
|
171
|
+
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  FILE* pipe = popen(command.c_str(), <span class="stringliteral">"r"</span>);</div>
|
|
172
|
+
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordflow">if</span> (!pipe)</div>
|
|
173
|
+
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  {</div>
|
|
174
|
+
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordflow">return</span> <span class="stringliteral">"popen failed!"</span>;</div>
|
|
175
|
+
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  }</div>
|
|
176
|
+
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="comment">// read till end of process:</span></div>
|
|
177
|
+
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="keywordflow">while</span> (!feof(pipe))</div>
|
|
178
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  {</div>
|
|
179
|
+
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="comment">// use buffer to read and add to result</span></div>
|
|
180
|
+
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">if</span> (<a class="code" href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">fgets</a>(<a class="code" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a>, 128, pipe) != <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>)</div>
|
|
181
|
+
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  result += <a class="code" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a>;</div>
|
|
182
|
+
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  }</div>
|
|
183
|
+
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  pclose(pipe);</div>
|
|
184
|
+
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="comment">// remove "\n"</span></div>
|
|
185
|
+
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  result.erase(remove(result.begin(), result.end(), <span class="charliteral">'\n'</span>), result.end());</div>
|
|
186
|
+
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  <span class="keywordflow">return</span> result;</div>
|
|
187
|
+
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span> }</div>
|
|
188
188
|
</div><!-- fragment -->
|
|
189
189
|
</div>
|
|
190
190
|
</div>
|
|
191
191
|
</div><!-- contents -->
|
|
192
192
|
<div class="ttc" id="aextapi_8c_html_a55c10fd7c7152a709388daa21827771c"><div class="ttname"><a href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">fgets</a></div><div class="ttdeci">char * fgets(char *str, int n, void *stream)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00684">extapi.c:684</a></div></div>
|
|
193
|
-
<div class="ttc" id="aExtAPI_8cpp_html_a424940f91f234b23bcc633f12269f935"><div class="ttname"><a href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">GetStdoutFromCommand</a></div><div class="ttdeci">static std::string GetStdoutFromCommand(const std::string &command)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#
|
|
193
|
+
<div class="ttc" id="aExtAPI_8cpp_html_a424940f91f234b23bcc633f12269f935"><div class="ttname"><a href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">GetStdoutFromCommand</a></div><div class="ttdeci">static std::string GetStdoutFromCommand(const std::string &command)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00071">ExtAPI.cpp:71</a></div></div>
|
|
194
194
|
<div class="ttc" id="acJSON_8h_html_a503753140aa27b00f99a3501280b2746"><div class="ttname"><a href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a></div><div class="ttdeci">char * buffer</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00163">cJSON.h:163</a></div></div>
|
|
195
195
|
<div class="ttc" id="acJSON_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>
|
|
196
|
-
<div class="ttc" id="aExtAPI_8h_html_a8983f9a86a5284dc50950222a06f1a11"><div class="ttname"><a href="ExtAPI_8h.html#a8983f9a86a5284dc50950222a06f1a11">DEFUALT_EXTAPI_BC_PATH</a></div><div class="ttdeci">#define DEFUALT_EXTAPI_BC_PATH</div><div class="ttdoc">For a more detailed explanation of how External APIs are handled in SVF, please refer to the SVF Wiki...</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00041">ExtAPI.h:41</a></div></div>
|
|
197
196
|
<div class="ttc" id="acJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
|
|
197
|
+
<div class="ttc" id="aExtAPI_8h_html_a3be52a096fe407bb55141117f1cf4c75"><div class="ttname"><a href="ExtAPI_8h.html#a3be52a096fe407bb55141117f1cf4c75">DEFAULT_EXTAPI_BC_PATH</a></div><div class="ttdeci">#define DEFAULT_EXTAPI_BC_PATH</div><div class="ttdoc">For a more detailed explanation of how External APIs are handled in SVF, please refer to the SVF Wiki...</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00041">ExtAPI.h:41</a></div></div>
|
|
198
198
|
<!-- start footer part -->
|
|
199
199
|
<hr class="footer"/><address class="footer"><small>
|
|
200
200
|
Generated by  <a href="http://www.doxygen.org/index.html">
|