svf-tools 1.0.605 → 1.0.606

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (11) hide show
  1. package/SVF-doxygen/html/html/MHP_8cpp_source.html +29 -29
  2. package/SVF-doxygen/html/html/MHP_8h_source.html +19 -19
  3. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +30 -30
  5. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +56 -56
  6. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  7. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  8. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +3 -3
  9. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
  10. package/lib/MTA/MHP.cpp +1 -2
  11. package/package.json +1 -1
package/SVF-doxygen/html/html/MHP_8h_source.html CHANGED
@@ -70,16 +70,16 @@ $(function() {
70
70
  <div class="ttc" id="classSVF_1_1MHP_html"><div class="ttname"><a href="classSVF_1_1MHP.html">SVF::MHP</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00045">MHP.h:45</a></div></div>
71
71
  <div class="ttc" id="classSVF_1_1TCTNode_html_a5dd0cf88e381438d191b275314117561"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561">SVF::TCTNode::isMultiforked</a></div><div class="ttdeci">bool isMultiforked() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00120">TCT.h:120</a></div></div>
72
72
  <div class="ttc" id="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html">SVF::SparseBitVector::SparseBitVectorIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00536">SparseBitVector.h:536</a></div></div>
73
- <div class="ttc" id="classSVF_1_1MHP_html_aed0633101a35b43a1769261db14fb1a1"><div class="ttname"><a href="classSVF_1_1MHP.html#aed0633101a35b43a1769261db14fb1a1">SVF::MHP::getDirAndIndJoinedTid</a></div><div class="ttdeci">NodeBS getDirAndIndJoinedTid(const CallStrCxt &amp;cxt, const SVFInstruction *call)</div><div class="ttdoc">Return thread id(s) which are directly or indirectly joined at this join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00480">MHP.cpp:480</a></div></div>
73
+ <div class="ttc" id="classSVF_1_1MHP_html_aed0633101a35b43a1769261db14fb1a1"><div class="ttname"><a href="classSVF_1_1MHP.html#aed0633101a35b43a1769261db14fb1a1">SVF::MHP::getDirAndIndJoinedTid</a></div><div class="ttdeci">NodeBS getDirAndIndJoinedTid(const CallStrCxt &amp;cxt, const SVFInstruction *call)</div><div class="ttdoc">Return thread id(s) which are directly or indirectly joined at this join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00479">MHP.cpp:479</a></div></div>
74
74
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_aa31b3f3d51b963ccd475e66b77143dba"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis::cxtStmtToAliveFlagMap</a></div><div class="ttdeci">CxtStmtToAliveFlagMap cxtStmtToAliveFlagMap</div><div class="ttdoc">flags for context-sensitive statements </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00556">MHP.h:556</a></div></div>
75
75
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a0ec0920d324604e3672db4d8dff93b1e"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a0ec0920d324604e3672db4d8dff93b1e">SVF::ForkJoinAnalysis::CxtStmtWorkList</a></div><div class="ttdeci">FIFOWorkList&lt; CxtStmt &gt; CxtStmtWorkList</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00306">MHP.h:306</a></div></div>
76
76
  <div class="ttc" id="classSVF_1_1MHP_html_a1f057ef082484a1997cb02287e063f00"><div class="ttname"><a href="classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00">SVF::MHP::nonCandidateFuncMHPRelMap</a></div><div class="ttdeci">FuncPairToBool nonCandidateFuncMHPRelMap</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00273">MHP.h:273</a></div></div>
77
- <div class="ttc" id="classSVF_1_1MHP_html_a7585f40b80c5488828576eb2f035ac61"><div class="ttname"><a href="classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61">SVF::MHP::hasJoinInSymmetricLoop</a></div><div class="ttdeci">bool hasJoinInSymmetricLoop(const CallStrCxt &amp;cxt, const SVFInstruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00489">MHP.cpp:489</a></div></div>
77
+ <div class="ttc" id="classSVF_1_1MHP_html_a7585f40b80c5488828576eb2f035ac61"><div class="ttname"><a href="classSVF_1_1MHP.html#a7585f40b80c5488828576eb2f035ac61">SVF::MHP::hasJoinInSymmetricLoop</a></div><div class="ttdeci">bool hasJoinInSymmetricLoop(const CallStrCxt &amp;cxt, const SVFInstruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00488">MHP.cpp:488</a></div></div>
78
78
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a7fb8df483e619337e77088e8543a9846"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846">SVF::ForkJoinAnalysis::ThreadPairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; ThreadPairSet</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00304">MHP.h:304</a></div></div>
79
79
  <div class="ttc" id="classSVF_1_1TCT_html_a59125bb4878bc347dbdbc74aa6ec4cdf"><div class="ttname"><a href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT::hasJoinLoop</a></div><div class="ttdeci">bool hasJoinLoop(const SVFInstruction *join) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00366">TCT.h:366</a></div></div>
80
80
  <div class="ttc" id="classSVF_1_1MHP_html_a08ba219ec02b07b1bbd91a88ebb4acd7"><div class="ttname"><a href="classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7">SVF::MHP::LockSpan</a></div><div class="ttdeci">Set&lt; CxtStmt &gt; LockSpan</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00058">MHP.h:58</a></div></div>
81
81
  <div class="ttc" id="classSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00570">SVFValue.h:570</a></div></div>
82
- <div class="ttc" id="classSVF_1_1MHP_html_a0cb1db9943ddc0928afa8e370cbf60c6"><div class="ttname"><a href="classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6">SVF::MHP::mayHappenInParallelInst</a></div><div class="ttdeci">virtual bool mayHappenInParallelInst(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00545">MHP.cpp:545</a></div></div>
82
+ <div class="ttc" id="classSVF_1_1MHP_html_a0cb1db9943ddc0928afa8e370cbf60c6"><div class="ttname"><a href="classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6">SVF::MHP::mayHappenInParallelInst</a></div><div class="ttdeci">virtual bool mayHappenInParallelInst(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00544">MHP.cpp:544</a></div></div>
83
83
  <div class="ttc" id="classSVF_1_1MHP_html_a4b73d112880ad940e078e801f8725799"><div class="ttname"><a href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP::tcg</a></div><div class="ttdeci">ThreadCallGraph * tcg</div><div class="ttdoc">TCG. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00267">MHP.h:267</a></div></div>
84
84
  <div class="ttc" id="classSVF_1_1MHP_html_a041392f704690e89d8acf5ec68d8682c"><div class="ttname"><a href="classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c">SVF::MHP::isMultiForkedThread</a></div><div class="ttdeci">bool isMultiForkedThread(NodeID curTid)</div><div class="ttdoc">A thread is a multiForked thread if it is in a loop or recursion. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00217">MHP.h:217</a></div></div>
85
85
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a1505ba82206169f76ea239067797d6c2"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2">SVF::ForkJoinAnalysis::addToHPPair</a></div><div class="ttdeci">void addToHPPair(NodeID tid1, NodeID tid2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00527">MHP.h:527</a></div></div>
@@ -104,15 +104,15 @@ $(function() {
104
104
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ab69d11caf499612d108155e13adb300f"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ab69d11caf499612d108155e13adb300f">SVF::ForkJoinAnalysis::hasJoinInSymmetricLoop</a></div><div class="ttdeci">bool hasJoinInSymmetricLoop(const CxtStmt &amp;cs) const</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00335">MHP.h:335</a></div></div>
105
105
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a3b6d40f3421d4ee9bdb54a78d592f3a7"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a3b6d40f3421d4ee9bdb54a78d592f3a7">SVF::ForkJoinAnalysis::getJoinedThread</a></div><div class="ttdeci">const SVFValue * getJoinedThread(const SVFInstruction *call)</div><div class="ttdoc">Get joined thread. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00504">MHP.h:504</a></div></div>
106
106
  <div class="ttc" id="SVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
107
- <div class="ttc" id="classSVF_1_1MHP_html_a6f07427b45991b2d8a3ff21582121d23"><div class="ttname"><a href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP::isHBPair</a></div><div class="ttdeci">bool isHBPair(NodeID tid1, NodeID tid2)</div><div class="ttdoc">Whether thread t1 happens before t2 based on ForkJoin Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00505">MHP.cpp:505</a></div></div>
107
+ <div class="ttc" id="classSVF_1_1MHP_html_a6f07427b45991b2d8a3ff21582121d23"><div class="ttname"><a href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP::isHBPair</a></div><div class="ttdeci">bool isHBPair(NodeID tid1, NodeID tid2)</div><div class="ttdoc">Whether thread t1 happens before t2 based on ForkJoin Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00504">MHP.cpp:504</a></div></div>
108
108
  <div class="ttc" id="classSVF_1_1MHP_html_a905c05370011a2dc93f86973d409b4d9"><div class="ttname"><a href="classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9">SVF::MHP::FunSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; FunSet</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00049">MHP.h:49</a></div></div>
109
109
  <div class="ttc" id="classSVF_1_1MHP_html_a2c3dcb480ef332bd4aff991df39f3e34"><div class="ttname"><a href="classSVF_1_1MHP.html#a2c3dcb480ef332bd4aff991df39f3e34">SVF::MHP::LoopBBs</a></div><div class="ttdeci">SVFLoopAndDomInfo::LoopBBs LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00056">MHP.h:56</a></div></div>
110
110
  <div class="ttc" id="classSVF_1_1SVFLoopAndDomInfo_html_ae5e2b154313b4330bb015050aec72a1f"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">SVF::SVFLoopAndDomInfo::LoopBBs</a></div><div class="ttdeci">BBList LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00055">SVFValue.h:55</a></div></div>
111
111
  <div class="ttc" id="classSVF_1_1MHP_html_abeb76ad63d9362ba8fa8f7088b0d942b"><div class="ttname"><a href="classSVF_1_1MHP.html#abeb76ad63d9362ba8fa8f7088b0d942b">SVF::MHP::updateNonCandidateFunInterleaving</a></div><div class="ttdeci">void updateNonCandidateFunInterleaving()</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00144">MHP.cpp:144</a></div></div>
112
112
  <div class="ttc" id="classSVF_1_1MHP_html_a3352c8718f909c9fbed4ef7f5cf050a2"><div class="ttname"><a href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP::isTDJoin</a></div><div class="ttdeci">bool isTDJoin(const SVFInstruction *call)</div><div class="ttdoc">Whether it is a join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00250">MHP.h:250</a></div></div>
113
- <div class="ttc" id="classSVF_1_1MHP_html_a15b624924254f5362a3d02fa539a24fb"><div class="ttname"><a href="classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00603">MHP.cpp:603</a></div></div>
113
+ <div class="ttc" id="classSVF_1_1MHP_html_a15b624924254f5362a3d02fa539a24fb"><div class="ttname"><a href="classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00602">MHP.cpp:602</a></div></div>
114
114
  <div class="ttc" id="classSVF_1_1TCT_html_a7e271b604467732098fb42e8e64cc1ac"><div class="ttname"><a href="classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac">SVF::TCT::InstVec</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; InstVec</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00143">TCT.h:143</a></div></div>
115
- <div class="ttc" id="classSVF_1_1MHP_html_af4d6f0884ce18ea5caf0dfd9799d1aae"><div class="ttname"><a href="classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae">SVF::MHP::handleIntra</a></div><div class="ttdeci">void handleIntra(const CxtThreadStmt &amp;cts)</div><div class="ttdoc">Handle intra. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00360">MHP.cpp:360</a></div></div>
115
+ <div class="ttc" id="classSVF_1_1MHP_html_af4d6f0884ce18ea5caf0dfd9799d1aae"><div class="ttname"><a href="classSVF_1_1MHP.html#af4d6f0884ce18ea5caf0dfd9799d1aae">SVF::MHP::handleIntra</a></div><div class="ttdeci">void handleIntra(const CxtThreadStmt &amp;cts)</div><div class="ttdoc">Handle intra. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00359">MHP.cpp:359</a></div></div>
116
116
  <div class="ttc" id="classSVF_1_1CxtThreadStmt_html_a3b8f641f2fb7ade7052cae1ee6463884"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html#a3b8f641f2fb7ade7052cae1ee6463884">SVF::CxtThreadStmt::getTid</a></div><div class="ttdeci">NodeID getTid() const</div><div class="ttdoc">Return current context. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00139">CxtStmt.h:139</a></div></div>
117
117
  <div class="ttc" id="classSVF_1_1MHP_html_a68a2ad4480af7d40bd604d81afbc3d0b"><div class="ttname"><a href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP::pushCxt</a></div><div class="ttdeci">void pushCxt(CallStrCxt &amp;cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Push calling context. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00222">MHP.h:222</a></div></div>
118
118
  <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00099">SVFType.h:99</a></div></div>
@@ -126,7 +126,7 @@ $(function() {
126
126
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f">SVF::ForkJoinAnalysis::Empty</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00295">MHP.h:295</a></div></div>
127
127
  <div class="ttc" id="classSVF_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#l00147">SVFValue.h:147</a></div></div>
128
128
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a9b0d25255df73a5d7a0b9d30fe918200"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a9b0d25255df73a5d7a0b9d30fe918200">SVF::ForkJoinAnalysis::CxtStmtToTIDMap</a></div><div class="ttdeci">Map&lt; CxtStmt, NodeBS &gt; CxtStmtToTIDMap</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00303">MHP.h:303</a></div></div>
129
- <div class="ttc" id="classSVF_1_1MHP_html_a843f1fa52625ec9e844307ba51fec202"><div class="ttname"><a href="classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202">SVF::MHP::mayHappenInParallelCache</a></div><div class="ttdeci">virtual bool mayHappenInParallelCache(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00581">MHP.cpp:581</a></div></div>
129
+ <div class="ttc" id="classSVF_1_1MHP_html_a843f1fa52625ec9e844307ba51fec202"><div class="ttname"><a href="classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202">SVF::MHP::mayHappenInParallelCache</a></div><div class="ttdeci">virtual bool mayHappenInParallelCache(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00580">MHP.cpp:580</a></div></div>
130
130
  <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_adcad8524a53baf256cd45503ec568c10"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#adcad8524a53baf256cd45503ec568c10">SVF::ThreadCallGraph::getThreadAPI</a></div><div class="ttdeci">ThreadAPI * getThreadAPI() const</div><div class="ttdoc">Thread API. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00324">ThreadCallGraph.h:324</a></div></div>
131
131
  <div class="ttc" id="classSVF_1_1MHP_html_a20e740d4b96ef086b6b5778acd38ca88"><div class="ttname"><a href="classSVF_1_1MHP.html#a20e740d4b96ef086b6b5778acd38ca88">SVF::MHP::getThreadCallGraph</a></div><div class="ttdeci">ThreadCallGraph * getThreadCallGraph() const</div><div class="ttdoc">Get ThreadCallGraph. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00076">MHP.h:76</a></div></div>
132
132
  <div class="ttc" id="classSVF_1_1TCT_html_a7b4ad0b052e1f8b6869733eef15f4e4d"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT::getTCTNode</a></div><div class="ttdeci">TCTNode * getTCTNode(NodeID id) const</div><div class="ttdoc">Get TCT node. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00192">TCT.h:192</a></div></div>
@@ -141,16 +141,16 @@ $(function() {
141
141
  <div class="ttc" id="classSVF_1_1MHP_html_a02457fa6e3c85c897ec3b3d8db18cc4b"><div class="ttname"><a href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdoc">Start analysis here. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00062">MHP.cpp:62</a></div></div>
142
142
  <div class="ttc" id="namespaceSVF_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#l00094">SVFType.h:94</a></div></div>
143
143
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a3616d6e1649f9e451da0f7a44cffc1e3"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3">SVF::ForkJoinAnalysis::partialJoin</a></div><div class="ttdeci">ThreadPairSet partialJoin</div><div class="ttdoc">t1 partially joins t2 along some program path(s) </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00564">MHP.h:564</a></div></div>
144
- <div class="ttc" id="classSVF_1_1MHP_html_ac10a8f3a4b09dc257be9edabccea3fbb"><div class="ttname"><a href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP::executedByTheSameThread</a></div><div class="ttdeci">virtual bool executedByTheSameThread(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00615">MHP.cpp:615</a></div></div>
144
+ <div class="ttc" id="classSVF_1_1MHP_html_ac10a8f3a4b09dc257be9edabccea3fbb"><div class="ttname"><a href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP::executedByTheSameThread</a></div><div class="ttdeci">virtual bool executedByTheSameThread(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00614">MHP.cpp:614</a></div></div>
145
145
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a159bbd4352fcffa93c97281ab9d229b1"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a159bbd4352fcffa93c97281ab9d229b1">SVF::ForkJoinAnalysis::LoopBBs</a></div><div class="ttdeci">SVFLoopAndDomInfo::LoopBBs LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00300">MHP.h:300</a></div></div>
146
- <div class="ttc" id="classSVF_1_1MHP_html_af769afe6ba6baccda5a497df181c9fb0"><div class="ttname"><a href="classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0">SVF::MHP::handleCall</a></div><div class="ttdeci">void handleCall(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle call. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00289">MHP.cpp:289</a></div></div>
146
+ <div class="ttc" id="classSVF_1_1MHP_html_af769afe6ba6baccda5a497df181c9fb0"><div class="ttname"><a href="classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0">SVF::MHP::handleCall</a></div><div class="ttdeci">void handleCall(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle call. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00288">MHP.cpp:288</a></div></div>
147
147
  <div class="ttc" id="classSVF_1_1MHP_html_aeba1145d32693ae7b642f483eeae94ef"><div class="ttname"><a href="classSVF_1_1MHP.html#aeba1145d32693ae7b642f483eeae94ef">SVF::MHP::CxtThreadStmtWorkList</a></div><div class="ttdeci">FIFOWorkList&lt; CxtThreadStmt &gt; CxtThreadStmtWorkList</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00052">MHP.h:52</a></div></div>
148
148
  <div class="ttc" id="classSVF_1_1CxtStmt_html_a0b593c4ba425937212e2889e64ce4791"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791">SVF::CxtStmt::getStmt</a></div><div class="ttdeci">const SVFInstruction * getStmt() const</div><div class="ttdoc">Return current statement. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00062">CxtStmt.h:62</a></div></div>
149
149
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a63da48d338683ec95709a6bd95238707"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis::cxtJoinInLoop</a></div><div class="ttdeci">CxtStmtToLoopMap cxtJoinInLoop</div><div class="ttdoc">a set of context-sensitive join inside loop </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00560">MHP.h:560</a></div></div>
150
150
  <div class="ttc" id="classSVF_1_1MHP_html_abf1f5a7c365dfb95b42015b7b2ad6fbe"><div class="ttname"><a href="classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe">SVF::MHP::MHP</a></div><div class="ttdeci">MHP(TCT *t)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00044">MHP.cpp:44</a></div></div>
151
151
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a8aa2d4c83981007108b152d05e9c51fe"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe">SVF::ForkJoinAnalysis::addDirectlyJoinTID</a></div><div class="ttdeci">void addDirectlyJoinTID(const CxtStmt &amp;cs, NodeID tid)</div><div class="ttdoc">maps a context-sensitive join site to a thread id </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00519">MHP.h:519</a></div></div>
152
- <div class="ttc" id="classSVF_1_1MHP_html_a23ab5a03b7c00ba0ebac65568a83a5cc"><div class="ttname"><a href="classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc">SVF::MHP::updateSiblingThreads</a></div><div class="ttdeci">void updateSiblingThreads(NodeID tid)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00408">MHP.cpp:408</a></div></div>
153
- <div class="ttc" id="classSVF_1_1MHP_html_a90c228214643bb6d37bacffc35b99a3e"><div class="ttname"><a href="classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e">SVF::MHP::isConnectedfromMain</a></div><div class="ttdeci">bool isConnectedfromMain(const SVFFunction *fun)</div><div class="ttdoc">Whether the function is connected from main function in thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00510">MHP.cpp:510</a></div></div>
152
+ <div class="ttc" id="classSVF_1_1MHP_html_a23ab5a03b7c00ba0ebac65568a83a5cc"><div class="ttname"><a href="classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc">SVF::MHP::updateSiblingThreads</a></div><div class="ttdeci">void updateSiblingThreads(NodeID tid)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00407">MHP.cpp:407</a></div></div>
153
+ <div class="ttc" id="classSVF_1_1MHP_html_a90c228214643bb6d37bacffc35b99a3e"><div class="ttname"><a href="classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e">SVF::MHP::isConnectedfromMain</a></div><div class="ttdeci">bool isConnectedfromMain(const SVFFunction *fun)</div><div class="ttdoc">Whether the function is connected from main function in thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00509">MHP.cpp:509</a></div></div>
154
154
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ac483d3b0e9084c2033e177eda9ac9215"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ac483d3b0e9084c2033e177eda9ac9215">SVF::ForkJoinAnalysis::markCxtStmtFlag</a></div><div class="ttdeci">void markCxtStmtFlag(const CxtStmt &amp;tgr, ValDomain flag)</div><div class="ttdoc">Initialize TDAlive and TDDead flags. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00426">MHP.h:426</a></div></div>
155
155
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a8d40e687caf8999369621ed385dfc631"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631">SVF::ForkJoinAnalysis::ValDomain</a></div><div class="ttdeci">ValDomain</div><div class="ttdoc">semilattice Empty==&gt;TDDead==&gt;TDAlive </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00293">MHP.h:293</a></div></div>
156
156
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ac95b1600aa524c3e607eebcf9d50df0e"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e">SVF::ForkJoinAnalysis::matchCxt</a></div><div class="ttdeci">bool matchCxt(CallStrCxt &amp;cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Match context. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00483">MHP.h:483</a></div></div>
@@ -159,11 +159,11 @@ $(function() {
159
159
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ab55532eefbcef639ced957ad82fbd340"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340">SVF::ForkJoinAnalysis::isFullJoin</a></div><div class="ttdeci">bool isFullJoin(NodeID tid1, NodeID tid2)</div><div class="ttdoc">Whether t1 fully joins t2. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00350">MHP.h:350</a></div></div>
160
160
  <div class="ttc" id="classSVF_1_1ThreadCallGraph_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00160">ThreadCallGraph.h:160</a></div></div>
161
161
  <div class="ttc" id="classSVF_1_1ThreadAPI_html_a4bacbfb6648de8196217c83b5d73b876"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI::isTDFork</a></div><div class="ttdeci">bool isTDFork(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call create a new thread. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00129">ThreadAPI.h:129</a></div></div>
162
- <div class="ttc" id="classSVF_1_1MHP_html_a76ac9d388529f090ab6dad5829dd0753"><div class="ttname"><a href="classSVF_1_1MHP.html#a76ac9d388529f090ab6dad5829dd0753">SVF::MHP::handleRet</a></div><div class="ttdeci">void handleRet(const CxtThreadStmt &amp;cts)</div><div class="ttdoc">Handle return. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00317">MHP.cpp:317</a></div></div>
162
+ <div class="ttc" id="classSVF_1_1MHP_html_a76ac9d388529f090ab6dad5829dd0753"><div class="ttname"><a href="classSVF_1_1MHP.html#a76ac9d388529f090ab6dad5829dd0753">SVF::MHP::handleRet</a></div><div class="ttdeci">void handleRet(const CxtThreadStmt &amp;cts)</div><div class="ttdoc">Handle return. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00316">MHP.cpp:316</a></div></div>
163
163
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_aad3e722ecaa4a39aef0e1cabfa2b8019"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019">SVF::ForkJoinAnalysis::HBPair</a></div><div class="ttdeci">ThreadPairSet HBPair</div><div class="ttdoc">thread happens-before pair </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00561">MHP.h:561</a></div></div>
164
164
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a66965759d876309c64faf4b755afc2a7"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis::isTDFork</a></div><div class="ttdeci">bool isTDFork(const SVFInstruction *call)</div><div class="ttdoc">Whether it is a fork site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00489">MHP.h:489</a></div></div>
165
165
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a8b45294eef96f04370da341110599f4d"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a8b45294eef96f04370da341110599f4d">SVF::ForkJoinAnalysis::getJoinInSymmetricLoop</a></div><div class="ttdeci">const LoopBBs &amp; getJoinInSymmetricLoop(const CxtStmt &amp;cs) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00329">MHP.h:329</a></div></div>
166
- <div class="ttc" id="classSVF_1_1MHP_html_a22f7dc5043fed97f1b4b273b8b710415"><div class="ttname"><a href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP::printInterleaving</a></div><div class="ttdeci">void printInterleaving()</div><div class="ttdoc">Print interleaving results. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00636">MHP.cpp:636</a></div></div>
166
+ <div class="ttc" id="classSVF_1_1MHP_html_a22f7dc5043fed97f1b4b273b8b710415"><div class="ttname"><a href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP::printInterleaving</a></div><div class="ttdeci">void printInterleaving()</div><div class="ttdoc">Print interleaving results. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00635">MHP.cpp:635</a></div></div>
167
167
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_acccf53d174cac3275da0d79c89a73916"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis::cxtStmtList</a></div><div class="ttdeci">CxtStmtWorkList cxtStmtList</div><div class="ttdoc">context-sensitive statement worklist </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00557">MHP.h:557</a></div></div>
168
168
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a97151d74790b2853249d0cc94bb0904f"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis::isTDJoin</a></div><div class="ttdeci">bool isTDJoin(const SVFInstruction *call)</div><div class="ttdoc">Whether it is a join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00494">MHP.h:494</a></div></div>
169
169
  <div class="ttc" id="classSVF_1_1MHP_html_a0300d46dd22ee7cc8c62fada694d3acb"><div class="ttname"><a href="classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb">SVF::MHP::cxtStmtList</a></div><div class="ttdeci">CxtThreadStmtWorkList cxtStmtList</div><div class="ttdoc">CxtThreadStmt worklist. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00270">MHP.h:270</a></div></div>
@@ -174,7 +174,7 @@ $(function() {
174
174
  <div class="ttc" id="classSVF_1_1SVFFunction_html_a8ca4fa87f4c26b71c6e03c8f32db1071"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00373">SVFValue.h:373</a></div></div>
175
175
  <div class="ttc" id="classSVF_1_1TCT_html_a9b1a5a9feb8cd97b37ee49727536a549"><div class="ttname"><a href="classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549">SVF::TCT::matchCxt</a></div><div class="ttdeci">bool matchCxt(CallStrCxt &amp;cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Match context. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00464">TCT.cpp:464</a></div></div>
176
176
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_abf5b499f93a658636d09a62d14a47cad"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#abf5b499f93a658636d09a62d14a47cad">SVF::ForkJoinAnalysis::directJoinMap</a></div><div class="ttdeci">CxtStmtToTIDMap directJoinMap</div><div class="ttdoc">maps a context-sensitive join site to directly joined thread ids </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00558">MHP.h:558</a></div></div>
177
- <div class="ttc" id="classSVF_1_1MHP_html_a0356a8ccc53999549fb369f67faad306"><div class="ttname"><a href="classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306">SVF::MHP::isRecurFullJoin</a></div><div class="ttdeci">bool isRecurFullJoin(NodeID parentTid, NodeID curTid)</div><div class="ttdoc">Thread curTid can be fully joined by parentTid recurively. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00436">MHP.cpp:436</a></div></div>
177
+ <div class="ttc" id="classSVF_1_1MHP_html_a0356a8ccc53999549fb369f67faad306"><div class="ttname"><a href="classSVF_1_1MHP.html#a0356a8ccc53999549fb369f67faad306">SVF::MHP::isRecurFullJoin</a></div><div class="ttdeci">bool isRecurFullJoin(NodeID parentTid, NodeID curTid)</div><div class="ttdoc">Thread curTid can be fully joined by parentTid recurively. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00435">MHP.cpp:435</a></div></div>
178
178
  <div class="ttc" id="classSVF_1_1MHP_html_a033936547612c54326a604f0ff1e39a6"><div class="ttname"><a href="classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6">SVF::MHP::getTCT</a></div><div class="ttdeci">TCT * getTCT() const</div><div class="ttdoc">Get Thread Creation Tree. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00082">MHP.h:82</a></div></div>
179
179
  <div class="ttc" id="classSVF_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#l00542">SVFValue.h:542</a></div></div>
180
180
  <div class="ttc" id="classSVF_1_1TCT_html_a516578af1f8666ff672e6611e61d7152"><div class="ttname"><a href="classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152">SVF::TCT::getParentThread</a></div><div class="ttdeci">NodeID getParentThread(NodeID tid) const</div><div class="ttdoc">Get parent thread. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00293">TCT.h:293</a></div></div>
@@ -186,7 +186,7 @@ $(function() {
186
186
  <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; CxtThreadStmt &gt;</a></div></div>
187
187
  <div class="ttc" id="classSVF_1_1MHP_html_a653460ed316804bea377eecdde412d36"><div class="ttname"><a href="classSVF_1_1MHP.html#a653460ed316804bea377eecdde412d36">SVF::MHP::getInterleavingThreads</a></div><div class="ttdeci">const NodeBS &amp; getInterleavingThreads(const CxtThreadStmt &amp;cts)</div><div class="ttdoc">Get interleaving thread for statement inst. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00114">MHP.h:114</a></div></div>
188
188
  <div class="ttc" id="classSVF_1_1MHP_html_a8fecc443c4d92a36a9c50ec6a4f5dea8"><div class="ttname"><a href="classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8">SVF::MHP::InstVec</a></div><div class="ttdeci">TCT::InstVec InstVec</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00051">MHP.h:51</a></div></div>
189
- <div class="ttc" id="classSVF_1_1MHP_html_a8a95f8ae419b66310ce6f572caea2ca5"><div class="ttname"><a href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP::handleFork</a></div><div class="ttdeci">void handleFork(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle fork. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00203">MHP.cpp:203</a></div></div>
189
+ <div class="ttc" id="classSVF_1_1MHP_html_a8a95f8ae419b66310ce6f572caea2ca5"><div class="ttname"><a href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP::handleFork</a></div><div class="ttdeci">void handleFork(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle fork. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00202">MHP.cpp:202</a></div></div>
190
190
  <div class="ttc" id="classSVF_1_1TCT_html_ae25bbfc9c8616186f03c1555d5009ce3"><div class="ttname"><a href="classSVF_1_1TCT.html#ae25bbfc9c8616186f03c1555d5009ce3">SVF::TCT::getStartRoutineOfCxtThread</a></div><div class="ttdeci">const SVFFunction * getStartRoutineOfCxtThread(const CxtThread &amp;ct) const</div><div class="ttdoc">get the start routine function of a thread </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00350">TCT.h:350</a></div></div>
191
191
  <div class="ttc" id="classSVF_1_1MHP_html_a6343dd11dd75d3730dc463321a11445e"><div class="ttname"><a href="classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e">SVF::MHP::addInterleavingThread</a></div><div class="ttdeci">void addInterleavingThread(const CxtThreadStmt &amp;tgr, NodeID tid)</div><div class="ttdoc">Add/Remove interleaving thread for statement inst. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00172">MHP.h:172</a></div></div>
192
192
  <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a29d9fec1ea7b8e5456342522eea403ad"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad">SVF::FIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00212">WorkList.h:212</a></div></div>
@@ -205,15 +205,15 @@ $(function() {
205
205
  <div class="ttc" id="classSVF_1_1TCT_html_a90f5d399420894f087a24d315ad2ee8e"><div class="ttname"><a href="classSVF_1_1TCT.html#a90f5d399420894f087a24d315ad2ee8e">SVF::TCT::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdoc">Get CallICFGNode given inst. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00171">TCT.h:171</a></div></div>
206
206
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a209ab13297e61f980cdf350e8fe2a9b4"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a209ab13297e61f980cdf350e8fe2a9b4">SVF::ForkJoinAnalysis::isAliasedForkJoin</a></div><div class="ttdeci">bool isAliasedForkJoin(const SVFInstruction *forkSite, const SVFInstruction *joinSite)</div><div class="ttdoc">Whether it is a matched fork join pair. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00402">MHP.h:402</a></div></div>
207
207
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a04e906f76a78db7052f5a0628f665b26"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a04e906f76a78db7052f5a0628f665b26">SVF::ForkJoinAnalysis::CxtStmtToLoopMap</a></div><div class="ttdeci">Map&lt; CxtStmt, LoopBBs &gt; CxtStmtToLoopMap</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00305">MHP.h:305</a></div></div>
208
- <div class="ttc" id="classSVF_1_1MHP_html_a3a535274cd3349a05eeccf3c9231396a"><div class="ttname"><a href="classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a">SVF::MHP::handleJoin</a></div><div class="ttdeci">void handleJoin(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle join. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00233">MHP.cpp:233</a></div></div>
208
+ <div class="ttc" id="classSVF_1_1MHP_html_a3a535274cd3349a05eeccf3c9231396a"><div class="ttname"><a href="classSVF_1_1MHP.html#a3a535274cd3349a05eeccf3c9231396a">SVF::MHP::handleJoin</a></div><div class="ttdeci">void handleJoin(const CxtThreadStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle join. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00232">MHP.cpp:232</a></div></div>
209
209
  <div class="ttc" id="classSVF_1_1MHP_html_a3ba43bb0be55ffade3d70f8cbb95f88f"><div class="ttname"><a href="classSVF_1_1MHP.html#a3ba43bb0be55ffade3d70f8cbb95f88f">SVF::MHP::hasInterleavingThreads</a></div><div class="ttdeci">bool hasInterleavingThreads(const CxtThreadStmt &amp;cts) const</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00118">MHP.h:118</a></div></div>
210
210
  <div class="ttc" id="classSVF_1_1MHP_html_a3e67209ca8f9372d1846e0ce71bbd47a"><div class="ttname"><a href="classSVF_1_1MHP.html#a3e67209ca8f9372d1846e0ce71bbd47a">SVF::MHP::InstSet</a></div><div class="ttdeci">Set&lt; const SVFInstruction * &gt; InstSet</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00050">MHP.h:50</a></div></div>
211
211
  <div class="ttc" id="classSVF_1_1TCT_html_a625cd9d7ca85c0581af13e9e0c16960e"><div class="ttname"><a href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT::pushCxt</a></div><div class="ttdeci">void pushCxt(CallStrCxt &amp;cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Push calling context. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00443">TCT.cpp:443</a></div></div>
212
- <div class="ttc" id="classSVF_1_1MHP_html_a8b80036bab834fa104f64bd3ed3ac667"><div class="ttname"><a href="classSVF_1_1MHP.html#a8b80036bab834fa104f64bd3ed3ac667">SVF::MHP::getJoinInSymmetricLoop</a></div><div class="ttdeci">const LoopBBs &amp; getJoinInSymmetricLoop(const CallStrCxt &amp;cxt, const SVFInstruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00496">MHP.cpp:496</a></div></div>
212
+ <div class="ttc" id="classSVF_1_1MHP_html_a8b80036bab834fa104f64bd3ed3ac667"><div class="ttname"><a href="classSVF_1_1MHP.html#a8b80036bab834fa104f64bd3ed3ac667">SVF::MHP::getJoinInSymmetricLoop</a></div><div class="ttdeci">const LoopBBs &amp; getJoinInSymmetricLoop(const CallStrCxt &amp;cxt, const SVFInstruction *call) const</div><div class="ttdoc">Whether a context-sensitive join satisfies symmetric loop pattern. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00495">MHP.cpp:495</a></div></div>
213
213
  <div class="ttc" id="classSVF_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>
214
214
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a647ae6866bb37be850f0bdd5a7341188"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188">SVF::ForkJoinAnalysis::addToHBPair</a></div><div class="ttdeci">void addToHBPair(NodeID tid1, NodeID tid2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00532">MHP.h:532</a></div></div>
215
215
  <div class="ttc" id="classSVF_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>
216
- <div class="ttc" id="classSVF_1_1MHP_html_ae9423c868ba4d26337428b96db9fc77b"><div class="ttname"><a href="classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b">SVF::MHP::updateAncestorThreads</a></div><div class="ttdeci">void updateAncestorThreads(NodeID tid)</div><div class="ttdoc">Update Ancestor and sibling threads. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00374">MHP.cpp:374</a></div></div>
216
+ <div class="ttc" id="classSVF_1_1MHP_html_ae9423c868ba4d26337428b96db9fc77b"><div class="ttname"><a href="classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b">SVF::MHP::updateAncestorThreads</a></div><div class="ttdeci">void updateAncestorThreads(NodeID tid)</div><div class="ttdoc">Update Ancestor and sibling threads. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00373">MHP.cpp:373</a></div></div>
217
217
  <div class="ttc" id="classSVF_1_1ThreadAPI_html_a68b10ffa2775fe7d8c1476409c0f54ab"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI::isTDJoin</a></div><div class="ttdeci">bool isTDJoin(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call wait for a worker thread. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00223">ThreadAPI.h:223</a></div></div>
218
218
  <div class="ttc" id="classSVF_1_1MHP_html_a98857a1837cef5519c938d07bb771a60"><div class="ttname"><a href="classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60">SVF::MHP::fja</a></div><div class="ttdeci">ForkJoinAnalysis * fja</div><div class="ttdoc">ForJoin Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00269">MHP.h:269</a></div></div>
219
219
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_acdc652faba35e45820cce0cdd20ea99c"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis::CxtStmtToAliveFlagMap</a></div><div class="ttdeci">Map&lt; CxtStmt, ValDomain &gt; CxtStmtToAliveFlagMap</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00302">MHP.h:302</a></div></div>
@@ -225,7 +225,7 @@ $(function() {
225
225
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a819ef18524ee9104b920d1a465c61da1"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a819ef18524ee9104b920d1a465c61da1">SVF::ForkJoinAnalysis::getDirectlyJoinedTid</a></div><div class="ttdeci">NodeBS &amp; getDirectlyJoinedTid(const CxtStmt &amp;cs)</div><div class="ttdoc">Get directly joined threadIDs based on a context-sensitive join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00321">MHP.h:321</a></div></div>
226
226
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a047fbff4be9f94ab12795cd371f60efa"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a047fbff4be9f94ab12795cd371f60efa">SVF::ForkJoinAnalysis::markCxtStmtFlag</a></div><div class="ttdeci">void markCxtStmtFlag(const CxtStmt &amp;tgr, const CxtStmt &amp;src)</div><div class="ttdoc">Transfer function for marking context-sensitive statement. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00434">MHP.h:434</a></div></div>
227
227
  <div class="ttc" id="classSVF_1_1MHP_html_a02b4ab18067c9b911b4bd53f0426aec3"><div class="ttname"><a href="classSVF_1_1MHP.html#a02b4ab18067c9b911b4bd53f0426aec3">SVF::MHP::rmInterleavingThread</a></div><div class="ttdeci">void rmInterleavingThread(const CxtThreadStmt &amp;tgr, const NodeBS &amp;tids, const SVFInstruction *joinsite)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00189">MHP.h:189</a></div></div>
228
- <div class="ttc" id="classSVF_1_1MHP_html_a1c43a0f078f82a3c741de1c4dc2490c0"><div class="ttname"><a href="classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0">SVF::MHP::isMustJoin</a></div><div class="ttdeci">bool isMustJoin(const NodeID curTid, const SVFInstruction *joinsite)</div><div class="ttdoc">Whether a join site must join a thread t. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00471">MHP.cpp:471</a></div></div>
228
+ <div class="ttc" id="classSVF_1_1MHP_html_a1c43a0f078f82a3c741de1c4dc2490c0"><div class="ttname"><a href="classSVF_1_1MHP.html#a1c43a0f078f82a3c741de1c4dc2490c0">SVF::MHP::isMustJoin</a></div><div class="ttdeci">bool isMustJoin(const NodeID curTid, const SVFInstruction *joinsite)</div><div class="ttdoc">Whether a join site must join a thread t. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00470">MHP.cpp:470</a></div></div>
229
229
  <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html">SVF::ForkJoinAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00288">MHP.h:288</a></div></div>
230
230
  <div class="ttc" id="classSVF_1_1CxtThreadStmt_html"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html">SVF::CxtThreadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00123">CxtStmt.h:123</a></div></div>
231
231
  <div class="ttc" id="classSVF_1_1TCT_html_a4faeacaa7aa38cf5b61404278b93a91f"><div class="ttname"><a href="classSVF_1_1TCT.html#a4faeacaa7aa38cf5b61404278b93a91f">SVF::TCT::getJoinLoop</a></div><div class="ttdeci">LoopBBs &amp; getJoinLoop(const SVFInstruction *join)</div><div class="ttdoc">Get loop for join site. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00358">TCT.h:358</a></div></div>
package/SVF-doxygen/html/html/MTAStat_8cpp_source.html CHANGED
@@ -89,7 +89,7 @@ $(function() {
89
89
  <div class="ttc" id="classSVF_1_1MTAStat_html_a030671ec358a93e3c2887f048dcfcce8"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">SVF::MTAStat::FSMPTATime</a></div><div class="ttdeci">double FSMPTATime</div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00067">MTAStat.h:67</a></div></div>
90
90
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00405">Casting.h:405</a></div></div>
91
91
  <div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00107">SVFIR.h:107</a></div></div>
92
- <div class="ttc" id="classSVF_1_1MHP_html_a15b624924254f5362a3d02fa539a24fb"><div class="ttname"><a href="classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00603">MHP.cpp:603</a></div></div>
92
+ <div class="ttc" id="classSVF_1_1MHP_html_a15b624924254f5362a3d02fa539a24fb"><div class="ttname"><a href="classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00602">MHP.cpp:602</a></div></div>
93
93
  <div class="ttc" id="classSVF_1_1MTAStat_html_a3298dd910e731fdabc87bbcf65371a4a"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a">SVF::MTAStat::TCTTime</a></div><div class="ttdeci">double TCTTime</div><div class="ttdoc">Statistics for annotation. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00065">MTAStat.h:65</a></div></div>
94
94
  <div class="ttc" id="classSVF_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#l00041">SVFModule.h:41</a></div></div>
95
95
  <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_af848d7cb8a9f756ff45cca45adbf3b84"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">SVF::ThreadCallGraph::getJoinEdgeBegin</a></div><div class="ttdeci">JoinEdgeSet::const_iterator getJoinEdgeBegin(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00228">ThreadCallGraph.h:228</a></div></div>
@@ -108,7 +108,7 @@ $(function() {
108
108
  <div class="ttc" id="classSVF_1_1LockAnalysis_html_ad648ad9cda4070f9aec1addef0067627"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627">SVF::LockAnalysis::numOfTotalQueries</a></div><div class="ttdeci">u32_t numOfTotalQueries</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00512">LockAnalysis.h:512</a></div></div>
109
109
  <div class="ttc" id="classSVF_1_1LockAnalysis_html_a853ab1a953ddcf76841016a833e43f3d"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a853ab1a953ddcf76841016a833e43f3d">SVF::LockAnalysis::lockQueriesTime</a></div><div class="ttdeci">double lockQueriesTime</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00514">LockAnalysis.h:514</a></div></div>
110
110
  <div class="ttc" id="classSVF_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>
111
- <div class="ttc" id="classSVF_1_1MHP_html_a90c228214643bb6d37bacffc35b99a3e"><div class="ttname"><a href="classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e">SVF::MHP::isConnectedfromMain</a></div><div class="ttdeci">bool isConnectedfromMain(const SVFFunction *fun)</div><div class="ttdoc">Whether the function is connected from main function in thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00510">MHP.cpp:510</a></div></div>
111
+ <div class="ttc" id="classSVF_1_1MHP_html_a90c228214643bb6d37bacffc35b99a3e"><div class="ttname"><a href="classSVF_1_1MHP.html#a90c228214643bb6d37bacffc35b99a3e">SVF::MHP::isConnectedfromMain</a></div><div class="ttdeci">bool isConnectedfromMain(const SVFFunction *fun)</div><div class="ttdoc">Whether the function is connected from main function in thread call graph. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00509">MHP.cpp:509</a></div></div>
112
112
  <div class="ttc" id="classSVF_1_1MTASVFGBuilder_html_a0319d1d2e78c79f9943f2e2f65da26ed"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed">SVF::MTASVFGBuilder::numOfRemovedSVFGEdges</a></div><div class="ttdeci">static u32_t numOfRemovedSVFGEdges</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00121">FSMPTA.h:121</a></div></div>
113
113
  <div class="ttc" id="classSVF_1_1LockAnalysis_html"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html">SVF::LockAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00044">LockAnalysis.h:44</a></div></div>
114
114
  <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>