svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html

@@ -252,7 +252,7 @@ Protected Member Functions</h2></td></tr>
 <tr class="memdesc:a19ab6f6df2a67b294268cfe7f4287fd7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether it is some path reachable from a source.  <a href="classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7">More...</a><br /></td></tr>
 <tr class="separator:a19ab6f6df2a67b294268cfe7f4287fd7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acae985068ff1c20fb81c4c9ba730aaba"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">dumpSlices</a> ()</td></tr>
-<tr class="memdesc:acae985068ff1c20fb81c4c9ba730aaba"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> with annotated slice informaiton.  <a href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">More...</a><br /></td></tr>
+<tr class="memdesc:acae985068ff1c20fb81c4c9ba730aaba"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> with annotated slice information.  <a href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">More...</a><br /></td></tr>
 <tr class="separator:acae985068ff1c20fb81c4c9ba730aaba"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8817604b20724703121e9466e5cdb4cd"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd">annotateSlice</a> (<a class="el" href="classSVF_1_1ProgSlice.html">ProgSlice</a> *slice)</td></tr>
 <tr class="separator:a8817604b20724703121e9466e5cdb4cd"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1083,7 +1083,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Dump <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> with annotated slice informaiton. </p>
+<p>Dump <a class="el" href="classSVF_1_1SVFG.html">SVFG</a> with annotated slice information. </p>
 
 <p class="definition">Definition at line <a class="el" href="SrcSnkDDA_8cpp_source.html#l00294">294</a> of file <a class="el" href="SrcSnkDDA_8cpp_source.html">SrcSnkDDA.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;{</div>
@@ -2647,7 +2647,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a5a4b7f34001cc90f9b60222caee1bde6"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">SVF::ProgSlice::inForwardSlice</a></div><div class="ttdeci">bool inForwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00092">ProgSlice.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphReachSolver_html_a0298a692295a8a4eae32ab151aa6ccc3"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3">SVF::GraphReachSolver::setGraph</a></div><div class="ttdeci">void setGraph(GraphType g)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00078">GraphReachSolver.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ContextCond_html_a92e89bbae0f31bb9eb971ab3edcc8071"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071">SVF::ContextCond::setMaxCxtLen</a></div><div class="ttdeci">static void setMaxCxtLen(u32_t max)</div><div class="ttdoc">set max context limit</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00265">DPItem.h:265</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_acae985068ff1c20fb81c4c9ba730aaba"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">SVF::SrcSnkDDA::dumpSlices</a></div><div class="ttdeci">void dumpSlices()</div><div class="ttdoc">Dump SVFG with annotated slice informaiton.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00294">SrcSnkDDA.cpp:294</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SrcSnkDDA_html_acae985068ff1c20fb81c4c9ba730aaba"><div class="ttname"><a href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">SVF::SrcSnkDDA::dumpSlices</a></div><div class="ttdeci">void dumpSlices()</div><div class="ttdoc">Dump SVFG with annotated slice information.</div><div class="ttdef"><b>Definition:</b> <a href="SrcSnkDDA_8cpp_source.html#l00294">SrcSnkDDA.cpp:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_aed4bedc716a3e252e44a6f28e677d61c"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c">SVF::ProgSlice::backwardSliceEnd</a></div><div class="ttdeci">SVFGNodeSetIter backwardSliceEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00112">ProgSlice.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ProgSlice_html_a397632ce0c523c4a54c5dc578606d14d"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">SVF::ProgSlice::setReachGlobal</a></div><div class="ttdeci">bool setReachGlobal()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00148">ProgSlice.h:148</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1StInfo.html

@@ -114,13 +114,13 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:aae0736a5e99b11571af52e28500a6f9c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field index and element index and their corresponding type.  <a href="classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c">More...</a><br /></td></tr>
 <tr class="separator:aae0736a5e99b11571af52e28500a6f9c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">setNumOfFieldsAndElems</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> nf, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> ne)</td></tr>
-<tr class="memdesc:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set number of fields and elements of an aggrate.  <a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">More...</a><br /></td></tr>
+<tr class="memdesc:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set number of fields and elements of an aggregate.  <a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">More...</a><br /></td></tr>
 <tr class="separator:a1a07c2b1415c29d7d70791c6dfe602a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a518c82138fcadc6634980566c1c0f762"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">getNumOfFlattenElements</a> () const</td></tr>
-<tr class="memdesc:a518c82138fcadc6634980566c1c0f762"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return number of elements after flattenning (including array elements)  <a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">More...</a><br /></td></tr>
+<tr class="memdesc:a518c82138fcadc6634980566c1c0f762"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return number of elements after flattening (including array elements)  <a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">More...</a><br /></td></tr>
 <tr class="separator:a518c82138fcadc6634980566c1c0f762"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae5fad367673315da57a604e64b5889f0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">getNumOfFlattenFields</a> () const</td></tr>
-<tr class="memdesc:ae5fad367673315da57a604e64b5889f0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the number of fields after flattenning (ignoring array elements)  <a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">More...</a><br /></td></tr>
+<tr class="memdesc:ae5fad367673315da57a604e64b5889f0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the number of fields after flattening (ignoring array elements)  <a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">More...</a><br /></td></tr>
 <tr class="separator:ae5fad367673315da57a604e64b5889f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af5094ec542f345d214a682d4138cf690"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690">getStride</a> () const</td></tr>
 <tr class="memdesc:af5094ec542f345d214a682d4138cf690"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the stride.  <a href="classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690">More...</a><br /></td></tr>
@@ -142,10 +142,10 @@ Private Attributes</h2></td></tr>
 <tr class="memitem:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a></td></tr>
 <tr class="separator:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a></td></tr>
-<tr class="memdesc:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of elements after flattenning (including array elements)  <a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">More...</a><br /></td></tr>
+<tr class="memdesc:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of elements after flattening (including array elements)  <a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">More...</a><br /></td></tr>
 <tr class="separator:a7aa5b5018b4dec4913eb6aecf25568a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa9b4e659f4a4421aadf736a3de24ca50"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a></td></tr>
-<tr class="memdesc:aa9b4e659f4a4421aadf736a3de24ca50"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of fields after flattenning (ignoring array elements)  <a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">More...</a><br /></td></tr>
+<tr class="memdesc:aa9b4e659f4a4421aadf736a3de24ca50"><td class="mdescLeft">&#160;</td><td class="mdescRight">number of fields after flattening (ignoring array elements)  <a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">More...</a><br /></td></tr>
 <tr class="separator:aa9b4e659f4a4421aadf736a3de24ca50"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab99748a89da80812bbf6ffde768d7246"><td class="memItemLeft" align="right" valign="top">std::vector&lt; const <a class="el" href="classSVF_1_1SVFType.html">SVFType</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246">flattenElementTypes</a></td></tr>
 <tr class="memdesc:ab99748a89da80812bbf6ffde768d7246"><td class="mdescLeft">&#160;</td><td class="mdescRight">Type vector of fields.  <a href="classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246">More...</a><br /></td></tr>
@@ -584,7 +584,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Return number of elements after flattenning (including array elements) </p>
+<p>Return number of elements after flattening (including array elements) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00225">225</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    {</div>
@@ -616,7 +616,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Return the number of fields after flattenning (ignoring array elements) </p>
+<p>Return the number of fields after flattening (ignoring array elements) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00231">231</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    {</div>
@@ -745,7 +745,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Set number of fields and elements of an aggrate. </p>
+<p>Set number of fields and elements of an aggregate. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00218">218</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    {</div>
@@ -954,7 +954,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>number of elements after flattenning (including array elements) </p>
+<p>number of elements after flattening (including array elements) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00151">151</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
@@ -980,7 +980,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>number of fields after flattenning (ignoring array elements) </p>
+<p>number of fields after flattening (ignoring array elements) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00153">153</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
@@ -1016,13 +1016,13 @@ Friends</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00153">SVFType.h:153</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00153">SVFType.h:153</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; elemIdxVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00142">SVFType.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_ad64be5942408c143a34a4a0d7cff09da"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad64be5942408c143a34a4a0d7cff09da">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const SVFType * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00144">SVFType.h:144</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00139">SVFType.h:139</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_ab99748a89da80812bbf6ffde768d7246"><div class="ttname"><a href="classSVF_1_1StInfo.html#ab99748a89da80812bbf6ffde768d7246">SVF::StInfo::flattenElementTypes</a></div><div class="ttdeci">std::vector&lt; const SVFType * &gt; flattenElementTypes</div><div class="ttdoc">Type vector of fields.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00155">SVFType.h:155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00151">SVFType.h:151</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00151">SVFType.h:151</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_ae3dc579aa3688c607f279215372eef4f"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; const SVFType * &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00146">SVFType.h:146</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00149">SVFType.h:149</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html

@@ -648,7 +648,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a6c3d6b4c004d9e43690c3807502eed74 inherit pub_attribs_classSVF_1_1AndersenBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_static_attribs_classSVF_1_1AndersenBase"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1AndersenBase')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></td></tr>
 <tr class="memitem:a4acad18a6eb585ba9e3d2276dd591067 inherit pub_static_attribs_classSVF_1_1AndersenBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">numOfProcessedAddr</a> = 0</td></tr>
@@ -1830,10 +1830,10 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_a0dccd5cc44d4d56a035514e9251e70f6"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6">SVF::Steensgaard::nodeToECMap</a></div><div class="ttdeci">NodeToEquivClassMap nodeToECMap</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00135">Steensgaard.h:135</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_adbcb9af660ab9bb0202bd32342280486"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID id)</div><div class="ttdoc">Operation of points-to set.</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00072">Steensgaard.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_ae21e38a06a4397d11cdd17b0f8f282fd"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase::consCG</a></div><div class="ttdeci">ConstraintGraph * consCG</div><div class="ttdoc">Constraint Graph.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00323">SVFUtil.h:323</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a19b96a872d9096037f20e25122e469ea"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a></div><div class="ttdeci">bool isHeapAllocExtFunViaRet(const SVFFunction *fun)</div><div class="ttdoc">Return true if the call is a heap allocator/reallocator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00327">SVFUtil.h:327</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a19c1ed324f65f4cc58dd2fd21ed4a971"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">SVF::ConstraintNode::incomingAddrsBegin</a></div><div class="ttdeci">const_iterator incomingAddrsBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00181">ConsGNode.h:181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a93e70225ce9c55ca65ea9d5cf737206f"><div class="ttname"><a href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite::getType</a></div><div class="ttdeci">const SVFType * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01092">SVFValue.h:1092</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a93e70225ce9c55ca65ea9d5cf737206f"><div class="ttname"><a href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite::getType</a></div><div class="ttdeci">const SVFType * getType() const</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_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ae8ac9ad8e766b961c7ce06d7219f37af"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">SVF::ConstraintNode::incomingAddrsEnd</a></div><div class="ttdeci">const_iterator incomingAddrsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00185">ConsGNode.h:185</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_a881fe977f3a6fde223bd786121e35fcf"><div class="ttname"><a href="classSVF_1_1ICFG.html#a881fe977f3a6fde223bd786121e35fcf">SVF::ICFG::getRetICFGNode</a></div><div class="ttdeci">RetICFGNode * getRetICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00248">ICFG.cpp:248</a></div></div>
@@ -1876,15 +1876,15 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a2afb49f513c9534fd051117b59dc056b"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase::timeOfUpdateCallGraph</a></div><div class="ttdeci">static double timeOfUpdateCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00145">Andersen.h:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab1868f04de44f6fe1e9ac14f3d4ee56b"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode::const_iterator</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00045">ConsGNode.h:45</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="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</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#l01075">SVFValue.h:1075</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html_af2afffc0617d588a68fdfa4fcfd24b70"><div class="ttname"><a href="classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70">SVF::Steensgaard::getEC</a></div><div class="ttdeci">NodeID getEC(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00093">Steensgaard.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3145677c7a3763fc0d6aa7e21b264ab6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">SVF::SVFIR::getCallSiteRet</a></div><div class="ttdeci">const SVFVar * getCallSiteRet(const RetICFGNode *cs) const</div><div class="ttdoc">Get callsite return.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00290">SVFIR.h:290</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab77173aa8af6155b569f20ff0cdcec72"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode::getCopyOutEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getCopyOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00115">ConsGNode.h:115</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">SVF::PointerAnalysis::Steensgaard_WPA</a></div><div class="ttdeci">@ Steensgaard_WPA</div><div class="ttdoc">Steensgaard PTA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00071">PointerAnalysis.h:71</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph&lt; ConstraintNode, ConstraintEdge &gt;::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</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_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#l01090">SVFValue.h:1090</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a64939d7ecfd8e2cf862782954a56596b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR::SVFVarList</a></div><div class="ttdeci">std::vector&lt; const SVFVar * &gt; SVFVarList</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00058">SVFIR.h:58</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa79dba26cb34b40eee682713db299d5f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">SVF::SVFIR::callsiteHasRet</a></div><div class="ttdeci">bool callsiteHasRet(const RetICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00296">SVFIR.h:296</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html

@@ -151,7 +151,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html

@@ -105,7 +105,7 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:af889bd9b729182e20ca7598ad4167bb8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MSSACHI"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSACHI')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSACHI.html">SVF::MSSACHI&lt; Cond &gt;</a></td></tr>
 <tr class="memitem:af9ecdf852667bd23fe4805ba04c3e815 inherit pub_methods_classSVF_1_1MSSACHI"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">MSSACHI</a> (<a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18">CHITYPE</a> t, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m, Cond c)</td></tr>
-<tr class="memdesc:af9ecdf852667bd23fe4805ba04c3e815 inherit pub_methods_classSVF_1_1MSSACHI"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructer for <a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a>.  <a href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">More...</a><br /></td></tr>
+<tr class="memdesc:af9ecdf852667bd23fe4805ba04c3e815 inherit pub_methods_classSVF_1_1MSSACHI"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructor for <a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a>.  <a href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">More...</a><br /></td></tr>
 <tr class="separator:af9ecdf852667bd23fe4805ba04c3e815 inherit pub_methods_classSVF_1_1MSSACHI"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a01cdeb7ac96e0809d1d56c9da56c4b97 inherit pub_methods_classSVF_1_1MSSACHI"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSACHI.html#a01cdeb7ac96e0809d1d56c9da56c4b97">~MSSACHI</a> ()</td></tr>
 <tr class="separator:a01cdeb7ac96e0809d1d56c9da56c4b97 inherit pub_methods_classSVF_1_1MSSACHI"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -120,7 +120,7 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a9673994f9db94e23984b132d4b533304 inherit pub_methods_classSVF_1_1MSSACHI"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MSSADEF"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSADEF')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></td></tr>
 <tr class="memitem:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">MSSADEF</a> (<a class="el" href="classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18">DEFTYPE</a> t, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m)</td></tr>
-<tr class="memdesc:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructer for <a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a>.  <a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">More...</a><br /></td></tr>
+<tr class="memdesc:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructor for <a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a>.  <a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">More...</a><br /></td></tr>
 <tr class="separator:a1b1c7cbc293182a5ded43efa522990de inherit pub_methods_classSVF_1_1MSSADEF"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:add2262289cdad5d5e14c0082b40c45d9 inherit pub_methods_classSVF_1_1MSSADEF"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSADEF.html#add2262289cdad5d5e14c0082b40c45d9">~MSSADEF</a> ()</td></tr>
 <tr class="separator:add2262289cdad5d5e14c0082b40c45d9 inherit pub_methods_classSVF_1_1MSSADEF"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html

@@ -189,7 +189,7 @@ Static Public Member Functions</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
 Private Member Functions</h2></td></tr>
 <tr class="memitem:acbea1ddbde90259b668b21f80f56cfbb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">StoreStmt</a> ()</td></tr>
-<tr class="memdesc:acbea1ddbde90259b668b21f80f56cfbb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">More...</a><br /></td></tr>
+<tr class="memdesc:acbea1ddbde90259b668b21f80f56cfbb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">More...</a><br /></td></tr>
 <tr class="separator:acbea1ddbde90259b668b21f80f56cfbb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a22bc2f9290dfd7ade13ba63cc983ac42"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">StoreStmt</a> (const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> &amp;)</td></tr>
 <tr class="memdesc:a22bc2f9290dfd7ade13ba63cc983ac42"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">More...</a><br /></td></tr>
@@ -258,7 +258,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="memdesc:aff4c35109790daed3c6170c985153620 inherit pro_methods_classSVF_1_1AssignStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">More...</a><br /></td></tr>
 <tr class="separator:aff4c35109790daed3c6170c985153620 inherit pro_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a05751cd905e9b21a80d6144072fa97fb inherit pro_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">AssignStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:a05751cd905e9b21a80d6144072fa97fb inherit pro_methods_classSVF_1_1AssignStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor to create empty <a class="el" href="classSVF_1_1AssignStmt.html">AssignStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">More...</a><br /></td></tr>
+<tr class="memdesc:a05751cd905e9b21a80d6144072fa97fb inherit pro_methods_classSVF_1_1AssignStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor to create empty <a class="el" href="classSVF_1_1AssignStmt.html">AssignStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">More...</a><br /></td></tr>
 <tr class="separator:a05751cd905e9b21a80d6144072fa97fb inherit pro_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1SVFStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SVFStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td></tr>
 <tr class="memitem:a4f4159567121416cbe78d124f5c6a8b6 inherit pro_methods_classSVF_1_1SVFStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
@@ -299,7 +299,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Constructs empty <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00393">393</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVFStmt::Store</a>) {}</div>
@@ -599,7 +599,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_ad61722f886afaaee722ac55a4eed4d18"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18">SVF::SVFStmt::makeEdgeFlagWithStoreInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithStoreInst(GEdgeKind k, const ICFGNode *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00195">SVFStatements.h:195</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html

@@ -169,7 +169,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1SymState.html

@@ -95,7 +95,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:a92acf30a884f531f7bdba2b4d4528085"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085">More...</a><br /></td></tr>
 <tr class="separator:a92acf30a884f531f7bdba2b4d4528085"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f7af4c2fafaf24e345c28ba1992857c"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SymState.html#a9f7af4c2fafaf24e345c28ba1992857c">~SymState</a> ()=default</td></tr>
-<tr class="memdesc:a9f7af4c2fafaf24e345c28ba1992857c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Desstructor.  <a href="classSVF_1_1SymState.html#a9f7af4c2fafaf24e345c28ba1992857c">More...</a><br /></td></tr>
+<tr class="memdesc:a9f7af4c2fafaf24e345c28ba1992857c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1SymState.html#a9f7af4c2fafaf24e345c28ba1992857c">More...</a><br /></td></tr>
 <tr class="separator:a9f7af4c2fafaf24e345c28ba1992857c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a144f6ac7ce41d228c42f92a27b3bdd60"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SymState</a> (const <a class="el" href="classSVF_1_1SymState.html">SymState</a> &amp;rhs)</td></tr>
 <tr class="memdesc:a144f6ac7ce41d228c42f92a27b3bdd60"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy Constructor.  <a href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">More...</a><br /></td></tr>
@@ -303,7 +303,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Desstructor. </p>
+<p>Destructor. </p>
 
 </div>
 </div>
@@ -1055,7 +1055,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_acfdff582a0188678c10939165a40df30"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdoc">Get z3 context, singleton design here to make sure we only have one context.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00066">Z3Expr.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_acb13a8b241647b36ccd77b5efffb132e"><div class="ttname"><a href="classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e">SVF::SymState::_branchCondition</a></div><div class="ttdeci">Z3Expr _branchCondition</div><div class="ttdoc">The branches current state passes.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00054">SymState.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_aaf72b784ae851cec1c6676f2f8f9038b"><div class="ttname"><a href="classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b">SVF::SymState::_typeState</a></div><div class="ttdeci">TypeState _typeState</div><div class="ttdoc">Type state: FSM node.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00049">SymState.h:49</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_a55fdbbd612acf5f95b59a6b4b8650e43"><div class="ttname"><a href="classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43">SVF::SymState::_keyNodesSet</a></div><div class="ttdeci">KeyNodesSet _keyNodesSet</div><div class="ttdoc">Only for bug report.</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00053">SymState.h:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_ace7b6c80e86443e8bda390d8281be250"><div class="ttname"><a href="classSVF_1_1SymState.html#ace7b6c80e86443e8bda390d8281be250">SVF::SymState::getAbstractState</a></div><div class="ttdeci">const TypeState &amp; getAbstractState() const</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00150">SymState.h:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymState_html_a5673a4c91533436a993164aa477ff3d8"><div class="ttname"><a href="classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8">SVF::SymState::KeyNodes</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; KeyNodes</div><div class="ttdef"><b>Definition:</b> <a href="SymState_8h_source.html#l00044">SymState.h:44</a></div></div>