svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html

@@ -2461,7 +2461,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a60b111647e000cc983aa52513f90afbc"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc">SVF::PointerAnalysis::getAllValidPtrs</a></div><div class="ttdeci">OrderedNodeSet &amp; getAllValidPtrs()</div><div class="ttdoc">Get all Valid Pointers for resolution.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00218">PointerAnalysis.h:218</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_a94acf249e50ad56f966ddad6843c18f8"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8">SVF::BVDataPTAImpl::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; PointsTo &gt; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00205">PointerAnalysisImpl.h:205</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00588">SVFType.h:588</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01132">SVFValue.h:1132</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01138">SVFValue.h:1138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac130bf326911b8e5396f57daa78566e7"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7">SVF::BVDataPTAImpl::MutDFPTDataTy</a></div><div class="ttdeci">MutableDFPTData&lt; NodeID, NodeSet, NodeID, PointsTo &gt; MutDFPTDataTy</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00053">PointerAnalysisImpl.h:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8">SVF::PointerAnalysis::BVDataImpl</a></div><div class="ttdeci">@ BVDataImpl</div><div class="ttdoc">Represents BVDataPTAImpl.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00097">PointerAnalysis.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a1817b65e76052f11e36a67d6b9efd915"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a1817b65e76052f11e36a67d6b9efd915">SVF::GenericGraph::removeGNode</a></div><div class="ttdeci">void removeGNode(NodeType *node)</div><div class="ttdoc">Delete a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00421">GenericGraph.h:421</a></div></div>
@@ -2484,7 +2484,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac5683fe2e24b393ccc5cb6d8bc92cf2b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b">SVF::PointerAnalysis::setObjFieldInsensitive</a></div><div class="ttdeci">void setObjFieldInsensitive(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00349">PointerAnalysis.h:349</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_a236d3e9c894fd7c34c8d7a77ac11dd48"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl::alias</a></div><div class="ttdeci">AliasResult alias(const SVFValue *V1, const SVFValue *V2) override</div><div class="ttdoc">Interface expose to users of our pointer analysis, given Value infos.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00539">PointerAnalysisImpl.cpp:539</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01128">SVFValue.h:1128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01134">SVFValue.h:1134</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322">SVF::PointerAnalysis::FSDATAFLOW_WPA</a></div><div class="ttdeci">@ FSDATAFLOW_WPA</div><div class="ttdoc">Traditional Dataflow-based flow sensitive WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00074">PointerAnalysis.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdeci">@ AndersenWaveDiff_WPA</div><div class="ttdoc">Diff wave propagation andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00070">PointerAnalysis.h:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
@@ -2527,7 +2527,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00203">SVFModule.h:203</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00202">SVFModule.h:202</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_a4909696c946cf6aba12542ec51766b64"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a4909696c946cf6aba12542ec51766b64">SVF::BVDataPTAImpl::clearPts</a></div><div class="ttdeci">virtual void clearPts(NodeID id, NodeID element)</div><div class="ttdoc">Remove element from the points-to set of id.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00099">PointerAnalysisImpl.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e">SVF::BVDataPTAImpl::Mutable</a></div><div class="ttdeci">@ Mutable</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00066">PointerAnalysisImpl.h:66</a></div></div>
 <!-- start footer part -->

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>
@@ -823,7 +823,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448">SVF::BinaryOPStmt::FSub</a></div><div class="ttdeci">@ FSub</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00965">SVFStatements.h:965</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_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00972">SVFStatements.h:972</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_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01005">SVFStatements.h:1005</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a7a4ce4e97992d92ac044456e66821552">SVF::BinaryOPStmt::SDiv</a></div><div class="ttdeci">@ SDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00969">SVFStatements.h:969</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></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>
@@ -912,7 +912,7 @@ Private Member Functions</h2></td></tr>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_aed5a32d1a145df7007ba7d934e4c2bd4"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4">SVF::BinaryOPVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00450">VFGNode.h:450</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_ae803603f567cc28f5a7e1b66fb324cbc"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00401">VFGNode.h:401</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_1BinaryOPVFGNode_html_a1fa8795102bc6c1d6bac1b55b7542eea"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00438">VFGNode.h:438</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
 <!-- start footer part -->

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>
@@ -1069,7 +1069,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a915384027ae53e99311f05a08edf99f0"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdoc">Return the condition.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00322">SVFStatements.cpp:322</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01103">SVFStatements.h:1103</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_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01150">SVFStatements.h:1150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01102">SVFStatements.h:1102</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>

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_1BufferOverflowBug.html

@@ -289,21 +289,21 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aed9feb57ffb0860cbdd13698fd4dbf6c">SVF::GenericBug</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00065">65</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;{</div>
-<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
-<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *allocLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a>);</div>
-<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *allocUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a>);</div>
-<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *accessLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a>);</div>
-<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *accessUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a>);</div>
-<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160; </div>
-<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocLowerBound&quot;</span>, allocLB);</div>
-<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocUpperBound&quot;</span>, allocUB);</div>
-<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessLowerBound&quot;</span>, accessLB);</div>
-<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessUpperBound&quot;</span>, accessUB);</div>
-<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160; </div>
-<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">return</span> bugDescription;</div>
-<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00063">63</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;{</div>
+<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *bugDescription = cJSON_CreateObject();</div>
+<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *allocLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a>);</div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *allocUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a>);</div>
+<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *accessLB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a>);</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a> *accessUB = cJSON_CreateNumber(<a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a>);</div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160; </div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocLowerBound&quot;</span>, allocLB);</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AllocUpperBound&quot;</span>, allocUB);</div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessLowerBound&quot;</span>, accessLB);</div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    cJSON_AddItemToObject(bugDescription, <span class="stringliteral">&quot;AccessUpperBound&quot;</span>, accessUB);</div>
+<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160; </div>
+<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">return</span> bugDescription;</div>
+<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -332,42 +332,42 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Implements <a class="el" href="classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948">SVF::GenericBug</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00081">81</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;{</div>
-<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    stringstream bugInfo;</div>
-<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">FullBufferOverflowBug::classof</a>(<span class="keyword">this</span>))</div>
-<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    {</div>
-<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Full Overflow :&quot;</span>) &lt;&lt;  <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
-<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                        &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
-<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160; </div>
-<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div>
-<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    {</div>
-<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Partial Overflow :&quot;</span>) &lt;&lt;  <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
-<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                        &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
-<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    }</div>
-<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    bugInfo &lt;&lt; <span class="stringliteral">&quot;\t\t  allocate size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;], &quot;</span>;</div>
-<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    bugInfo &lt;&lt; <span class="stringliteral">&quot;access size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span>;</div>
-<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Info : \n&quot;</span> &lt;&lt; bugInfo.str();</div>
-<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Events : \n&quot;</span>;</div>
-<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160; </div>
-<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> event : <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</div>
-<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    {</div>
-<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">switch</span>(event.getEventType())</div>
+<p class="definition">Definition at line <a class="el" href="SVFBugReport_8cpp_source.html#l00079">79</a> of file <a class="el" href="SVFBugReport_8cpp_source.html">SVFBugReport.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;{</div>
+<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    stringstream bugInfo;</div>
+<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1FullBufferOverflowBug.html#a87e463d4e7af1a3421da2ad73e01eb7d">FullBufferOverflowBug::classof</a>(<span class="keyword">this</span>))</div>
+<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    {</div>
+<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Full Overflow :&quot;</span>) &lt;&lt;  <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
+<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;                        &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
+<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160; </div>
+<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div>
+<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div>
+<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;\t Partial Overflow :&quot;</span>) &lt;&lt;  <span class="stringliteral">&quot; accessing at : (&quot;</span></div>
+<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                        &lt;&lt; <a class="code" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">GenericBug::getLoc</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div>
+<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div>
+<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    bugInfo &lt;&lt; <span class="stringliteral">&quot;\t\t  allocate size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2">allocLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca">allocUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;], &quot;</span>;</div>
+<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    bugInfo &lt;&lt; <span class="stringliteral">&quot;access size : [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">accessLowerBound</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098">accessUpperBound</a> &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span>;</div>
+<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Info : \n&quot;</span> &lt;&lt; bugInfo.str();</div>
+<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t Events : \n&quot;</span>;</div>
+<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160; </div>
+<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> event : <a class="code" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">bugEventStack</a>)</div>
+<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div>
+<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <span class="keywordflow">switch</span>(event.getEventType())</div>
+<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        {</div>
+<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
 <div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        {</div>
-<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <span class="keywordflow">case</span> <a class="code" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629">SVFBugEvent::CallSite</a>:</div>
-<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        {</div>
-<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t  callsite at : ( &quot;</span> &lt;&lt; <span class="keyword">event</span>.getEventLoc() &lt;&lt; <span class="stringliteral">&quot; )\n&quot;</span>;</div>
-<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        }</div>
-<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">default</span>:</div>
-<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div>
-<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <span class="comment">// TODO: implement more events when needed</span></div>
-<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            <span class="keywordflow">break</span>;</div>
-<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        }</div>
-<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        }</div>
-<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div>
-<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;}</div>
+<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;\t\t  callsite at : ( &quot;</span> &lt;&lt; <span class="keyword">event</span>.getEventLoc() &lt;&lt; <span class="stringliteral">&quot; )\n&quot;</span>;</div>
+<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        }</div>
+<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">default</span>:</div>
+<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        {</div>
+<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;            <span class="comment">// TODO: implement more events when needed</span></div>
+<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;            <span class="keywordflow">break</span>;</div>
+<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        }</div>
+<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        }</div>
+<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    }</div>
+<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html

@@ -1752,7 +1752,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_abb5b72dbfa6f00bf952f1b71deb48598"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">SVF::CFBasicBlockGWTO::_headToTails</a></div><div class="ttdeci">NodeRefToNodeRefSetMap _headToTails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00490">WTO.h:490</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a97fb5b5dff4b1b08ee6fb09876630303"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">SVF::CFBasicBlockGWTO::_stack</a></div><div class="ttdeci">CFBasicBlockNodes _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00494">WTO.h:494</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a371c7416c88df3c0b70addf9b88b305a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">SVF::CFBasicBlockGWTO::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00829">WTO.h:829</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_1CFBasicBlockGWTO_html_a6cc2cb7b203e16b9cc8f5e121f39bd9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO::build</a></div><div class="ttdeci">void build(const CFBasicBlockNode *entry)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00603">WTO.h:603</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00722">WTO.h:722</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_acab6d0c92dc8e03a97cc78b060a624c4"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO::newNode</a></div><div class="ttdeci">const CFBasicBlockGWTONode * newNode(const CFBasicBlockNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00736">WTO.h:736</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html

@@ -555,7 +555,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_aa4902464dbcfdf6d961050ebfe7b3c88"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#aa4902464dbcfdf6d961050ebfe7b3c88">SVF::CFBasicBlockGWTOCycle::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00410">WTO.h:410</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_a1a47343251d77e859dcae8aad05901da"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da">SVF::CFBasicBlockGWTOCycle::_head</a></div><div class="ttdeci">const CFBasicBlockNode * _head</div><div class="ttdoc">Head of the cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00394">WTO.h:394</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96">SVF::CFBasicBlockGWTOComp::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</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_1CFBasicBlockGWTOCycle_html_ac1093f863214966bd24e3696d276856f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle::_components</a></div><div class="ttdeci">WtoComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00080">CFBasicBlockG.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_af4205c03d5bbb94d52fe449a97d2b881"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881">SVF::CFBasicBlockGWTOCycle::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00415">WTO.h:415</a></div></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>
@@ -538,7 +538,7 @@ Additional Inherited Members</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aeaa9b2b4e802d9e6bed138eaf3186d09"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aeaa9b2b4e802d9e6bed138eaf3186d09">SVF::SVFBasicBlock::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00549">SVFValue.h:549</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_aeaa9b2b4e802d9e6bed138eaf3186d09"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#aeaa9b2b4e802d9e6bed138eaf3186d09">SVF::SVFBasicBlock::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00555">SVFValue.h:555</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a72e47a6254620d0b65a8d1182777440a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode::_icfgNodes</a></div><div class="ttdeci">std::vector&lt; const ICFGNode * &gt; _icfgNodes</div><div class="ttdoc">Every CFBasicBlockNode holds a SVFBasicBlock.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00067">CFBasicBlockG.h:67</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a81d6a1e9cc52fde4f828cead0ca40bab"><div class="ttname"><a href="namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab">SVF::GenericCFBasicBlockNodeTy</a></div><div class="ttdeci">GenericNode&lt; CFBasicBlockNode, CFBasicBlockEdge &gt; GenericCFBasicBlockNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00061">CFBasicBlockG.h:61</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>

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>