svf-tools 1.0.756 → 1.0.758

package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html

@@ -119,7 +119,7 @@ $(function() {
 <div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;<span class="comment">  LLVM may generate two global arrays @llvm.global_ctors and @llvm.global_dtors</span></div>
 <div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="comment">  that contain constructor and destructor functions for global variables. They</span></div>
 <div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment">  are not called explicitly, so we have to add them in the svf.main function.</span></div>
-<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">  The order to call these constructor and desctructor functions are also</span></div>
+<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">  The order to call these constructor and destructor functions are also</span></div>
 <div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="comment">  specified in the global arrays.</span></div>
 <div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="comment">  Related part in LLVM language reference:</span></div>
 <div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="comment">  https://llvm.org/docs/LangRef.html#the-llvm-global-ctors-global-variable</span></div>
@@ -520,7 +520,7 @@ $(function() {
 <div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    mset-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb">prePassSchedule</a>();</div>
 <div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160; </div>
 <div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> preProcessSuffix = <span class="stringliteral">&quot;.pre.bc&quot;</span>;</div>
-<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    <span class="comment">// Get the existing module names, remove old extention, add preProcessSuffix</span></div>
+<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    <span class="comment">// Get the existing module names, remove old extension, add preProcessSuffix</span></div>
 <div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0; i &lt; moduleNameVec.size(); i++)</div>
 <div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    {</div>
 <div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lastIndex = moduleNameVec[i].find_last_of(<span class="stringliteral">&quot;.&quot;</span>);</div>
@@ -739,7 +739,7 @@ $(function() {
 <div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;    }</div>
 <div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160; </div>
 <div class="line"><a name="l00687"></a><span class="lineno">  687</span>&#160;    <span class="comment">// Only create svf.main when the original main function is found, and also</span></div>
-<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;    <span class="comment">// there are global contructor or destructor functions.</span></div>
+<div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;    <span class="comment">// there are global constructor or destructor functions.</span></div>
 <div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    <span class="keywordflow">if</span> (orgMain &amp;&amp; <a class="code" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() &gt; 0 &amp;&amp;</div>
 <div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;            (ctor_funcs.size() &gt; 0 || dtor_funcs.size() &gt; 0))</div>
 <div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    {</div>
@@ -1341,7 +1341,7 @@ $(function() {
 <div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a3eaadb33cd21d0bd868526b5ddb051d9"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9">SVF::LLVMModuleSet::addBasicBlockMap</a></div><div class="ttdeci">void addBasicBlockMap(const BasicBlock *bb, SVFBasicBlock *svfBB)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00150">LLVMModule.h:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a0ef17c1d5e6a95c597d2334ea577a965"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">SVF::LLVMModuleSet::getSVFOtherValue</a></div><div class="ttdeci">SVFOtherValue * getSVFOtherValue(const Value *ov)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00989">LLVMModule.cpp:989</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_a518c82138fcadc6634980566c1c0f762"><div class="ttname"><a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements() const</div><div class="ttdoc">Return number of elements after flattenning (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00225">SVFType.h:225</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a518c82138fcadc6634980566c1c0f762"><div class="ttname"><a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements() const</div><div class="ttdoc">Return number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00225">SVFType.h:225</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a2c61d741afbcfa853b505cd391f29f9b"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a2c61d741afbcfa853b505cd391f29f9b">SVF::LLVMUtil::isUncalledFunction</a></div><div class="ttdeci">bool isUncalledFunction(const Function *fun)</div><div class="ttdoc">whether this is a function without any possible caller?</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00144">LLVMUtil.cpp:144</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00893">SVFValue.h:893</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01045">LLVMModule.cpp:1045</a></div></div>
@@ -1357,7 +1357,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_abfe3a1ce5fa364d9db7cd2d0e6a144ff"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff">SVF::SVFBasicBlock::addSuccBasicBlock</a></div><div class="ttdeci">void addSuccBasicBlock(const SVFBasicBlock *succ)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00507">SVFValue.h:507</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a41e64f3318e2bf368eebe9a104ef6ad9"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a41e64f3318e2bf368eebe9a104ef6ad9">SVF::LLVMUtil::getFunNameOfVCallSite</a></div><div class="ttdeci">std::string getFunNameOfVCallSite(const CallBase *cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01002">LLVMUtil.cpp:1002</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ad865b8440a6e0d5d212798d2213e1e9c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c">SVF::SVFFunction::addArgument</a></div><div class="ttdeci">void addArgument(SVFArgument *arg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00303">SVFValue.h:303</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_ae5fad367673315da57a604e64b5889f0"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo::getNumOfFlattenFields</a></div><div class="ttdeci">u32_t getNumOfFlattenFields() const</div><div class="ttdoc">Return the number of fields after flattenning (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00231">SVFType.h:231</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_ae5fad367673315da57a604e64b5889f0"><div class="ttname"><a href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo::getNumOfFlattenFields</a></div><div class="ttdeci">u32_t getNumOfFlattenFields() const</div><div class="ttdoc">Return the number of fields after flattening (ignoring array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00231">SVFType.h:231</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a651b6a1cf3665277d2241220bb145aed"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed">SVF::LLVMUtil::functionDoesNotRet</a></div><div class="ttdeci">bool functionDoesNotRet(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00106">LLVMUtil.cpp:106</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
@@ -1425,7 +1425,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae365189769640adb919a23c36978e5e2"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">SVF::LLVMModuleSet::owned_modules</a></div><div class="ttdeci">std::vector&lt; std::unique_ptr&lt; Module &gt; &gt; owned_modules</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00070">LLVMModule.h:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a43832e93a42ae43d44b0cc160981678f"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet::svfModule</a></div><div class="ttdeci">SVFModule * svfModule</div><div class="ttdoc">Borrowed from singleton SVFModule::svfModule.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00068">LLVMModule.h:68</a></div></div>
 <div class="ttc" id="aSVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StInfo_html_a1a07c2b1415c29d7d70791c6dfe602a3"><div class="ttname"><a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo::setNumOfFieldsAndElems</a></div><div class="ttdeci">void setNumOfFieldsAndElems(u32_t nf, u32_t ne)</div><div class="ttdoc">Set number of fields and elements of an aggrate.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00218">SVFType.h:218</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StInfo_html_a1a07c2b1415c29d7d70791c6dfe602a3"><div class="ttname"><a href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo::setNumOfFieldsAndElems</a></div><div class="ttdeci">void setNumOfFieldsAndElems(u32_t nf, u32_t ne)</div><div class="ttdoc">Set number of fields and elements of an aggregate.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00218">SVFType.h:218</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a9e0c786488dfdc4605d4cbcf9943c85a"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a9e0c786488dfdc4605d4cbcf9943c85a">SVF::LLVMUtil::getGlobalRep</a></div><div class="ttdeci">const Value * getGlobalRep(const Value *val)</div><div class="ttdoc">find the unique defined global across multiple modules</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00390">LLVMUtil.h:390</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8af6b911b728713f66f7c809d5c0fbf1"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1">SVF::LLVMModuleSet::addSVFMain</a></div><div class="ttdeci">void addSVFMain()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00650">LLVMModule.cpp:650</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a8ba9092747108e0289014d52465a692d"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">SVF::LLVMModuleSet::initDomTree</a></div><div class="ttdeci">void initDomTree(SVFFunction *func, const Function *f)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00370">LLVMModule.cpp:370</a></div></div>

package/SVF-doxygen/html/html/MHP_8cpp_source.html

@@ -1037,7 +1037,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ForkJoinAnalysis_html_a197ab02e8320affc4ba2c67fae5bf020"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a197ab02e8320affc4ba2c67fae5bf020">SVF::ForkJoinAnalysis::hasJoinLoop</a></div><div class="ttdeci">bool hasJoinLoop(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00370">MHP.h:370</a></div></div>
 <div class="ttc" id="aclassSVF_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>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
-<div class="ttc" id="aclassSVF_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>
+<div class="ttc" id="aclassSVF_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 recursively.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00435">MHP.cpp:435</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00216">SVFValue.h:216</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7bde256bc906af7f7204929019f4a33e"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock::front</a></div><div class="ttdeci">const SVFInstruction * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00554">SVFValue.h:554</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ForkJoinAnalysis_html_a149114898b13e1430c8fbb60978ca4f5"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a149114898b13e1430c8fbb60978ca4f5">SVF::ForkJoinAnalysis::getMarkedFlag</a></div><div class="ttdeci">ValDomain getMarkedFlag(const CxtStmt &amp;cs)</div><div class="ttdoc">Mark thread flags for cxtStmt.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00410">MHP.h:410</a></div></div>

package/SVF-doxygen/html/html/MHP_8h_source.html

@@ -554,7 +554,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_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>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_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>
-<div class="ttc" id="aclassSVF_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>
+<div class="ttc" id="aclassSVF_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 recursively.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00435">MHP.cpp:435</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ForkJoinAnalysis_html_a149114898b13e1430c8fbb60978ca4f5"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a149114898b13e1430c8fbb60978ca4f5">SVF::ForkJoinAnalysis::getMarkedFlag</a></div><div class="ttdeci">ValDomain getMarkedFlag(const CxtStmt &amp;cs)</div><div class="ttdoc">Mark thread flags for cxtStmt.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00410">MHP.h:410</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00430">MHP.h:430</a></div></div>

package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html

@@ -677,7 +677,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a45b70add039a7f134e8d44bfc6b8f0bc"><div class="ttname"><a href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer::getID</a></div><div class="ttdeci">MRVERID getID() const</div><div class="ttdoc">Get MRVERID.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00081">MSSAMuChi.h:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_afc08020e6d2f1721d1d1363ed3fef151"><div class="ttname"><a href="classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151">SVF::MRVer::version</a></div><div class="ttdeci">MRVERSION version</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00052">MSSAMuChi.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a3398bb8d3189413c275b62d5cb7a5fc4"><div class="ttname"><a href="classSVF_1_1MRVer.html#a3398bb8d3189413c275b62d5cb7a5fc4">SVF::MRVer::def</a></div><div class="ttdeci">MSSADef * def</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00054">MSSAMuChi.h:54</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructer for MSSADEF.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MSSADEF_html_a1b1c7cbc293182a5ded43efa522990de"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF::MSSADEF</a></div><div class="ttdeci">MSSADEF(DEFTYPE t, const MemRegion *m)</div><div class="ttdoc">Constructor/Destructor for MSSADEF.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00346">MSSAMuChi.h:346</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSACHI_html_a245d8ee9e81ba4fe6f41533baf471331"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331">SVF::MSSACHI::setOpVer</a></div><div class="ttdeci">void setOpVer(MRVer *v)</div><div class="ttdoc">Set operand ver.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00414">MSSAMuChi.h:414</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0039280e908258b8e73779de51e9f63b"><div class="ttname"><a href="namespaceSVF.html#a0039280e908258b8e73779de51e9f63b">SVF::MRVERID</a></div><div class="ttdeci">NodeID MRVERID</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00051">MemRegion.h:51</a></div></div>
@@ -688,7 +688,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1EntryCHI_html_aa5ed214cd44d8847c7539c7e3de3d276"><div class="ttname"><a href="classSVF_1_1EntryCHI.html#aa5ed214cd44d8847c7539c7e3de3d276">SVF::EntryCHI::classof</a></div><div class="ttdeci">static bool classof(const MSSADEF *chi)</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00610">MSSAMuChi.h:610</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a90fd0b8e44fba1a7eb76d15bce085d66"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a90fd0b8e44fba1a7eb76d15bce085d66">SVF::CallICFGNode::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00409">ICFGNode.h:409</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a343eb4c9515dfbbbdadaacf5500e5f05"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05">SVF::MSSADEF::setResVer</a></div><div class="ttdeci">void setResVer(MRVer *v)</div><div class="ttdoc">Set result operand ver.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00366">MSSAMuChi.h:366</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MSSACHI_html_af9ecdf852667bd23fe4805ba04c3e815"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">SVF::MSSACHI::MSSACHI</a></div><div class="ttdeci">MSSACHI(CHITYPE t, const MemRegion *m, Cond c)</div><div class="ttdoc">Constructor/Destructer for MSSACHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00406">MSSAMuChi.h:406</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MSSACHI_html_af9ecdf852667bd23fe4805ba04c3e815"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">SVF::MSSACHI::MSSACHI</a></div><div class="ttdeci">MSSACHI(CHITYPE t, const MemRegion *m, Cond c)</div><div class="ttdoc">Constructor/Destructor for MSSACHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00406">MSSAMuChi.h:406</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_1MSSAPHI_html_a348e69bf48ee7a959cd0bb117ba1dc9f"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f">SVF::MSSAPHI::cond</a></div><div class="ttdeci">Cond cond</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00637">MSSAMuChi.h:637</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSAMU_html_a1d0f8d3e7651f4ace92d31a9c6604e2f"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">SVF::MSSAMU::MSSAMU</a></div><div class="ttdeci">MSSAMU(MUTYPE t, const MemRegion *m, Cond c)</div><div class="ttdoc">Constructor/Destructor for MU.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00112">MSSAMuChi.h:112</a></div></div>

package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html

@@ -185,7 +185,7 @@ $(function() {
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a> cxt;</div>
 <div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <span class="keywordflow">if</span> (0 == x.size())</div>
 <div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">return</span> cxt;</div>
-<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="comment">// Deal with the the second argument that records all callsites</span></div>
+<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="comment">// Deal with the second argument that records all callsites</span></div>
 <div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <span class="keywordflow">for</span> (std::vector&lt;std::string&gt;::iterator i = x.begin(); i != x.end(); i++)</div>
 <div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    {</div>
 <div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        std::vector&lt;std::string&gt; y = <a class="code" href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">split</a>((*i), <span class="charliteral">&#39;.&#39;</span>);</div>
@@ -736,7 +736,7 @@ $(function() {
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a73db9ad234b263b6e644e4b38be14fe6"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; &amp; split(const std::string &amp;s, char delim, std::vector&lt; std::string &gt; &amp;elems)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00068">MTAResultValidator.cpp:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdeci">@ ThreadCreateEdge</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00055">TCT.h:55</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TCT_html_adb2025048dc69f0689f526c58df29802"><div class="ttname"><a href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT::hasGraphEdge</a></div><div class="ttdeci">TCTEdge * hasGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind) const</div><div class="ttdoc">Whether we have aleady created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00533">TCT.cpp:533</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TCT_html_adb2025048dc69f0689f526c58df29802"><div class="ttname"><a href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT::hasGraphEdge</a></div><div class="ttdeci">TCTEdge * hasGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind) const</div><div class="ttdoc">Whether we have already created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00533">TCT.cpp:533</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_1MTAResultValidator_html_ab3ba3c6d9c40e97febdab0e7d4ad9a3e"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator::getPreviousMemoryAccessInst</a></div><div class="ttdeci">const Instruction * getPreviousMemoryAccessInst(const Instruction *I)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00133">MTAResultValidator.cpp:133</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_afa01b108b67ec2ac05a6444b55dbfe01"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01">SVF::MTAResultValidator::validateCxtThread</a></div><div class="ttdeci">bool validateCxtThread()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00368">MTAResultValidator.cpp:368</a></div></div>

package/SVF-doxygen/html/html/MemSSA_8cpp_source.html

@@ -752,7 +752,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a15272a4ed019d1c323d1826c1bedb70f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">SVF::MemSSA::getFunEntryChiNum</a></div><div class="ttdeci">u32_t getFunEntryChiNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00496">MemSSA.cpp:496</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a97ccd5e0b9ab6144415e26bdf95cbabd"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">SVF::MemSSA::timeOfSSARenaming</a></div><div class="ttdeci">static double timeOfSSARenaming</div><div class="ttdoc">Time for SSA rename.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00110">MemSSA.h:110</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a fucntion.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a function.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ad05f85ce931d4479f71d1947a25599dc"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ad05f85ce931d4479f71d1947a25599dc">SVF::SVFBasicBlock::back</a></div><div class="ttdeci">const SVFInstruction * back() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00559">SVFValue.h:559</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a37dca8a7d155de4870358146d219b5e5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">SVF::MemSSA::timeOfGeneratingMemRegions</a></div><div class="ttdeci">static double timeOfGeneratingMemRegions</div><div class="ttdoc">Statistics.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00107">MemSSA.h:107</a></div></div>

package/SVF-doxygen/html/html/MemSSA_8h_source.html

@@ -509,7 +509,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a6a20da24d82ace1888be49a2ae0f6bd5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5">SVF::MemSSA::ENTRYCHI</a></div><div class="ttdeci">EntryCHI&lt; Condition &gt; ENTRYCHI</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00064">MemSSA.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_a8d0c1a00d7db194da66c685d79e73de5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5">SVF::MemSSA::MemRegToBBsMap</a></div><div class="ttdeci">Map&lt; const MemRegion *, BBList &gt; MemRegToBBsMap</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00095">MemSSA.h:95</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallCHI_html"><div class="ttname"><a href="classSVF_1_1CallCHI.html">SVF::CallCHI</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00521">MSSAMuChi.h:521</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a fucntion.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MemSSA_html_acc6f72d96cf29e36093ba08ea86b8983"><div class="ttname"><a href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA::insertPHI</a></div><div class="ttdeci">virtual void insertPHI(const SVFFunction &amp;fun)</div><div class="ttdoc">Insert phi for candidate regions in a function.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00202">MemSSA.cpp:202</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ad8011273feaf046bf7f3a3f3b904a91d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d">SVF::MemSSA::AddCallSiteCHI</a></div><div class="ttdeci">void AddCallSiteCHI(const CallICFGNode *cs, const MRSet &amp;mrSet)</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00204">MemSSA.h:204</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ad550a453d5b2daa6c72e7752f6b5ea79"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ad550a453d5b2daa6c72e7752f6b5ea79">SVF::MemSSA::getTopStackVer</a></div><div class="ttdeci">MRVer * getTopStackVer(const MemRegion *mr)</div><div class="ttdoc">Get the last version of the SSA ver of memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00166">MemSSA.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00313">MemSSA.h:313</a></div></div>

package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html

@@ -1127,7 +1127,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a55b19f617d11dfc6632b690694f264ab"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has new pts in loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00873">MutablePointsToDS.h:873</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDiffPTData_html_a3603cb4baf60b1aa83b7807ac5591484"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484">SVF::MutableDiffPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdoc">Backing to implement the basic PTData methods. This allows us to avoid multiple-inheritance.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00355">MutablePointsToDS.h:355</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a51365299a34e3386798e78a076d6e1f5"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5">SVF::MutableDFPTData::updateAllDFOutFromIn</a></div><div class="ttdeci">virtual bool updateAllDFOutFromIn(LocID loc, const Key &amp;singleton, bool strongUpdates) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00489">MutablePointsToDS.h:489</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00881">MutablePointsToDS.h:881</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ad1ae7faf04ba10ac4ac6a6f1cc498547"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547">SVF::MutableIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts information in loc's OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00881">MutablePointsToDS.h:881</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_aed141fb836cb22e02032ea46e3e5f51b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b">SVF::MutableDFPTData::MutableDFPTData</a></div><div class="ttdeci">MutableDFPTData(bool reversePT=true, PTDataTy ty=BaseDFPTData::MutDataFlow)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00379">MutablePointsToDS.h:379</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DiffPTData_html"><div class="ttname"><a href="classSVF_1_1DiffPTData.html">SVF::DiffPTData</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00149">AbstractPointsToDS.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutablePTData_html_ae856f07441da3988d6a31eea1e30a7d9"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9">SVF::MutablePTData::iterator</a></div><div class="ttdeci">DataSet::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00064">MutablePointsToDS.h:64</a></div></div>
@@ -1171,7 +1171,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MutableVersionedPTData_html_a56e752a83620f482a4b1e2f8d395dd75"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a56e752a83620f482a4b1e2f8d395dd75">SVF::MutableVersionedPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const VersionedKey &amp;dstVar, const VersionedKey &amp;srcVar) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00943">MutablePointsToDS.h:943</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutablePTData_html_ad08dbfa28cd0d622322091d6600748ed"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed">SVF::MutablePTData::PtsMapIter</a></div><div class="ttdeci">PtsMap::iterator PtsMapIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00062">MutablePointsToDS.h:62</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts informationin loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00852">MutablePointsToDS.h:852</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_ae4d0989cb98814f943bd4dfd09a37017"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017">SVF::MutableIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const DataSet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all var which have new pts information in loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00852">MutablePointsToDS.h:852</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableIncDFPTData_html_a67c24cebffdcea9c8059f6769c7f9798"><div class="ttname"><a href="classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798">SVF::MutableIncDFPTData::UpdatedVarMap</a></div><div class="ttdeci">Map&lt; LocID, DataSet &gt; UpdatedVarMap</div><div class="ttdoc">for propagating only newly added variable in IN/OUT set</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00692">MutablePointsToDS.h:692</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a5baa6fffedfd0ac356590f9a0b222ee0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0">SVF::MutableDFPTData::classof</a></div><div class="ttdeci">static bool classof(const MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00585">MutablePointsToDS.h:585</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MutableDiffPTData_html_a746c384cf4633c3b07b4362e7b6c087a"><div class="ttname"><a href="classSVF_1_1MutableDiffPTData.html#a746c384cf4633c3b07b4362e7b6c087a">SVF::MutableDiffPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U srcDataSet.</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00272">MutablePointsToDS.h:272</a></div></div>

package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html

@@ -358,7 +358,7 @@ $(function() {
 <div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    }</div>
 <div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160; </div>
 <div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    <span class="comment">// Points-to sets which are relevant to a region, i.e., those whose elements</span></div>
-<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    <span class="comment">// belong to that region. Pair is for occurences.</span></div>
+<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    <span class="comment">// belong to that region. Pair is for occurrences.</span></div>
 <div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    std::vector&lt;std::vector&lt;std::pair&lt;const PointsTo *, unsigned&gt;&gt;&gt; regionsPointsTos(numRegions);</div>
 <div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;PointsTo, unsigned&gt;::value_type</a> &amp;ptocc : pointsToSets)</div>
 <div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div>
@@ -547,7 +547,7 @@ $(function() {
 <div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;                    <span class="comment">// We have something like distance == x, existingDistance == x - e, for some e &lt; 1</span></div>
 <div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;                    <span class="comment">// (potentially even set during this iteration).</span></div>
 <div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;                    <span class="comment">// So, the new distance is an occurrence the existingDistance being tracked, it just</span></div>
-<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                    <span class="comment">// had some reductions because of multiple occurences.</span></div>
+<div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                    <span class="comment">// had some reductions because of multiple occurrences.</span></div>
 <div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;                    <span class="comment">// If there is not room within this distance to reduce more (increase priority),</span></div>
 <div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;                    <span class="comment">// just ignore it. TODO: maybe warn?</span></div>
 <div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;                    <span class="keywordflow">if</span> (existingDistance - occ * occurrenceEpsilon &gt; std::floor(existingDistance))</div>

package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html

@@ -182,7 +182,7 @@ $(function() {
 <div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160; </div>
 <div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <span class="keyword">static</span> <span class="keyword">inline</span> std::vector&lt;unsigned&gt; <a class="code" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2">regionObjects</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;NodeID&gt;</a>&gt; &amp;graph, <span class="keywordtype">size_t</span> <a class="code" href="classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f">numObjects</a>, <span class="keywordtype">size_t</span> &amp;numLabels);</div>
 <div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160; </div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <span class="comment">// From all the candidates, returns the best mapping for pointsToSets (points-to set -&gt; # occurences).</span></div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <span class="comment">// From all the candidates, returns the best mapping for pointsToSets (points-to set -&gt; # occurrences).</span></div>
 <div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keyword">static</span> <span class="keyword">inline</span> std::pair&lt;hclust_fast_methods, std::vector&lt;NodeID&gt;&gt; <a class="code" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa">determineBestMapping</a>(</div>
 <div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                    <span class="keyword">const</span> std::vector&lt;std::pair&lt;<a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd">hclust_fast_methods</a>, std::vector&lt;NodeID&gt;&gt;&gt; &amp;candidates,</div>
 <div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;                    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;PointsTo, unsigned&gt;</a> pointsToSets, <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> &amp;evalSubtitle, <span class="keywordtype">double</span> &amp;evalTime);</div>

package/SVF-doxygen/html/html/Options_8cpp_source.html

@@ -284,7 +284,7 @@ $(function() {
 <div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;<span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div>
 <div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">Options::HandBlackHole</a>(</div>
 <div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    <span class="stringliteral">&quot;blk&quot;</span>,</div>
-<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    <span class="stringliteral">&quot;Hanle blackhole edge&quot;</span>,</div>
+<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    <span class="stringliteral">&quot;Handle blackhole edge&quot;</span>,</div>
 <div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    <span class="keyword">false</span></div>
 <div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;);</div>
 <div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160; </div>
@@ -531,12 +531,12 @@ $(function() {
 <div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160; </div>
 <div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;<span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap&lt;MemSSA::MemPartition&gt;</a> <a class="code" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">Options::MemPar</a>(</div>
 <div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    <span class="stringliteral">&quot;mem-par&quot;</span>,</div>
-<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    <span class="stringliteral">&quot;Memory region partiion strategies (e.g., for SVFG construction)&quot;</span>,</div>
+<div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    <span class="stringliteral">&quot;Memory region partition strategies (e.g., for SVFG construction)&quot;</span>,</div>
 <div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;    MemSSA::MemPartition::IntraDisjoint,</div>
 <div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;{</div>
 <div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;    {MemSSA::MemPartition::Distinct, <span class="stringliteral">&quot;distinct&quot;</span>, <span class="stringliteral">&quot;memory region per each object&quot;</span>},</div>
-<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    {MemSSA::MemPartition::IntraDisjoint, <span class="stringliteral">&quot;intra-disjoint&quot;</span>, <span class="stringliteral">&quot;memory regions partioned based on each function&quot;</span>},</div>
-<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    {MemSSA::MemPartition::InterDisjoint, <span class="stringliteral">&quot;inter-disjoint&quot;</span>, <span class="stringliteral">&quot;memory regions partioned across functions&quot;</span>},</div>
+<div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    {MemSSA::MemPartition::IntraDisjoint, <span class="stringliteral">&quot;intra-disjoint&quot;</span>, <span class="stringliteral">&quot;memory regions partitioned based on each function&quot;</span>},</div>
+<div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    {MemSSA::MemPartition::InterDisjoint, <span class="stringliteral">&quot;inter-disjoint&quot;</span>, <span class="stringliteral">&quot;memory regions partitioned across functions&quot;</span>},</div>
 <div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;}</div>
 <div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;);</div>
 <div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160; </div>
@@ -575,7 +575,7 @@ $(function() {
 <div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160; </div>
 <div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">Options::IntraLock</a>(</div>
 <div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;    <span class="stringliteral">&quot;intra-lock-td-edge&quot;</span>,</div>
-<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    <span class="stringliteral">&quot;Use simple intra-procedual lock for adding SVFG edges&quot;</span>,</div>
+<div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    <span class="stringliteral">&quot;Use simple intra-procedural lock for adding SVFG edges&quot;</span>,</div>
 <div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;    <span class="keyword">true</span></div>
 <div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;);</div>
 <div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160; </div>
@@ -868,7 +868,7 @@ $(function() {
 <div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;{</div>
 <div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6">PointerAnalysis::Andersen_WPA</a>, <span class="stringliteral">&quot;nander&quot;</span>, <span class="stringliteral">&quot;Standard inclusion-based analysis&quot;</span>},</div>
 <div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">PointerAnalysis::AndersenSCD_WPA</a>, <span class="stringliteral">&quot;sander&quot;</span>, <span class="stringliteral">&quot;Selective cycle detection inclusion-based analysis&quot;</span>},</div>
-<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b">PointerAnalysis::AndersenSFR_WPA</a>, <span class="stringliteral">&quot;sfrander&quot;</span>, <span class="stringliteral">&quot;Stride-based field representation includion-based analysis&quot;</span>},</div>
+<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b">PointerAnalysis::AndersenSFR_WPA</a>, <span class="stringliteral">&quot;sfrander&quot;</span>, <span class="stringliteral">&quot;Stride-based field representation inclusion-based analysis&quot;</span>},</div>
 <div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>, <span class="stringliteral">&quot;ander&quot;</span>, <span class="stringliteral">&quot;Diff wave propagation inclusion-based analysis&quot;</span>},</div>
 <div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;    {<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">PointerAnalysis::Steensgaard_WPA</a>, <span class="stringliteral">&quot;steens&quot;</span>, <span class="stringliteral">&quot;Steensgaard&#39;s pointer analysis&quot;</span>},</div>
 <div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;    <span class="comment">// Disabled till further work is done.</span></div>
@@ -937,7 +937,7 @@ $(function() {
 <div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160; </div>
 <div class="line"><a name="l00868"></a><span class="lineno">  868</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">Options::POCRHybrid</a>(</div>
 <div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;    <span class="stringliteral">&quot;pocr-hybrid&quot;</span>,</div>
-<div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;    <span class="stringliteral">&quot;When explicit to true, POCRHybridSolver transfer CFL graph to internal hybird graph representation.&quot;</span>,</div>
+<div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;    <span class="stringliteral">&quot;When explicit to true, POCRHybridSolver transfer CFL graph to internal hybrid graph representation.&quot;</span>,</div>
 <div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;    <span class="keyword">false</span></div>
 <div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;);</div>
 <div class="line"><a name="l00873"></a><span class="lineno">  873</span>&#160; </div>

package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html

@@ -470,7 +470,7 @@ $(function() {
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a4582a7d33a5631a5a38973f50035327e"><div class="ttname"><a href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a></div><div class="ttdeci">void ViewGraph(const GraphType &amp;G, const std::string &amp;name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00371">GraphWriter.h:371</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a18f4077d42b23c3fed35efc793b6102e"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00428">ICFGNode.h:428</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have aleady created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have already created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</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_1PTACallGraph_html_a80070e2f50ed1036d334250841215ca8"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph::getAllCallSitesInvokingCallee</a></div><div class="ttdeci">void getAllCallSitesInvokingCallee(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</div><div class="ttdoc">Get callsites invoking the callee.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00210">PTACallGraph.cpp:210</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_adbedb15ac0f9395c5264f087a63bad3b"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b">SVF::PTACallGraphEdge::CallInstSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallInstSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00055">PTACallGraph.h:55</a></div></div>

package/SVF-doxygen/html/html/PTACallGraph_8h_source.html

@@ -537,7 +537,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_aa03df6b1ebf7f8356a47fa074d3f91a4"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4">SVF::PTACallGraph::isReachableBetweenFunctions</a></div><div class="ttdeci">bool isReachableBetweenFunctions(const SVFFunction *srcFn, const SVFFunction *dstFn) const</div><div class="ttdoc">Whether its reachable between two functions.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00286">PTACallGraph.cpp:286</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a9155629ddc58f71c6a6f2aec978e4610"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610">SVF::PTACallGraph::getCallSitePair</a></div><div class="ttdeci">const CallSitePair &amp; getCallSitePair(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00357">PTACallGraph.h:357</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a18f4077d42b23c3fed35efc793b6102e"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00428">ICFGNode.h:428</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have aleady created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a6d29a39440d8f6290e2e8b7322b965fb"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb">SVF::PTACallGraph::hasGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * hasGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const</div><div class="ttdoc">Whether we have already created this call graph edge.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00136">PTACallGraph.cpp:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a4948c9e7ff7f1c86d0f27c49e7208aa3"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3">SVF::PTACallGraph::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00229">PTACallGraph.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_aa34123e6c62c3f152b579510c09984e6"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6">SVF::PTACallGraphEdge::PTACallGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge(PTACallGraphNode *s, PTACallGraphNode *d, CEDGEK kind, CallSiteID cs)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00068">PTACallGraph.h:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a80070e2f50ed1036d334250841215ca8"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph::getAllCallSitesInvokingCallee</a></div><div class="ttdeci">void getAllCallSitesInvokingCallee(const SVFFunction *callee, PTACallGraphEdge::CallInstSet &amp;csSet)</div><div class="ttdoc">Get callsites invoking the callee.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00210">PTACallGraph.cpp:210</a></div></div>

package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html

@@ -1005,7 +1005,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_af010be5ac5466ed51f902fcf3d805080"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080">SVF::PersistentIncDFPTData::updateDFInFromOut</a></div><div class="ttdeci">bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00611">PersistentPointsToDS.h:611</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentPTData_html_a82621bb9b53ccb479cb7278df9a4e366"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData::getPts</a></div><div class="ttdeci">const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00059">PersistentPointsToDS.h:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentDiffPTData_html"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a></div><div class="ttdoc">DiffPTData implemented with a persistent points-to backing.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00200">PersistentPointsToDS.h:200</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts information in loc's IN set.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentPTData_html_a46ab9d8365d9f9db9d84f5b8bcd3309c"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a46ab9d8365d9f9db9d84f5b8bcd3309c">SVF::PersistentPTData::clearSingleRevPts</a></div><div class="ttdeci">void clearSingleRevPts(KeySet &amp;revSet, const Key &amp;k)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00176">PersistentPointsToDS.h:176</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">SVF::PTData::PersIncDataFlow</a></div><div class="ttdeci">@ PersIncDataFlow</div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00092">AbstractPointsToDS.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PersistentDiffPTData_html_ac54339952e2734a6affdaa543fb3ed22"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">SVF::PersistentDiffPTData::diffPtsMap</a></div><div class="ttdeci">KeyToIDMap diffPtsMap</div><div class="ttdoc">Diff points-to to be propagated.</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00327">PersistentPointsToDS.h:327</a></div></div>

package/SVF-doxygen/html/html/PointsTo_8cpp_source.html

@@ -712,7 +712,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a269d334618e4acc7e739317fd58d7fe7"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo::operator=</a></div><div class="ttdeci">PointsTo &amp; operator=(const PointsTo &amp;rhs)</div><div class="ttdoc">Copy assignment.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00066">PointsTo.cpp:66</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8ca7e84917358976240bc88c3cceb0c2"><div class="ttname"><a href="namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2">SVF::operator&amp;</a></div><div class="ttdeci">IntervalValue operator&amp;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00793">IntervalValue.h:793</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_1_1PointsToIterator_html_abd2c3366cbb4f24b2e0bc30ea282b752"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html#abd2c3366cbb4f24b2e0bc30ea282b752">SVF::PointsTo::PointsToIterator::PointsToIterator</a></div><div class="ttdeci">PointsToIterator()=delete</div><div class="ttdoc">Deleted because we don't want iterators with null pt.</div></div>
-<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Substract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00157">PointsTo.cpp:157</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a6b29626e4e4298943d2ad839f06db83e"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e">SVF::PointsTo::operator==</a></div><div class="ttdeci">bool operator==(const PointsTo &amp;rhs) const</div><div class="ttdoc">Returns true if this set and rhs contain exactly the same elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00209">PointsTo.cpp:209</a></div></div>
 <div class="ttc" id="aPointsTo_8h_html"><div class="ttname"><a href="PointsTo_8h.html">PointsTo.h</a></div></div>

package/SVF-doxygen/html/html/PointsTo_8h_source.html

@@ -308,7 +308,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a269d334618e4acc7e739317fd58d7fe7"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo::operator=</a></div><div class="ttdeci">PointsTo &amp; operator=(const PointsTo &amp;rhs)</div><div class="ttdoc">Copy assignment.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00066">PointsTo.cpp:66</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8ca7e84917358976240bc88c3cceb0c2"><div class="ttname"><a href="namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2">SVF::operator&amp;</a></div><div class="ttdeci">IntervalValue operator&amp;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Bitwise AND of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00793">IntervalValue.h:793</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_1_1PointsToIterator_html_abd2c3366cbb4f24b2e0bc30ea282b752"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html#abd2c3366cbb4f24b2e0bc30ea282b752">SVF::PointsTo::PointsToIterator::PointsToIterator</a></div><div class="ttdeci">PointsToIterator()=delete</div><div class="ttdoc">Deleted because we don't want iterators with null pt.</div></div>
-<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Substract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00157">PointsTo.cpp:157</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a6b29626e4e4298943d2ad839f06db83e"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e">SVF::PointsTo::operator==</a></div><div class="ttdeci">bool operator==(const PointsTo &amp;rhs) const</div><div class="ttdoc">Returns true if this set and rhs contain exactly the same elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00209">PointsTo.cpp:209</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_ab0493cc85f97abeea5b86dee488e5a7f"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f">SVF::PointsTo::iterator</a></div><div class="ttdeci">const_iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00040">PointsTo.h:40</a></div></div>

package/SVF-doxygen/html/html/SVFBugReport_8h_source.html

@@ -437,7 +437,7 @@ $(function() {
 <div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        }</div>
 <div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">default</span>:</div>
 <div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        {</div>
-<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT hava his bug type!&quot;</span>);</div>
+<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Abstract Execution does NOT have this bug type!&quot;</span>);</div>
 <div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;            <span class="keywordflow">break</span>;</div>
 <div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        }</div>
 <div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        }</div>

package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html

@@ -1163,7 +1163,7 @@ $(function() {
 <div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160;        <span class="keywordflow">if</span> (!basePtr)</div>
 <div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160;            <span class="keywordflow">return</span>; <span class="comment">// ptr is nullptr when read</span></div>
 <div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160;        ptr = SVFUtil::dyn_cast&lt;T&gt;(basePtr);</div>
-<div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160;        <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(ptr, <span class="stringliteral">&quot;Cast: &quot;</span> &lt;&lt; obj-&gt;<a class="code" href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">string</a> &lt;&lt; <span class="stringliteral">&quot; shoudn&#39;t have kind &quot;</span></div>
+<div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160;        <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(ptr, <span class="stringliteral">&quot;Cast: &quot;</span> &lt;&lt; obj-&gt;<a class="code" href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">string</a> &lt;&lt; <span class="stringliteral">&quot; shouldn&#39;t have kind &quot;</span></div>
 <div class="line"><a name="l01151"></a><span class="lineno"> 1151</span>&#160;                    &lt;&lt; <a class="code" href="structSVF_1_1KindBaseHelper.html">KindBaseHelper&lt;T&gt;::getKind</a>(ptr));</div>
 <div class="line"><a name="l01152"></a><span class="lineno"> 1152</span>&#160;    }</div>
 <div class="line"><a name="l01153"></a><span class="lineno"> 1153</span>&#160; </div>
@@ -1216,7 +1216,7 @@ $(function() {
 <div class="line"><a name="l01201"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIRReader.html#aa87cb97447349014fb44b5fbc6fb84b9"> 1201</a></span>&#160;    std::enable_if_t&lt;SVFUtil::is_map_v&lt;C&gt;&gt; <a class="code" href="classSVF_1_1SVFIRReader.html#aa87cb97447349014fb44b5fbc6fb84b9">readJson</a>(<span class="keyword">const</span> <a class="code" href="structcJSON.html">cJSON</a>* obj, C&amp; map)</div>
 <div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160;    {</div>
 <div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160;        assert(map.empty() &amp;&amp; <span class="stringliteral">&quot;map should be empty&quot;</span>);</div>
-<div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160;        <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">jsonIsMap</a>(obj), <span class="stringliteral">&quot;expects an map (represted by array)&quot;</span>);</div>
+<div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160;        <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">jsonIsMap</a>(obj), <span class="stringliteral">&quot;expects an map (represented by array)&quot;</span>);</div>
 <div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160;        <a class="code" href="SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533">jsonForEach</a>(elemJson, obj)</div>
 <div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160;        {</div>
 <div class="line"><a name="l01207"></a><span class="lineno"> 1207</span>&#160;            <span class="keyword">auto</span> jpair = <a class="code" href="namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c">jsonUnpackPair</a>(elemJson);</div>

package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html

@@ -691,7 +691,7 @@ $(function() {
 <div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160; </div>
 <div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = valVar-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>())</div>
 <div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;    {</div>
-<div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        <span class="comment">// TODO:miss floatpointerty, voidty, labelty, matadataty</span></div>
+<div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        <span class="comment">// TODO:miss floatpointerty, voidty, labelty, metadataty</span></div>
 <div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a> ||</div>
 <div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;                <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFType::SVFPointerTy</a> ||</div>
 <div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;                <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFType::SVFFunctionTy</a> ||</div>
@@ -855,7 +855,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0bf768bb67e7f6f5ee6302bb6dd71da1">SVF::BinaryOPStmt::LShr</a></div><div class="ttdeci">@ LShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00975">SVFStatements.h:975</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html_a3c98f0c5f07109f9da0a8a897aa51d18"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">SVF::AccessPath::getElementNum</a></div><div class="ttdeci">u32_t getElementNum(const SVFType *type) const</div><div class="ttdoc">Return element number of a type.</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00063">AccessPath.cpp:63</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flatterned element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a24df52313f8093bb651ae9da972cd663"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">SVF::SymbolTableInfo::getFlattenedElemIdx</a></div><div class="ttdeci">u32_t getFlattenedElemIdx(const SVFType *T, u32_t origId)</div><div class="ttdoc">Flattened element idx of an array or struct by considering stride.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00181">SymbolTableInfo.cpp:181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</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>