svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/SVFIR_8cpp_source.html

@@ -697,7 +697,7 @@ $(function() {
 <div class="line"><a name="l00737"></a><span class="lineno">  737</span>&#160; </div>
 <div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160; </div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a1a34958ca60ed98ad228c1d46cf95aeb"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a1a34958ca60ed98ad228c1d46cf95aeb">SVF::SVFUtil::isArgOfUncalledFunction</a></div><div class="ttdeci">bool isArgOfUncalledFunction(const SVFValue *svfval)</div><div class="ttdoc">Return true if this argument belongs to an uncalled function.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00407">SVFUtil.h:407</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a1a34958ca60ed98ad228c1d46cf95aeb"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a1a34958ca60ed98ad228c1d46cf95aeb">SVF::SVFUtil::isArgOfUncalledFunction</a></div><div class="ttdeci">bool isArgOfUncalledFunction(const SVFValue *svfval)</div><div class="ttdoc">Return true if this argument belongs to an uncalled function.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00403">SVFUtil.h:403</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae61030da4a84b5c9c47903804af9d107"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107">SVF::SVFIR::addBranchStmt</a></div><div class="ttdeci">BranchStmt * addBranchStmt(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec &amp;succs)</div><div class="ttdoc">Add BranchStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00186">SVFIR.cpp:186</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00350">SVFStatements.h:350</a></div></div>
@@ -821,7 +821,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</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_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00853">SVFValue.h:853</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00859">SVFValue.h:859</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a76964ef7d4842a469d7720881499d8a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">SVF::SVFVar::getIncomingEdges</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getIncomingEdges(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get incoming SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00148">SVFVariables.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyObjVar_html"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00708">SVFVariables.h:708</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a0814a6a71c4a8f08253bf16ad1ba5dc5"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5">SVF::SVFIR::addVariantGepStmt</a></div><div class="ttdeci">GepStmt * addVariantGepStmt(NodeID src, NodeID dst, const AccessPath &amp;ap)</div><div class="ttdoc">Add Variant(Gep) edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00365">SVFIR.cpp:365</a></div></div>

package/SVF-doxygen/html/html/SVFIR_8h_source.html

@@ -821,7 +821,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a86b36a618a56185809ad8aa92af80b60"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60">SVF::SVFIR::addDummyMemObj</a></div><div class="ttdeci">const MemObj * addDummyMemObj(NodeID i, const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00579">SVFIR.h:579</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a52bea4a99022b036104751cafa9152b1"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a52bea4a99022b036104751cafa9152b1">SVF::SVFIR::setModule</a></div><div class="ttdeci">void setModule(SVFModule *mod)</div><div class="ttdoc">Set/Get LLVM Module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00155">SVFIR.h:155</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a41abf665421dbfaef508b1eba0c91fb9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR::phiNodeMap</a></div><div class="ttdeci">PHINodeMap phiNodeMap</div><div class="ttdoc">A set of phi copy edges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00086">SVFIR.h:86</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a32f7ac512aa8d34923dabfe0f0867fca"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">SVF::SVFIR::CSToArgsListMap</a></div><div class="ttdeci">Map&lt; const CallICFGNode *, SVFVarList &gt; CSToArgsListMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00061">SVFIR.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_af298651d6ef2030ca13ae6a9db622eb4"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR::addValNode</a></div><div class="ttdeci">NodeID addValNode(const SVFValue *, SVFVar *node, NodeID i)</div><div class="ttdoc">Add a value (pointer) node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00602">SVFIR.h:602</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_a685f1a8a35aa5dc9c298e3b0e2ccf007"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">SVF::IRGraph::addNode</a></div><div class="ttdeci">NodeID addNode(SVFVar *node, NodeID i)</div><div class="ttdoc">Add a node into the graph.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00069">IRGraph.h:69</a></div></div>

package/SVF-doxygen/html/html/SVFModule_8cpp_source.html

@@ -144,10 +144,10 @@ $(function() {
 <div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">svfModule</a> = <span class="keyword">nullptr</span>;</div>
 <div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00073">SVFModule.h:73</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_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00217">SVFModule.h:217</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</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_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00216">SVFModule.h:216</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</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_1SVFModule_html_a0438953758cecab4ebe1b48895639eb8"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule::SVFModule</a></div><div class="ttdeci">SVFModule()=default</div><div class="ttdoc">Constructors.</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_afdb11f5fcbb6e7ed2689e3387bb78850"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule::getSVFFunction</a></div><div class="ttdeci">const SVFFunction * getSVFFunction(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00048">SVFModule.cpp:48</a></div></div>
@@ -158,18 +158,18 @@ $(function() {
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00150">SVFValue.h:150</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_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00789">SVFValue.h:789</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00795">SVFValue.h:795</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a545633e2d7f103b4983b47d4e1c56823"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">SVF::SVFModule::releaseSVFModule</a></div><div class="ttdeci">static void releaseSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00069">SVFModule.cpp:69</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_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
 <div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
 <div class="ttc" id="aSVFStat_8h_html"><div class="ttname"><a href="SVFStat_8h.html">SVFStat.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_af4d921a3a0e5374188f7b6a6427c049d"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#af4d921a3a0e5374188f7b6a6427c049d">SVF::ThreadAPI::destroy</a></div><div class="ttdeci">static void destroy()</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00111">ThreadAPI.h:111</a></div></div>
 <div class="ttc" id="aSymbolTableInfo_8h_html"><div class="ttname"><a href="SymbolTableInfo_8h.html">SymbolTableInfo.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00071">SVFModule.h:71</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab930bb5449538c4d0da1297a103788a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">SVF::SVFModule::getSVFModule</a></div><div class="ttdeci">static SVFModule * getSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00060">SVFModule.cpp:60</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00065">SVFModule.h:65</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/SVFModule_8h.html

@@ -73,7 +73,6 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <div class="textblock"><code>#include &quot;<a class="el" href="SVFValue_8h_source.html">SVFIR/SVFValue.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="ExtAPI_8h_source.html">Util/ExtAPI.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="NodeIDAllocator_8h_source.html">Util/NodeIDAllocator.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="ThreadAPI_8h_source.html">Util/ThreadAPI.h</a>&quot;</code><br />
 </div>