svf-tools 1.0.874 → 1.0.875

package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html

@@ -2649,7 +2649,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_af8fdaaa03cd2ae9b7d50f57bc678b8ba"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo::mod</a></div><div class="ttdeci">SVFModule * mod</div><div class="ttdoc">Module.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00092">SymbolTableInfo.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGWriter_html_a79f4edaff02404f518ffeaeab136c0a9"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9">SVF::ICFGWriter::svfLoopPool</a></div><div class="ttdeci">WriterPtrPool&lt; SVFLoop &gt; svfLoopPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00331">SVFFileSystem.h:331</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ac9bc0a9e085bace3fcd2e92b6d418dab"><div class="ttname"><a href="namespaceSVF.html#ac9bc0a9e085bace3fcd2e92b6d418dab">SVF::readBigNumber</a></div><div class="ttdeci">static void readBigNumber(const cJSON *obj, BigNumberType &amp;val, CStrToVal conv)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00100">SVFFileSystem.cpp:100</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00258">SVFType.h:258</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00172">SVFType.h:172</a></div></div>
 <div class="ttc" id="astructcJSON_html_ad43f8de2571e504c4c5ce0a36990e6e1"><div class="ttname"><a href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON::valuestring</a></div><div class="ttdeci">char * valuestring</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00115">cJSON.h:115</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#l00364">SVFStatements.h:364</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9810ce9b0ce6c4f8f710e81ec8d08ec3"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9810ce9b0ce6c4f8f710e81ec8d08ec3">SVF::SVFIRWriter::genericGraphToJson</a></div><div class="ttdeci">cJSON * genericGraphToJson(const GenericGraph&lt; NodeTy, EdgeTy &gt; *graph, const std::vector&lt; const EdgeTy * &gt; &amp;edgePool)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00560">SVFFileSystem.h:560</a></div></div>
@@ -2676,14 +2676,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVF::SVFValue::SVFGlob</a></div><div class="ttdeci">@ SVFGlob</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00194">SVFValue.h:194</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00358">SVFType.h:358</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00272">SVFType.h:272</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_ab3710363e551435141f18a1f74ce8022"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022">SVF::ICFGReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00962">SVFFileSystem.h:962</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVF::SVFValue::SVFNullPtr</a></div><div class="ttdeci">@ SVFNullPtr</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00200">SVFValue.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eab88017aa421080f4f7a033b2fa37f9ca">SVF::SVFValue::SVFConstData</a></div><div class="ttdeci">@ SVFConstData</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00197">SVFValue.h:197</a></div></div>
 <div class="ttc" id="astructcJSON_html_aa6b47e9a4b0e0a26f519b1a2b6739983"><div class="ttname"><a href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">cJSON::string</a></div><div class="ttdeci">char * string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00122">cJSON.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00169">SVFType.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea6dc72702914085c82deb38699b5a6f66">SVF::SVFValue::SVFConst</a></div><div class="ttdeci">@ SVFConst</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00196">SVFValue.h:196</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0598a4c2af139b600a44360849933c38"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38">SVF::SVFModuleWriter::getSVFValueID</a></div><div class="ttdeci">size_t getSVFValueID(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00357">SVFFileSystem.h:357</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#l00066">BasicTypes.h:66</a></div></div>
@@ -2746,7 +2746,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_ad522d9c637abd8bfce92d2d0a565584b"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b">SVF::GenericGraphReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00876">SVFFileSystem.h:876</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00836">SVFFileSystem.cpp:836</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVirtualCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFVirtualCallInst.html">SVF::SVFVirtualCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00773">SVFValue.h:773</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a503a35534b72dbea065816f42ebfa9f0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">SVF::SVFType::GNodeK</a></div><div class="ttdeci">s64_t GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00249">SVFType.h:249</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a503a35534b72dbea065816f42ebfa9f0"><div class="ttname"><a href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">SVF::SVFType::GNodeK</a></div><div class="ttdeci">s64_t GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00163">SVFType.h:163</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a5f83b548002232dc7590f37a3351ad56"><div class="ttname"><a href="namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56">SVF::jsonAddPairToMap</a></div><div class="ttdeci">bool jsonAddPairToMap(cJSON *obj, cJSON *key, cJSON *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00935">SVFFileSystem.cpp:935</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00970">SVFStatements.h:970</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00478">SymbolTableInfo.h:478</a></div></div>
@@ -2755,10 +2755,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00400">SVFStatements.h:400</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</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#l00177">SVFValue.h:177</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00405">SVFType.h:405</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</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_1ICFGWriter_html_a7c041629b3863525ded06ffe7d971940"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">SVF::ICFGWriter::getSvfLoopID</a></div><div class="ttdeci">size_t getSvfLoopID(const SVFLoop *loop)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00336">SVFFileSystem.h:336</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00463">SVFType.h:463</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00377">SVFType.h:377</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea46330181ad60cd2f0766fb392063ee21">SVF::SVFValue::SVFArg</a></div><div class="ttdeci">@ SVFArg</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00195">SVFValue.h:195</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
@@ -2773,14 +2773,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html"><div class="ttname"><a href="classSVF_1_1CHEdge.html">SVF::CHEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVF::SVFValue::SVFConstFP</a></div><div class="ttdeci">@ SVFConstFP</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00199">SVFValue.h:199</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_af86d67ef511b844e11a7d4f20756385c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c">SVF::SVFIRReader::symTableReader</a></div><div class="ttdeci">SymbolTableInfoReader symTableReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01037">SVFFileSystem.h:1037</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00020">NodeIDAllocator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00046">SVFType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVF::SVFValue::SVFConstInt</a></div><div class="ttdeci">@ SVFConstInt</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00198">SVFValue.h:198</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00220">SVFModule.h:220</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00430">SVFType.h:430</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</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#l00833">SVFValue.h:833</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a31c54c878be428cc92cf08970fef422b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a31c54c878be428cc92cf08970fef422b">SVF::SVFIR::chgraph</a></div><div class="ttdeci">CommonCHGraph * chgraph</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00099">SVFIR.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_a59f46288e7dad3ba31d106faeca277ef"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef">SVF::ICFGReader::getSVFLoopPtr</a></div><div class="ttdeci">SVFLoop * getSVFLoopPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00956">SVFFileSystem.h:956</a></div></div>
@@ -2799,7 +2799,7 @@ $(function() {
 <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#l00297">SVFValue.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01071">SVFValue.h:1071</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a7f9d7bb88e4f98f71f542d01107878e4"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">SVF::SVFIRWriter::numToStrMap</a></div><div class="ttdeci">OrderedMap&lt; size_t, std::string &gt; numToStrMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00389">SVFFileSystem.h:389</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00170">SVFType.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a2b97dbcdea2f61bc83268cf8e7ecb87d"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d">SVF::SVFIRReader::createICFGEdge</a></div><div class="ttdeci">static ICFGEdge * createICFGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01603">SVFFileSystem.cpp:1603</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIObjVar_html"><div class="ttname"><a href="classSVF_1_1FIObjVar.html">SVF::FIObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00529">SVFVariables.h:529</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00966">SVFValue.h:966</a></div></div>
@@ -2833,7 +2833,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00474">SVFStatements.h:474</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00108">CHG.h:108</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a1010789a76d87c974d168b0cb9c8ce8b"><div class="ttname"><a href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a></div><div class="ttdeci">#define FIELD_NAME_ITEM(field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00061">SVFFileSystem.h:61</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00168">SVFType.h:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a785e48ae09bf607a41efe7fd66615af4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4">SVF::SVFIRReader::createCHEdge</a></div><div class="ttdeci">static CHEdge * createCHEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01627">SVFFileSystem.cpp:1627</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a68729347f89307b71fa97475883c6741"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">static void readJson(const cJSON *obj, bool &amp;flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01526">SVFFileSystem.cpp:1526</a></div></div>
@@ -2845,17 +2845,17 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aef21822272ff9a57cdeb4a8b7a326047"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter::virtToJson</a></div><div class="ttdeci">cJSON * virtToJson(const SVFType *type)</div><div class="ttdoc">Parameter types of these functions are all pointers. When they are used as arguments of toJson(),...</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00150">SVFFileSystem.cpp:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a58ac14decda4041e773d723475f5c1c8"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8">SVF::CHEdge::edgeType</a></div><div class="ttdeci">CHEDGETYPE edgeType</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00104">CHG.h:104</a></div></div>
 <div class="ttc" id="aclassOption_html"><div class="ttname"><a href="classOption.html">Option&lt; bool &gt;</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00167">SVFType.h:167</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_aaa8ecb5b12d426a8d33cd51819ab2789"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">SVF::GenericGraphWriter::edgePool</a></div><div class="ttdeci">WriterPtrPool&lt; EdgeType &gt; edgePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00299">SVFFileSystem.h:299</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a26bb57669d2bb947d96d0e0d93ae40e1"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1">SVF::SVFIRReader::createCHNode</a></div><div class="ttdeci">static CHNode * createCHNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01621">SVFFileSystem.cpp:1621</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_1ICFGWriter_html_af1e7410c278b429e8466afc8bd8551be"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter::ICFGWriter</a></div><div class="ttdeci">ICFGWriter(const ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00955">SVFFileSystem.cpp:955</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01398">SVFFileSystem.cpp:1398</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00377">SVFType.h:377</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00291">SVFType.h:291</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a5057eb1d6b5f4d91556e6649e1d9e0fe"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe">SVF::SVFIRReader::GNodeK</a></div><div class="ttdeci">GenericNode&lt; int, GenericEdge&lt; void &gt; &gt;::GNodeK GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01068">SVFFileSystem.h:1068</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00058">SVFType.h:58</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a227df58e5596fd7d0bea2aff76f9966e"><div class="ttname"><a href="namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e">SVF::jsonCreateNumber</a></div><div class="ttdeci">cJSON * jsonCreateNumber(double num)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00930">SVFFileSystem.cpp:930</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a6492c9b80d1cc03732297c38f8a41408"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a6492c9b80d1cc03732297c38f8a41408">SVF::SVFIRWriter::genericNodeToJson</a></div><div class="ttdeci">cJSON * genericNodeToJson(const GenericNode&lt; NodeTy, EdgeTy &gt; *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00539">SVFFileSystem.h:539</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00852">SVFFileSystem.cpp:852</a></div></div>
@@ -2901,7 +2901,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a4fbb8ea4b4796d10d13c027b7455505c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo::symInfo</a></div><div class="ttdeci">static SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00089">SymbolTableInfo.h:89</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#l00897">SVFValue.h:897</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_a0bf60f2250c864592c507dd6b03800a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader::memObjMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; MemObj &gt; memObjMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00905">SVFFileSystem.h:905</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00503">SVFType.h:503</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</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="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00889">SVFFileSystem.cpp:889</a></div></div>
@@ -2920,16 +2920,16 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a8145cbd243e0604582ae86408d0a2477"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a8145cbd243e0604582ae86408d0a2477">SVF::SVFModuleReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *svfModuleJson, SVFTypeCreator typeCreator, SVFTypeFiller typeFiller, SVFValueCreator valueCreator, SVFValueFiller valueFiller, StInfoCreator stInfoCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00984">SVFFileSystem.h:984</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VarArgPN_html"><div class="ttname"><a href="classSVF_1_1VarArgPN.html">SVF::VarArgPN</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00624">SVFVariables.h:624</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_a67e85749e539ea34146b197668a4ea64"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">SVF::NodeIDAllocator::allocator</a></div><div class="ttdeci">static NodeIDAllocator * allocator</div><div class="ttdoc">Single allocator.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00112">NodeIDAllocator.h:112</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00259">SVFType.h:259</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00173">SVFType.h:173</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a997a5339fcb177556819b2e27b17b424"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424">SVF::SVFIRWriter::irGraphWriter</a></div><div class="ttdeci">IRGraphWriter irGraphWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00387">SVFFileSystem.h:387</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abe8aa0d325b35dd59ce4a7f302760e51"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">SVF::SVFIR::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdoc">SVF Module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00098">SVFIR.h:98</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ad9bbbc9c38a358d29b606dcf38c851ad"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad">READ_CREATE_NODE_FWD</a></div><div class="ttdeci">#define READ_CREATE_NODE_FWD(GType)</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstantNullPtr_html"><div class="ttname"><a href="classSVF_1_1SVFConstantNullPtr.html">SVF::SVFConstantNullPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01027">SVFValue.h:1027</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00171">SVFType.h:171</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_ad1da745e0f65a6a3f8d45730e4458dee"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee">SVF::SymbolTableInfoReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *symTabJson, MemObjCreator memObjCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00914">SVFFileSystem.h:914</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &amp;os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00997">SVFFileSystem.cpp:997</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdeci">@ IntraCF</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00055">ICFGEdge.h:55</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="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="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aCHG_8h_html"><div class="ttname"><a href="CHG_8h.html">CHG.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00148">ICFGNode.h:148</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>

package/SVF-doxygen/html/SVFFileSystem_8h.html

@@ -838,7 +838,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="aWPA_2CMakeLists_8txt_html_a5b660868031b6dee85d01fea51ef09a5"><div class="ttname"><a href="WPA_2CMakeLists_8txt.html#a5b660868031b6dee85d01fea51ef09a5">set</a></div><div class="ttdeci">set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) add_llvm_executable(wpa wpa.cpp) target_link_libraries(wpa PUBLIC $</div><div class="ttdef"><b>Definition:</b> <a href="WPA_2CMakeLists_8txt_source.html#l00001">CMakeLists.txt:1</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</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="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream &amp; errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/SVFFileSystem_8h_source.html

@@ -1362,7 +1362,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a8da8ebe9e599e8319f737d168978ae4d"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a8da8ebe9e599e8319f737d168978ae4d">SVF::GenericGraphReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00893">SVFFileSystem.h:893</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_a949ead8b0a9e2d345475977239ca6f3d"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">SVF::GenericGraphWriter::getEdgeID</a></div><div class="ttdeci">size_t getEdgeID(const EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00318">SVFFileSystem.h:318</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a7a3246f7158330ed49088205610e042f"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f">SVF::WriterPtrPool::ptrPool</a></div><div class="ttdeci">std::vector&lt; const T * &gt; ptrPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00236">SVFFileSystem.h:236</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00110">SVFType.h:110</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3060ffb002828b1b5843e9fe424e8546"><div class="ttname"><a href="namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546">SVF::jsonKeyEquals</a></div><div class="ttdeci">bool jsonKeyEquals(const cJSON *item, const char *key)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00867">SVFFileSystem.cpp:867</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00699">SVFValue.h:699</a></div></div>
@@ -1373,13 +1373,13 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a2993c4358d71036440325001163731fe"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe">SVF::SVFModuleReader::svfValuePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFValue &gt; svfValuePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00978">SVFFileSystem.h:978</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00358">SVFType.h:358</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00272">SVFType.h:272</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_ab3710363e551435141f18a1f74ce8022"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#ab3710363e551435141f18a1f74ce8022">SVF::ICFGReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller, LoopFiller loopFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00962">SVFFileSystem.h:962</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a9bdfb249850cf22d6c91db7716007e53"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a9bdfb249850cf22d6c91db7716007e53">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">std::enable_if_t&lt; SVFUtil::is_set_v&lt; C &gt; &gt; readJson(const cJSON *obj, C &amp;set)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01217">SVFFileSystem.h:1217</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a99162b81da24cf79d1252c18573038d4"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4">SVF::WriterPtrPool::saveID</a></div><div class="ttdeci">void saveID(const T *ptr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00252">SVFFileSystem.h:252</a></div></div>
 <div class="ttc" id="astructcJSON_html_aa6b47e9a4b0e0a26f519b1a2b6739983"><div class="ttname"><a href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">cJSON::string</a></div><div class="ttdeci">char * string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00122">cJSON.h:122</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aeb9b5aab2ab7ad316c0dabc36175f856"><div class="ttname"><a href="namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856">SVF::KindBaseT</a></div><div class="ttdeci">typename KindBaseHelper&lt; T &gt;::type KindBaseT</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00680">SVFFileSystem.h:680</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0598a4c2af139b600a44360849933c38"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38">SVF::SVFModuleWriter::getSVFValueID</a></div><div class="ttdeci">size_t getSVFValueID(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00357">SVFFileSystem.h:357</a></div></div>
@@ -1411,7 +1411,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_aacc90f507b22088c54b78013683bf6c8"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8">SVF::ReaderIDToObjMap&lt; SVFVar &gt;::IDToPairMapTy</a></div><div class="ttdeci">OrderedMap&lt; unsigned, std::pair&lt; const cJSON *, SVFVar * &gt; &gt; IDToPairMapTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00688">SVFFileSystem.h:688</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a63bdba43ccb01eef8ceb8a9c8dbe5c7f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f">SVF::SVFIRWriter::autoJSON</a></div><div class="ttdeci">std::unique_ptr&lt; cJSON, decltype(&amp;cJSON_Delete)&gt; autoJSON</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00392">SVFFileSystem.h:392</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="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00053">SVFType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00048">GeneralType.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a2414da27b56b86d2e6266693c66963cd"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd">SVF::SVFIRReader::svfModuleReader</a></div><div class="ttdeci">SVFModuleReader svfModuleReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01036">SVFFileSystem.h:1036</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html">SVF::ReaderIDToObjMap</a></div><div class="ttdoc">Keeps a map from IDs to T objects, such as XXNode.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00685">SVFFileSystem.h:685</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
@@ -1453,10 +1453,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00400">SVFStatements.h:400</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa554326050f1e921449b560d94b7bb07"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader::applyEdgeMask</a></div><div class="ttdeci">static s64_t applyEdgeMask(u64_t edgeFlag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01056">SVFFileSystem.h:1056</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#l00177">SVFValue.h:177</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00405">SVFType.h:405</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</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_1ICFGWriter_html_a7c041629b3863525ded06ffe7d971940"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">SVF::ICFGWriter::getSvfLoopID</a></div><div class="ttdeci">size_t getSvfLoopID(const SVFLoop *loop)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00336">SVFFileSystem.h:336</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00463">SVFType.h:463</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00377">SVFType.h:377</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a639af670465f6cbe4fe75b3188a66129"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a639af670465f6cbe4fe75b3188a66129">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">void readJson(const cJSON *obj, const T *&amp;cptr)</div><div class="ttdoc">Read a const pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01155">SVFFileSystem.h:1155</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ad37880353cffc950d5b9417bc41c0b06"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06">SVF::SVFUtil::void_t</a></div><div class="ttdeci">typename make_void&lt; Ts... &gt;::type void_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00631">SVFUtil.h:631</a></div></div>
@@ -1467,12 +1467,12 @@ $(function() {
 <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_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html"><div class="ttname"><a href="classSVF_1_1CHEdge.html">SVF::CHEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html"><div class="ttname"><a href="classSVF_1_1SVFType.html">SVF::SVFType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00156">SVFType.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_af86d67ef511b844e11a7d4f20756385c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c">SVF::SVFIRReader::symTableReader</a></div><div class="ttdeci">SymbolTableInfoReader symTableReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01037">SVFFileSystem.h:1037</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html">SVF::NodeIDAllocator</a></div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00020">NodeIDAllocator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00046">SVFType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00430">SVFType.h:430</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00344">SVFType.h:344</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#l00833">SVFValue.h:833</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_a59f46288e7dad3ba31d106faeca277ef"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef">SVF::ICFGReader::getSVFLoopPtr</a></div><div class="ttdeci">SVFLoop * getSVFLoopPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00956">SVFFileSystem.h:956</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html">SVF::IntraICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00180">ICFGNode.h:180</a></div></div>
@@ -1551,7 +1551,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01398">SVFFileSystem.cpp:1398</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
 <div class="ttc" id="astructSVF_1_1KindBaseHelper_html"><div class="ttname"><a href="structSVF_1_1KindBaseHelper.html">SVF::KindBaseHelper</a></div><div class="ttdoc">Type trait to get base type. Helper struct to detect inheritance from Node/Edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00657">SVFFileSystem.h:657</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00377">SVFType.h:377</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00291">SVFType.h:291</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a29cab1426b0000bd87c026ab8c9979c0"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">SVF::GenericGraph::getTotalEdgeNum</a></div><div class="ttdeci">u32_t getTotalEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00437">GenericGraph.h:437</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html">SVF::SVFModuleReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00970">SVFFileSystem.h:970</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a5057eb1d6b5f4d91556e6649e1d9e0fe"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe">SVF::SVFIRReader::GNodeK</a></div><div class="ttdeci">GenericNode&lt; int, GenericEdge&lt; void &gt; &gt;::GNodeK GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01068">SVFFileSystem.h:1068</a></div></div>
@@ -1600,16 +1600,16 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html">SVF::ReaderPtrPool</a></div><div class="ttdoc">Reverse of WriterPtrPool where T is object type without ID field.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00752">SVFFileSystem.h:752</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aa1f446e93750580dce04a127231dd1a3"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">SVF::GenericEdge::edgeFlag</a></div><div class="ttdeci">GEdgeFlag edgeFlag</div><div class="ttdoc">edge kind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00066">GenericGraph.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_a0bf60f2250c864592c507dd6b03800a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader::memObjMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; MemObj &gt; memObjMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00905">SVFFileSystem.h:905</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00503">SVFType.h:503</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</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="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00889">SVFFileSystem.cpp:889</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a1c984678ff0cd9b33a01caf11352d533"><div class="ttname"><a href="SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533">jsonForEach</a></div><div class="ttdeci">#define jsonForEach(field, array)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00226">SVFFileSystem.h:226</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a599d699f1a1dcb576d33cb40142c6db8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">SVF::SVFIRWriter::svfIR</a></div><div class="ttdeci">const SVFIR * svfIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00382">SVFFileSystem.h:382</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a8db477eba6a3886e63dfd13cfabd5c8d"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d">SVF::SVFModuleReader::svfTypePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFType &gt; svfTypePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00976">SVFFileSystem.h:976</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_ab24ead498f61498c68a726f1b192936d"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#ab24ead498f61498c68a726f1b192936d">SVF::SVFModuleReader::getSVFValuePtr</a></div><div class="ttdeci">SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01010">SVFFileSystem.h:1010</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a34a1f3ef61f57ec72a6c202d7a0eaa51"><div class="ttname"><a href="namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51">SVF::jsonIsNullId</a></div><div class="ttdeci">bool jsonIsNullId(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00846">SVFFileSystem.cpp:846</a></div></div>
@@ -1629,7 +1629,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_ad1da745e0f65a6a3f8d45730e4458dee"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee">SVF::SymbolTableInfoReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *symTabJson, MemObjCreator memObjCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00914">SVFFileSystem.h:914</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &amp;os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00997">SVFFileSystem.cpp:997</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</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="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="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_ac9d7d0ab898033282898731a6092efaa"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#ac9d7d0ab898033282898731a6092efaa">SVF::GenericGraphWriter::GenericGraphWriter</a></div><div class="ttdeci">GenericGraphWriter(const GraphType *graph)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00302">SVFFileSystem.h:302</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00148">ICFGNode.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa1100e216d94eb445f59125e94815fd7"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7">SVF::SVFIRReader::icfgReader</a></div><div class="ttdeci">ICFGReader icfgReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01038">SVFFileSystem.h:1038</a></div></div>

package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html

@@ -193,7 +193,7 @@ $(function() {
 <div class="ttc" id="aSVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00111">Options.h:111</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_a47591192260ddc3ff0717430f127cc95"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95">SVF::SVFGBuilder::build</a></div><div class="ttdeci">SVFG * build(BVDataPTAImpl *pta, VFG::VFGK kind)</div><div class="ttdoc">Create a DDA SVFG. By default actualOut and FormalIN are removed, unless withAOFI is set true.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00064">SVFGBuilder.cpp:64</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00490">SVFType.h:490</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">SVF::VFG::VFGK</a></div><div class="ttdeci">VFGK</div><div class="ttdoc">VFG kind.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00055">VFG.h:55</a></div></div>
 <div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00570">SVFType.h:570</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00484">SVFType.h:484</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">SVF::VFG::PTRONLYSVFG</a></div><div class="ttdeci">@ PTRONLYSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa">SVF::VFG::FULLSVFG</a></div><div class="ttdeci">@ FULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>

package/SVF-doxygen/html/SVFGEdge_8h_source.html

@@ -283,7 +283,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html_ac749c96247b6070479ccd597266c1d84"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html#ac749c96247b6070479ccd597266c1d84">SVF::IntraIndSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const IndirectSVFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00106">SVFGEdge.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallIndSVFGEdge_html_a9da25118e904862eb1f39231c2b191bd"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const CallIndSVFGEdge *)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00141">SVFGEdge.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallIndSVFGEdge_html_a3742b87170e0b48edc71ffdd6e5350aa"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">SVF::CallIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00136">SVFGEdge.h:136</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</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#l00066">BasicTypes.h:66</a></div></div>
 <div class="ttc" id="aVFGEdge_8h_html"><div class="ttname"><a href="VFGEdge_8h.html">VFGEdge.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html_a54de415e46849515629ace05fe2afed4"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html#a54de415e46849515629ace05fe2afed4">SVF::IntraIndSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00114">SVFGEdge.h:114</a></div></div>
@@ -320,7 +320,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html_ad123c668b35ad004f3897565ac69c054"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html#ad123c668b35ad004f3897565ac69c054">SVF::IntraIndSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const VFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00110">SVFGEdge.h:110</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html_a62352957241f7ac5faba6b502d0ed0f1"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a62352957241f7ac5faba6b502d0ed0f1">SVF::IndirectSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00079">SVFGEdge.h:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdeci">@ TheadMHPIndirectVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00059">SVFType.h:59</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraIndSVFGEdge.html">SVF::IntraIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00094">SVFGEdge.h:94</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html_a6d40ccc9b99aec6515c2ef1df5a7b18f"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f">SVF::IndirectSVFGEdge::IndirectSVFGEdge</a></div><div class="ttdeci">IndirectSVFGEdge(VFGNode *s, VFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00051">SVFGEdge.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadMHPIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadMHPIndSVFGEdge.html">SVF::ThreadMHPIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00206">SVFGEdge.h:206</a></div></div>

package/SVF-doxygen/html/SVFGNode_8h_source.html

@@ -621,7 +621,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRSVFGNode_html_ae09658fbaa1061a4c5bea1b326bb2870"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#ae09658fbaa1061a4c5bea1b326bb2870">SVF::MRSVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00044">SVFG.cpp:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraMSSAPHISVFGNode_html_a885dabe57bcf57d10dbdb40fd658b075"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#a885dabe57bcf57d10dbdb40fd658b075">SVF::IntraMSSAPHISVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00391">SVFGNode.h:391</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00124">SVFType.h:124</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00119">GeneralType.h:119</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00159">GenericGraph.h:159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalINSVFGNode_html_a0601031e01d4e7e4f086d5a4cc7b1321"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321">SVF::FormalINSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00096">SVFGNode.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraMSSAPHISVFGNode_html_abe0faa3d40bf16ac0937324035d3323d"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">SVF::IntraMSSAPHISVFGNode::IntraMSSAPHISVFGNode</a></div><div class="ttdeci">IntraMSSAPHISVFGNode(NodeID id, const MRVer *resVer)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00354">SVFGNode.h:354</a></div></div>
@@ -665,12 +665,12 @@ $(function() {
 <div class="ttc" id="aSVFGEdge_8h_html"><div class="ttname"><a href="SVFGEdge_8h.html">SVFGEdge.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode::FPOUT</a></div><div class="ttdeci">@ FPOUT</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1InterMSSAPHISVFGNode_html_a62c0f4f98a42fe65f1dd570ec277b13f"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f">SVF::InterMSSAPHISVFGNode::classof</a></div><div class="ttdeci">static bool classof(const InterMSSAPHISVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00437">SVFGNode.h:437</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdeci">@ MIntraPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyVersionPropSVFGNode_html_aab2e783b23dcf4120e31986863e5888c"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#aab2e783b23dcf4120e31986863e5888c">SVF::DummyVersionPropSVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00127">SVFG.cpp:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_a476ef9fb19b3da1149945f9fe27cd9f1"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a476ef9fb19b3da1149945f9fe27cd9f1">SVF::ActualINSVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00216">SVFGNode.h:216</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraMSSAPHISVFGNode_html_ada532ff4ffbd7592ae1b89b1e234ba21"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#ada532ff4ffbd7592ae1b89b1e234ba21">SVF::IntraMSSAPHISVFGNode::classof</a></div><div class="ttdeci">static bool classof(const MSSAPHISVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00379">SVFGNode.h:379</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="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="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_aa92b36228a6f42496984cfea32f3415c"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00200">SVFGNode.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalOUTSVFGNode_html_a45b1aafb8a2464c868c5249b37e9ff0a"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a">SVF::FormalOUTSVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00068">SVFG.cpp:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00287">SVFGNode.h:287</a></div></div>