svf-tools 1.0.855 → 1.0.856

package/SVF-doxygen/html/DDAVFSolver_8h_source.html

@@ -832,7 +832,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AddrVFGNode_html"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html">SVF::AddrVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00760">VFGNode.h:760</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_a837da5917c31e14aa51c6fa3e2640849"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a837da5917c31e14aa51c6fa3e2640849">SVF::StmtVFGNode::getPAGSrcNode</a></div><div class="ttdeci">PAGNode * getPAGSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00151">VFGNode.h:151</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_aaab54c670518d9d6790707f76ea76aa1"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">SVF::PTACallGraph::getCallGraphNode</a></div><div class="ttdeci">PTACallGraphNode * getCallGraphNode(NodeID id) const</div><div class="ttdoc">Get call graph node.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00315">PTACallGraph.h:315</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_a00ae738a76564b7b334faae567674e34"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a00ae738a76564b7b334faae567674e34">SVF::DDAVFSolver::removeDpmFromLoc</a></div><div class="ttdeci">void removeDpmFromLoc(const DPIm &amp;dpm)</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00672">DDAVFSolver.h:672</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_a6c32a1cdcdbea0151c8cf17ffe598f29"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29">SVF::DDAVFSolver::getDpmSetAtLoc</a></div><div class="ttdeci">const DPTItemSet &amp; getDpmSetAtLoc(const SVFGNode *loc)</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00664">DDAVFSolver.h:664</a></div></div>

package/SVF-doxygen/html/FSMPTA_8cpp_source.html

@@ -850,7 +850,7 @@ $(function() {
 <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="aclassSVF_1_1MTASVFGBuilder_html_ae028fe894e3c6e7fd0ad6feeaa64320e"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e">SVF::MTASVFGBuilder::mergeSpan</a></div><div class="ttdeci">void mergeSpan(NodeBS comlocks, InstSet &amp;res)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00647">FSMPTA.cpp:647</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_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"><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#l00057">PointerAnalysis.h:57</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_1PointsTo_html_ad1d19d52800341484a136c6d5e0112ea"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">SVF::PointsTo::toNodeBS</a></div><div class="ttdeci">NodeBS toNodeBS() const</div><div class="ttdoc">Returns this points-to set as a NodeBS.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00313">PointsTo.cpp:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a1b5abe09fd0fcd337385653cb47343c1"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector::end</a></div><div class="ttdeci">iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01120">SparseBitVector.h:1120</a></div></div>
@@ -922,7 +922,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGNodeLockSpan_html"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html">SVF::SVFGNodeLockSpan</a></div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00051">FSMPTA.h:51</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00358">PointerAnalysis.h:358</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00355">PointerAnalysis.h:355</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_a3fb14833d95bb3550f904b5e236a5364"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a3fb14833d95bb3550f904b5e236a5364">SVF::StmtVFGNode::getInst</a></div><div class="ttdeci">const SVFInstruction * getInst() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00185">VFGNode.h:185</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a48ff6fc4badc79ad3204ae9bd95cc540"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">SVF::AndersenWaveDiff::createAndersenWaveDiff</a></div><div class="ttdeci">static AndersenWaveDiff * createAndersenWaveDiff(SVFIR *_pag)</div><div class="ttdoc">Create an singleton instance directly instead of invoking llvm pass manager.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00395">Andersen.h:395</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a5c32c2f5038aab15ec2da50c7c99b405"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder::isHeadofSpan</a></div><div class="ttdeci">bool isHeadofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)</div><div class="ttdoc">whether is a first write in the lock span.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00201">FSMPTA.cpp:201</a></div></div>

package/SVF-doxygen/html/FSMPTA_8h_source.html

@@ -336,7 +336,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a07c3f5fa2e0092dac28521cf901a26cf"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf">SVF::MTASVFGBuilder::numOfRemovedPTS</a></div><div class="ttdeci">static u32_t numOfRemovedPTS</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00122">FSMPTA.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_ae028fe894e3c6e7fd0ad6feeaa64320e"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e">SVF::MTASVFGBuilder::mergeSpan</a></div><div class="ttdeci">void mergeSpan(NodeBS comlocks, InstSet &amp;res)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00647">FSMPTA.cpp:647</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a13ac51421add3cb242ad823e18938c95"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95">SVF::MTASVFGBuilder::recordedges</a></div><div class="ttdeci">Set&lt; NodeIDPair &gt; recordedges</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00173">FSMPTA.h:173</a></div></div>
-<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"><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#l00057">PointerAnalysis.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGNodeLockSpan_html_a6640840300cf03186ceb7a2dbc75e875"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const SVFGNodeLockSpan &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00058">FSMPTA.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGNodeLockSpan_html_ae5374d89b21005f56ce3bbd6f123e5d7"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7">SVF::SVFGNodeLockSpan::SVFGNode</a></div><div class="ttdeci">const StmtSVFGNode * SVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00090">FSMPTA.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a287359e6d0a4613e1a149a7ec11522b7"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7">SVF::MTASVFGBuilder::FunctionSet</a></div><div class="ttdeci">PointerAnalysis::FunctionSet FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00103">FSMPTA.h:103</a></div></div>
@@ -359,7 +359,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFGNodeLockSpan_html_afa2d1f6997dd5f06b4efe75f8145932e"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan::operator=</a></div><div class="ttdeci">SVFGNodeLockSpan &amp; operator=(const SVFGNodeLockSpan &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00064">FSMPTA.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FSMPTA_html_a2d0cfa271848bc9a20fda25f12b2a4f2"><div class="ttname"><a href="classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2">SVF::FSMPTA::getMHP</a></div><div class="ttdeci">MHP * getMHP() const</div><div class="ttdoc">Get MHP.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00246">FSMPTA.h:246</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a97179139a6395a7062d3200c23d4b69d"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d">SVF::MTASVFGBuilder::recordRemovingEdge</a></div><div class="ttdeci">bool recordRemovingEdge(NodeID id1, NodeID id2, PointsTo pts)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00108">FSMPTA.cpp:108</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a35bd5f0fb2c146199e9f1aa6a19b4062"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00106">PointerAnalysis.h:106</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a35bd5f0fb2c146199e9f1aa6a19b4062"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00105">PointerAnalysis.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_aeee5fc4658ed1e7fbeeb49aab6d20e99"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99">SVF::MTASVFGBuilder::PairToBoolMap</a></div><div class="ttdeci">Map&lt; SVFGNodeLockSpan, bool &gt; PairToBoolMap</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00109">FSMPTA.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a2effeeac276a64d612fe6af08ec25b74"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a2effeeac276a64d612fe6af08ec25b74">SVF::MTASVFGBuilder::recordAddingEdge</a></div><div class="ttdeci">bool recordAddingEdge(NodeID id1, NodeID id2, PointsTo pts)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00103">FSMPTA.cpp:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FSMPTA_html_a6850ae40363e49f7167a23aee3cd63fb"><div class="ttname"><a href="classSVF_1_1FSMPTA.html#a6850ae40363e49f7167a23aee3cd63fb">SVF::FSMPTA::~FSMPTA</a></div><div class="ttdeci">~FSMPTA()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00214">FSMPTA.h:214</a></div></div>
@@ -378,7 +378,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFGNodeLockSpan_html_ae91a897133c8d79cbc2d6a656ff92676"><div class="ttname"><a href="classSVF_1_1SVFGNodeLockSpan.html#ae91a897133c8d79cbc2d6a656ff92676">SVF::SVFGNodeLockSpan::~SVFGNodeLockSpan</a></div><div class="ttdeci">virtual ~SVFGNodeLockSpan()</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00056">FSMPTA.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a07b7d49e1fbe3e5dc694b6aadbee05b8"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8">SVF::LockAnalysis::LockSpan</a></div><div class="ttdeci">Set&lt; CxtStmt &gt; LockSpan</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00068">LockAnalysis.h:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a91ff57e51b0650963b4b5541fa0f7056"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a91ff57e51b0650963b4b5541fa0f7056">SVF::MTASVFGBuilder::handleStoreStoreNonSparse</a></div><div class="ttdeci">void handleStoreStoreNonSparse(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta)</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00475">FSMPTA.cpp:475</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5583b5fc0db461a0138b1f2f1c9a89a0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis::CallSiteSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallSiteSet</div><div class="ttdoc">Indirect call edges type, map a callsite to a set of callees.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00103">PointerAnalysis.h:103</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5583b5fc0db461a0138b1f2f1c9a89a0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis::CallSiteSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallSiteSet</div><div class="ttdoc">Indirect call edges type, map a callsite to a set of callees.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00102">PointerAnalysis.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a0ed91beb4d3442c0a78ea81bde8d41a3"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder::performAddingMHPEdges</a></div><div class="ttdeci">void performAddingMHPEdges()</div><div class="ttdoc">perform adding/removing MHP Edges in value flow graph</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00113">FSMPTA.cpp:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_adac31c16b9e84d3bee24ce09a82c467b"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b">SVF::MTASVFGBuilder::ADDEDGE_NORP</a></div><div class="ttdeci">static const u32_t ADDEDGE_NORP</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00193">FSMPTA.h:193</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FSMPTA_html_aa8dcd130d4b9283fc6b903de8e4ad830"><div class="ttname"><a href="classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830">SVF::FSMPTA::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00253">FSMPTA.h:253</a></div></div>
@@ -395,7 +395,7 @@ $(function() {
 <div class="ttc" id="aFlowSensitive_8h_html"><div class="ttname"><a href="FlowSensitive_8h.html">FlowSensitive.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a5397f8f0a77e4b81509d2be36a4d1af0"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a5397f8f0a77e4b81509d2be36a4d1af0">SVF::MTASVFGBuilder::~MTASVFGBuilder</a></div><div class="ttdeci">virtual ~MTASVFGBuilder()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00117">FSMPTA.h:117</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac1422cd8b449fdb4a1f7c539364e4c41"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41">SVF::PointerAnalysis::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00105">PointerAnalysis.h:105</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac1422cd8b449fdb4a1f7c539364e4c41"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41">SVF::PointerAnalysis::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00104">PointerAnalysis.h:104</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a80ce025ef719088c7aea9f2459a781d5"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5">SVF::MTASVFGBuilder::ADDEDGE_ALLOPT</a></div><div class="ttdeci">static const u32_t ADDEDGE_ALLOPT</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00189">FSMPTA.h:189</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a772436f5edc7b4bed3a3e8f0e55ac5ce"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce">SVF::MTASVFGBuilder::stnodeSet</a></div><div class="ttdeci">SVFGNodeSet stnodeSet</div><div class="ttdoc">all stores/loads SVFGNodes</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00166">FSMPTA.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a9b81d7b2c238d443acadc748c6bd018d"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d">SVF::MTASVFGBuilder::ADDEDGE_NOALIAS</a></div><div class="ttdeci">static const u32_t ADDEDGE_NOALIAS</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00191">FSMPTA.h:191</a></div></div>
@@ -422,7 +422,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_aae87004825b3f30356ca49b8a1dab7f3"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#aae87004825b3f30356ca49b8a1dab7f3">SVF::MTASVFGBuilder::InstSet</a></div><div class="ttdeci">Set&lt; const SVFInstruction * &gt; InstSet</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00107">FSMPTA.h:107</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_1MTASVFGBuilder_html_ac8339229ade604f4205b111bfc99f23f"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder::isTailofSpan</a></div><div class="ttdeci">bool isTailofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)</div><div class="ttdoc">whether is a last write in the lock span.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00285">FSMPTA.cpp:285</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_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#l00198">PointerAnalysis.h:198</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>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a46d39980440040fc0ca50b3df7eead1a"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a46d39980440040fc0ca50b3df7eead1a">SVF::MTASVFGBuilder::collectLoadStoreSVFGNodes</a></div><div class="ttdeci">void collectLoadStoreSVFGNodes()</div><div class="ttdoc">Collect all loads/stores SVFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00064">FSMPTA.cpp:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a26b6750de23395a89767288b2eabb1ef"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef">SVF::MTASVFGBuilder::performRemovingMHPEdges</a></div><div class="ttdeci">void performRemovingMHPEdges()</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00145">FSMPTA.cpp:145</a></div></div>

package/SVF-doxygen/html/FlowDDA_8h_source.html

@@ -227,7 +227,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtDPItem_html"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html">SVF::StmtDPItem</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00131">DPItem.h:131</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_a5521918cc06c182c821b9fae8136e4fe"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::_pag</a></div><div class="ttdeci">SVFIR * _pag</div><div class="ttdoc">SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00774">DDAVFSolver.h:774</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_ac39860015b45b9af6351d0343f8983bb"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::getAndersenAnalysis</a></div><div class="ttdeci">AndersenWaveDiff * getAndersenAnalysis() const</div><div class="ttdoc">Return Andersen's analysis.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00717">DDAVFSolver.h:717</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00150">PointerAnalysis.h:150</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5ec3d9bf1fc81346c9df29638daedc0f"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">SVF::PointerAnalysis::stat</a></div><div class="ttdeci">PTAStat * stat</div><div class="ttdoc">Statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00149">PointerAnalysis.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a431ec4f85eb0f029e5740b92fd9ceb32"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialization of a pointer analysis, including building symbol table and SVFIR etc.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00106">PointerAnalysis.cpp:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00047">DDAVFSolver.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a5f51c3ba53410fa31225b8ff6fb5e4b4"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4">SVF::FlowDDA::CallSiteSet</a></div><div class="ttdeci">BVDataPTAImpl::CallSiteSet CallSiteSet</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00057">FlowDDA.h:57</a></div></div>
@@ -236,14 +236,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a8930c3b8f3b58dca8da6017310bb74ae"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a8930c3b8f3b58dca8da6017310bb74ae">SVF::FlowDDA::handleOutOfBudgetDpm</a></div><div class="ttdeci">void handleOutOfBudgetDpm(const LocDPItem &amp;dpm)</div><div class="ttdoc">Handle out-of-budget dpm.</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8cpp_source.html#l00072">FlowDDA.cpp:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a9749c82c1164adb17e2ae53e725ded9a"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a">SVF::FlowDDA::getPtrNodeID</a></div><div class="ttdeci">virtual NodeID getPtrNodeID(const NodeID &amp;var) const override</div><div class="ttdoc">Override parent method.</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00114">FlowDDA.h:114</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_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00350">PointerAnalysis.h:350</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00347">PointerAnalysis.h:347</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAClient_html"><div class="ttname"><a href="classSVF_1_1DDAClient.html">SVF::DDAClient</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00048">DDAClient.h:48</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrVFGNode_html"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html">SVF::AddrVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00760">VFGNode.h:760</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18">SVF::PointerAnalysis::FlowS_DDA</a></div><div class="ttdeci">@ FlowS_DDA</div><div class="ttdoc">Flow sensitive DDA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00085">PointerAnalysis.h:85</a></div></div>
-<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_a68b05bc02c5473c1e0d39ac4f4454bac"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis::getFIObjVar</a></div><div class="ttdeci">NodeID getFIObjVar(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00333">PointerAnalysis.h:333</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18">SVF::PointerAnalysis::FlowS_DDA</a></div><div class="ttdeci">@ FlowS_DDA</div><div class="ttdoc">Flow sensitive DDA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00084">PointerAnalysis.h:84</a></div></div>
+<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#l00057">PointerAnalysis.h:57</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a68b05bc02c5473c1e0d39ac4f4454bac"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis::getFIObjVar</a></div><div class="ttdeci">NodeID getFIObjVar(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00330">PointerAnalysis.h:330</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_addb412dc03c7684889693ce263585867"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#addb412dc03c7684889693ce263585867">SVF::FlowDDA::handleBKCondition</a></div><div class="ttdeci">virtual bool handleBKCondition(LocDPItem &amp;dpm, const SVFGEdge *edge) override</div><div class="ttdoc">Handle condition for flow analysis (backward analysis)</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8cpp_source.html#l00102">FlowDDA.cpp:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_af34ed8482d3737a8aaaff2d5c75960ec"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG(SVFIR *pag)</div><div class="ttdoc">Build SVFG.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00317">DDAVFSolver.h:317</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_af83f88f2ae2456f2691e8822d56b1598"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::DDAStat</a></div><div class="ttdeci">friend class DDAStat</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00049">DDAVFSolver.h:49</a></div></div>
@@ -259,11 +259,11 @@ $(function() {
 <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>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_abd652b2627f68d7d4f8bf3bdb20ce975"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::setCallGraphSCC</a></div><div class="ttdeci">void setCallGraphSCC(CallGraphSCC *scc)</div><div class="ttdoc">Set callgraphSCC.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00632">DDAVFSolver.h:632</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a35bd5f0fb2c146199e9f1aa6a19b4062"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00106">PointerAnalysis.h:106</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a35bd5f0fb2c146199e9f1aa6a19b4062"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00105">PointerAnalysis.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_adcb641eec4f620effdb3f61a46429f40"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::setDDAStat</a></div><div class="ttdeci">DDAStat * setDDAStat(DDAStat *s)</div><div class="ttdoc">Set DDAStat.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00747">DDAVFSolver.h:747</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_ae31e9281e4f1e0585fdf328b7339e1bf"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::getCachedPointsTo</a></div><div class="ttdeci">virtual const PointsTo &amp; getCachedPointsTo(const LocDPItem &amp;dpm)</div><div class="ttdoc">Points-to Caching for top-level pointers and address-taken objects.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00556">DDAVFSolver.h:556</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0bddf297a2d8cd59ce9a232f0229f248"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248">SVF::PointerAnalysis::getCallGraphSCC</a></div><div class="ttdeci">CallGraphSCC * getCallGraphSCC() const</div><div class="ttdoc">Return call graph SCC.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00179">PointerAnalysis.h:179</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0bddf297a2d8cd59ce9a232f0229f248"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248">SVF::PointerAnalysis::getCallGraphSCC</a></div><div class="ttdeci">CallGraphSCC * getCallGraphSCC() const</div><div class="ttdoc">Return call graph SCC.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00176">PointerAnalysis.h:176</a></div></div>
 <div class="ttc" id="aDDAVFSolver_8h_html"><div class="ttname"><a href="DDAVFSolver_8h.html">DDAVFSolver.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a8d128246f86f28fdf4981d91169ab440"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a8d128246f86f28fdf4981d91169ab440">SVF::PointerAnalysis::resolveIndCalls</a></div><div class="ttdeci">virtual void resolveIndCalls(const CallICFGNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges)</div><div class="ttdoc">Resolve indirect call edges.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00385">PointerAnalysis.cpp:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a0e10ce1de61977d2fbb3ad2f64df64b9"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9">SVF::FlowDDA::_client</a></div><div class="ttdeci">DDAClient * _client</div><div class="ttdoc">DDA client.</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00173">FlowDDA.h:173</a></div></div>
@@ -271,8 +271,8 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtDPItem_html_a6cc1361dd5777cb4b93fb93c3899cfc7"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7">SVF::StmtDPItem::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00197">DPItem.h:197</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a2f67714c2dc72384de9c80bf0848adfd"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a2f67714c2dc72384de9c80bf0848adfd">SVF::FlowDDA::~FlowDDA</a></div><div class="ttdeci">virtual ~FlowDDA()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00067">FlowDDA.h:67</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a40845b3027a1237076aa8297ca39e730"><div class="ttname"><a href="SVFType_8h.html#a40845b3027a1237076aa8297ca39e730">DDDA</a></div><div class="ttdeci">#define DDDA</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_1PointerAnalysis_html_a5583b5fc0db461a0138b1f2f1c9a89a0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis::CallSiteSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallSiteSet</div><div class="ttdoc">Indirect call edges type, map a callsite to a set of callees.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00103">PointerAnalysis.h:103</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00142">PointerAnalysis.h:142</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5583b5fc0db461a0138b1f2f1c9a89a0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis::CallSiteSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallSiteSet</div><div class="ttdoc">Indirect call edges type, map a callsite to a set of callees.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00102">PointerAnalysis.h:102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00141">PointerAnalysis.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_aa26f9b5ba2e51f904d8ede1db8584460"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">dummy analyze method</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00071">FlowDDA.h:71</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_a6489319b33a807f7caba2d34017a3e1b"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::SVFGEdgeSet</a></div><div class="ttdeci">SVFGEdge::SVFGEdgeSetTy SVFGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00061">DDAVFSolver.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_afc2b0eeb1d5d5f292690f3c949217c38"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::setCallGraph</a></div><div class="ttdeci">void setCallGraph(PTACallGraph *cg)</div><div class="ttdoc">Set callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00627">DDAVFSolver.h:627</a></div></div>
@@ -280,7 +280,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ae7073c07bfd7912f888d54d4652c7cc2"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2">SVF::BVDataPTAImpl::unionPts</a></div><div class="ttdeci">virtual bool unionPts(NodeID id, const PointsTo &amp;target)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00113">PointerAnalysisImpl.h:113</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepVFGNode_html"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00594">VFGNode.h:594</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac1422cd8b449fdb4a1f7c539364e4c41"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41">SVF::PointerAnalysis::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00105">PointerAnalysis.h:105</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac1422cd8b449fdb4a1f7c539364e4c41"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41">SVF::PointerAnalysis::FunctionSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00104">PointerAnalysis.h:104</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowDDA_html_a113faa56ee75eff39da19fd4b47a47e0"><div class="ttname"><a href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA::computeDDAPts</a></div><div class="ttdeci">void computeDDAPts(NodeID id) override</div><div class="ttdoc">Compute points-to set for all top variable.</div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8cpp_source.html#l00043">FlowDDA.cpp:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_a7b35588de00e322afd742041bf735571"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571">SVF::DDAVFSolver&lt; NodeID, PointsTo, LocDPItem &gt;::isTopLevelPtrStmt</a></div><div class="ttdeci">bool isTopLevelPtrStmt(const SVFGNode *stmt)</div><div class="ttdoc">Whether this is a top-level pointer statement.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00583">DDAVFSolver.h:583</a></div></div>
 <div class="ttc" id="aDPItem_8h_html"><div class="ttname"><a href="DPItem_8h.html">DPItem.h</a></div></div>