svf-tools 1.0.811 → 1.0.813

package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html

@@ -265,8 +265,8 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
 <div class="ttc" id="aPAGBuilderFromFile_8h_html"><div class="ttname"><a href="PAGBuilderFromFile_8h.html">PAGBuilderFromFile.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_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#l00606">SVFStatements.h:606</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#l00546">SVFStatements.h:546</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#l00605">SVFStatements.h:605</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#l00545">SVFStatements.h:545</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_1AccessPath_html"><div class="ttname"><a href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00052">AccessPath.h:52</a></div></div>
 <div class="ttc" id="aPAGBuilderFromFile_8cpp_html_a1af3947dbaf1ad4364bc4818f70ead40"><div class="ttname"><a href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">gepNodeNumIndex</a></div><div class="ttdeci">static u32_t gepNodeNumIndex</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilderFromFile_8cpp_source.html#l00038">PAGBuilderFromFile.cpp:38</a></div></div>

package/SVF-doxygen/html/RelationSolver_8cpp_source.html

@@ -305,15 +305,15 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_aa36598cc7299b8d1f1868532722d84e3"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#aa36598cc7299b8d1f1868532722d84e3">SVF::RelationSolver::gamma_hat</a></div><div class="ttdeci">Z3Expr gamma_hat(IntervalExeState &amp;exeState)</div><div class="ttdoc">Return Z3Expr according to valToValMap.</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00187">RelationSolver.cpp:187</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_a5514dd057977686097cf314154748a25"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25">SVF::RelationSolver::beta</a></div><div class="ttdeci">IntervalExeState beta(Map&lt; u32_t, double &gt; &amp;sigma, IntervalExeState &amp;exeState)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00226">RelationSolver.cpp:226</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00133">IntervalExeState.h:133</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00127">IntervalExeState.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
 <div class="ttc" id="aRelationSolver_8h_html"><div class="ttname"><a href="RelationSolver_8h.html">RelationSolver.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00055">IntervalExeState.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a46ef74cd1412790b088f1d7320f57a9f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState::joinWith</a></div><div class="ttdeci">void joinWith(const IntervalExeState &amp;other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00114">IntervalExeState.cpp:114</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00122">IntervalExeState.h:122</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00203">IntervalExeState.h:203</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00116">IntervalExeState.h:116</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00206">IntervalExeState.h:206</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_a36745d41af6b42d6133765c1b91a20e4"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4">SVF::RelationSolver::bilateral</a></div><div class="ttdeci">IntervalExeState bilateral(IntervalExeState domain, Z3Expr phi, u32_t descend_check=0)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00033">RelationSolver.cpp:33</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_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>

package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html

@@ -1327,7 +1327,7 @@ $(function() {
 <div class="line"><a name="l01256"></a><span class="lineno"> 1256</span>&#160;{</div>
 <div class="line"><a name="l01257"></a><span class="lineno"> 1257</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
 <div class="line"><a name="l01258"></a><span class="lineno"> 1258</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &amp;ap, fldIdx);</div>
-<div class="line"><a name="l01259"></a><span class="lineno"> 1259</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &amp;ap, offsetVarAndGepTypePairs);</div>
+<div class="line"><a name="l01259"></a><span class="lineno"> 1259</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &amp;ap, idxOperandPairs);</div>
 <div class="line"><a name="l01260"></a><span class="lineno"> 1260</span>&#160;    <span class="keywordflow">return</span> root;</div>
 <div class="line"><a name="l01261"></a><span class="lineno"> 1261</span>&#160;}</div>
 <div class="line"><a name="l01262"></a><span class="lineno"> 1262</span>&#160; </div>
@@ -1937,7 +1937,7 @@ $(function() {
 <div class="line"><a name="l01866"></a><span class="lineno"> 1866</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354">jsonIsObject</a>(obj), <span class="stringliteral">&quot;Expected obj for AccessPath&quot;</span>);</div>
 <div class="line"><a name="l01867"></a><span class="lineno"> 1867</span>&#160;    obj = obj-&gt;<a class="code" href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">child</a>;</div>
 <div class="line"><a name="l01868"></a><span class="lineno"> 1868</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a>(obj, &amp;ap, fldIdx);</div>
-<div class="line"><a name="l01869"></a><span class="lineno"> 1869</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a>(obj, &amp;ap, offsetVarAndGepTypePairs);</div>
+<div class="line"><a name="l01869"></a><span class="lineno"> 1869</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a>(obj, &amp;ap, idxOperandPairs);</div>
 <div class="line"><a name="l01870"></a><span class="lineno"> 1870</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(!obj, <span class="stringliteral">&quot;Extra field &quot;</span> &lt;&lt; <a class="code" href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a>(obj) &lt;&lt; <span class="stringliteral">&quot; in AccessPath&quot;</span>);</div>
 <div class="line"><a name="l01871"></a><span class="lineno"> 1871</span>&#160;}</div>
 <div class="line"><a name="l01872"></a><span class="lineno"> 1872</span>&#160; </div>
@@ -2675,7 +2675,7 @@ $(function() {
 <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#l01923">SVFFileSystem.cpp:1923</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#l00749">SVFStatements.h:749</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#l00748">SVFStatements.h:748</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#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>
@@ -2703,16 +2703,16 @@ $(function() {
 <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#l01091">SVFValue.h:1091</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#l00817">SVFStatements.h:817</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#l00816">SVFStatements.h:816</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#l01118">SVFValue.h:1118</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#l01049">SVFValue.h:1049</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#l00606">SVFStatements.h:606</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#l00605">SVFStatements.h:605</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#l00872">SVFStatements.h:872</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#l00871">SVFStatements.h:871</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>
@@ -2729,7 +2729,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#l01020">SVFFileSystem.cpp:1020</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#l00546">SVFStatements.h:546</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#l00545">SVFStatements.h:545</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#l00202">SVFValue.h:202</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>
@@ -2744,14 +2744,14 @@ $(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#l00192">SVFValue.h:192</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#l01226">SVFStatements.h:1226</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#l01225">SVFStatements.h:1225</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#l00190">SVFValue.h:190</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#l00838">SVFFileSystem.cpp:838</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#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#l00937">SVFFileSystem.cpp:937</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#l00958">SVFStatements.h:958</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#l00957">SVFStatements.h:957</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#l00480">SymbolTableInfo.h:480</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#l00874">SVFFileSystem.cpp:874</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#l00527">SVFValue.h:527</a></div></div>
@@ -2826,7 +2826,7 @@ $(function() {
 <div class="ttc" id="aextapi_8c_html_aa7d767d03ce3929978c28f64e3a4b222"><div class="ttname"><a href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">strtoul</a></div><div class="ttdeci">unsigned long int strtoul(const char *str, char **endptr, int base)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l00868">extapi.c:868</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#l00667">SVFStatements.h:667</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#l00666">SVFStatements.h:666</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>
@@ -2843,7 +2843,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#l00859">SVFFileSystem.cpp:859</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 SVFValues (e.g., SVFInstruction) 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#l01028">SVFStatements.h:1028</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#l01027">SVFStatements.h:1027</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#l00097">SVFIR.h:97</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>
@@ -2883,13 +2883,13 @@ $(function() {
 <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#l01657">SVFFileSystem.cpp:1657</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#l01185">SVFStatements.h:1185</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#l01184">SVFStatements.h:1184</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#l01128">SVFValue.h:1128</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#l00843">SVFFileSystem.cpp:843</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#l01095">SVFStatements.h:1095</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#l01094">SVFStatements.h:1094</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#l01947">SVFFileSystem.cpp:1947</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>

package/SVF-doxygen/html/SVFFileSystem_8h_source.html

@@ -1369,7 +1369,7 @@ $(function() {
 <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="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#l01923">SVFFileSystem.cpp:1923</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#l00749">SVFStatements.h:749</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#l00748">SVFStatements.h:748</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_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>
@@ -1397,15 +1397,15 @@ $(function() {
 <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#l01091">SVFValue.h:1091</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#l00817">SVFStatements.h:817</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#l00816">SVFStatements.h:816</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_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#l01049">SVFValue.h:1049</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#l00606">SVFStatements.h:606</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#l00605">SVFStatements.h:605</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#l00872">SVFStatements.h:872</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#l00871">SVFStatements.h:871</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a5ffe6cb527e45fcd7626c972cebb9d36"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a5ffe6cb527e45fcd7626c972cebb9d36">SVF::WriterPtrPool::getID</a></div><div class="ttdeci">size_t getID(const T *ptr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00239">SVFFileSystem.h:239</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</a></div></div>
 <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>
@@ -1425,7 +1425,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a75dcf9f3ecdcc65151566e9f6e296eea"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea">SVF::SVFIRReader::createICFGNode</a></div><div class="ttdeci">static ICFGNode * createICFGNode(NodeID id, GNodeK type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01586">SVFFileSystem.cpp:1586</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
 <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#l01020">SVFFileSystem.cpp:1020</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#l00546">SVFStatements.h:546</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#l00545">SVFStatements.h:545</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>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_a9cc37ac09c3c95aa7aa664d668319a76"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a9cc37ac09c3c95aa7aa664d668319a76">SVF::ReaderIDToObjMap::getPtr</a></div><div class="ttdeci">T * getPtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00713">SVFFileSystem.h:713</a></div></div>
@@ -1437,7 +1437,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a47a1ef8b67b0c92f78b4457dc3bbfe71"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">SVF::GenericGraph::IDToNodeMap</a></div><div class="ttdeci">IDToNodeMapTy IDToNodeMap</div><div class="ttdoc">node map</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00452">GenericGraph.h:452</a></div></div>
 <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_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#l01226">SVFStatements.h:1226</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#l01225">SVFStatements.h:1225</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_ab47d82a98973b27bf635c0bd3acb7163"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#ab47d82a98973b27bf635c0bd3acb7163">SVF::ReaderPtrPool::size</a></div><div class="ttdeci">size_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00808">SVFFileSystem.h:808</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#l00838">SVFFileSystem.cpp:838</a></div></div>
@@ -1445,7 +1445,7 @@ $(function() {
 <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_1ReaderIDToObjMap_html_a3ed6e858fd91ec6cf14361b55dec55b4"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4">SVF::ReaderIDToObjMap::idMap</a></div><div class="ttdeci">IDToPairMapTy idMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00689">SVFFileSystem.h:689</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#l00937">SVFFileSystem.cpp:937</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#l00958">SVFStatements.h:958</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#l00957">SVFStatements.h:957</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#l00480">SymbolTableInfo.h:480</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#l00874">SVFFileSystem.cpp:874</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#l00527">SVFValue.h:527</a></div></div>
@@ -1517,7 +1517,7 @@ $(function() {
 <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#l00424">SVFStatements.h:424</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#l00864">SVFFileSystem.cpp:864</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_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#l00667">SVFStatements.h:667</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#l00666">SVFStatements.h:666</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_ae642f198426715ff000f48fa421d97d6"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6">SVF::WriterPtrPool::end</a></div><div class="ttdeci">auto end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00283">SVFFileSystem.h:283</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_1WriterPtrPool_html_af6d1ceb994f5b33cfac7fbcac5b3bdd0"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#af6d1ceb994f5b33cfac7fbcac5b3bdd0">SVF::WriterPtrPool::size</a></div><div class="ttdeci">size_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00268">SVFFileSystem.h:268</a></div></div>
@@ -1538,7 +1538,7 @@ $(function() {
 <div class="ttc" id="aGenericGraph_8h_html"><div class="ttname"><a href="GenericGraph_8h.html">GenericGraph.h</a></div></div>
 <div class="ttc" id="aWPA_2CMakeLists_8txt_html_acb857077b5bb0b1d50ed7b3864b3b6cf"><div class="ttname"><a href="WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf">set</a></div><div class="ttdeci">set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa SvfLLVM $</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="aclassSVF_1_1SVFIRReader_html_a8a816d551a84c8f8bd08d4bba7d52a7b"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a8a816d551a84c8f8bd08d4bba7d52a7b">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">std::enable_if_t&lt; SVFUtil::is_sequence_container_v&lt; C &gt; &gt; readJson(const cJSON *obj, C &amp;container)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01187">SVFFileSystem.h:1187</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#l01028">SVFStatements.h:1028</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#l01027">SVFStatements.h:1027</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a83f1038208acd0f7f5ac90a51fd494e5"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5">SVF::SVFIRReader::GEdgeFlag</a></div><div class="ttdeci">GenericEdge&lt; void &gt;::GEdgeFlag GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01069">SVFFileSystem.h:1069</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>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2fbc96de5f066469c2739229307bcc0c"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph::edgeNum</a></div><div class="ttdeci">u32_t edgeNum</div><div class="ttdoc">total num of node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00455">GenericGraph.h:455</a></div></div>
@@ -1579,12 +1579,12 @@ $(function() {
 <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#l01657">SVFFileSystem.cpp:1657</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#l01185">SVFStatements.h:1185</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#l01184">SVFStatements.h:1184</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_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#l00843">SVFFileSystem.cpp:843</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#l01095">SVFStatements.h:1095</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#l01094">SVFStatements.h:1094</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_1ReaderIDToObjMap_html_ae81aaaaf1c3bb461ff2929e79fd8c8f2"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2">SVF::ReaderIDToObjMap::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *idObjArrayJson, IdObjCreator idObjCreator)</div><div class="ttdoc">idObjcreator : (const cJSON*) -&gt; (id, T*) with id set</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00694">SVFFileSystem.h:694</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#l01947">SVFFileSystem.cpp:1947</a></div></div>