svf-tools 1.0.776 → 1.0.778

package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html

@@ -219,9 +219,9 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a56630cd025957508fd2aeb60b49a53be"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a56630cd025957508fd2aeb60b49a53be">SVF::ThreadAPI::getForkedFun</a></div><div class="ttdeci">const SVFValue * getForkedFun(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00168">ThreadAPI.h:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html">SVF::ThreadAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00043">ThreadAPI.h:43</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00241">SVFUtil.h:241</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
 <div class="ttc" id="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_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#l00270">SVFValue.h:270</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_1ThreadCallGraph_html_ae942f7d46198207219e5ce8287497262"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">SVF::ThreadCallGraph::addDirectParForEdge</a></div><div class="ttdeci">void addDirectParForEdge(const CallICFGNode *cs)</div><div class="ttdoc">Add direct/indirect parallel for edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00221">ThreadCallGraph.cpp:221</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ab15b12637a557b53b92e9087eaf66cd6"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI::getTaskFuncAtHareParForSite</a></div><div class="ttdeci">const SVFValue * getTaskFuncAtHareParForSite(const SVFInstruction *inst) const</div><div class="ttdoc">Get the task function (i.e., the 5th parameter) of the hare_parallel_for call.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00195">ThreadAPI.h:195</a></div></div>
 <div class="ttc" id="aCallGraphBuilder_8h_html"><div class="ttname"><a href="CallGraphBuilder_8h.html">CallGraphBuilder.h</a></div></div>
@@ -236,7 +236,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_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>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a8a1621038edeb847bfc5a4a7be7620a3"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3">SVF::PTACallGraph::addCallGraphNode</a></div><div class="ttdeci">void addCallGraphNode(const SVFFunction *fun)</div><div class="ttdoc">Add callgraph Node.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00124">PTACallGraph.cpp:124</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
-<div class="ttc" id="aclassSVF_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#l00593">SVFValue.h:593</a></div></div>
+<div class="ttc" id="aclassSVF_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#l00620">SVFValue.h:620</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ab20211a66583387f0da4769bee65e300"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph::addThreadForkEdgeSetMap</a></div><div class="ttdeci">void addThreadForkEdgeSetMap(const CallICFGNode *cs, ThreadForkEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00367">ThreadCallGraph.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a795d504a098634b1725af272b37e46e7"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph::addJoinsite</a></div><div class="ttdeci">bool addJoinsite(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00336">ThreadCallGraph.h:336</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html

@@ -633,7 +633,7 @@ $(function() {
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4553e0d059ea66f9a0287454686eb558"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">SVF::ConsExeState::toString</a></div><div class="ttdeci">std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00410">ConsExeState.cpp:410</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00339">ConsExeState.h:339</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00341">ConsExeState.h:341</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
@@ -649,7 +649,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ae708165c762328232dab128e27a62f30"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ae708165c762328232dab128e27a62f30">SVF::ConsExeState::operator==</a></div><div class="ttdeci">bool operator==(const ConsExeState &amp;rhs) const</div><div class="ttdoc">Exposed APIs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00077">ConsExeState.cpp:77</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a8f2668196be5ecbc061d5b43caa43cae"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae">SVF::ConsExeState::joinWith</a></div><div class="ttdeci">bool joinWith(const ConsExeState &amp;rhs)</div><div class="ttdoc">Merge rhs into this.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00145">ConsExeState.cpp:145</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a22eb7b0b38d8df8efae757f4c76b5328"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">SVF::ConsExeState::inLocalLocToVal</a></div><div class="ttdeci">bool inLocalLocToVal(const SingleAbsValue &amp;loc) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00153">ConsExeState.h:153</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a22eb7b0b38d8df8efae757f4c76b5328"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">SVF::ConsExeState::inLocalLocToVal</a></div><div class="ttdeci">bool inLocalLocToVal(const SingleAbsValue &amp;loc) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00155">ConsExeState.h:155</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3efeeb8311b868c4a7fc2df69f061317"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3efeeb8311b868c4a7fc2df69f061317">SVF::ConsExeState::getNumber</a></div><div class="ttdeci">s64_t getNumber(u32_t lhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00498">ConsExeState.cpp:498</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3905e71e489f8caf29e378364ea6e593"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593">SVF::ConsExeState::pcToString</a></div><div class="ttdeci">std::string pcToString() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00332">ConsExeState.cpp:332</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ae024143db76c3350ed581db661393052"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">SVF::ConsExeState::eqVarToValMap</a></div><div class="ttdeci">static bool eqVarToValMap(const VarToValMap &amp;pre, const VarToValMap &amp;nxt)</div><div class="ttdoc">Whether two var to value map is equivalent.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00538">ConsExeState.cpp:538</a></div></div>
@@ -669,7 +669,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</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="anamespaceSVF_1_1SVFUtil_html_ab2e0196e0ce547ab4a483cc6d2646b24"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">SVF::SVFUtil::writeWrnMsg</a></div><div class="ttdeci">void writeWrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Writes a message run through wrnMsg.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00066">SVFUtil.cpp:66</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_adf45b2d4b73220e80a1265f4e1b1ee35"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00344">ConsExeState.h:344</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_adf45b2d4b73220e80a1265f4e1b1ee35"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00346">ConsExeState.h:346</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_aa9892fc61571c173598cd73598c589fa"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa">SVF::ConsExeState::printExprValues</a></div><div class="ttdeci">void printExprValues() const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00252">ConsExeState.cpp:252</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>