svf-tools 1.0.486 → 1.0.487
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 +60 -0
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +21 -14
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +14 -14
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +38 -37
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +2 -2
- package/SVF-doxygen/html/html/globals_func_g.html +6 -0
- package/SVF-doxygen/html/html/globals_g.html +8 -2
- package/SVF-doxygen/html/html/globals_s.html +6 -6
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_7.js +2 -0
- package/SVF-doxygen/html/html/search/functions_6.js +2 -0
- package/lib/Util/ExtAPI.cpp +69 -5
- package/package.json +1 -1
|
@@ -62,6 +62,8 @@ $(function() {
|
|
|
62
62
|
</div>
|
|
63
63
|
</div><!-- top -->
|
|
64
64
|
<div class="header">
|
|
65
|
+
<div class="summary">
|
|
66
|
+
<a href="#func-members">Functions</a> </div>
|
|
65
67
|
<div class="headertitle">
|
|
66
68
|
<div class="title">ExtAPI.cpp File Reference</div> </div>
|
|
67
69
|
</div><!--header-->
|
|
@@ -73,6 +75,64 @@ $(function() {
|
|
|
73
75
|
<code>#include <stdlib.h></code><br />
|
|
74
76
|
</div>
|
|
75
77
|
<p><a href="ExtAPI_8cpp_source.html">Go to the source code of this file.</a></p>
|
|
78
|
+
<table class="memberdecls">
|
|
79
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
|
|
80
|
+
Functions</h2></td></tr>
|
|
81
|
+
<tr class="memitem:acf93365b9c9e5e35c979a671ee600409"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8cpp.html#acf93365b9c9e5e35c979a671ee600409">GetStdoutFromCommand</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> command)</td></tr>
|
|
82
|
+
<tr class="separator:acf93365b9c9e5e35c979a671ee600409"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
|
+
<tr class="memitem:a5e6188ceb5d9d599bd8f4ada2bd4e645"><td class="memItemLeft" align="right" valign="top">FILE * </td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8cpp.html#a5e6188ceb5d9d599bd8f4ada2bd4e645">getJsonFile</a> (<a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> path)</td></tr>
|
|
84
|
+
<tr class="separator:a5e6188ceb5d9d599bd8f4ada2bd4e645"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
|
+
</table>
|
|
86
|
+
<h2 class="groupheader">Function Documentation</h2>
|
|
87
|
+
<a id="a5e6188ceb5d9d599bd8f4ada2bd4e645"></a>
|
|
88
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5e6188ceb5d9d599bd8f4ada2bd4e645">◆ </a></span>getJsonFile()</h2>
|
|
89
|
+
|
|
90
|
+
<div class="memitem">
|
|
91
|
+
<div class="memproto">
|
|
92
|
+
<table class="memname">
|
|
93
|
+
<tr>
|
|
94
|
+
<td class="memname">FILE* getJsonFile </td>
|
|
95
|
+
<td>(</td>
|
|
96
|
+
<td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td>
|
|
97
|
+
<td class="paramname"><em>path</em></td><td>)</td>
|
|
98
|
+
<td></td>
|
|
99
|
+
</tr>
|
|
100
|
+
</table>
|
|
101
|
+
</div><div class="memdoc">
|
|
102
|
+
|
|
103
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00100">100</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
104
|
+
<div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span> {</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> jsonFilePath = <a class="code" href="ExtAPI_8cpp.html#acf93365b9c9e5e35c979a671ee600409">GetStdoutFromCommand</a>(path);</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">if</span> (path.compare(<span class="stringliteral">"npm root"</span>) == 0)</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  {</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> json_path = <span class="stringliteral">""</span>;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="keywordtype">int</span> os_flag = 1;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="preprocessor">#ifdef linux</span></div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  os_flag = 0;</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  json_path = <span class="stringliteral">"/svf-lib/SVF-linux"</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="preprocessor">#endif</span></div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">if</span> (os_flag == 1)</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  {</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  json_path = <span class="stringliteral">"/svf-lib/SVF-osx"</span>;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>  }</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  jsonFilePath.append(json_path);</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  }</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  jsonFilePath.append(<a class="code" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">EXTAPI_JSON_PATH</a>);</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>  FILE *file = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  file = fopen(jsonFilePath.c_str(), <span class="stringliteral">"r"</span>);</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keywordflow">if</span> (file != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> file;</div><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">else</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>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</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> }</div><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#l00042">ExtAPI.h:42</a></div></div>
|
|
105
|
+
<div class="ttc" id="ExtAPI_8cpp_html_acf93365b9c9e5e35c979a671ee600409"><div class="ttname"><a href="ExtAPI_8cpp.html#acf93365b9c9e5e35c979a671ee600409">GetStdoutFromCommand</a></div><div class="ttdeci">std::string GetStdoutFromCommand(std::string command)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00072">ExtAPI.cpp:72</a></div></div>
|
|
106
|
+
<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>
|
|
107
|
+
</div><!-- fragment -->
|
|
108
|
+
</div>
|
|
109
|
+
</div>
|
|
110
|
+
<a id="acf93365b9c9e5e35c979a671ee600409"></a>
|
|
111
|
+
<h2 class="memtitle"><span class="permalink"><a href="#acf93365b9c9e5e35c979a671ee600409">◆ </a></span>GetStdoutFromCommand()</h2>
|
|
112
|
+
|
|
113
|
+
<div class="memitem">
|
|
114
|
+
<div class="memproto">
|
|
115
|
+
<table class="memname">
|
|
116
|
+
<tr>
|
|
117
|
+
<td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> GetStdoutFromCommand </td>
|
|
118
|
+
<td>(</td>
|
|
119
|
+
<td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> </td>
|
|
120
|
+
<td class="paramname"><em>command</em></td><td>)</td>
|
|
121
|
+
<td></td>
|
|
122
|
+
</tr>
|
|
123
|
+
</table>
|
|
124
|
+
</div><div class="memdoc">
|
|
125
|
+
|
|
126
|
+
<p class="definition">Definition at line <a class="el" href="ExtAPI_8cpp_source.html#l00072">72</a> of file <a class="el" href="ExtAPI_8cpp_source.html">ExtAPI.cpp</a>.</p>
|
|
127
|
+
<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno"> 73</span> {</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordtype">char</span> <a class="code" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">buffer</a>[128];</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = <span class="stringliteral">""</span>;</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="comment">// Open pipe to file</span></div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  FILE *pipe = <a class="code" href="util_8h.html#a7a377e01cff8d8243569ddc8bfef959b">popen</a>(command.c_str(), <span class="stringliteral">"r"</span>);</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="keywordflow">if</span> (!pipe)</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="keywordflow">return</span> <span class="stringliteral">"popen failed!"</span>;</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  }</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span> </div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="comment">// read till end of process:</span></div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  <span class="keywordflow">while</span> (!feof(pipe))</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span> </div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="comment">// use buffer to read and add to result</span></div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  <span class="keywordflow">if</span> (fgets(buffer, 128, pipe) != <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>)</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  result += buffer;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  }</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <a class="code" href="util_8h.html#a01a6dd34fa639fc5ad5a05b22407a658">pclose</a>(pipe);</div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  <span class="comment">// remove "\n"</span></div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  result.erase(<span class="keyword">remove</span>(result.begin(), result.end(), <span class="charliteral">'\n'</span>), result.end());</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span> }</div><div class="ttc" id="util_8h_html_a7a377e01cff8d8243569ddc8bfef959b"><div class="ttname"><a href="util_8h.html#a7a377e01cff8d8243569ddc8bfef959b">popen</a></div><div class="ttdeci">FILE * popen()</div></div>
|
|
128
|
+
<div class="ttc" id="cJSON_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>
|
|
129
|
+
<div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
|
|
130
|
+
<div class="ttc" id="cJSON_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>
|
|
131
|
+
<div class="ttc" id="util_8h_html_a01a6dd34fa639fc5ad5a05b22407a658"><div class="ttname"><a href="util_8h.html#a01a6dd34fa639fc5ad5a05b22407a658">pclose</a></div><div class="ttdeci">int pclose()</div></div>
|
|
132
|
+
<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>
|
|
133
|
+
</div><!-- fragment -->
|
|
134
|
+
</div>
|
|
135
|
+
</div>
|
|
76
136
|
</div><!-- contents -->
|
|
77
137
|
<!-- start footer part -->
|
|
78
138
|
<hr class="footer"/><address class="footer"><small>
|