npm - svf-tools - Versions diffs - 1.0.757 → 1.0.759 - Mend

svf-tools 1.0.757 → 1.0.759

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.

Files changed (844) hide show

package/SVF-doxygen/html/html/ExtAPI_8h_source.html CHANGED Viewed

@@ -102,670 +102,85 @@ $(function() {
 <div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define __ExtAPI_H</span></div>
 <div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160; </div>
 <div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFValue_8h.html">SVFIR/SVFValue.h</a>&quot;</span></div>
-<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="cJSON_8h.html">Util/cJSON.h</a>&gt;</span></div>
-<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &lt;Util/config.h&gt;</span></div>
-<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div>
+<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;Util/config.h&gt;</span></div>
+<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div>
+<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#include &lt;vector&gt;</span></div>
 <div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div>
 <div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160; </div>
-<div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">   39</a></span>&#160;<span class="preprocessor">#define EXTAPI_JSON_PATH &quot;svf/include/Util/ExtAPI.json&quot;</span></div>
-<div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874">   40</a></span>&#160;<span class="preprocessor">#define JSON_OPT_OVERWRITE &quot;overwrite_app_function&quot;</span></div>
-<div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e">   41</a></span>&#160;<span class="preprocessor">#define JSON_OPT_FUNCTIONTYPE &quot;type&quot;</span></div>
-<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160; </div>
-<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
-<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;{</div>
-<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160; </div>
-<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="comment">/*</span></div>
-<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;<span class="comment">** Specifications in ExtAPI.json</span></div>
-<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment">****  Overview of the Specification Language</span></div>
-<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">The specification language of external functions is based on the JSON format. And every function defined by the Specification Language is an object that represents the specification rules. These Specification Language objects for functions contain four parts:</span></div>
-<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="comment">1. the signature of the function, (Mandatory)</span></div>
-<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="comment">2. the type of the function, (Mandatory)</span></div>
-<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="comment">3. the switch that controls whether the specification rules defined in the ExtAPI.json overwrite the functions defined in the user code, (Mandatory)</span></div>
-<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="comment">4. the side-effect of the function. (Optional)</span></div>
-<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="comment">*** [1] the signature of the function (Mandatory)</span></div>
-<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="comment">&quot;return&quot;: return value type (Only care about whether the return value is a pointer during analysis)</span></div>
-<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="comment">&quot;argument&quot;: argument types (Only care about the number of arguments during analysis)</span></div>
-<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;<span class="comment">*** [2] the type of the function (Mandatory)</span></div>
-<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;<span class="comment">Function type represents the properties of the function.</span></div>
-<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="comment">For example,</span></div>
-<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="comment">&quot;EFT_ALLOC&quot; represents if this external function allocates a new object and assigns it to one of its arguments,</span></div>
-<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;<span class="comment">For the selection of function type and a more detailed explanation, please refer to the definition of enum *extType* in ExtAPI.h.</span></div>
-<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="comment">*** [3] the switch that controls whether the specification rules defined in the ExtAPI.json overwrite the functions defined in the user code (Mandatory)</span></div>
-<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;<span class="comment">The switch *overwrite_app_function* controls whether the specification rules defined in the ExtAPI.json overwrite the functions defined in the user code (e.g., CPP files). When the switch *overwrite_app_function* is set to a value of 1, SVF will use the specification rules in ExtAPI.json to conduct the analysis and ignore the user-defined functions in the input CPP/bc files.</span></div>
-<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;<span class="comment">overwrite_app_function = 0: Analyze the user-defined functions.</span></div>
-<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;<span class="comment">overwrite_app_function = 1: Use specifications in ExtAPI.json to overwrite the user-defined functions.</span></div>
-<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;<span class="comment">For example, The following is the code to be analyzed, which has a foo() function,</span></div>
-<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="comment">--------------------------------------------------------</span></div>
-<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="comment">char* foo(char* arg)</span></div>
-<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="comment">{</span></div>
-<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;<span class="comment">    return arg;</span></div>
-<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;<span class="comment">}</span></div>
-<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;<span class="comment">int main()</span></div>
-<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;<span class="comment">{</span></div>
-<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="comment">    char* ret = foo(&quot;abc&quot;);</span></div>
-<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;<span class="comment">    return 0;</span></div>
-<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;<span class="comment">}</span></div>
-<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;<span class="comment">--------------------------------------------------------</span></div>
-<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;<span class="comment">function foo() has a definition, but you want SVF not to use this definition when analyzing, and you think foo () should do nothing, Then you can add a new entry in ExtAPI.json, and set *&quot;overwrite_app_function&quot;: 1*</span></div>
-<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="comment"> &quot;foo&quot;: {</span></div>
-<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;<span class="comment">        &quot;return&quot;:  &quot;char*&quot;,</span></div>
-<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;<span class="comment">        &quot;arguments&quot;:  &quot;(char*)&quot;,</span></div>
-<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;<span class="comment">        &quot;type&quot;: &quot;EFT_NOOP&quot;,</span></div>
-<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;<span class="comment">        &quot;overwrite_app_function&quot;: 1</span></div>
-<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="comment"> }</span></div>
-<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;<span class="comment">When SVF is analyzing foo(), SVF will use the entry you defined in ExtAPI.json, and ignore the actual definition of foo() in the program.</span></div>
-<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;<span class="comment">Most of the time, overwrite_app_function is 0, unless you want to redefine a function.</span></div>
-<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="comment">*** [4] the side-effect of the function (Optional, if there is no side-effect of that function)</span></div>
-<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="comment">Function side-effect indicate the relationships between input and output,</span></div>
-<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="comment">mainly between function parameters or between parameters and return values after the execution.</span></div>
-<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;<span class="comment">For example,</span></div>
-<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;<span class="comment">&quot;CopyStmt&quot;: [&quot;Arg2&quot;, &quot;Ret&quot;] indicates that after this external function is executed, the value of the 2nd parameter is copied into the return value.</span></div>
-<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="comment">For operators of function operation, there are the following options:</span></div>
-<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;<span class="comment">&quot;AddrStmt&quot;,</span></div>
-<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;<span class="comment">&quot;CopyStmt&quot;,</span></div>
-<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="comment">&quot;LoadStmt&quot;</span></div>
-<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;<span class="comment">&quot;StoreStmt&quot;,</span></div>
-<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="comment">&quot;GepStmt&quot;,</span></div>
-<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;<span class="comment">&quot;BinaryOPStmt&quot;,</span></div>
-<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;<span class="comment">&quot;UnaryOPStmt&quot;,</span></div>
-<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;<span class="comment">&quot;CmpStmt&quot;,</span></div>
-<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;<span class="comment">&quot;memset_like&quot;: the function has similar side-effect to function &quot;void *memset(void *str, int c, size_t n)&quot;,</span></div>
-<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;<span class="comment">&quot;memcpy_like&quot;: the function has similar side-effect to function &quot;void *memcpy(void *dest, const void * src, size_t n)&quot;,</span></div>
-<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="comment">&quot;funptr_ops&quot;: the function has similar side-effect to function &quot;void *dlsym(void *handle, const char *symbol)&quot;,</span></div>
-<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="comment">&quot;Rb_tree_ops: the function has similar side-effect to function &quot;_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_&quot;.</span></div>
-<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="comment">For operands of function operation,, there are the following options:</span></div>
-<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;<span class="comment">&quot;Arg&quot;: represents a parameter,</span></div>
-<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;<span class="comment">&quot;Obj&quot;: represents a object,</span></div>
-<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="comment">&quot;Ret&quot;: represents a return value,</span></div>
-<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;<span class="comment">&quot;Dummy&quot;: represents a dummy node.</span></div>
-<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;<span class="comment"></span> </div>
-<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="comment">*/</span></div>
-<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160; </div>
-<div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html">  127</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a></div>
-<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{</div>
-<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160; </div>
-<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="comment">// External Function types</span></div>
-<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    <span class="comment">// Assume a call in the form LHS= F(arg0, arg1, arg2, arg3).</span></div>
-<div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">  133</a></span>&#160;    <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a></div>
-<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    {</div>
-<div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">  135</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a> = 0,        <span class="comment">// no effect on pointers</span></div>
-<div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">  136</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">EFT_ALLOC</a>,           <span class="comment">// returns a ptr to a newly allocated object</span></div>
-<div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">  137</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">EFT_REALLOC</a>,         <span class="comment">// like L_A0 if arg0 is a non-null ptr, else ALLOC</span></div>
-<div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">  138</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">EFT_FREE</a>,            <span class="comment">// free memory arg0 and all pointers passing into free function</span></div>
-<div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">  139</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">EFT_FREE_MULTILEVEL</a>, <span class="comment">// any argument with 2-level pointer passing too a free wrapper function e.g., XFree(void**) which frees memory for void* and void**</span></div>
-<div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">  140</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">EFT_NOSTRUCT_ALLOC</a>,  <span class="comment">// like ALLOC but only allocates non-struct data</span></div>
-<div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">  141</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">EFT_STAT</a>,            <span class="comment">// retval points to an unknown static var X</span></div>
-<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">  142</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">EFT_STAT2</a>,           <span class="comment">// ret -&gt; X -&gt; Y (X, Y - external static vars)</span></div>
-<div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">  143</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">EFT_L_A0</a>,            <span class="comment">// copies arg0, arg1, or arg2 into LHS</span></div>
-<div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">  144</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">EFT_L_A1</a>,</div>
-<div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">  145</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">EFT_L_A2</a>,</div>
-<div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">  146</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">EFT_L_A8</a>,</div>
-<div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">  147</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">EFT_L_A0__A0R_A1</a>,  <span class="comment">// stores arg1 into *arg0 and returns arg0 (currently only for memset)</span></div>
-<div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">  148</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">EFT_L_A0__A0R_A1R</a>, <span class="comment">// copies the data that arg1 points to into the location</span></div>
-<div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">  149</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">EFT_L_A1__FunPtr</a>,  <span class="comment">// obtain the address of a symbol based on the arg1 (char*) and parse a function to LHS (e.g., void *dlsym(void *handle, char *funname);)</span></div>
-<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="comment">//  arg0 points to; note that several fields may be</span></div>
-<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="comment">//  copied at once if both point to structs.</span></div>
-<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        <span class="comment">//  Returns arg0.</span></div>
-<div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">  153</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">EFT_A1R_A0R</a>,      <span class="comment">// copies *arg0 into *arg1, with non-ptr return</span></div>
-<div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">  154</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">EFT_A3R_A1R_NS</a>,   <span class="comment">// copies *arg1 into *arg3 (non-struct copy only)</span></div>
-<div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">  155</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">EFT_A1R_A0</a>,       <span class="comment">// stores arg0 into *arg1</span></div>
-<div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">  156</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">EFT_A2R_A1</a>,       <span class="comment">// stores arg1 into *arg2</span></div>
-<div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">  157</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">EFT_A4R_A1</a>,       <span class="comment">// stores arg1 into *arg4</span></div>
-<div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">  158</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">EFT_L_A0__A2R_A0</a>, <span class="comment">// stores arg0 into *arg2 and returns it</span></div>
-<div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">  159</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">EFT_L_A0__A1_A0</a>,  <span class="comment">// store arg1 into arg0&#39;s base and returns arg0</span></div>
-<div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">  160</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">EFT_A0R_NEW</a>,      <span class="comment">// stores a pointer to an allocated object in *arg0</span></div>
-<div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">  161</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">EFT_A1R_NEW</a>,      <span class="comment">// as above, into *arg1, etc.</span></div>
-<div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">  162</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">EFT_A2R_NEW</a>,</div>
-<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">  163</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">EFT_A4R_NEW</a>,</div>
-<div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">  164</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">EFT_A11R_NEW</a>,</div>
-<div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">  165</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">EFT_STD_RB_TREE_INSERT_AND_REBALANCE</a>, <span class="comment">// Some complex effects</span></div>
-<div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">  166</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">EFT_STD_RB_TREE_INCREMENT</a>,            <span class="comment">// Some complex effects</span></div>
-<div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">  167</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">EFT_STD_LIST_HOOK</a>,                    <span class="comment">// Some complex effects</span></div>
-<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160; </div>
-<div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af">  169</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af">CPP_EFT_A0R_A1</a>,       <span class="comment">// stores arg1 into *arg0</span></div>
-<div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">  170</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">CPP_EFT_A0R_A1R</a>,      <span class="comment">// copies *arg1 into *arg0</span></div>
-<div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">  171</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">CPP_EFT_A1R</a>,          <span class="comment">// load arg1</span></div>
-<div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">  172</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">EFT_CXA_BEGIN_CATCH</a>,  <span class="comment">//__cxa_begin_catch</span></div>
-<div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">  173</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">CPP_EFT_DYNAMIC_CAST</a>, <span class="comment">// dynamic_cast</span></div>
-<div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">  174</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">EFT_NULL</a>              <span class="comment">// not found in the list</span></div>
-<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    };</div>
-<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160; </div>
-<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="keyword">private</span>:</div>
-<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160; </div>
-<div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">  179</a></span>&#160;    std::map&lt;std::string, extType&gt; <a class="code" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">type_pair</a> =</div>
-<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    {</div>
-<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        {<span class="stringliteral">&quot;EFT_NOOP&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">EFT_NOOP</a>},</div>
-<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        {<span class="stringliteral">&quot;EFT_ALLOC&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">EFT_ALLOC</a>},</div>
-<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        {<span class="stringliteral">&quot;EFT_REALLOC&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">EFT_REALLOC</a>},</div>
-<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;        {<span class="stringliteral">&quot;EFT_FREE&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">EFT_FREE</a>},</div>
-<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        {<span class="stringliteral">&quot;EFT_FREE_MULTILEVEL&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">EFT_FREE_MULTILEVEL</a>},</div>
-<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        {<span class="stringliteral">&quot;EFT_NOSTRUCT_ALLOC&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">EFT_NOSTRUCT_ALLOC</a>},</div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        {<span class="stringliteral">&quot;EFT_STAT&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">EFT_STAT</a>},</div>
-<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        {<span class="stringliteral">&quot;EFT_STAT2&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">EFT_STAT2</a>},</div>
-<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A0&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">EFT_L_A0</a>},</div>
-<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A1&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">EFT_L_A1</a>},</div>
-<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A2&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">EFT_L_A2</a>},</div>
-<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A8&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">EFT_L_A8</a>},</div>
-<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A0__A0R_A1&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">EFT_L_A0__A0R_A1</a>},</div>
-<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A0__A0R_A1R&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">EFT_L_A0__A0R_A1R</a>},</div>
-<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A1__FunPtr&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">EFT_L_A1__FunPtr</a>},</div>
-<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        {<span class="stringliteral">&quot;EFT_A1R_A0R&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">EFT_A1R_A0R</a>},</div>
-<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        {<span class="stringliteral">&quot;EFT_A3R_A1R_NS&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">EFT_A3R_A1R_NS</a>},</div>
-<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        {<span class="stringliteral">&quot;EFT_A1R_A0&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">EFT_A1R_A0</a>},</div>
-<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        {<span class="stringliteral">&quot;EFT_A2R_A1&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">EFT_A2R_A1</a>},</div>
-<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;        {<span class="stringliteral">&quot;EFT_A4R_A1&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">EFT_A4R_A1</a>},</div>
-<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A0__A2R_A0&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">EFT_L_A0__A2R_A0</a>},</div>
-<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        {<span class="stringliteral">&quot;EFT_L_A0__A1_A0&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">EFT_L_A0__A1_A0</a>},</div>
-<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        {<span class="stringliteral">&quot;EFT_A0R_NEW&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">EFT_A0R_NEW</a>},</div>
-<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        {<span class="stringliteral">&quot;EFT_A1R_NEW&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">EFT_A1R_NEW</a>},</div>
-<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        {<span class="stringliteral">&quot;EFT_A2R_NEW&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">EFT_A2R_NEW</a>},</div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;        {<span class="stringliteral">&quot;EFT_A4R_NEW&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">EFT_A4R_NEW</a>},</div>
-<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        {<span class="stringliteral">&quot;EFT_A11R_NEW&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">EFT_A11R_NEW</a>},</div>
-<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        {<span class="stringliteral">&quot;EFT_STD_RB_TREE_INSERT_AND_REBALANCE&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">EFT_STD_RB_TREE_INSERT_AND_REBALANCE</a>},</div>
-<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        {<span class="stringliteral">&quot;EFT_STD_RB_TREE_INCREMENT&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">EFT_STD_RB_TREE_INCREMENT</a>},</div>
-<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        {<span class="stringliteral">&quot;EFT_STD_LIST_HOOK&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">EFT_STD_LIST_HOOK</a>},</div>
-<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        {<span class="stringliteral">&quot;CPP_EFT_A0R_A1R&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">CPP_EFT_A0R_A1R</a>},</div>
-<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        {<span class="stringliteral">&quot;CPP_EFT_A1R&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">CPP_EFT_A1R</a>},</div>
-<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        {<span class="stringliteral">&quot;EFT_CXA_BEGIN_CATCH&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">EFT_CXA_BEGIN_CATCH</a>},</div>
-<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        {<span class="stringliteral">&quot;CPP_EFT_DYNAMIC_CAST&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">CPP_EFT_DYNAMIC_CAST</a>},</div>
-<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        {<span class="stringliteral">&quot;&quot;</span>, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">EFT_NULL</a>}</div>
-<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    };</div>
-<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160; </div>
-<div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">  218</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div>
-<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160; </div>
-<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    <span class="comment">// Store specifications of external functions in ExtAPI.json file</span></div>
-<div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">  221</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="structcJSON.html">cJSON</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a>;</div>
-<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160; </div>
-<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>() = <span class="keywordflow">default</span>;</div>
-<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160; </div>
-<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160; </div>
-<div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">  227</a></span>&#160;    <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">OperationType</a></div>
-<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    {</div>
-<div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">  229</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">Addr</a>,</div>
-<div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c">  230</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c">Copy</a>,</div>
-<div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa80b7a3e8a139a8103058d46c202ad33a">  231</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa80b7a3e8a139a8103058d46c202ad33a">Load</a>,</div>
-<div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e">  232</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e">Store</a>,</div>
-<div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa528f93a449ef05e1d6ba18ed6a17e20">  233</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa528f93a449ef05e1d6ba18ed6a17e20">Gep</a>,</div>
-<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">  234</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">Call</a>,</div>
-<div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742">  235</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742">Return</a>,</div>
-<div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e">  236</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e">Rb_tree_ops</a>,</div>
-<div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa61473326a2a8621017c18b623033de02">  237</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa61473326a2a8621017c18b623033de02">Memcpy_like</a>,</div>
-<div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa42c4f01de6680140a7a5fb4aa7ace9ed">  238</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa42c4f01de6680140a7a5fb4aa7ace9ed">Memset_like</a>,</div>
-<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa9d11849e025411eb0566cadcf40c7a0">  239</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa9d11849e025411eb0566cadcf40c7a0">Other</a></div>
-<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    };</div>
-<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160; </div>
-<div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html">  242</a></span>&#160;    <span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html">Operand</a></div>
-<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    {</div>
-<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    <span class="keyword">public</span>:</div>
-<div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ae266107bc7a98aee85b30e25bb8f0fc0">  245</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">OperationType</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ae266107bc7a98aee85b30e25bb8f0fc0">getType</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">opType</a>;</div>
-<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        }</div>
-<div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#afb4a1cdc9aa9836ed3bd2384cf119d05">  249</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#afb4a1cdc9aa9836ed3bd2384cf119d05">setType</a>(<a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">OperationType</a> <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)</div>
-<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        {</div>
-<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">opType</a> = <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>;</div>
-<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        }</div>
-<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#acf56f7ccd727d97f3de1de30f86cc6fb">  253</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#acf56f7ccd727d97f3de1de30f86cc6fb">getSrcValue</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">src</a>;</div>
-<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        }</div>
-<div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a5a81ebcd4b8633fce7fed83e7c92cc5d">  257</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a5a81ebcd4b8633fce7fed83e7c92cc5d">setSrcValue</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;value)</div>
-<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        {</div>
-<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">src</a> = value;</div>
-<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        }</div>
-<div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#acb1ed4536708a8d254b045529ba8205e">  261</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#acb1ed4536708a8d254b045529ba8205e">getDstValue</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">dst</a>;</div>
-<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        }</div>
-<div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a798ee2bb519bb26c71afbb3bfa524df5">  265</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a798ee2bb519bb26c71afbb3bfa524df5">setDstValue</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;value)</div>
-<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        {</div>
-<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">dst</a> = value;</div>
-<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        }</div>
-<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a672e8dd7a153def307b566ad65724230">  269</a></span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a672e8dd7a153def307b566ad65724230">getSrcID</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">srcID</a>;</div>
-<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        }</div>
-<div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ab0e1b9953acf05220df3337df55fbe95">  273</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ab0e1b9953acf05220df3337df55fbe95">setSrcID</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>)</div>
-<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        {</div>
-<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">srcID</a> = id;</div>
-<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div>
-<div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a400b778765605f10be2b01b21ef3d129">  277</a></span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a400b778765605f10be2b01b21ef3d129">getDstID</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">dstID</a>;</div>
-<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        }</div>
-<div class="line"><a name="l00281"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ac55f2f1e2618664fa1997f998a6c52d5">  281</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac55f2f1e2618664fa1997f998a6c52d5">setDstID</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>)</div>
-<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        {</div>
-<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">dstID</a> = id;</div>
-<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        }</div>
-<div class="line"><a name="l00285"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#af3fe2b022c36d228e9bc7050ea39118e">  285</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#af3fe2b022c36d228e9bc7050ea39118e">getOffsetOrSizeStr</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">offsetOrSizeStr</a>;</div>
-<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        }</div>
-<div class="line"><a name="l00289"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ac1ba5035a89a7d4070d928b3c29826de">  289</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac1ba5035a89a7d4070d928b3c29826de">setOffsetOrSizeStr</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;str)</div>
-<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        {</div>
-<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">offsetOrSizeStr</a> = str;</div>
-<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        }</div>
-<div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a88ced5673e794a9dbc486cc5b15d1932">  293</a></span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a88ced5673e794a9dbc486cc5b15d1932">getOffsetOrSize</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">offsetOrSize</a>;</div>
-<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        }</div>
-<div class="line"><a name="l00297"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ae768fbf44ca01515e3ef553c41d10c22">  297</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ae768fbf44ca01515e3ef553c41d10c22">setOffsetOrSize</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> off)</div>
-<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        {</div>
-<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">offsetOrSize</a> = off;</div>
-<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        }</div>
-<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    <span class="keyword">private</span>:</div>
-<div class="line"><a name="l00302"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">  302</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">OperationType</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">opType</a>; <span class="comment">// 操作数类型</span></div>
-<div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">  303</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">src</a>; <span class="comment">// 操作数值</span></div>
-<div class="line"><a name="l00304"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">  304</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">dst</a>; <span class="comment">//</span></div>
-<div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">  305</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">offsetOrSizeStr</a>; <span class="comment">// Gep</span></div>
-<div class="line"><a name="l00306"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">  306</a></span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">srcID</a>;</div>
-<div class="line"><a name="l00307"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">  307</a></span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">dstID</a>;</div>
-<div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">  308</a></span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">offsetOrSize</a>;</div>
-<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    };</div>
-<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160; </div>
-<div class="line"><a name="l00311"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html">  311</a></span>&#160;    <span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html">ExtOperation</a></div>
-<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    {</div>
-<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;    <span class="keyword">public</span>:</div>
-<div class="line"><a name="l00314"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf">  314</a></span>&#160;        <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf">isCallOp</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">callOp</a>;</div>
-<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        }</div>
-<div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7f91d7cc64fc7a201abd8f2a50bd8515">  318</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7f91d7cc64fc7a201abd8f2a50bd8515">setCallOp</a>(<span class="keywordtype">bool</span> isCall)</div>
-<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        {</div>
-<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">callOp</a> = isCall;</div>
-<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;        }</div>
-<div class="line"><a name="l00322"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e">  322</a></span>&#160;        <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e">isConOp</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">conOp</a>;</div>
-<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;        }</div>
-<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a0f01a1637d9aa0c75ef25df0566ecf7f">  326</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a0f01a1637d9aa0c75ef25df0566ecf7f">setConOp</a>(<span class="keywordtype">bool</span> isCon)</div>
-<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        {</div>
-<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">conOp</a> = isCon;</div>
-<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        }</div>
-<div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aa30cad33a0459e1eb06a0d0bc6dd0874">  330</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html">Operand</a>&amp; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aa30cad33a0459e1eb06a0d0bc6dd0874">getBasicOp</a>()</div>
-<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        {</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">basicOp</a>;</div>
-<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        }</div>
-<div class="line"><a name="l00334"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ad855d88d7bb5ad8cc830bc16c68c8e0c">  334</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ad855d88d7bb5ad8cc830bc16c68c8e0c">setBasicOp</a>(<a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html">Operand</a> op)</div>
-<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        {</div>
-<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">basicOp</a> = op;</div>
-<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        }</div>
-<div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a3899beb4ec601b3b1d2c488ef35b5a8a">  338</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a3899beb4ec601b3b1d2c488ef35b5a8a">getCondition</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">condition</a>;</div>
-<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;        }</div>
-<div class="line"><a name="l00342"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a9c704685bd6e4e6c14ebbec6a9154200">  342</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a9c704685bd6e4e6c14ebbec6a9154200">setCondition</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;cond)</div>
-<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;        {</div>
-<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">condition</a> = cond;</div>
-<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        }</div>
-<div class="line"><a name="l00346"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ab705c6e7a1969a8276a96b7159bc294d">  346</a></span>&#160;        std::vector&lt;Operand&gt;&amp; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ab705c6e7a1969a8276a96b7159bc294d">getTrueBranchOperands</a>()</div>
-<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;        {</div>
-<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">trueBranch_operands</a>;</div>
-<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        }</div>
-<div class="line"><a name="l00350"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a61db2bb411165cd5e5dd9cb73392db51">  350</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a61db2bb411165cd5e5dd9cb73392db51">setTrueBranchOperands</a>(std::vector&lt;Operand&gt; tbo)</div>
-<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        {</div>
-<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">trueBranch_operands</a> = tbo;</div>
-<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        }</div>
-<div class="line"><a name="l00354"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a7729a39bec854fb5b5347397d9f04b">  354</a></span>&#160;        std::vector&lt;Operand&gt;&amp; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a7729a39bec854fb5b5347397d9f04b">getFalseBranchOperands</a>()</div>
-<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        {</div>
-<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">falseBranch_operands</a>;</div>
-<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        }</div>
-<div class="line"><a name="l00358"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af629e2baaa18f5663fe4c17565629ed6">  358</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af629e2baaa18f5663fe4c17565629ed6">setFalseBranchOperands</a>(std::vector&lt;Operand&gt; fbo)</div>
-<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        {</div>
-<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">falseBranch_operands</a> = fbo;</div>
-<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        }</div>
-<div class="line"><a name="l00362"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a821c6f857dec6dc7ed85b918b86d304b">  362</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a821c6f857dec6dc7ed85b918b86d304b">getCalleeName</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">callee_name</a>;</div>
-<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        }</div>
-<div class="line"><a name="l00366"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ae02f2ece898788fba63be881f6933737">  366</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ae02f2ece898788fba63be881f6933737">setCalleeName</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>)</div>
-<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        {</div>
-<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">callee_name</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>;</div>
-<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        }</div>
-<div class="line"><a name="l00370"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a4475c0c82773f5437d6b870c42719fe8">  370</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a4475c0c82773f5437d6b870c42719fe8">getCalleeReturn</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">callee_return</a>;</div>
-<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        }</div>
-<div class="line"><a name="l00374"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a30442030f29343602c7beb9ff7b86b">  374</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a30442030f29343602c7beb9ff7b86b">setCalleeReturn</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;ret)</div>
-<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        {</div>
-<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">callee_return</a> = ret;</div>
-<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;        }</div>
-<div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a09e9f394960dd2907efdff66e6d7c274">  378</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a09e9f394960dd2907efdff66e6d7c274">getCalleeArguments</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">callee_arguments</a>;</div>
-<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        }</div>
-<div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a226fdc0e1a042362ddb4932985380bb9">  382</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a226fdc0e1a042362ddb4932985380bb9">setCalleeArguments</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;args)</div>
-<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        {</div>
-<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">callee_arguments</a> = args;</div>
-<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        }</div>
-<div class="line"><a name="l00386"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#afbb3c0d51624c3cfce2ef0e70dff5dcd">  386</a></span>&#160;        std::vector&lt;Operand&gt;&amp; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#afbb3c0d51624c3cfce2ef0e70dff5dcd">getCalleeOperands</a>()</div>
-<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        {</div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">callee_operands</a>;</div>
-<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        }</div>
-<div class="line"><a name="l00390"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#acd6c8f25a60553838da38cd95c511df4">  390</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#acd6c8f25a60553838da38cd95c511df4">setCalleeOperands</a>(std::vector&lt;Operand&gt; ops)</div>
-<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;        {</div>
-<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">callee_operands</a> = ops;</div>
-<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        }</div>
-<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="keyword">private</span>:</div>
-<div class="line"><a name="l00395"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">  395</a></span>&#160;        <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">callOp</a> = <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00396"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">  396</a></span>&#160;        <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">conOp</a> = <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00397"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">  397</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html">Operand</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">basicOp</a>;</div>
-<div class="line"><a name="l00398"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">  398</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">condition</a>;</div>
-<div class="line"><a name="l00399"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">  399</a></span>&#160;        std::vector&lt;Operand&gt; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">trueBranch_operands</a>;</div>
-<div class="line"><a name="l00400"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">  400</a></span>&#160;        std::vector&lt;Operand&gt; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">falseBranch_operands</a>;</div>
-<div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">  401</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">callee_name</a>;</div>
-<div class="line"><a name="l00402"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">  402</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">callee_return</a>;</div>
-<div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">  403</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">callee_arguments</a>;</div>
-<div class="line"><a name="l00404"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">  404</a></span>&#160;        std::vector&lt;Operand&gt; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">callee_operands</a>;</div>
-<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;    };</div>
-<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160; </div>
-<div class="line"><a name="l00407"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html">  407</a></span>&#160;    <span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html">ExtFunctionOps</a></div>
-<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    {</div>
-<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="keyword">public</span>:</div>
-<div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8decc1ccc19d604d9e0aca09044ee381">  410</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8decc1ccc19d604d9e0aca09044ee381">ExtFunctionOps</a>() {};</div>
-<div class="line"><a name="l00411"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#afba152f0852b4be4fcb6467de911f94a">  411</a></span>&#160;        <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#afba152f0852b4be4fcb6467de911f94a">ExtFunctionOps</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, std::vector&lt;ExtOperation&gt; ops) : <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">extFunName</a>(<a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>), <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">extOperations</a>(ops) {};</div>
-<div class="line"><a name="l00412"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aa18e4ecbaa50231f99b49bc5ef9f1331">  412</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aa18e4ecbaa50231f99b49bc5ef9f1331">getExtFunName</a>()<span class="keyword"> const</span></div>
-<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;<span class="keyword">        </span>{</div>
-<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">extFunName</a>;</div>
-<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;        }</div>
-<div class="line"><a name="l00416"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ad4dffa55424ae06f1d3fba4654a0a107">  416</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ad4dffa55424ae06f1d3fba4654a0a107">setExtFunName</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;<a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>)</div>
-<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        {</div>
-<div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">extFunName</a> = <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>;</div>
-<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;        }</div>
-<div class="line"><a name="l00420"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a7922ddef3872e958d629b6d691b9cc4f">  420</a></span>&#160;        std::vector&lt;ExtOperation&gt;&amp; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a7922ddef3872e958d629b6d691b9cc4f">getOperations</a>()</div>
-<div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        {</div>
-<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">extOperations</a>;</div>
-<div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        }</div>
-<div class="line"><a name="l00424"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a972a0ef112f58f2aa28c00d3b5db82b2">  424</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a972a0ef112f58f2aa28c00d3b5db82b2">setOperations</a>(std::vector&lt;ExtOperation&gt; ops)</div>
-<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        {</div>
-<div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">extOperations</a> = ops;</div>
-<div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        }</div>
-<div class="line"><a name="l00428"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a3d284974561e173762d173d4ae466817">  428</a></span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a3d284974561e173762d173d4ae466817">getCallStmtNum</a>()</div>
-<div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        {</div>
-<div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">callStmtNum</a>;</div>
-<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        }</div>
-<div class="line"><a name="l00432"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8ae0261c6840d7fd168b7ca9492b573e">  432</a></span>&#160;        <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8ae0261c6840d7fd168b7ca9492b573e">setCallStmtNum</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num)</div>
-<div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        {</div>
-<div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;            <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">callStmtNum</a> = num;</div>
-<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        }</div>
-<div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    <span class="keyword">private</span>:</div>
-<div class="line"><a name="l00437"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">  437</a></span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">extFunName</a>;</div>
-<div class="line"><a name="l00438"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">  438</a></span>&#160;        std::vector&lt;ExtOperation&gt; <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">extOperations</a>;</div>
-<div class="line"><a name="l00439"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">  439</a></span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">callStmtNum</a> = 0;</div>
-<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    };</div>
-<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160; </div>
-<div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;<span class="keyword">private</span>:</div>
-<div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;    <span class="comment">// Map an external function to its operations</span></div>
-<div class="line"><a name="l00444"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a3668c1a820ab11263e3cf646580e6e06">  444</a></span>&#160;    std::map&lt;std::string, ExtFunctionOps&gt; <a class="code" href="classSVF_1_1ExtAPI.html#a3668c1a820ab11263e3cf646580e6e06">extFunToOps</a>;</div>
-<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160; </div>
-<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160; </div>
-<div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; = <span class="stringliteral">&quot;&quot;</span>);</div>
-<div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160; </div>
-<div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;    <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">destory</a>();</div>
-<div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160; </div>
-<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;    <span class="comment">// Add an entry with the specified fields to the ExtAPI, which will be reflected immediately by further ExtAPI queries</span></div>
-<div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#a112b27cba6b2be4f4c1f452d5ee627b4">add_entry</a>(<span class="keyword">const</span> <span class="keywordtype">char</span>* funName, <span class="keyword">const</span> <span class="keywordtype">char</span>* returnType,</div>
-<div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;                   std::vector&lt;const char*&gt; argTypes, <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a> <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>,</div>
-<div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;                   <span class="keywordtype">bool</span> overwrite_app_function);</div>
-<div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160; </div>
-<div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;    <span class="comment">// Get numeric index of the argument in external function</span></div>
-<div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#af9462a56a96fcbf93252b9b51166987d">getArgPos</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; s);</div>
-<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160; </div>
-<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    <span class="comment">// return value &gt;= 0 is an argument node</span></div>
-<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    <span class="comment">// return value = -1 is an inst node</span></div>
-<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;    <span class="comment">// return value = -2 is a Dummy node</span></div>
-<div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    <span class="comment">// return value = -3 is an object node</span></div>
-<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    <span class="comment">// return value = -4 is an offset</span></div>
-<div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;    <span class="comment">// return value = -5 is an illegal operand format</span></div>
-<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a2531eb3ef37af4aff095db0cef438934">getNodeIDType</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; s);</div>
-<div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160; </div>
-<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    <span class="comment">// Get the corresponding name in ext_t, e.g. &quot;EXT_ADDR&quot; in {&quot;addr&quot;, EXT_ADDR},</span></div>
-<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#a1930d622cd47f7fd875e1964b65ec506">get_opName</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; s);</div>
-<div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;    <span class="comment">// opposite for extType</span></div>
-<div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7">extType_toString</a>(<a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a> <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
-<div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160; </div>
-<div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    <span class="comment">// Get external function name, e.g &quot;memcpy&quot;</span></div>
-<div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#ac3e34227968d6a2835d63b1052da3c1a">get_name</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160; </div>
-<div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;    <span class="comment">// Get arguments of the operation, e.g. [&quot;A1R&quot;, &quot;A0&quot;, &quot;A2&quot;]</span></div>
-<div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;    std::vector&lt;std::string&gt; <a class="code" href="classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23">get_opArgs</a>(<span class="keyword">const</span> <a class="code" href="structcJSON.html">cJSON</a> *value);</div>
-<div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160; </div>
-<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    <span class="comment">// Get specifications of external functions in ExtAPI.json file</span></div>
-<div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *<a class="code" href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">get_FunJson</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;funName);</div>
-<div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160; </div>
-<div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;    <span class="comment">// Get all operations of an extern function</span></div>
-<div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI_1_1Operand.html">Operand</a> <a class="code" href="classSVF_1_1ExtAPI.html#af3356452592b0c37fa0cf29d21dcab6b">getBasicOperation</a>(<a class="code" href="structcJSON.html">cJSON</a>* obj);</div>
-<div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html">ExtFunctionOps</a> <a class="code" href="classSVF_1_1ExtAPI.html#a8f7e26509cb873841e84fa7116774cbe">getExtFunctionOps</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* extFunction);</div>
-<div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160; </div>
-<div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    <span class="comment">// Get property of the operation, e.g. &quot;EFT_A1R_A0R&quot;</span></div>
-<div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a> <a class="code" href="classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41">get_type</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a> *callee);</div>
-<div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a> <a class="code" href="classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41">get_type</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funName);</div>
-<div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160; </div>
-<div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    <span class="comment">// Get priority of he function, return value</span></div>
-<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    <span class="comment">// 0: Apply user-defined functions</span></div>
-<div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    <span class="comment">// 1: Apply function specification in ExtAPI.json</span></div>
-<div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258">isOverwrittenAppFunction</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a> *callee);</div>
-<div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258">isOverwrittenAppFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcName);</div>
-<div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    <span class="comment">// set priority of the function</span></div>
-<div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#ab8d480022352929fe193ef21617c440c">setOverWrittenAppFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcName, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> overwrite_app_function);</div>
-<div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160; </div>
-<div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    <span class="comment">// Does (F) have a static var X (unavailable to us) that its return points to?</span></div>
-<div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">has_static</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160; </div>
-<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    <span class="comment">// Assuming hasStatic(F), does (F) have a second static Y where X -&gt; Y?</span></div>
-<div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5">has_static2</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160; </div>
-<div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;    <span class="comment">// Does (F) have a memset_like or memcpy_like operation?</span></div>
-<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0">is_memset_or_memcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160; </div>
-<div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;    <span class="comment">// Does (F) allocate a new object and return it?</span></div>
-<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160; </div>
-<div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;    <span class="comment">// Does (F) allocate a new object and assign it to one of its arguments?</span></div>
-<div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160; </div>
-<div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;    <span class="comment">// Get the position of argument which holds the new object</span></div>
-<div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160; </div>
-<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;    <span class="comment">// Does (F) allocate only non-struct objects?</span></div>
-<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe">no_struct_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160; </div>
-<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;    <span class="comment">// Does (F) not free/release any memory?</span></div>
-<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1">is_dealloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160; </div>
-<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    <span class="comment">// Does (F) not do anything with the known pointers?</span></div>
-<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f">is_noop</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160; </div>
-<div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;    <span class="comment">// Does (F) reallocate a new object?</span></div>
-<div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160; </div>
-<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;    <span class="comment">// Does (F) have the same return type(pointer or nonpointer) and same number of arguments</span></div>
-<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b">is_sameSignature</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160; </div>
-<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;    <span class="comment">// Should (F) be considered &quot;external&quot; (either not defined in the program</span></div>
-<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    <span class="comment">//   or a user-defined version of a known alloc or no-op)?</span></div>
-<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
-<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;};</div>
-<div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;} <span class="comment">// End namespace SVF</span></div>
-<div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160; </div>
-<div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;<span class="preprocessor">#endif</span></div>
+<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160; </div>
+<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
+<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div>
+<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160; </div>
+<div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html">   44</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a></div>
+<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;{</div>
+<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="keyword">private</span>:</div>
+<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160; </div>
+<div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">   48</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a>;</div>
+<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160; </div>
+<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <a class="code" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>() = <span class="keywordflow">default</span>;</div>
+<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160; </div>
+<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="keyword">public</span>:</div>
+<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160; </div>
+<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ExtAPI.html">ExtAPI</a> *<a class="code" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; = <span class="stringliteral">&quot;&quot;</span>);</div>
+<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160; </div>
+<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">destory</a>();</div>
+<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160; </div>
+<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    <span class="comment">// Get the annotation of (F)</span></div>
+<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">getExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
+<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160; </div>
+<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="comment">// Does (F) have some annotation?</span></div>
+<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">hasExtFuncAnnotation</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; funcAnnotation);</div>
+<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160; </div>
+<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="comment">// Does (F) have a static var X (unavailable to us) that its return points to?</span></div>
+<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">has_static</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160; </div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <span class="comment">// Does (F) have a memcpy_like operation?</span></div>
+<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">is_memcpy</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160; </div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="comment">// Does (F) have a memset_like operation?</span></div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">is_memset</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160; </div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="comment">// Does (F) allocate a new object and return it?</span></div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160; </div>
+<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="comment">// Does (F) allocate a new object and assign it to one of its arguments?</span></div>
+<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160; </div>
+<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="comment">// Get the position of argument which holds the new object</span></div>
+<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160; </div>
+<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <span class="comment">// Does (F) reallocate a new object?</span></div>
+<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160; </div>
+<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    <span class="comment">// Should (F) be considered &quot;external&quot; (either not defined in the program</span></div>
+<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="comment">//   or a user-defined version of a known alloc or no-op)?</span></div>
+<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *<a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
+<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;};</div>
+<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;} <span class="comment">// End namespace SVF</span></div>
+<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160; </div>
+<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;<span class="preprocessor">#endif</span></div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_ad4dffa55424ae06f1d3fba4654a0a107"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ad4dffa55424ae06f1d3fba4654a0a107">SVF::ExtAPI::ExtFunctionOps::setExtFunName</a></div><div class="ttdeci">void setExtFunName(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00416">ExtAPI.h:416</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac631e9cc3bb430a9c12d0c004d2ca97d">SVF::ExtAPI::EFT_A4R_A1</a></div><div class="ttdeci">@ EFT_A4R_A1</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00157">ExtAPI.h:157</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaac3eaaf0865895ce144c035e429166be">SVF::ExtAPI::EFT_L_A0__A1_A0</a></div><div class="ttdeci">@ EFT_L_A0__A1_A0</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00159">ExtAPI.h:159</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae8423cc29f4de0225e30de6982e6a3a4">SVF::ExtAPI::EFT_L_A0__A2R_A0</a></div><div class="ttdeci">@ EFT_L_A0__A2R_A0</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00158">ExtAPI.h:158</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8782293305260b1500a09b473439d3b0">SVF::ExtAPI::EFT_NOSTRUCT_ALLOC</a></div><div class="ttdeci">@ EFT_NOSTRUCT_ALLOC</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00140">ExtAPI.h:140</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0faa528f93a449ef05e1d6ba18ed6a17e20"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa528f93a449ef05e1d6ba18ed6a17e20">SVF::ExtAPI::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00233">ExtAPI.h:233</a></div></div>
-<div class="ttc" id="aclassSVF_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#l00218">ExtAPI.h:218</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ad1f1c8ea348e760a8aacfd7421e46082"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ad1f1c8ea348e760a8aacfd7421e46082">SVF::ExtAPI::Operand::opType</a></div><div class="ttdeci">OperationType opType</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00302">ExtAPI.h:302</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac078d0307bec384b6df3da561045ff7d">SVF::ExtAPI::EFT_L_A2</a></div><div class="ttdeci">@ EFT_L_A2</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00145">ExtAPI.h:145</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa0faffe8ade71c03c30a6d315ce4f4742">SVF::ExtAPI::Return</a></div><div class="ttdeci">@ Return</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00235">ExtAPI.h:235</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a394d6a81c65acabc339a73891994879e"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e">SVF::ExtAPI::ExtOperation::isConOp</a></div><div class="ttdeci">bool isConOp() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00322">ExtAPI.h:322</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_aa30cad33a0459e1eb06a0d0bc6dd0874"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aa30cad33a0459e1eb06a0d0bc6dd0874">SVF::ExtAPI::ExtOperation::getBasicOp</a></div><div class="ttdeci">Operand &amp; getBasicOp()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00330">ExtAPI.h:330</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1f23e7b8cdd103943f515e807bf36b1c">SVF::ExtAPI::EFT_REALLOC</a></div><div class="ttdeci">@ EFT_REALLOC</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00137">ExtAPI.h:137</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00174">ExtAPI.cpp:174</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ae2f1fec9aa9225a1f8464cefad4a3dba"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ae2f1fec9aa9225a1f8464cefad4a3dba">SVF::ExtAPI::Operand::src</a></div><div class="ttdeci">std::string src</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00303">ExtAPI.h:303</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4c1361546aa103c26b11b0b89dc8d482">SVF::ExtAPI::EFT_A1R_A0</a></div><div class="ttdeci">@ EFT_A1R_A0</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00155">ExtAPI.h:155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ae266107bc7a98aee85b30e25bb8f0fc0"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ae266107bc7a98aee85b30e25bb8f0fc0">SVF::ExtAPI::Operand::getType</a></div><div class="ttdeci">OperationType getType() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00245">ExtAPI.h:245</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_afbb3c0d51624c3cfce2ef0e70dff5dcd"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#afbb3c0d51624c3cfce2ef0e70dff5dcd">SVF::ExtAPI::ExtOperation::getCalleeOperands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; &amp; getCalleeOperands()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00386">ExtAPI.h:386</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a934e293bd4050cb1ab5c19e8ad391ebe"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe">SVF::ExtAPI::no_struct_alloc</a></div><div class="ttdeci">bool no_struct_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00598">ExtAPI.cpp:598</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html">SVF::ExtAPI::Operand</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00242">ExtAPI.h:242</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a21f45c806672255c044d39490990eae2"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI::is_ext</a></div><div class="ttdeci">bool is_ext(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00665">ExtAPI.cpp:665</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_aec69b0d34b950841d4bf2283e8401afd"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#aec69b0d34b950841d4bf2283e8401afd">SVF::ExtAPI::ExtOperation::falseBranch_operands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; falseBranch_operands</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00400">ExtAPI.h:400</a></div></div>
+<div class="ttc" id="aclassSVF_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#l00048">ExtAPI.h:48</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_abe3e0e2500532acfc01cee7e2ce1cd90"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI::destory</a></div><div class="ttdeci">static void destory()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00045">ExtAPI.cpp:45</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a21f45c806672255c044d39490990eae2"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI::is_ext</a></div><div class="ttdeci">bool is_ext(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00127">ExtAPI.cpp:127</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7ad779bd3527f7cd220ca74c736fd2df">SVF::ExtAPI::EFT_NULL</a></div><div class="ttdeci">@ EFT_NULL</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00174">ExtAPI.h:174</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_af9462a56a96fcbf93252b9b51166987d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#af9462a56a96fcbf93252b9b51166987d">SVF::ExtAPI::getArgPos</a></div><div class="ttdeci">u32_t getArgPos(const std::string &amp;s)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00246">ExtAPI.cpp:246</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_afba152f0852b4be4fcb6467de911f94a"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#afba152f0852b4be4fcb6467de911f94a">SVF::ExtAPI::ExtFunctionOps::ExtFunctionOps</a></div><div class="ttdeci">ExtFunctionOps(const std::string &amp;name, std::vector&lt; ExtOperation &gt; ops)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00411">ExtAPI.h:411</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ad3eefa086aa514e4d245a975ea3d45b5"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5">SVF::ExtAPI::has_static2</a></div><div class="ttdeci">bool has_static2(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00548">ExtAPI.cpp:548</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa80b7a3e8a139a8103058d46c202ad33a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa80b7a3e8a139a8103058d46c202ad33a">SVF::ExtAPI::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00231">ExtAPI.h:231</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a3899beb4ec601b3b1d2c488ef35b5a8a"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a3899beb4ec601b3b1d2c488ef35b5a8a">SVF::ExtAPI::ExtOperation::getCondition</a></div><div class="ttdeci">const std::string &amp; getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00338">ExtAPI.h:338</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_acf56f7ccd727d97f3de1de30f86cc6fb"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#acf56f7ccd727d97f3de1de30f86cc6fb">SVF::ExtAPI::Operand::getSrcValue</a></div><div class="ttdeci">const std::string &amp; getSrcValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00253">ExtAPI.h:253</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa27b8dfa0742daa17c3e1a520d03dbd14">SVF::ExtAPI::EFT_A2R_NEW</a></div><div class="ttdeci">@ EFT_A2R_NEW</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00162">ExtAPI.h:162</a></div></div>
 <div class="ttc" id="aclassSVF_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>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_aa98b80dc86d0549183ec69b44b391bd7"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7">SVF::ExtAPI::extType_toString</a></div><div class="ttdeci">const std::string &amp; extType_toString(extType type)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00233">ExtAPI.cpp:233</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa54aa3d7051aab7d65ee1154538bfbb48">SVF::ExtAPI::EFT_L_A0__A0R_A1R</a></div><div class="ttdeci">@ EFT_L_A0__A0R_A1R</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00148">ExtAPI.h:148</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1930d622cd47f7fd875e1964b65ec506"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1930d622cd47f7fd875e1964b65ec506">SVF::ExtAPI::get_opName</a></div><div class="ttdeci">std::string get_opName(const std::string &amp;s)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00225">ExtAPI.cpp:225</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caac57ade96d1d18b9f2d4d36bc6928c5c4">SVF::ExtAPI::EFT_ALLOC</a></div><div class="ttdeci">@ EFT_ALLOC</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00136">ExtAPI.h:136</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a7922ddef3872e958d629b6d691b9cc4f"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a7922ddef3872e958d629b6d691b9cc4f">SVF::ExtAPI::ExtFunctionOps::getOperations</a></div><div class="ttdeci">std::vector&lt; ExtOperation &gt; &amp; getOperations()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00420">ExtAPI.h:420</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6363df51947cab85ec4ae04b4e056f96">SVF::ExtAPI::EFT_L_A0</a></div><div class="ttdeci">@ EFT_L_A0</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00143">ExtAPI.h:143</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a8decc1ccc19d604d9e0aca09044ee381"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8decc1ccc19d604d9e0aca09044ee381">SVF::ExtAPI::ExtFunctionOps::ExtFunctionOps</a></div><div class="ttdeci">ExtFunctionOps()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00410">ExtAPI.h:410</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_af3356452592b0c37fa0cf29d21dcab6b"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#af3356452592b0c37fa0cf29d21dcab6b">SVF::ExtAPI::getBasicOperation</a></div><div class="ttdeci">Operand getBasicOperation(cJSON *obj)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00351">ExtAPI.cpp:351</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b">SVF::ExtAPI::EFT_STD_RB_TREE_INSERT_AND_REBALANCE</a></div><div class="ttdeci">@ EFT_STD_RB_TREE_INSERT_AND_REBALANCE</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00165">ExtAPI.h:165</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_af629e2baaa18f5663fe4c17565629ed6"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af629e2baaa18f5663fe4c17565629ed6">SVF::ExtAPI::ExtOperation::setFalseBranchOperands</a></div><div class="ttdeci">void setFalseBranchOperands(std::vector&lt; Operand &gt; fbo)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00358">ExtAPI.h:358</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a8f7e26509cb873841e84fa7116774cbe"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a8f7e26509cb873841e84fa7116774cbe">SVF::ExtAPI::getExtFunctionOps</a></div><div class="ttdeci">ExtFunctionOps getExtFunctionOps(const SVFFunction *extFunction)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00392">ExtAPI.cpp:392</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html">SVF::ExtAPI::ExtFunctionOps</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00407">ExtAPI.h:407</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ac55f2f1e2618664fa1997f998a6c52d5"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ac55f2f1e2618664fa1997f998a6c52d5">SVF::ExtAPI::Operand::setDstID</a></div><div class="ttdeci">void setDstID(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00281">ExtAPI.h:281</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_ad855d88d7bb5ad8cc830bc16c68c8e0c"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ad855d88d7bb5ad8cc830bc16c68c8e0c">SVF::ExtAPI::ExtOperation::setBasicOp</a></div><div class="ttdeci">void setBasicOp(Operand op)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00334">ExtAPI.h:334</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a112b27cba6b2be4f4c1f452d5ee627b4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a112b27cba6b2be4f4c1f452d5ee627b4">SVF::ExtAPI::add_entry</a></div><div class="ttdeci">void add_entry(const char *funName, const char *returnType, std::vector&lt; const char * &gt; argTypes, extType type, bool overwrite_app_function)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00188">ExtAPI.cpp:188</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a226fdc0e1a042362ddb4932985380bb9"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a226fdc0e1a042362ddb4932985380bb9">SVF::ExtAPI::ExtOperation::setCalleeArguments</a></div><div class="ttdeci">void setCalleeArguments(const std::string &amp;args)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00382">ExtAPI.h:382</a></div></div>
-<div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html">SVF::ExtAPI::ExtOperation</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00311">ExtAPI.h:311</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a7a7729a39bec854fb5b5347397d9f04b"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a7729a39bec854fb5b5347397d9f04b">SVF::ExtAPI::ExtOperation::getFalseBranchOperands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; &amp; getFalseBranchOperands()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00354">ExtAPI.h:354</a></div></div>
-<div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a7f91d7cc64fc7a201abd8f2a50bd8515"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7f91d7cc64fc7a201abd8f2a50bd8515">SVF::ExtAPI::ExtOperation::setCallOp</a></div><div class="ttdeci">void setCallOp(bool isCall)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00318">ExtAPI.h:318</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a9c704685bd6e4e6c14ebbec6a9154200"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a9c704685bd6e4e6c14ebbec6a9154200">SVF::ExtAPI::ExtOperation::setCondition</a></div><div class="ttdeci">void setCondition(const std::string &amp;cond)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00342">ExtAPI.h:342</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_af5863c0bd654bada1509a750b86d76d8"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">SVF::ExtAPI::ExtOperation::callee_return</a></div><div class="ttdeci">std::string callee_return</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00402">ExtAPI.h:402</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaec63c85b24133af679d60dda42ab44ab">SVF::ExtAPI::EFT_L_A1</a></div><div class="ttdeci">@ EFT_L_A1</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00144">ExtAPI.h:144</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac5a4aa1c93ec7f37478fd8a399734cc0"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0">SVF::ExtAPI::is_memset_or_memcpy</a></div><div class="ttdeci">bool is_memset_or_memcpy(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00554">ExtAPI.cpp:554</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598">SVF::ExtAPI::EFT_STD_RB_TREE_INCREMENT</a></div><div class="ttdeci">@ EFT_STD_RB_TREE_INCREMENT</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00166">ExtAPI.h:166</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a68939c789d0530151a4e79e79317531a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">SVF::ExtAPI::get_alloc_arg_pos</a></div><div class="ttdeci">s32_t get_alloc_arg_pos(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00576">ExtAPI.cpp:576</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199ca"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">SVF::ExtAPI::extType</a></div><div class="ttdeci">extType</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00133">ExtAPI.h:133</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a0f01a1637d9aa0c75ef25df0566ecf7f"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a0f01a1637d9aa0c75ef25df0566ecf7f">SVF::ExtAPI::ExtOperation::setConOp</a></div><div class="ttdeci">void setConOp(bool isCon)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00326">ExtAPI.h:326</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a8f818e8eb7ac88c05ff9a23db76c411a"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a8f818e8eb7ac88c05ff9a23db76c411a">SVF::ExtAPI::ExtOperation::trueBranch_operands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; trueBranch_operands</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00399">ExtAPI.h:399</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a02380d22fd6021ebce1e54723d695c99"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI(const std::string &amp;=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00125">ExtAPI.cpp:125</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa42c4f01de6680140a7a5fb4aa7ace9ed"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa42c4f01de6680140a7a5fb4aa7ace9ed">SVF::ExtAPI::Memset_like</a></div><div class="ttdeci">@ Memset_like</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00238">ExtAPI.h:238</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a82ebf71c5214f891f17e842e0b133b4f"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f">SVF::ExtAPI::is_noop</a></div><div class="ttdeci">bool is_noop(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00612">ExtAPI.cpp:612</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a821c6f857dec6dc7ed85b918b86d304b"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a821c6f857dec6dc7ed85b918b86d304b">SVF::ExtAPI::ExtOperation::getCalleeName</a></div><div class="ttdeci">const std::string &amp; getCalleeName() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00362">ExtAPI.h:362</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a0d865c55681a3b4a9bb965fd0200029d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">SVF::ExtAPI::is_alloc</a></div><div class="ttdeci">bool is_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00561">ExtAPI.cpp:561</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9d9ec33eb5ecf285ccf2aa575bcba31a">SVF::ExtAPI::EFT_CXA_BEGIN_CATCH</a></div><div class="ttdeci">@ EFT_CXA_BEGIN_CATCH</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00172">ExtAPI.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa66bcd64afcfaf09c49d2f445cd112f1d">SVF::ExtAPI::EFT_FREE_MULTILEVEL</a></div><div class="ttdeci">@ EFT_FREE_MULTILEVEL</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00139">ExtAPI.h:139</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaa0cecd43037de38c00ec6017b03bbb3f">SVF::ExtAPI::EFT_L_A0__A0R_A1</a></div><div class="ttdeci">@ EFT_L_A0__A0R_A1</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00147">ExtAPI.h:147</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a411a034f872afcf62ce5456e408ccf41"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41">SVF::ExtAPI::get_type</a></div><div class="ttdeci">extType get_type(const SVF::SVFFunction *callee)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00501">ExtAPI.cpp:501</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a88ced5673e794a9dbc486cc5b15d1932"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a88ced5673e794a9dbc486cc5b15d1932">SVF::ExtAPI::Operand::getOffsetOrSize</a></div><div class="ttdeci">u32_t getOffsetOrSize() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00293">ExtAPI.h:293</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafe69efc20e29f95e0e333d1a462576a2">SVF::ExtAPI::EFT_A4R_NEW</a></div><div class="ttdeci">@ EFT_A4R_NEW</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00163">ExtAPI.h:163</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a906a3728bbcfb7a43ac0938ffcb3df23"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23">SVF::ExtAPI::get_opArgs</a></div><div class="ttdeci">std::vector&lt; std::string &gt; get_opArgs(const cJSON *value)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00468">ExtAPI.cpp:468</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_ae02f2ece898788fba63be881f6933737"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ae02f2ece898788fba63be881f6933737">SVF::ExtAPI::ExtOperation::setCalleeName</a></div><div class="ttdeci">void setCalleeName(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00366">ExtAPI.h:366</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a68939c789d0530151a4e79e79317531a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">SVF::ExtAPI::get_alloc_arg_pos</a></div><div class="ttdeci">s32_t get_alloc_arg_pos(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00102">ExtAPI.cpp:102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a02380d22fd6021ebce1e54723d695c99"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">SVF::ExtAPI::getExtAPI</a></div><div class="ttdeci">static ExtAPI * getExtAPI(const std::string &amp;=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00036">ExtAPI.cpp:36</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a9f6e5cd617ab57ef9da0bab6c3c9cdc8"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI::is_memset</a></div><div class="ttdeci">bool is_memset(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00085">ExtAPI.cpp:85</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a0d865c55681a3b4a9bb965fd0200029d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">SVF::ExtAPI::is_alloc</a></div><div class="ttdeci">bool is_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00090">ExtAPI.cpp:90</a></div></div>
 <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>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa515c2184a7461fc1788a514432a7ec22">SVF::ExtAPI::EFT_STAT2</a></div><div class="ttdeci">@ EFT_STAT2</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00142">ExtAPI.h:142</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a95ac45d2367b3d3124d5d98958e74cc5"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">SVF::ExtAPI::type_pair</a></div><div class="ttdeci">std::map&lt; std::string, extType &gt; type_pair</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00179">ExtAPI.h:179</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a23b88769670c5b5984fbcad8803f4dbf"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf">SVF::ExtAPI::ExtOperation::isCallOp</a></div><div class="ttdeci">bool isCallOp() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00314">ExtAPI.h:314</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa61473326a2a8621017c18b623033de02"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa61473326a2a8621017c18b623033de02">SVF::ExtAPI::Memcpy_like</a></div><div class="ttdeci">@ Memcpy_like</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00237">ExtAPI.h:237</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a61db2bb411165cd5e5dd9cb73392db51"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a61db2bb411165cd5e5dd9cb73392db51">SVF::ExtAPI::ExtOperation::setTrueBranchOperands</a></div><div class="ttdeci">void setTrueBranchOperands(std::vector&lt; Operand &gt; tbo)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00350">ExtAPI.h:350</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa80ea82d0181911894919c181eb1f4e35">SVF::ExtAPI::EFT_L_A1__FunPtr</a></div><div class="ttdeci">@ EFT_L_A1__FunPtr</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00149">ExtAPI.h:149</a></div></div>
-<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa1e119ad93f66dbbf8014917febad843c">SVF::ExtAPI::EFT_L_A8</a></div><div class="ttdeci">@ EFT_L_A8</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00146">ExtAPI.h:146</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ae20ea24cce02de87d89a2d0b773a2357"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI::has_static</a></div><div class="ttdeci">bool has_static(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00541">ExtAPI.cpp:541</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a6b959bd185567ac7a80c4f261c2eb318"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a6b959bd185567ac7a80c4f261c2eb318">SVF::ExtAPI::Operand::offsetOrSizeStr</a></div><div class="ttdeci">std::string offsetOrSizeStr</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00305">ExtAPI.h:305</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a3d284974561e173762d173d4ae466817"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a3d284974561e173762d173d4ae466817">SVF::ExtAPI::ExtFunctionOps::getCallStmtNum</a></div><div class="ttdeci">u32_t getCallStmtNum()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00428">ExtAPI.h:428</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00064">ExtAPI.cpp:64</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ae20ea24cce02de87d89a2d0b773a2357"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI::has_static</a></div><div class="ttdeci">bool has_static(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00075">ExtAPI.cpp:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5ef7edb1664ab87f00418e7808d00258"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258">SVF::ExtAPI::isOverwrittenAppFunction</a></div><div class="ttdeci">u32_t isOverwrittenAppFunction(const SVF::SVFFunction *callee)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00509">ExtAPI.cpp:509</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a72a8be1a6a9641410e9024590b410b53"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a72a8be1a6a9641410e9024590b410b53">SVF::ExtAPI::Operand::dst</a></div><div class="ttdeci">std::string dst</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00304">ExtAPI.h:304</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ab0e1b9953acf05220df3337df55fbe95"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ab0e1b9953acf05220df3337df55fbe95">SVF::ExtAPI::Operand::setSrcID</a></div><div class="ttdeci">void setSrcID(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00273">ExtAPI.h:273</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa9b98279d1926e4ebfb237a43536c7b73">SVF::ExtAPI::EFT_FREE</a></div><div class="ttdeci">@ EFT_FREE</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00138">ExtAPI.h:138</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a400b778765605f10be2b01b21ef3d129"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a400b778765605f10be2b01b21ef3d129">SVF::ExtAPI::Operand::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00277">ExtAPI.h:277</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ad0f6b1b2c2a6210f00b587739d08b5dd"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ad0f6b1b2c2a6210f00b587739d08b5dd">SVF::ExtAPI::Operand::dstID</a></div><div class="ttdeci">NodeID dstID</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00307">ExtAPI.h:307</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af">SVF::ExtAPI::CPP_EFT_A0R_A1</a></div><div class="ttdeci">@ CPP_EFT_A0R_A1</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00169">ExtAPI.h:169</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ab8d480022352929fe193ef21617c440c"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ab8d480022352929fe193ef21617c440c">SVF::ExtAPI::setOverWrittenAppFunction</a></div><div class="ttdeci">void setOverWrittenAppFunction(const std::string &amp;funcName, u32_t overwrite_app_function)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00530">ExtAPI.cpp:530</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caaed5f4c75cc5016c61f441abf06a2bf21">SVF::ExtAPI::EFT_STD_LIST_HOOK</a></div><div class="ttdeci">@ EFT_STD_LIST_HOOK</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00167">ExtAPI.h:167</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa8b59b6966952577361826d09b95b76be">SVF::ExtAPI::EFT_A11R_NEW</a></div><div class="ttdeci">@ EFT_A11R_NEW</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00164">ExtAPI.h:164</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0f"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0f">SVF::ExtAPI::OperationType</a></div><div class="ttdeci">OperationType</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00227">ExtAPI.h:227</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a5a81ebcd4b8633fce7fed83e7c92cc5d"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a5a81ebcd4b8633fce7fed83e7c92cc5d">SVF::ExtAPI::Operand::setSrcValue</a></div><div class="ttdeci">void setSrcValue(const std::string &amp;value)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00257">ExtAPI.h:257</a></div></div>
-<div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_acd6c8f25a60553838da38cd95c511df4"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#acd6c8f25a60553838da38cd95c511df4">SVF::ExtAPI::ExtOperation::setCalleeOperands</a></div><div class="ttdeci">void setCalleeOperands(std::vector&lt; Operand &gt; ops)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00390">ExtAPI.h:390</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4353ad2b443e7f7ce2151869eed9c097">SVF::ExtAPI::EFT_A1R_NEW</a></div><div class="ttdeci">@ EFT_A1R_NEW</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00161">ExtAPI.h:161</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_af3fe2b022c36d228e9bc7050ea39118e"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#af3fe2b022c36d228e9bc7050ea39118e">SVF::ExtAPI::Operand::getOffsetOrSizeStr</a></div><div class="ttdeci">const std::string &amp; getOffsetOrSizeStr() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00285">ExtAPI.h:285</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa94f514e925fdb422632840ca44343af0">SVF::ExtAPI::EFT_STAT</a></div><div class="ttdeci">@ EFT_STAT</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00141">ExtAPI.h:141</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_ab43699169a84b875c3810615f0c1f9f6"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ab43699169a84b875c3810615f0c1f9f6">SVF::ExtAPI::ExtFunctionOps::extFunName</a></div><div class="ttdeci">std::string extFunName</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00437">ExtAPI.h:437</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html"><div class="ttname"><a href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00127">ExtAPI.h:127</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_afb4a1cdc9aa9836ed3bd2384cf119d05"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#afb4a1cdc9aa9836ed3bd2384cf119d05">SVF::ExtAPI::Operand::setType</a></div><div class="ttdeci">void setType(OperationType type)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00249">ExtAPI.h:249</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a158e7da51d45b746e067dc40e912c477"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">SVF::ExtAPI::is_arg_alloc</a></div><div class="ttdeci">bool is_arg_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00568">ExtAPI.cpp:568</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ab61fbc80acc89e26df2b451cbab81246"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">SVF::ExtAPI::get_FunJson</a></div><div class="ttdeci">cJSON * get_FunJson(const std::string &amp;funName)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00345">ExtAPI.cpp:345</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html"><div class="ttname"><a href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00044">ExtAPI.h:44</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a158e7da51d45b746e067dc40e912c477"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">SVF::ExtAPI::is_arg_alloc</a></div><div class="ttdeci">bool is_arg_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00096">ExtAPI.cpp:96</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a641c82ed1f1a86f0f8a6015ef1fdbfef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a641c82ed1f1a86f0f8a6015ef1fdbfef">SVF::ExtAPI::getExtFuncAnnotation</a></div><div class="ttdeci">std::string getExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00054">ExtAPI.cpp:54</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a5fd95239c2b406b488b8af971a21af6f"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">SVF::ExtAPI::ExtOperation::conOp</a></div><div class="ttdeci">bool conOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00396">ExtAPI.h:396</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a8ae0261c6840d7fd168b7ca9492b573e"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8ae0261c6840d7fd168b7ca9492b573e">SVF::ExtAPI::ExtFunctionOps::setCallStmtNum</a></div><div class="ttdeci">void setCallStmtNum(u32_t num)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00432">ExtAPI.h:432</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ac13d998cea809b0c50b6c0ad8df602c3"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ac13d998cea809b0c50b6c0ad8df602c3">SVF::ExtAPI::Operand::srcID</a></div><div class="ttdeci">NodeID srcID</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00306">ExtAPI.h:306</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a7a30442030f29343602c7beb9ff7b86b"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a30442030f29343602c7beb9ff7b86b">SVF::ExtAPI::ExtOperation::setCalleeReturn</a></div><div class="ttdeci">void setCalleeReturn(const std::string &amp;ret)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00374">ExtAPI.h:374</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ae768fbf44ca01515e3ef553c41d10c22"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ae768fbf44ca01515e3ef553c41d10c22">SVF::ExtAPI::Operand::setOffsetOrSize</a></div><div class="ttdeci">void setOffsetOrSize(u32_t off)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00297">ExtAPI.h:297</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a536b62cfdaafdb29b121347a2fdeb9fb"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">SVF::ExtAPI::ExtOperation::callee_name</a></div><div class="ttdeci">std::string callee_name</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00401">ExtAPI.h:401</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_ace64ec0773d4dba0d221db6ca7056921"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">SVF::ExtAPI::ExtOperation::callee_arguments</a></div><div class="ttdeci">std::string callee_arguments</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00403">ExtAPI.h:403</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">SVF::ExtAPI::Addr</a></div><div class="ttdeci">@ Addr</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00229">ExtAPI.h:229</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">SVF::ExtAPI::CPP_EFT_A0R_A1R</a></div><div class="ttdeci">@ CPP_EFT_A0R_A1R</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00170">ExtAPI.h:170</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a972a0ef112f58f2aa28c00d3b5db82b2"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a972a0ef112f58f2aa28c00d3b5db82b2">SVF::ExtAPI::ExtFunctionOps::setOperations</a></div><div class="ttdeci">void setOperations(std::vector&lt; ExtOperation &gt; ops)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00424">ExtAPI.h:424</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a7a5069a5ff66397c6ae4ed8a31539825"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">SVF::ExtAPI::ExtOperation::callee_operands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; callee_operands</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00404">ExtAPI.h:404</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ac3000418104aa2ef7dc3292d0c490bbd"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ac3000418104aa2ef7dc3292d0c490bbd">SVF::ExtAPI::Operand::offsetOrSize</a></div><div class="ttdeci">u32_t offsetOrSize</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00308">ExtAPI.h:308</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_aeff6989b97c2c5425c6bff8c22458a5a"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">SVF::ExtAPI::ExtFunctionOps::callStmtNum</a></div><div class="ttdeci">u32_t callStmtNum</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00439">ExtAPI.h:439</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa5eebe7523441f971015c039550579d1e">SVF::ExtAPI::Rb_tree_ops</a></div><div class="ttdeci">@ Rb_tree_ops</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00236">ExtAPI.h:236</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">SVF::ExtAPI::CPP_EFT_DYNAMIC_CAST</a></div><div class="ttdeci">@ CPP_EFT_DYNAMIC_CAST</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00173">ExtAPI.h:173</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa20b601703edcf0d04cd1a7abcc0f222e">SVF::ExtAPI::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00232">ExtAPI.h:232</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_abdc356ca72c3f103f83885aaa21c1e4d"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">SVF::ExtAPI::ExtOperation::callOp</a></div><div class="ttdeci">bool callOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00395">ExtAPI.h:395</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c">SVF::ExtAPI::Copy</a></div><div class="ttdeci">@ Copy</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00230">ExtAPI.h:230</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a2531eb3ef37af4aff095db0cef438934"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a2531eb3ef37af4aff095db0cef438934">SVF::ExtAPI::getNodeIDType</a></div><div class="ttdeci">s32_t getNodeIDType(const std::string &amp;s)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00268">ExtAPI.cpp:268</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a3668c1a820ab11263e3cf646580e6e06"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a3668c1a820ab11263e3cf646580e6e06">SVF::ExtAPI::extFunToOps</a></div><div class="ttdeci">std::map&lt; std::string, ExtFunctionOps &gt; extFunToOps</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00444">ExtAPI.h:444</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_aeef27a358ba1815760c893bd2d2335b1"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1">SVF::ExtAPI::is_dealloc</a></div><div class="ttdeci">bool is_dealloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00605">ExtAPI.cpp:605</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5e8b816a3eb894f6b09403852df0d01b"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b">SVF::ExtAPI::is_sameSignature</a></div><div class="ttdeci">bool is_sameSignature(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00627">ExtAPI.cpp:627</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a6373a477c805d458a50bb65c13093c4f"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">SVF::ExtAPI::ExtOperation::condition</a></div><div class="ttdeci">std::string condition</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00398">ExtAPI.h:398</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_aa18e4ecbaa50231f99b49bc5ef9f1331"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aa18e4ecbaa50231f99b49bc5ef9f1331">SVF::ExtAPI::ExtFunctionOps::getExtFunName</a></div><div class="ttdeci">const std::string &amp; getExtFunName() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00412">ExtAPI.h:412</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa035cf8a39c192608ec0e91d48e479899">SVF::ExtAPI::EFT_A0R_NEW</a></div><div class="ttdeci">@ EFT_A0R_NEW</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00160">ExtAPI.h:160</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a4475c0c82773f5437d6b870c42719fe8"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a4475c0c82773f5437d6b870c42719fe8">SVF::ExtAPI::ExtOperation::getCalleeReturn</a></div><div class="ttdeci">const std::string &amp; getCalleeReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00370">ExtAPI.h:370</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac6d6bdc51a6b75d6d5741cb751559fe4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI::is_realloc</a></div><div class="ttdeci">bool is_realloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00619">ExtAPI.cpp:619</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">SVF::ExtAPI::Call</a></div><div class="ttdeci">@ Call</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00234">ExtAPI.h:234</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a798ee2bb519bb26c71afbb3bfa524df5"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a798ee2bb519bb26c71afbb3bfa524df5">SVF::ExtAPI::Operand::setDstValue</a></div><div class="ttdeci">void setDstValue(const std::string &amp;value)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00265">ExtAPI.h:265</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a09e9f394960dd2907efdff66e6d7c274"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a09e9f394960dd2907efdff66e6d7c274">SVF::ExtAPI::ExtOperation::getCalleeArguments</a></div><div class="ttdeci">const std::string &amp; getCalleeArguments() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00378">ExtAPI.h:378</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_acb1ed4536708a8d254b045529ba8205e"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#acb1ed4536708a8d254b045529ba8205e">SVF::ExtAPI::Operand::getDstValue</a></div><div class="ttdeci">const std::string &amp; getDstValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00261">ExtAPI.h:261</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac6d6bdc51a6b75d6d5741cb751559fe4"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI::is_realloc</a></div><div class="ttdeci">bool is_realloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00119">ExtAPI.cpp:119</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa4ba81144ee1a70785fbf83ca5f0d4573">SVF::ExtAPI::EFT_A3R_A1R_NS</a></div><div class="ttdeci">@ EFT_A3R_A1R_NS</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00154">ExtAPI.h:154</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">SVF::ExtAPI::CPP_EFT_A1R</a></div><div class="ttdeci">@ CPP_EFT_A1R</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00171">ExtAPI.h:171</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_a672e8dd7a153def307b566ad65724230"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#a672e8dd7a153def307b566ad65724230">SVF::ExtAPI::Operand::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00269">ExtAPI.h:269</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtFunctionOps_html_a888d42d0d190a6d3c6ff291b5b55e73f"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a888d42d0d190a6d3c6ff291b5b55e73f">SVF::ExtAPI::ExtFunctionOps::extOperations</a></div><div class="ttdeci">std::vector&lt; ExtOperation &gt; extOperations</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00438">ExtAPI.h:438</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa87c4ba17ac3567a0673d6516995e06ef">SVF::ExtAPI::EFT_NOOP</a></div><div class="ttdeci">@ EFT_NOOP</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00135">ExtAPI.h:135</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae7e7e0702f480304f4afefa96f6c5002">SVF::ExtAPI::EFT_A1R_A0R</a></div><div class="ttdeci">@ EFT_A1R_A0R</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00153">ExtAPI.h:153</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac88fa9d671d9b701c072a454e6c30c0faa9d11849e025411eb0566cadcf40c7a0"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa9d11849e025411eb0566cadcf40c7a0">SVF::ExtAPI::Other</a></div><div class="ttdeci">@ Other</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00239">ExtAPI.h:239</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1Operand_html_ac1ba5035a89a7d4070d928b3c29826de"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1Operand.html#ac1ba5035a89a7d4070d928b3c29826de">SVF::ExtAPI::Operand::setOffsetOrSizeStr</a></div><div class="ttdeci">void setOffsetOrSizeStr(const std::string &amp;str)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00289">ExtAPI.h:289</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_ac3e34227968d6a2835d63b1052da3c1a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#ac3e34227968d6a2835d63b1052da3c1a">SVF::ExtAPI::get_name</a></div><div class="ttdeci">std::string get_name(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00331">ExtAPI.cpp:331</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_a7c92bc333a393b96d6e4fe9b99a87e30"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">SVF::ExtAPI::ExtOperation::basicOp</a></div><div class="ttdeci">Operand basicOp</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00397">ExtAPI.h:397</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_html_a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caab8814290c2362cd812a7783802eb209a">SVF::ExtAPI::EFT_A2R_A1</a></div><div class="ttdeci">@ EFT_A2R_A1</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00156">ExtAPI.h:156</a></div></div>
-<div class="ttc" id="aclassSVF_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#l00221">ExtAPI.h:221</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExtAPI_1_1ExtOperation_html_ab705c6e7a1969a8276a96b7159bc294d"><div class="ttname"><a href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ab705c6e7a1969a8276a96b7159bc294d">SVF::ExtAPI::ExtOperation::getTrueBranchOperands</a></div><div class="ttdeci">std::vector&lt; Operand &gt; &amp; getTrueBranchOperands()</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8h_source.html#l00346">ExtAPI.h:346</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExtAPI_html_aadc8f2e0ff777e3f611a7d741def0742"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI::is_memcpy</a></div><div class="ttdeci">bool is_memcpy(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00080">ExtAPI.cpp:80</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">