svf-tools 1.0.795 → 1.0.796

package/SVF-doxygen/html/TCT_8cpp_source.html

@@ -633,7 +633,7 @@ $(function() {
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ad05f85ce931d4479f71d1947a25599dc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc">SVF::SVFBasicBlock::back</a></div><div class="ttdeci">const SVFInstruction * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00592">SVFValue.h:592</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThread_html_a66709acfa2f5762d86574c9cf7f38a64"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64">SVF::CxtThread::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdoc">Dump CxtThread.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00278">CxtStmt.h:278</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00564">SVFType.h:564</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00583">SVFType.h:583</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_af45eeeae0d73ec53f4fa44e5e1222942"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#af45eeeae0d73ec53f4fa44e5e1222942">SVF::SVFFunction::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00476">SVFValue.h:476</a></div></div>
@@ -702,7 +702,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CxtThreadProc_html_a61d950c7469f4bb9d2152b0e7d892ebf"><div class="ttname"><a href="classSVF_1_1CxtThreadProc.html#a61d950c7469f4bb9d2152b0e7d892ebf">SVF::CxtThreadProc::getTid</a></div><div class="ttdeci">NodeID getTid() const</div><div class="ttdoc">Return current thread id.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00411">CxtStmt.h:411</a></div></div>
 <div class="ttc" id="aMTA_8h_html"><div class="ttname"><a href="MTA_8h.html">MTA.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTNode_html_a42dde4c3714cc5605f7c0e76cfd4a74c"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode::isIncycle</a></div><div class="ttdeci">bool isIncycle() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00112">TCT.h:112</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThreadProc_html"><div class="ttname"><a href="classSVF_1_1CxtThreadProc.html">SVF::CxtThreadProc</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00395">CxtStmt.h:395</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00647">SVFValue.h:647</a></div></div>

package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html

@@ -328,7 +328,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a9ccc3f85568639abb8540eb61f6d3158"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158">SVF::PTACallGraphEdge::addDirectCallSite</a></div><div class="ttdeci">void addDirectCallSite(const CallICFGNode *call)</div><div class="ttdoc">Add direct and indirect callsite.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00046">PTACallGraph.cpp:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ae25bca6e64ceedc56f1e2f1ae30f89eb"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb">SVF::ThreadCallGraph::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PointerAnalysis *pta)</div><div class="ttdoc">Update call graph using pointer results.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00053">ThreadCallGraph.cpp:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_abf76d8157c49ddba24bdc9dab3655772"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector::begin</a></div><div class="ttdeci">iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01115">SparseBitVector.h:1115</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a19e505dbca2d2b5128762b223b9a7114"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">SVF::ThreadCallGraph::addDirectForkEdge</a></div><div class="ttdeci">void addDirectForkEdge(const CallICFGNode *cs)</div><div class="ttdoc">Add direct/indirect thread fork edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00145">ThreadCallGraph.cpp:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a09946f39049bad87401b6e1567a7fb19"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a09946f39049bad87401b6e1567a7fb19">SVF::ThreadCallGraph::ThreadCallGraph</a></div><div class="ttdeci">ThreadCallGraph()</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00040">ThreadCallGraph.cpp:40</a></div></div>
@@ -377,7 +377,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838">SVF::PTACallGraphEdge::HareParForEdge</a></div><div class="ttdeci">@ HareParForEdge</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00058">PTACallGraph.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a1ca30dfa42702071b65d363c76d25cbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe">SVF::PointerAnalysis::getIndCallMap</a></div><div class="ttdeci">CallEdgeMap &amp; getIndCallMap()</div><div class="ttdoc">Get callees from an indirect callsite.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00375">PointerAnalysis.h:375</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a2dd4d5f704906270af13e7a07f900eb1"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR::getObject</a></div><div class="ttdeci">const MemObj * getObject(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00382">SVFIR.h:382</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a98ecfe14be2d38d292b5919716cdd29d"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d">SVF::ThreadCallGraph::joinsitesBegin</a></div><div class="ttdeci">CallSiteSet::const_iterator joinsitesBegin() const</div><div class="ttdoc">Join sites iterators.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00285">ThreadCallGraph.h:285</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ab20211a66583387f0da4769bee65e300"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph::addThreadForkEdgeSetMap</a></div><div class="ttdeci">void addThreadForkEdgeSetMap(const CallICFGNode *cs, ThreadForkEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00367">ThreadCallGraph.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ad5790cf310d1eca46fc8b3d50f942d8a"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ad5790cf310d1eca46fc8b3d50f942d8a">SVF::ThreadAPI::getJoinedThread</a></div><div class="ttdeci">const SVFValue * getJoinedThread(const SVFInstruction *inst) const</div><div class="ttdoc">Return arguments/attributes of pthread_join.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00156">ThreadAPI.cpp:156</a></div></div>

package/SVF-doxygen/html/VFG_8cpp_source.html

@@ -1431,7 +1431,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5">SVF::VFGEdge::VFGEdgeK</a></div><div class="ttdeci">VFGEdgeK</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00051">VFGEdge.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a6c2280052b44ff7029cf4b98712c374b"><div class="ttname"><a href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG::addCmpVFGNode</a></div><div class="ttdeci">void addCmpVFGNode(const CmpStmt *edge)</div><div class="ttdoc">Add a Compare VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00593">VFG.h:593</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_ac2db6304ea5526fb446ae882983beeb0"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ac2db6304ea5526fb446ae882983beeb0">SVF::SVFVar::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get/has methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00094">SVFVariables.h:94</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallDirSVFGEdge_html_af07decd05375f56baa4a1c4fe70bc3f1"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1">SVF::CallDirSVFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00403">VFG.cpp:403</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a9b00f9b5f8ad2422162f4396e2d8fa42"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar::hasOutgoingEdges</a></div><div class="ttdeci">bool hasOutgoingEdges(SVFStmt::PEDGEK kind) const</div><div class="ttdoc">Has outgoing SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00167">SVFVariables.h:167</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
@@ -1616,7 +1616,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00324">VFGNode.h:324</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a8ddf15d89a1b11a7f7720b671f4f0295"><div class="ttname"><a href="classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295">SVF::VFG::isPhiCopyEdge</a></div><div class="ttdeci">bool isPhiCopyEdge(const PAGEdge *copy) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00458">VFG.h:458</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_af6ccc943516cedd7d8cd1de09d8f554e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e">SVF::SVFUtil::matchArgs</a></div><div class="ttdeci">bool matchArgs(const SVFInstruction *cs, const SVFFunction *callee)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00320">SVFUtil.cpp:320</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_abd05b599b383c759455aff99963b7b41"><div class="ttname"><a href="classSVF_1_1VFG.html#abd05b599b383c759455aff99963b7b41">SVF::VFG::addInterEdgeFromFRToAR</a></div><div class="ttdeci">VFGEdge * addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)</div><div class="ttdoc">Add inter VF edge from callee return to callsite receive parameter.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00367">VFG.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPE_html_ab03f10c0375846a733f3257736a84f9d"><div class="ttname"><a href="classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d">SVF::RetPE::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00649">SVFStatements.h:649</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a27ac8d60de7be75e831b4a28f8f8f1d2"><div class="ttname"><a href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG::addRetEdge</a></div><div class="ttdeci">VFGEdge * addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00721">VFG.cpp:721</a></div></div>

package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html

@@ -301,7 +301,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitiveStat_html_af202623692135ad746aed1be995c55fb"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitiveStat_8cpp_source.html#l00035">VersionedFlowSensitiveStat.cpp:35</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00325">SVFIR.h:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_aa0d4ee196b91fce626f3f15bcc5599e4"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count() const</div><div class="ttdoc">Returns number of elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00111">PointsTo.cpp:111</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitiveStat_html_ad7fe08f5d684e3411f8f28ec346bd814"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814">SVF::VersionedFlowSensitiveStat::versionStat</a></div><div class="ttdeci">void versionStat(void)</div><div class="ttdoc">For all version-related statistics.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitiveStat_8cpp_source.html#l00153">VersionedFlowSensitiveStat.cpp:153</a></div></div>

package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html

@@ -1299,7 +1299,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a18f24fe34af677e2a8c78ee89b89be1c"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c">SVF::VersionedFlowSensitive::updateConnectedNodes</a></div><div class="ttdeci">virtual void updateConnectedNodes(const SVFGEdgeSetTy &amp;newEdges) override</div><div class="ttdoc">Update nodes connected during updating call graph.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00605">VersionedFlowSensitive.cpp:605</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00149">SVFG.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedPTData_html_a8b9d50b5ad1c779b2ff231f07f3002ea"><div class="ttname"><a href="classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea">SVF::VersionedPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const VersionedKey &amp;dstVar, const VersionedKey &amp;srcVar)=0</div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a9f9b00551c157f42d1d995e8c4efb54b"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b">SVF::VersionedFlowSensitive::delta</a></div><div class="ttdeci">virtual bool delta(const NodeID l) const</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00432">VersionedFlowSensitive.cpp:432</a></div></div>

package/SVF-doxygen/html/WPAPass_8cpp_source.html

@@ -306,7 +306,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00058">PointerAnalysis.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">SVF::PointerAnalysis::AndersenSCD_WPA</a></div><div class="ttdeci">@ AndersenSCD_WPA</div><div class="ttdoc">Selective cycle detection andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00068">PointerAnalysis.h:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a2e9bdaf8789eed5af34cc70e7eb0ba01"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass::getModRefInfo</a></div><div class="ttdeci">virtual ModRefInfo getModRefInfo(const CallSite callInst)</div><div class="ttdoc">Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref any memory l...</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00221">WPAPass.cpp:221</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00587">SVFType.h:587</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00606">SVFType.h:606</a></div></div>
 <div class="ttc" id="aVersionedFlowSensitive_8h_html"><div class="ttname"><a href="VersionedFlowSensitive_8h.html">VersionedFlowSensitive.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a72a66ae158793f5d1bcb37b655db4446"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass::ptaVector</a></div><div class="ttdeci">PTAVector ptaVector</div><div class="ttdoc">all pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00116">WPAPass.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
@@ -314,9 +314,9 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00313">MemSSA.h:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a79b35a312248e96a89a28cbf1b99b6fe"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">SVF::SVFVar::getFunction</a></div><div class="ttdeci">virtual const SVFFunction * getFunction() const</div><div class="ttdoc">Return the function that this SVFVar resides in. Return nullptr if it is a global or constantexpr nod...</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00133">SVFVariables.h:133</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="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#l00607">SVFType.h:607</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00577">SVFType.h:577</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00596">SVFType.h:596</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html"><div class="ttname"><a href="classSVF_1_1Steensgaard.html">SVF::Steensgaard</a></div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00020">Steensgaard.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
@@ -331,7 +331,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AndersenSCD_html"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html">SVF::AndersenSCD</a></div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00044">AndersenPWC.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790">SVF::PointerAnalysis::Default_PTA</a></div><div class="ttdeci">@ Default_PTA</div><div class="ttdoc">default pta without any analysis</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00090">PointerAnalysis.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_ace6627f09d237f01d7b698aaea9020eb"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb">SVF::WPAPass::runPointerAnalysis</a></div><div class="ttdeci">void runPointerAnalysis(SVFIR *pag, u32_t kind)</div><div class="ttdoc">Create pointer analysis according to specified kind and analyze the module.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00083">WPAPass.cpp:83</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00585">SVFType.h:585</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1323233941cdc9b99332e4b954a2217"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos.</div></div>
 <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_1WPAPass_html_a2674527c92cdef223e655d449f0811d4"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4">SVF::WPAPass::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdoc">Pass ID.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00060">WPAPass.h:60</a></div></div>

package/SVF-doxygen/html/WPAPass_8h_source.html

@@ -188,14 +188,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a2e9bdaf8789eed5af34cc70e7eb0ba01"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass::getModRefInfo</a></div><div class="ttdeci">virtual ModRefInfo getModRefInfo(const CallSite callInst)</div><div class="ttdoc">Interface of mod-ref analysis to determine whether a CallSite instruction can mod or ref any memory l...</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00221">WPAPass.cpp:221</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a8f6bbf39ea2848ff3b6d105aeb5a31b1"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a8f6bbf39ea2848ff3b6d105aeb5a31b1">SVF::WPAPass::getPassName</a></div><div class="ttdeci">virtual std::string getPassName() const</div><div class="ttdoc">PTA name.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00107">WPAPass.h:107</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a72a66ae158793f5d1bcb37b655db4446"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass::ptaVector</a></div><div class="ttdeci">PTAVector ptaVector</div><div class="ttdoc">all pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00116">WPAPass.h:116</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00577">SVFType.h:577</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF::ModRefInfo</a></div><div class="ttdeci">ModRefInfo</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00596">SVFType.h:596</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c">SVF::WPAPass::Veto</a></div><div class="ttdeci">@ Veto</div><div class="ttdoc">return NoAlias if any pta says no alias</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00065">WPAPass.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c">SVF::WPAPass::Precise</a></div><div class="ttdeci">@ Precise</div><div class="ttdoc">return alias result by the most precise pta</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00066">WPAPass.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_af5ae999c6ca7c481e32b628dd3f6a7b0"><div class="ttname"><a href="classSVF_1_1WPAPass.html#af5ae999c6ca7c481e32b628dd3f6a7b0">SVF::WPAPass::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *svfModule)</div><div class="ttdoc">Run pointer analysis on SVFModule.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00069">WPAPass.cpp:69</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_ace6627f09d237f01d7b698aaea9020eb"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb">SVF::WPAPass::runPointerAnalysis</a></div><div class="ttdeci">void runPointerAnalysis(SVFIR *pag, u32_t kind)</div><div class="ttdoc">Create pointer analysis according to specified kind and analyze the module.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00083">WPAPass.cpp:83</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00585">SVFType.h:585</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a2674527c92cdef223e655d449f0811d4"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4">SVF::WPAPass::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdoc">Pass ID.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00060">WPAPass.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass::Conservative</a></div><div class="ttdeci">@ Conservative</div><div class="ttdoc">return MayAlias if any pta says alias</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00064">WPAPass.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a3fc957e01a3ac7c242c030c6f6846fa9"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9">SVF::WPAPass::WPAPass</a></div><div class="ttdeci">WPAPass()</div><div class="ttdoc">Constructor needs TargetLibraryInfo to be passed to the AliasAnalysis.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00070">WPAPass.h:70</a></div></div>

package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html

@@ -77,7 +77,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">addOffsetVarAndGepTypePair</a>(const SVFVar *var, const SVFType *gepIterType)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">checkRelation</a>(const AccessPath &amp;LHS, const AccessPath &amp;RHS)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a76222b6571e46e8a8bd5c8c597c8ffaf">computeAllLocations</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#afca303a7a5bde9a8ef56ae728d414553">computeConstantByteOffset</a>(u32_t elemBytesize) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a43dc770c4458c6ac58c591974b93fc57">computeConstantByteOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">computeConstantOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a4519477605a58d5821d05951a88abcd0">dump</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a></td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>