svf-tools 1.0.757 → 1.0.758

package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html

@@ -280,7 +280,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:a4c87a90a0190b50c0318c0f316f4fc2a"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">BinaryOPStmt</a> ()</td></tr>
-<tr class="memdesc:a4c87a90a0190b50c0318c0f316f4fc2a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">More...</a><br /></td></tr>
+<tr class="memdesc:a4c87a90a0190b50c0318c0f316f4fc2a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">More...</a><br /></td></tr>
 <tr class="separator:a4c87a90a0190b50c0318c0f316f4fc2a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f5ec771bc547371ab9db18bb44a17c1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1">BinaryOPStmt</a> (const <a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> &amp;)</td></tr>
 <tr class="memdesc:a9f5ec771bc547371ab9db18bb44a17c1"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1">More...</a><br /></td></tr>
@@ -309,10 +309,10 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:af1a9c2a18805560e46425bd98a35dea9 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
 <tr class="memitem:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclassess but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
+<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclasses but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
 <tr class="separator:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
+<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
 <tr class="separator:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><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>
@@ -416,7 +416,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Constructs empty <a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1BinaryOPStmt.html">BinaryOPStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00953">953</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVFStmt::BinaryOp</a>) {}</div>

package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html

@@ -228,7 +228,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_1BitVector.html

@@ -164,7 +164,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a8ba857b68282055e485c441892e39b9b inherit pub_methods_classSVF_1_1CoreBitVector"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector.html#a8ba857b68282055e485c441892e39b9b">intersectWithComplement</a> (const <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &amp;rhs)</td></tr>
 <tr class="separator:a8ba857b68282055e485c441892e39b9b inherit pub_methods_classSVF_1_1CoreBitVector"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79121882bc302b9b9188fa0a51c63fb6 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6">intersectWithComplement</a> (const <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &amp;lhs, const <a class="el" href="classSVF_1_1CoreBitVector.html">CoreBitVector</a> &amp;rhs)</td></tr>
-<tr class="memdesc:a79121882bc302b9b9188fa0a51c63fb6 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="mdescLeft">&#160;</td><td class="mdescRight">Put intersection of lhs with complemenet of rhs into this CBV.  <a href="classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6">More...</a><br /></td></tr>
+<tr class="memdesc:a79121882bc302b9b9188fa0a51c63fb6 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="mdescLeft">&#160;</td><td class="mdescRight">Put intersection of lhs with complement of rhs into this CBV.  <a href="classSVF_1_1CoreBitVector.html#a79121882bc302b9b9188fa0a51c63fb6">More...</a><br /></td></tr>
 <tr class="separator:a79121882bc302b9b9188fa0a51c63fb6 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af979ecb48d3d5296bce5bd0b4676e359 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="memItemLeft" align="right" valign="top">size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359">hash</a> (void) const</td></tr>
 <tr class="memdesc:af979ecb48d3d5296bce5bd0b4676e359 inherit pub_methods_classSVF_1_1CoreBitVector"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Hash.html" title="provide extra hash function for std::pair handling">Hash</a> for this CBV.  <a href="classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359">More...</a><br /></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html

@@ -240,7 +240,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:a83244ad7db61a544f7538961081d4fbd"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">BranchStmt</a> ()</td></tr>
-<tr class="memdesc:a83244ad7db61a544f7538961081d4fbd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">More...</a><br /></td></tr>
+<tr class="memdesc:a83244ad7db61a544f7538961081d4fbd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">More...</a><br /></td></tr>
 <tr class="separator:a83244ad7db61a544f7538961081d4fbd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a714d118096f0a3d439cfbff10aa455a2"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">BranchStmt</a> (const <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> &amp;)</td></tr>
 <tr class="memdesc:a714d118096f0a3d439cfbff10aa455a2"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">More...</a><br /></td></tr>
@@ -339,7 +339,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Constructs empty <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01093">1093</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>{}, <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>{} {}</div>

package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html

@@ -160,7 +160,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_1BreakConstantGEPs.html

@@ -266,7 +266,7 @@ Static Public Attributes</h2></td></tr>
 <div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;                {</div>
 <div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;                    <span class="comment">//</span></div>
 <div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;                    <span class="comment">// For other instructions, we want to insert instructions replacing</span></div>
-<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                    <span class="comment">// constant expressions immediently before the instruction using the</span></div>
+<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                    <span class="comment">// constant expressions immediately before the instruction using the</span></div>
 <div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                    <span class="comment">// constant expression.</span></div>
 <div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;                    <span class="comment">//</span></div>
 <div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;                    <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (I-&gt;getOperand(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)))</div>

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html

@@ -139,7 +139,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_1CFGNormalizer.html

@@ -497,8 +497,8 @@ Private Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 <p>Replace Sign Group With tempNonterminal 'X' And load the replace in newProductions</p>
-<p>If sign assoicate wihout group e.i with single symble</p>
-<p>sign associate with group of symble by brace pair</p>
+<p>If sign associate without group e.i with single symbol</p>
+<p>sign associate with group of symbol by brace pair</p>
 <p>For Both * and ? need to insert epsilon rule</p>
 <p>insert second rule for '*' X -&gt; X E for '+' X -&gt; E</p>
 <p>Insert Back the Group</p>

package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html

@@ -1116,7 +1116,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    <span class="comment">// Normalize CFL Grammar</span></div>
 <div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9">normalizeCFLGrammar</a>();</div>
 <div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160; </div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    <span class="comment">// Initialize sovler</span></div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    <span class="comment">// Initialize solver</span></div>
 <div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    <a class="code" href="classSVF_1_1CFLAlias.html#a2810ec25dd95212dcc271bbc3e6e3e05">initializeSolver</a>();</div>
 <div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;}</div>
 </div><!-- fragment -->
@@ -1255,7 +1255,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;            <a class="code" href="classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8">numOfIteration</a>++;</div>
 <div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;            <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>();</div>
 <div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        }</div>
-<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    } <span class="comment">// Only cflgraph built from bc could reanlyze by update call graph</span></div>
+<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    } <span class="comment">// Only cflgraph built from bc could reanalyze by update call graph</span></div>
 <div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160; </div>
 <div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    <span class="keywordtype">double</span> end = <a class="code" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a>-&gt;<a class="code" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(<span class="keyword">true</span>);</div>
 <div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8">timeOfSolving</a> += (end - start) / <a class="code" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div>

package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html

@@ -164,7 +164,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_1CFLVF.html

@@ -762,7 +762,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <span class="comment">// Normalize grammar</span></div>
 <div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9">normalizeCFLGrammar</a>();</div>
 <div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160; </div>
-<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="comment">// Initialize sovler</span></div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="comment">// Initialize solver</span></div>
 <div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>, <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>);</div>
 <div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/classSVF_1_1CHNode.html

@@ -183,7 +183,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_1CallCHI.html

@@ -105,7 +105,7 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:ac6a1f2f1c897c647d9b070cb56c61a41"><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_1CallICFGNode.html

@@ -224,7 +224,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_1CallPE.html

@@ -206,7 +206,7 @@ Protected Member Functions</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>
@@ -350,7 +350,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p>the function exit statement calling to </p>
-<p>Constructs empty <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00547">547</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(k), <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>{}, <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>{} {}</div>

package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html

@@ -297,7 +297,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:a6e11c486468a8fe0f7aa38a0546b8328"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">CmpStmt</a> ()</td></tr>
-<tr class="memdesc:a6e11c486468a8fe0f7aa38a0546b8328"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">More...</a><br /></td></tr>
+<tr class="memdesc:a6e11c486468a8fe0f7aa38a0546b8328"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">More...</a><br /></td></tr>
 <tr class="separator:a6e11c486468a8fe0f7aa38a0546b8328"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abab82b7193ac1a9811d0177cedd329dc"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">CmpStmt</a> (const <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> &amp;)</td></tr>
 <tr class="memdesc:abab82b7193ac1a9811d0177cedd329dc"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">More...</a><br /></td></tr>
@@ -326,10 +326,10 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:af1a9c2a18805560e46425bd98a35dea9 inherit pub_static_attribs_classSVF_1_1SVFStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1MultiOpndStmt"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1MultiOpndStmt')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></td></tr>
 <tr class="memitem:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *r, const <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">OPVars</a> &amp;opnds, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclassess but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
+<tr class="memdesc:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor, only used by subclasses but not external users.  <a href="classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58">More...</a><br /></td></tr>
 <tr class="separator:aaa85920507005b39a670b6d226159e58 inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">MultiOpndStmt</a> (<a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k)</td></tr>
-<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
+<tr class="memdesc:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b">More...</a><br /></td></tr>
 <tr class="separator:a9f08a5f30b79e3448b1788e4b087d04b inherit pro_methods_classSVF_1_1MultiOpndStmt"><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>
@@ -488,7 +488,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Constructs empty <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1CmpStmt.html">CmpStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00867">867</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>) {}</div>

package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html

@@ -228,7 +228,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_1CondPointsToSet.html

@@ -108,7 +108,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:aad144061d006968ff4d6d21488b84801"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy constructor.  <a href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">More...</a><br /></td></tr>
 <tr class="separator:aad144061d006968ff4d6d21488b84801"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a63f09ca69e00b317de29af6a6a12daac"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52">CondPts</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">pointsTo</a> (void)</td></tr>
-<tr class="memdesc:a63f09ca69e00b317de29af6a6a12daac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Conditional <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> and starndard points-to.  <a href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">More...</a><br /></td></tr>
+<tr class="memdesc:a63f09ca69e00b317de29af6a6a12daac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Conditional <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> and standard points-to.  <a href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">More...</a><br /></td></tr>
 <tr class="separator:a63f09ca69e00b317de29af6a6a12daac"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ada240bc77570174a1d17ac097583fa78"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CondPointsToSet.html#aaddc3f78a624de59dda6f078ba63ba52">CondPts</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78">pointsTo</a> (void) const</td></tr>
 <tr class="separator:ada240bc77570174a1d17ac097583fa78"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1581,7 +1581,7 @@ template&lt;class Cond &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p>Get Conditional <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> and starndard points-to. </p>
+<p>Get Conditional <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> and standard points-to. </p>
 
 <p class="definition">Definition at line <a class="el" href="ConditionalPT_8h_source.html#l00332">332</a> of file <a class="el" href="ConditionalPT_8h_source.html">ConditionalPT.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    {</div>
@@ -1809,7 +1809,7 @@ template&lt;class Cond &gt; </div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a76d4c06b04161738351a813ae406aa83"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet::iterator</a></div><div class="ttdeci">CondPtsSetIterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00815">ConditionalPT.h:815</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_ab0493cc85f97abeea5b86dee488e5a7f"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f">SVF::PointsTo::iterator</a></div><div class="ttdeci">const_iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00040">PointsTo.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a8d8f9e91b62b94d876f34066de7944d4"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet::numElement</a></div><div class="ttdeci">unsigned numElement() const</div><div class="ttdoc">Get number of points-to targets.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00382">ConditionalPT.h:382</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a63f09ca69e00b317de29af6a6a12daac"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">SVF::CondPointsToSet::pointsTo</a></div><div class="ttdeci">CondPts &amp; pointsTo(void)</div><div class="ttdoc">Get Conditional PointsTo and starndard points-to.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00332">ConditionalPT.h:332</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a63f09ca69e00b317de29af6a6a12daac"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">SVF::CondPointsToSet::pointsTo</a></div><div class="ttdeci">CondPts &amp; pointsTo(void)</div><div class="ttdoc">Get Conditional PointsTo and standard points-to.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00332">ConditionalPT.h:332</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_aa9d3a8c42b6df3fa9c2e7bcd7af75e16"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16">SVF::CondPointsToSet::CondPtsConstIter</a></div><div class="ttdeci">CondPts::const_iterator CondPtsConstIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00309">ConditionalPT.h:309</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_ad0e1a70889a7bf2cb1b201a129128c52"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52">SVF::CondPointsToSet::_condPts</a></div><div class="ttdeci">CondPts _condPts</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00840">ConditionalPT.h:840</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_ad9e4dea4b65d5f4a903a3cf89a421077"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077">SVF::CondPointsToSet::CondPtsIter</a></div><div class="ttdeci">CondPts::iterator CondPtsIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00308">ConditionalPT.h:308</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html

@@ -327,7 +327,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Constant Expr Execution State</p>
 <p>Constant expr execution state support z3 symbolic value and gives a top value when two different constants join</p>
-<p>lattice: ⊤ may be constant / / | \ \ \ true ... c0 c1 ... false constant \ \ \ | | | ⊥ not contant </p>
+<p>lattice: ⊤ may be constant / / | \ \ \ true ... c0 c1 ... false constant \ \ \ | | | ⊥ not constant </p>
 
 <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00047">47</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>

package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html

@@ -168,7 +168,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:a4db3484e3710c3f5cc86ec32dd643722"><td class="mdescLeft">&#160;</td><td class="mdescRight">Used for cycle elimination.  <a href="classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722">More...</a><br /></td></tr>
 <tr class="separator:a4db3484e3710c3f5cc86ec32dd643722"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aaae56afed424f7cd59fddb3fcb2f7214"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">reTargetSrcOfEdge</a> (<a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> *edge, <a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> *newSrcNode)</td></tr>
-<tr class="memdesc:aaae56afed424f7cd59fddb3fcb2f7214"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove edge from old src target, change edge dst id and add modifed edge into new src.  <a href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">More...</a><br /></td></tr>
+<tr class="memdesc:aaae56afed424f7cd59fddb3fcb2f7214"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove edge from old src target, change edge dst id and add modified edge into new src.  <a href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">More...</a><br /></td></tr>
 <tr class="separator:aaae56afed424f7cd59fddb3fcb2f7214"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acc23df2db1fa7b8e0270d8a04f08f2ee"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee">removeAddrEdge</a> (<a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a> *edge)</td></tr>
 <tr class="memdesc:acc23df2db1fa7b8e0270d8a04f08f2ee"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remove addr edge from their src and dst edge sets.  <a href="classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee">More...</a><br /></td></tr>
@@ -299,7 +299,7 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a4dd7feb1ed62883dd35ced962ba6b59e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConstraintGraph.html#a4dd7feb1ed62883dd35ced962ba6b59e">getPAGEdgeSet</a> (<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVFStmt::PEDGEK</a> kind)</td></tr>
 <tr class="separator:a4dd7feb1ed62883dd35ced962ba6b59e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a095fc7d429d792a5c4c3c67dc40240d5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5">getValueNode</a> (const <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a> *value) const</td></tr>
-<tr class="memdesc:a095fc7d429d792a5c4c3c67dc40240d5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Wappers used internally, not expose to Andernsen Pass.  <a href="classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5">More...</a><br /></td></tr>
+<tr class="memdesc:a095fc7d429d792a5c4c3c67dc40240d5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Wrappers used internally, not expose to <a class="el" href="classSVF_1_1Andersen.html">Andersen</a> Pass.  <a href="classSVF_1_1ConstraintGraph.html#a095fc7d429d792a5c4c3c67dc40240d5">More...</a><br /></td></tr>
 <tr class="separator:a095fc7d429d792a5c4c3c67dc40240d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a802d7aa5c5bdc5c8720120f71d316b68"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68">getReturnNode</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *value) const</td></tr>
 <tr class="separator:a802d7aa5c5bdc5c8720120f71d316b68"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1674,7 +1674,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Wappers used internally, not expose to Andernsen Pass. </p>
+<p>Wrappers used internally, not expose to <a class="el" href="classSVF_1_1Andersen.html">Andersen</a> Pass. </p>
 
 <p class="definition">Definition at line <a class="el" href="ConsG_8h_source.html#l00077">77</a> of file <a class="el" href="ConsG_8h_source.html">ConsG.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    {</div>
@@ -2504,9 +2504,9 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p>Used for cycle elimination. </p>
-<p>Remove edge from old dst target, change edge dst id and add modifed edge into new dst</p>
+<p>Remove edge from old dst target, change edge dst id and add modified edge into new dst</p>
 <p>Re-target dst node of an edge</p>
-<p>(1) Remove edge from old dst target, (2) Change edge dst id and (3) Add modifed edge into new dst </p>
+<p>(1) Remove edge from old dst target, (2) Change edge dst id and (3) Add modified edge into new dst </p>
 
 <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00303">303</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;{</div>
@@ -2574,7 +2574,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p>Remove edge from old src target, change edge dst id and add modifed edge into new src. </p>
+<p>Remove edge from old src target, change edge dst id and add modified edge into new src. </p>
 <p>Re-target src node of an edge (1) Remove edge from old src target, (2) Change edge src id and (3) Add modified edge into new src </p>
 
 <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00347">347</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
@@ -3113,7 +3113,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdeci">@ ThreadJoin</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00077">SVFStatements.h:77</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdeci">@ VariantGep</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadCGEdge_html"><div class="ttname"><a href="classSVF_1_1LoadCGEdge.html">SVF::LoadCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00191">ConsGEdge.h:191</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_aaae56afed424f7cd59fddb3fcb2f7214"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">SVF::ConstraintGraph::reTargetSrcOfEdge</a></div><div class="ttdeci">void reTargetSrcOfEdge(ConstraintEdge *edge, ConstraintNode *newSrcNode)</div><div class="ttdoc">Remove edge from old src target, change edge dst id and add modifed edge into new src.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00347">ConsG.cpp:347</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_aaae56afed424f7cd59fddb3fcb2f7214"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">SVF::ConstraintGraph::reTargetSrcOfEdge</a></div><div class="ttdeci">void reTargetSrcOfEdge(ConstraintEdge *edge, ConstraintNode *newSrcNode)</div><div class="ttdoc">Remove edge from old src target, change edge dst id and add modified edge into new src.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00347">ConsG.cpp:347</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a24ef3eedb218283d106eceb8a73ca1b4"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4">SVF::ConstraintNode::removeOutgoingStoreEdge</a></div><div class="ttdeci">bool removeOutgoingStoreEdge(StoreCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00367">ConsGNode.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_aad3d05c949c33a587b3ac6d627f5a0a2"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#aad3d05c949c33a587b3ac6d627f5a0a2">SVF::ConstraintGraph::removeStoreEdge</a></div><div class="ttdeci">void removeStoreEdge(StoreCGEdge *edge)</div><div class="ttdoc">Remove store edge from their src and dst edge sets.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00414">ConsG.cpp:414</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00225">GenericGraph.h:225</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html

@@ -1729,7 +1729,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;            <span class="keywordflow">if</span> (gepobj != <span class="keyword">nullptr</span>)</div>
 <div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;            {</div>
 <div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;                assert(SVFUtil::isa&lt;DummyObjVar&gt;(<a class="code" href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">_pag</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(gepobj-&gt;<a class="code" href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">getBaseNode</a>()))</div>
-<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;                       &amp;&amp; <span class="stringliteral">&quot;emtpy refVal in a gep object whose base is a non-dummy object&quot;</span>);</div>
+<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;                       &amp;&amp; <span class="stringliteral">&quot;empty refVal in a gep object whose base is a non-dummy object&quot;</span>);</div>
 <div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;            }</div>
 <div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;            <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;            {</div>

package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.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:a63b808e82e75562c53e4371cc3d7ed1e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">CopyStmt</a> ()</td></tr>
-<tr class="memdesc:a63b808e82e75562c53e4371cc3d7ed1e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">More...</a><br /></td></tr>
+<tr class="memdesc:a63b808e82e75562c53e4371cc3d7ed1e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">More...</a><br /></td></tr>
 <tr class="separator:a63b808e82e75562c53e4371cc3d7ed1e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa965d58e96e8729d16d66387ee09eac7"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">CopyStmt</a> (const <a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> &amp;)</td></tr>
 <tr class="memdesc:aa965d58e96e8729d16d66387ee09eac7"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">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_1CopyStmt.html">CopyStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1CopyStmt.html">CopyStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00357">357</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVFStmt::Copy</a>) {}</div>

package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.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>