svf-tools 1.0.749 → 1.0.751

package/SVF-doxygen/html/html/SVFBugReport_8h_source.html

@@ -532,7 +532,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_abbc86875488c27e53e5c36e95c472b20"><div class="ttname"><a href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug::getLoc</a></div><div class="ttdeci">const std::string getLoc() const</div><div class="ttdoc">returns bug location as json format string</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00049">SVFBugReport.cpp:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecac"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug::BugType</a></div><div class="ttdeci">BugType</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugReport_html_a7dbf4adc013615567b33b6e293b61c8e"><div class="ttname"><a href="classSVF_1_1SVFBugReport.html#a7dbf4adc013615567b33b6e293b61c8e">SVF::SVFBugReport::getBugSet</a></div><div class="ttdeci">const BugSet &amp; getBugSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00397">SVFBugReport.h:397</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#l01098">SVFValue.h:1098</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#l01069">SVFValue.h:1069</a></div></div>
 <div class="ttc" id="aSVFBugReport_8h_html_aae8a01dec6f65eaf27a03f4e063d92f8"><div class="ttname"><a href="SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8">EVENTTYPEMASK</a></div><div class="ttdeci">#define EVENTTYPEMASK</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00041">SVFBugReport.h:41</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_afad49e3f62083345138932ffadf567dd"><div class="ttname"><a href="classSVF_1_1GenericBug.html#afad49e3f62083345138932ffadf567dd">SVF::GenericBug::getFuncName</a></div><div class="ttdeci">const std::string getFuncName() const</div><div class="ttdoc">return bug source function name</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00056">SVFBugReport.cpp:56</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_abf85e29310b2e4df8925d00a5c081314"><div class="ttname"><a href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">SVF::Loop</a></div><div class="ttdeci">llvm::Loop Loop</div><div class="ttdoc">LLVM Loop.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00138">BasicTypes.h:138</a></div></div>
@@ -552,7 +552,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FilePartialCloseBug_html_a16b96f3c79cf5edae0f0f02e52344283"><div class="ttname"><a href="classSVF_1_1FilePartialCloseBug.html#a16b96f3c79cf5edae0f0f02e52344283">SVF::FilePartialCloseBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00215">SVFBugReport.cpp:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBugEvent_html"><div class="ttname"><a href="classSVF_1_1SVFBugEvent.html">SVF::SVFBugEvent</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00051">SVFBugReport.h:51</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_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#l00595">SVFValue.h:595</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#l00587">SVFValue.h:587</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="aclassSVF_1_1PartialNullPtrDereferenceBug_html_a910f2e839e1e722655fbb2266c15f136"><div class="ttname"><a href="classSVF_1_1PartialNullPtrDereferenceBug.html#a910f2e839e1e722655fbb2266c15f136">SVF::PartialNullPtrDereferenceBug::getBugDescription</a></div><div class="ttdeci">cJSON * getBugDescription() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8cpp_source.html#l00265">SVFBugReport.cpp:265</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2">SVF::GenericBug::PARTIALBUFOVERFLOW</a></div><div class="ttdeci">@ PARTIALBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>

package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html

@@ -2649,7 +2649,7 @@ $(function() {
 <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#l00257">SVFType.h:257</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#l00347">SVFStatements.h:347</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00350">SVFStatements.h:350</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aecae8cb1f180e463d94c68e5a63a1176"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176">SVF::SVFIRWriter::jsonAddJsonableToObject</a></div><div class="ttdeci">bool jsonAddJsonableToObject(cJSON *obj, const char *name, const T &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00636">SVFFileSystem.h:636</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html">SVF::SVFLoopAndDomInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00050">SVFValue.h:50</a></div></div>
@@ -2660,16 +2660,16 @@ $(function() {
 <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_1SymbolTableInfo_html_aeab14702eabde827923a692cba8f7f8a"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a">SVF::SymbolTableInfo::objMap</a></div><div class="ttdeci">IDToMemMapTy objMap</div><div class="ttdoc">map a memory sym id to its obj</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00086">SymbolTableInfo.h:86</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#l00868">SVFFileSystem.cpp:868</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#l00310">SVFStatements.h:310</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_1NodeIDAllocator_html_a44420802f9db288515ee09771c3edd4d"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator::strategy</a></div><div class="ttdeci">enum Strategy strategy</div><div class="ttdoc">Strategy to allocate with.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00103">NodeIDAllocator.h:103</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#l00665">SVFValue.h:665</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#l00655">SVFValue.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00217">SVFModule.h:217</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c">SVF::CHEdge::INHERITANCE</a></div><div class="ttdeci">@ INHERITANCE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00086">CHG.h:86</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a525269da9931bad82b243376a6015392"><div class="ttname"><a href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a></div><div class="ttdeci">#define JSON_READ_FIELD_FWD(json, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00091">SVFFileSystem.h:91</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae46f4cf64824aa037447540ad60b239c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader::virtFill</a></div><div class="ttdeci">void virtFill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01918">SVFFileSystem.cpp:1918</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00734">SVFStatements.h:734</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00737">SVFStatements.h:737</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a57f9be13188a6cd53b30489f791e40d3"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3">SVF::ICFGNode::VFGNodes</a></div><div class="ttdeci">VFGNodeList VFGNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00140">ICFGNode.h:140</a></div></div>
 <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#l00167">SVFValue.h:167</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>
@@ -2692,21 +2692,21 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_af6ed00dc51796c4162157ac174fc2a1a"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#af6ed00dc51796c4162157ac174fc2a1a">SVF::SVFIRWriter::genericEdgeToJson</a></div><div class="ttdeci">cJSON * genericEdgeToJson(const GenericEdge&lt; NodeTy &gt; *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00550">SVFFileSystem.h:550</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aa7c88a48d18d052895733771f2ad9e2d"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">SVF::SVFIRWriter::contentToJson</a></div><div class="ttdeci">cJSON * contentToJson(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00307">SVFFileSystem.cpp:307</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aba5c3c3b62687a28301e9c65555e57f9"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">SVF::SVFIRWriter::icfgWriter</a></div><div class="ttdeci">ICFGWriter icfgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00385">SVFFileSystem.h:385</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00908">SVFValue.h:908</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00893">SVFValue.h:893</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a3b65d8dd2f9077c4036304ea0ca474ef"><div class="ttname"><a href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a></div><div class="ttdeci">#define ABORT_IFNOT(condition, reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00039">SVFFileSystem.h:39</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_ab09fa674af96a107ac14306eae021381"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#ab09fa674af96a107ac14306eae021381">SVF::GenericGraphReader::getNodePtr</a></div><div class="ttdeci">NodeTy * getNodePtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00865">SVFFileSystem.h:865</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFMetadataAsValue_html"><div class="ttname"><a href="classSVF_1_1SVFMetadataAsValue.html">SVF::SVFMetadataAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01074">SVFValue.h:1074</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00802">SVFStatements.h:802</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFMetadataAsValue_html"><div class="ttname"><a href="classSVF_1_1SVFMetadataAsValue.html">SVF::SVFMetadataAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01047">SVFValue.h:1047</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00805">SVFStatements.h:805</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a5df00a28f394187fee526a96a4065a78"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool::getPool</a></div><div class="ttdeci">const std::vector&lt; const T * &gt; &amp; getPool() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00263">SVFFileSystem.h:263</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_afce6ca7086e086be62013bc2b90b34bc"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#afce6ca7086e086be62013bc2b90b34bc">SVF::SVFModuleReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01023">SVFFileSystem.h:1023</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01103">SVFValue.h:1103</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a3de20fdb58def4ea6af2d635f0d2e730"><div class="ttname"><a href="classSVF_1_1CallSite.html#a3de20fdb58def4ea6af2d635f0d2e730">SVF::CallSite::CB</a></div><div class="ttdeci">const SVFCallInst * CB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01074">SVFValue.h:1074</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html">SVF::GenericGraphWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00041">GenericGraph.h:41</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBlackHoleValue_html"><div class="ttname"><a href="classSVF_1_1SVFBlackHoleValue.html">SVF::SVFBlackHoleValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01028">SVFValue.h:1028</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBlackHoleValue_html"><div class="ttname"><a href="classSVF_1_1SVFBlackHoleValue.html">SVF::SVFBlackHoleValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01005">SVFValue.h:1005</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_afde5c619f31577b3d821b56b23953c85"><div class="ttname"><a href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a></div><div class="ttdeci">cJSON_Delete(null)</div></div>
-<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00591">SVFStatements.h:591</a></div></div>
+<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00594">SVFStatements.h:594</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepValVar_html"><div class="ttname"><a href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00380">SVFVariables.h:380</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00857">SVFStatements.h:857</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00860">SVFStatements.h:860</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa006007c2108ee3b1bf1f9087ef9a4e8"><div class="ttname"><a href="namespaceSVF.html#aa006007c2108ee3b1bf1f9087ef9a4e8">SVF::createSVFType</a></div><div class="ttdeci">SVFType * createSVFType(SVFType::GNodeK kind, bool isSingleValTy)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00017">SVFFileSystem.cpp:17</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>
@@ -2723,7 +2723,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01019">SVFFileSystem.cpp:1019</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a3413fe5c29e073bcd13263a9e0c43f63"><div class="ttname"><a href="SVFFileSystem_8h.html#a3413fe5c29e073bcd13263a9e0c43f63">JSON_DEF_READ_FWD</a></div><div class="ttdeci">#define JSON_DEF_READ_FWD(json, type, obj,...)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00088">SVFFileSystem.h:88</a></div></div>
 <div class="ttc" id="astructcJSON_html_a4b21817d0fd2919901abadac73214e7f"><div class="ttname"><a href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">cJSON::valuedouble</a></div><div class="ttdeci">double valuedouble</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00119">cJSON.h:119</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00531">SVFStatements.h:531</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00534">SVFStatements.h:534</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue::SVFMetaAsValue</a></div><div class="ttdeci">@ SVFMetaAsValue</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00175">SVFValue.h:175</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
@@ -2738,18 +2738,18 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea0cd1a3ddb49c00f3302e9010d73301e5">SVF::SVFValue::SVFCall</a></div><div class="ttdeci">@ SVFCall</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00165">SVFValue.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_afbf5fa1e02e79e41c726e2be221cb63b"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#afbf5fa1e02e79e41c726e2be221cb63b">SVF::SymbolTableInfoReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00926">SVFFileSystem.h:926</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01211">SVFStatements.h:1211</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01214">SVFStatements.h:1214</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4">SVF::SVFValue::SVFBB</a></div><div class="ttdeci">@ SVFBB</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00163">SVFValue.h:163</a></div></div>
 <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#l00837">SVFFileSystem.cpp:837</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#l00739">SVFValue.h:739</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#l00729">SVFValue.h:729</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#l00248">SVFType.h:248</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#l00936">SVFFileSystem.cpp:936</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#l00943">SVFStatements.h:943</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#l00946">SVFStatements.h:946</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#l00473">SymbolTableInfo.h:473</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ac5eca7590f00f9cff8824ec739042e0c"><div class="ttname"><a href="namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c">SVF::jsonUnpackPair</a></div><div class="ttdeci">std::pair&lt; const cJSON *, const cJSON * &gt; jsonUnpackPair(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00873">SVFFileSystem.cpp:873</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
-<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#l00383">SVFStatements.h:383</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00484">SVFValue.h:484</a></div></div>
+<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#l00386">SVFStatements.h:386</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#l00150">SVFValue.h:150</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#l00385">SVFType.h:385</a></div></div>
@@ -2778,7 +2778,7 @@ $(function() {
 <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#l00171">SVFValue.h:171</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#l00221">SVFModule.h:221</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#l00410">SVFType.h:410</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#l00799">SVFValue.h:799</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00789">SVFValue.h:789</a></div></div>
 <div class="ttc" id="aclassSVF_1_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#l00098">SVFIR.h:98</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>
@@ -2793,17 +2793,17 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ab03b02b315c4ccb0e0fbb2591f221d61"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ab03b02b315c4ccb0e0fbb2591f221d61">SVF::SVFIRReader::read</a></div><div class="ttdeci">static SVFIR * read(const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l02534">SVFFileSystem.cpp:2534</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_a679145e7bf818b0a19005dc8e2845fe1"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">SVF::IRGraph::symInfo</a></div><div class="ttdeci">SymbolTableInfo * symInfo</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00066">IRGraph.h:66</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad830126d4921871b42fc81efbe456509"><div class="ttname"><a href="namespaceSVF.html#ad830126d4921871b42fc81efbe456509">SVF::jsonIsBool</a></div><div class="ttdeci">bool jsonIsBool(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00811">SVFFileSystem.cpp:811</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00274">SVFValue.h:274</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#l01052">SVFValue.h:1052</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
+<div class="ttc" id="aclassSVF_1_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#l01027">SVFValue.h:1027</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#l00255">SVFType.h:255</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#l01602">SVFFileSystem.cpp:1602</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#l00939">SVFValue.h:939</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00975">SVFValue.h:975</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#l00922">SVFValue.h:922</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00956">SVFValue.h:956</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00405">Casting.h:405</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00049">GenericGraph.h:49</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00823">SVFValue.h:823</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00812">SVFValue.h:812</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a1e568e5b4a081aad92e86646f419413c"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c">SVF::SVFIRWriter::autoCStr</a></div><div class="ttdeci">std::unique_ptr&lt; char, decltype(&amp;cJSON_free)&gt; autoCStr</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00393">SVFFileSystem.h:393</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a8c3c95bd6414e7960ccfd878132749ec"><div class="ttname"><a href="SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec">CHECK_JSON_KEY</a></div><div class="ttdeci">#define CHECK_JSON_KEY(obj)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00096">SVFFileSystem.h:96</a></div></div>
@@ -2815,18 +2815,18 @@ $(function() {
 <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_a30d1c3675b87f06ba8a58a010ae55fec"><div class="ttname"><a href="SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec">READ_CREATE_EDGE_FWD</a></div><div class="ttdeci">#define READ_CREATE_EDGE_FWD(GType)</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a0dbb50e2c4a8806a741e0c4173c445b8"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8">SVF::SVFIRReader::irGraphReader</a></div><div class="ttdeci">IRGraphReader irGraphReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01040">SVFFileSystem.h:1040</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00420">SVFStatements.h:420</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00423">SVFStatements.h:423</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ac6a83809ca246bc7a33de3da6b4a4354"><div class="ttname"><a href="namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354">SVF::jsonIsObject</a></div><div class="ttdeci">bool jsonIsObject(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00863">SVFFileSystem.cpp:863</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html"><div class="ttname"><a href="classSVF_1_1SVFLoop.html">SVF::SVFLoop</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00038">SVFLoop.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_a8cf553cd07768aad3f3b91bf3d7c6228"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator::Strategy</a></div><div class="ttdeci">Strategy</div><div class="ttdoc">Allocation strategy to use.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00027">NodeIDAllocator.h:27</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00652">SVFStatements.h:652</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00655">SVFStatements.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html"><div class="ttname"><a href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00050">IRGraph.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</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="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aab50fec943a00c96155d395d514febe7"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">SVF::SVFIRWriter::chgWriter</a></div><div class="ttdeci">CHGraphWriter chgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00386">SVFFileSystem.h:386</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a6400335a26214622331a4a4a6ad07f76"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76">SVF::SVFModuleReader::stInfoPool</a></div><div class="ttdeci">ReaderPtrPool&lt; StInfo &gt; stInfoPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00977">SVFFileSystem.h:977</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a6ccb0162ab03a48af19fb84ca0d1c555"><div class="ttname"><a href="namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555">SVF::jsonCreateBool</a></div><div class="ttdeci">cJSON * jsonCreateBool(bool flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00925">SVFFileSystem.cpp:925</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_a419967124e957d001909ef99082ebdad"><div class="ttname"><a href="SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad">CASE</a></div><div class="ttdeci">#define CASE(Kind)</div></div>
-<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#l00457">SVFStatements.h:457</a></div></div>
+<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#l00460">SVFStatements.h:460</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#l00253">SVFType.h:253</a></div></div>
@@ -2836,7 +2836,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a6a3370bf787b65503cf69802da14cbac"><div class="ttname"><a href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">SVF::jsonIsMap</a></div><div class="ttdeci">bool jsonIsMap(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00858">SVFFileSystem.cpp:858</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_a412c24cf17c977b9337eca9d25a0ec0d"><div class="ttname"><a href="classSVF_1_1ICFG.html#a412c24cf17c977b9337eca9d25a0ec0d">SVF::ICFG::getIcfgNodeToSVFLoopVec</a></div><div class="ttdeci">const ICFGNodeToSVFLoopVec &amp; getIcfgNodeToSVFLoopVec() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00145">ICFG.h:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01013">SVFStatements.h:1013</a></div></div>
+<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01016">SVFStatements.h:1016</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a499ce9b5ddc1be98376f5a5791b38c86"><div class="ttname"><a href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00032">SVFFileSystem.h:32</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a8bfa675eed3c60a21134faa8e0b9e6b9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR::svfModule</a></div><div class="ttdeci">SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00096">SVFIR.h:96</a></div></div>
 <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>
@@ -2851,7 +2851,7 @@ $(function() {
 <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#l00357">SVFType.h:357</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#l01098">SVFValue.h:1098</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#l01069">SVFValue.h:1069</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_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#l00931">SVFFileSystem.cpp:931</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>
@@ -2871,18 +2871,18 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a2bbb4e38ce3eb2c43b7f01cb240df9c8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8">SVF::SVFIRWriter::writeJsonToPath</a></div><div class="ttdeci">static void writeJsonToPath(const SVFIR *svfir, const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01004">SVFFileSystem.cpp:1004</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a337b37b2d78cfaa756f44dee76fb187f"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f">SVF::GenericGraphReader::saveToGenericGraph</a></div><div class="ttdeci">void saveToGenericGraph(GenericGraph&lt; NodeTy, EdgeTy &gt; *graph) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00886">SVFFileSystem.h:886</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AssignStmt_html"><div class="ttname"><a href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00234">SVFStatements.h:234</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html"><div class="ttname"><a href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00237">SVFStatements.h:237</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae38a6f1a2c930fb1136be280c4aa35f4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4">SVF::SVFIRReader::createPAGNode</a></div><div class="ttdeci">static SVFVar * createPAGNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01632">SVFFileSystem.cpp:1632</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a786c202edf78de73d6f0996f06bd8106"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106">SVF::SVFIRReader::createPAGEdge</a></div><div class="ttdeci">static SVFStmt * createPAGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01654">SVFFileSystem.cpp:1654</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a29c813df947df665d068fabe7b1fe919"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a29c813df947df665d068fabe7b1fe919">SVF::GenericGraphReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *graphJson, NodeCreator nodeCreator, EdgeCreator edgeCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00833">SVFFileSystem.h:833</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01170">SVFStatements.h:1170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01173">SVFStatements.h:1173</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html"><div class="ttname"><a href="classSVF_1_1GenericNode.html">SVF::GenericNode</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00141">GenericGraph.h:141</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01084">SVFValue.h:1084</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0e12ffecb37a42d766522dc65da481e6"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">SVF::SVFModuleWriter::sizeSVFValuePool</a></div><div class="ttdeci">size_t sizeSVFValuePool() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00373">SVFFileSystem.h:373</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00842">SVFFileSystem.cpp:842</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01080">SVFStatements.h:1080</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01083">SVFStatements.h:1083</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a90d3d01ab67b64e88f6548ed3e172f8c"><div class="ttname"><a href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a></div><div class="ttdeci">#define JSON_WRITE_FIELD(root, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00067">SVFFileSystem.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a32576e92aefc3da7d6c0c38dd8060f74"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01942">SVFFileSystem.cpp:1942</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPN_html"><div class="ttname"><a href="classSVF_1_1RetPN.html">SVF::RetPN</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00580">SVFVariables.h:580</a></div></div>
@@ -2894,14 +2894,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_af5d3ac82ce9e4dbd72b5ed07e18c790f"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#af5d3ac82ce9e4dbd72b5ed07e18c790f">SVF::SVFModuleReader::getSVFTypePtr</a></div><div class="ttdeci">SVFType * getSVFTypePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01014">SVFFileSystem.h:1014</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_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#l00866">SVFValue.h:866</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00853">SVFValue.h:853</a></div></div>
 <div class="ttc" id="aclassSVF_1_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#l00476">SVFType.h:476</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#l00890">SVFFileSystem.cpp:890</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</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#l00595">SVFValue.h:595</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#l00587">SVFValue.h:587</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="anamespaceSVF_html_a94a4cec5b3ee29a335590943ae30fd65"><div class="ttname"><a href="namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65">SVF::jsonCreateMap</a></div><div class="ttdeci">cJSON * jsonCreateMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00906">SVFFileSystem.cpp:906</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>
@@ -2919,7 +2919,7 @@ $(function() {
 <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#l00097">SVFIR.h:97</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#l01004">SVFValue.h:1004</a></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#l00983">SVFValue.h:983</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#l00256">SVFType.h:256</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#l00998">SVFFileSystem.cpp:998</a></div></div>