svf-tools 1.0.894 → 1.0.896

package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html

@@ -483,22 +483,22 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a615623a08324ee155cb527a3b57e8c19"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19">SVF::MTAResultValidator::rthdTovthd</a></div><div class="ttdeci">rthdTovthdMap rthdTovthd</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00140">MTAResultValidator.h:140</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a909e66d94d4f3ce6e0c1e0fe5b50483a"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a909e66d94d4f3ce6e0c1e0fe5b50483a">SVF::MTAResultValidator::CXT_THREAD</a></div><div class="ttdeci">static constexpr const char * CXT_THREAD</div><div class="ttdoc">Map a statement to its thread interleavings.</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00131">MTAResultValidator.h:131</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_aeb24aa510c7073ef71062e89a11fe00a"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a">SVF::RaceResultValidator::protectedByCommonLocks</a></div><div class="ttdeci">virtual bool protectedByCommonLocks(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00255">MTAResultValidator.h:255</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#l00066">BasicTypes.h:66</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#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aMHP_8h_html"><div class="ttname"><a href="MHP_8h.html">MHP.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a6306899b5360e106dd090bea571027bf"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf">SVF::MTAResultValidator::matchCxt</a></div><div class="ttdeci">bool matchCxt(const CallStrCxt cxt1, const CallStrCxt cxt2) const</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00182">MTAResultValidator.cpp:182</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a373b5227fbfa82ac070f55db999afb28"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28">SVF::MTAResultValidator::validateInterleaving</a></div><div class="ttdeci">INTERLEV_FLAG validateInterleaving()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00498">MTAResultValidator.cpp:498</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_aec8b923a0da580113a13bf94ffb3ebd7"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7">SVF::RaceResultValidator::init</a></div><div class="ttdeci">void init(SVFModule *M)</div><div class="ttdoc">Initialization.</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00215">MTAResultValidator.h:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_afd9f0901b8474c35011eeb57e9bd15e9"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#afd9f0901b8474c35011eeb57e9bd15e9">SVF::MTAResultValidator::~MTAResultValidator</a></div><div class="ttdeci">~MTAResultValidator()</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00034">MTAResultValidator.h:34</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_adcad8524a53baf256cd45503ec568c10"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#adcad8524a53baf256cd45503ec568c10">SVF::ThreadCallGraph::getThreadAPI</a></div><div class="ttdeci">ThreadAPI * getThreadAPI() const</div><div class="ttdoc">Thread API.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00324">ThreadCallGraph.h:324</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a7fc576e83fa259d0ab06d54c3537c4ac"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac">SVF::MTAResultValidator::vthdTorthdMap</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; vthdTorthdMap</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00122">MTAResultValidator.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a1af033b5742fa9cc1e4f9873184775b7"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7">SVF::MTAResultValidator::dumpInterlev</a></div><div class="ttdeci">void dumpInterlev(NodeBS &amp;lev)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00204">MTAResultValidator.cpp:204</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a462f1554e058b656861abfb0aa2e47ff"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00040">MTAResultValidator.cpp:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_afdd89e26a7c168762bfe85746252827f"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator::getOutput</a></div><div class="ttdeci">std::string getOutput(const char *scenario, bool analysisRes, bool expectedRes)</div><div class="ttdoc">Get the validation result string of a single validation scenario.</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00281">MTAResultValidator.h:281</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00145">BasicTypes.h:145</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00146">BasicTypes.h:146</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a58e07fcd0d9a611dfd31ab62802c5990"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990">SVF::RaceResultValidator::validateAll</a></div><div class="ttdeci">void validateAll()</div><div class="ttdoc">Perform validation for all targets.</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00325">MTAResultValidator.h:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a542f2f41c90698270687fc7858a26555"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555">SVF::MTAResultValidator::rthdToChildren</a></div><div class="ttdeci">rthdToChildrenMap rthdToChildren</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00142">MTAResultValidator.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_ac57ae430ee5b6868fe810172ec658853"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853">SVF::RaceResultValidator::RC_FLAG</a></div><div class="ttdeci">int RC_FLAG</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00171">MTAResultValidator.h:171</a></div></div>
@@ -517,12 +517,12 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a4327af2795a9aa336543d8b3c3a7bfdf"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a4327af2795a9aa336543d8b3c3a7bfdf">SVF::RaceResultValidator::validateAll</a></div><div class="ttdeci">void validateAll()</div><div class="ttdoc">Perform validation for all targets.</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00650">MTAResultValidator.cpp:650</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a1294cb90b073ba25a8ffc06180c09419"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419">SVF::RaceResultValidator::selectedValidationScenarios</a></div><div class="ttdeci">RC_FLAG selectedValidationScenarios</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00300">MTAResultValidator.h:300</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="anamespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_aabc2c84e951ed9ae64207e379acb3074"><div class="ttname"><a href="classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074">SVF::TCT::getSVFModule</a></div><div class="ttdeci">SVFModule * getSVFModule() const</div><div class="ttdoc">Get SVFFModule.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00176">TCT.h:176</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a2fbfa7dffd33fa23fdddc60b94af8467"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a2fbfa7dffd33fa23fdddc60b94af8467">SVF::RaceResultValidator::compare</a></div><div class="ttdeci">static bool compare(const CallBase *CI1, const CallBase *CI2)</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00306">MTAResultValidator.h:306</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_ae7d61becd14123f60976fd7261d0c84d"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator::dumpCxt</a></div><div class="ttdeci">void dumpCxt(const CallStrCxt &amp;cxt) const</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00189">MTAResultValidator.cpp:189</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_aa4129053b7248d4e95763f0b41044e4c"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c">SVF::RaceResultValidator::RC_MHP</a></div><div class="ttdeci">static const RC_FLAG RC_MHP</div><div class="ttdoc">Constant RC_FLAG values.</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00326">MTAResultValidator.h:326</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00087">BasicTypes.h:87</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_1MTAResultValidator_html_abdf31e8fca824b56a53788de525042a6"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator::collectTCTTargets</a></div><div class="ttdeci">bool collectTCTTargets()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00284">MTAResultValidator.cpp:284</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a64f61b58f59eba5f3e7c69f90edc68df"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a64f61b58f59eba5f3e7c69f90edc68df">SVF::RaceResultValidator::release</a></div><div class="ttdeci">void release()</div><div class="ttdoc">Release resource.</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00230">MTAResultValidator.h:230</a></div></div>
@@ -538,11 +538,11 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_a749793355ab8390a1e6577d7b05efddf"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a749793355ab8390a1e6577d7b05efddf">SVF::RaceResultValidator::hasValidationTarget</a></div><div class="ttdeci">bool hasValidationTarget() const</div><div class="ttdoc">Check if the input program has validation target.</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00234">MTAResultValidator.h:234</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a0095d23a9c9d5d62ec4a23c56824b5f0"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a0095d23a9c9d5d62ec4a23c56824b5f0">SVF::LLVMUtil::getLLVMCallSite</a></div><div class="ttdeci">const CallBase * getLLVMCallSite(const Value *value)</div><div class="ttdoc">Return LLVM callsite given a value.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00059">LLVMUtil.h:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a3c3eacff786230d093d27615ff360ed4"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a3c3eacff786230d093d27615ff360ed4">SVF::MTAResultValidator::collectInterleavingTargets</a></div><div class="ttdeci">bool collectInterleavingTargets()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00322">MTAResultValidator.cpp:322</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RaceResultValidator_html_ade9f150c970aa2cc481c878aebf71662"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator::mayAccessAliases</a></div><div class="ttdeci">virtual bool mayAccessAliases(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="svf_2include_2MTA_2MTAResultValidator_8h_source.html#l00243">MTAResultValidator.h:243</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MHP_html_a20e740d4b96ef086b6b5778acd38ca88"><div class="ttname"><a href="classSVF_1_1MHP.html#a20e740d4b96ef086b6b5778acd38ca88">SVF::MHP::getThreadCallGraph</a></div><div class="ttdeci">ThreadCallGraph * getThreadCallGraph() const</div><div class="ttdoc">Get ThreadCallGraph.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00076">MHP.h:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a2a21cbdf9513e9fe4fa6c6ae56618b18"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a2a21cbdf9513e9fe4fa6c6ae56618b18">SVF::MTAResultValidator::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00137">MTAResultValidator.h:137</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTAResultValidator_html_a1fc4116b134aa87420d055b193208e68"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator::collectCallsiteTargets</a></div><div class="ttdeci">bool collectCallsiteTargets()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00215">MTAResultValidator.cpp:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MHP_html_ac30f283cb2ad020a054ee6525ca94025"><div class="ttname"><a href="classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025">SVF::MHP::ThreadStmtToThreadInterleav</a></div><div class="ttdeci">Map&lt; CxtThreadStmt, NodeBS &gt; ThreadStmtToThreadInterleav</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00054">MHP.h:54</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>

package/SVF-doxygen/html/wpa_8cpp_source.html

@@ -145,7 +145,7 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="anamespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
 <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</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#l00066">BasicTypes.h:66</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#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html"><div class="ttname"><a href="SVFFileSystem_8h.html">SVFFileSystem.h</a></div></div>
 <div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.894",
+  "version": "1.0.896",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {

package/svf-llvm/include/SVF-LLVM/BasicTypes.h

@@ -41,6 +41,7 @@
 #include <llvm/IR/GetElementPtrTypeIterator.h>
 #include <llvm/IR/DerivedTypes.h>
 #include <llvm/IR/Statepoint.h>
+#include <llvm/IR/Intrinsics.h>
 
 #include <llvm/Analysis/MemoryLocation.h>
 #include <llvm/Analysis/DominanceFrontier.h>

package/svf-llvm/lib/CHGBuilder.cpp

@@ -453,6 +453,7 @@ void CHGBuilder::analyzeVTables(const Module &M)
                                 if (dname.className.size() > 0 &&
                                         vtblClassName.compare(dname.className) != 0)
                                 {
+                                    if(!chg->getNode(dname.className)) createNode(dname.className);
                                     chg->addEdge(vtblClassName, dname.className, CHEdge::INHERITANCE);
                                 }
                             }

package/svf-llvm/lib/ObjTypeInference.cpp

@@ -207,9 +207,9 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
         }
         if (const auto *gepInst = SVFUtil::dyn_cast<GetElementPtrInst>(curValue))
             insertInferSite(gepInst);
-        for (const auto &it: curValue->uses())
+        for (const auto &it: curValue->users())
         {
-            if (const auto *loadInst = SVFUtil::dyn_cast<LoadInst>(it.getUser()))
+            if (const auto *loadInst = SVFUtil::dyn_cast<LoadInst>(it))
             {
                 /*
                  * infer based on load, e.g.,
@@ -219,7 +219,7 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                  */
                 insertInferSite(loadInst);
             }
-            else if (const auto *storeInst = SVFUtil::dyn_cast<StoreInst>(it.getUser()))
+            else if (const auto *storeInst = SVFUtil::dyn_cast<StoreInst>(it))
             {
                 if (storeInst->getPointerOperand() == curValue)
                 {
@@ -233,7 +233,7 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                 }
                 else
                 {
-                    for (const auto &nit: storeInst->getPointerOperand()->uses())
+                    for (const auto &nit: storeInst->getPointerOperand()->users())
                     {
                         /*
                          * propagate across store (value operand) and load
@@ -242,8 +242,8 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                          %q = load i8*, i8** %p
                          ..infer based on %q..
                         */
-                        if (SVFUtil::isa<LoadInst>(nit.getUser()))
-                            insertInferSitesOrPushWorklist(nit.getUser());
+                        if (SVFUtil::isa<LoadInst>(nit))
+                            insertInferSitesOrPushWorklist(nit);
                     }
                     /*
                      * infer based on store (value operand) <- gep (result element)
@@ -263,18 +263,18 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                         const Value *gepBase = gepInst->getPointerOperand();
                         if (!SVFUtil::isa<LoadInst>(gepBase)) continue;
                         const auto *load = SVFUtil::dyn_cast<LoadInst>(gepBase);
-                        for (const auto &loadUse: load->getPointerOperand()->uses())
+                        for (const auto &loadUse: load->getPointerOperand()->users())
                         {
-                            if (loadUse.getUser() == load || !SVFUtil::isa<LoadInst>(loadUse.getUser()))
+                            if (loadUse == load || !SVFUtil::isa<LoadInst>(loadUse))
                                 continue;
-                            for (const auto &gepUse: loadUse.getUser()->uses())
+                            for (const auto &gepUse: loadUse->users())
                             {
-                                if (!SVFUtil::isa<GetElementPtrInst>(gepUse.getUser())) continue;
-                                for (const auto &loadUse2: gepUse.getUser()->uses())
+                                if (!SVFUtil::isa<GetElementPtrInst>(gepUse)) continue;
+                                for (const auto &loadUse2: gepUse->users())
                                 {
-                                    if (SVFUtil::isa<LoadInst>(loadUse2.getUser()))
+                                    if (SVFUtil::isa<LoadInst>(loadUse2))
                                     {
-                                        insertInferSitesOrPushWorklist(loadUse2.getUser());
+                                        insertInferSitesOrPushWorklist(loadUse2);
                                     }
                                 }
                             }
@@ -284,7 +284,7 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                 }
 
             }
-            else if (const auto *gepInst = SVFUtil::dyn_cast<GetElementPtrInst>(it.getUser()))
+            else if (const auto *gepInst = SVFUtil::dyn_cast<GetElementPtrInst>(it))
             {
                 /*
                  * infer based on gep (pointer operand)
@@ -295,17 +295,17 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                 if (gepInst->getPointerOperand() == curValue)
                     insertInferSite(gepInst);
             }
-            else if (const auto *bitcast = SVFUtil::dyn_cast<BitCastInst>(it.getUser()))
+            else if (const auto *bitcast = SVFUtil::dyn_cast<BitCastInst>(it))
             {
                 // continue on bitcast
                 insertInferSitesOrPushWorklist(bitcast);
             }
-            else if (const auto *phiNode = SVFUtil::dyn_cast<PHINode>(it.getUser()))
+            else if (const auto *phiNode = SVFUtil::dyn_cast<PHINode>(it))
             {
                 // continue on bitcast
                 insertInferSitesOrPushWorklist(phiNode);
             }
-            else if (const auto *retInst = SVFUtil::dyn_cast<ReturnInst>(it.getUser()))
+            else if (const auto *retInst = SVFUtil::dyn_cast<ReturnInst>(it))
             {
                 /*
                  * propagate from return to caller
@@ -318,9 +318,9 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                  %call = call i8* @malloc_wrapper()
                  ..infer based on %call..
                 */
-                for (const auto &callsite: retInst->getFunction()->uses())
+                for (const auto &callsite: retInst->getFunction()->users())
                 {
-                    if (const auto *callBase = SVFUtil::dyn_cast<CallBase>(callsite.getUser()))
+                    if (const auto *callBase = SVFUtil::dyn_cast<CallBase>(callsite))
                     {
                         // skip function as parameter
                         // e.g., call void @foo(%struct.ssl_ctx_st* %9, i32 (i8*, i32, i32, i8*)* @passwd_callback)
@@ -329,7 +329,7 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                     }
                 }
             }
-            else if (const auto *callBase = SVFUtil::dyn_cast<CallBase>(it.getUser()))
+            else if (const auto *callBase = SVFUtil::dyn_cast<CallBase>(it))
             {
                 /*
                  * propagate from callsite to callee
@@ -350,9 +350,33 @@ const Type *ObjTypeInference::fwInferObjType(const Value *var)
                 if (Function *calleeFunc = callBase->getCalledFunction())
                 {
                     u32_t pos = getArgPosInCall(callBase, curValue);
-                    // for variable argument, conservatively collect all params
-                    if (calleeFunc->isVarArg()) pos = 0;
-                    if (!calleeFunc->isDeclaration())
+                    // for varargs function, we cannot directly get the value-flow between actual and formal args
+                    // e.g., consider the following vararg function @callee
+                    // 1: call void @callee(%arg)
+                    // 2: define dso_local i32 @callee(...) #0 !dbg !17 {
+                    // 3:  .......
+                    // 4:  %5 = load i32, ptr %vaarg.addr, align 4, !dbg !55
+                    // 5:  .......
+                    // 6: }
+                    // it is challenging to precisely identify the forward value-flow of %arg (Line 2)
+                    // because the function definition of callee (Line 2) does not have any formal args related to the actual arg %arg
+                    // therefore we track all possible instructions like ``load i32, ptr %vaarg.addr''
+                    if (calleeFunc->isVarArg())
+                    {
+                        // conservatively track all var args
+                        for (auto &I: instructions(calleeFunc))
+                        {
+                            if (auto *load = llvm::dyn_cast<llvm::LoadInst>(&I))
+                            {
+                                llvm::Value* loadPointer = load->getPointerOperand();
+                                if (loadPointer->getName().compare("vaarg.addr") == 0)
+                                {
+                                    insertInferSitesOrPushWorklist(load);
+                                }
+                            }
+                        }
+                    }
+                    else if (!calleeFunc->isDeclaration())
                     {
                         insertInferSitesOrPushWorklist(calleeFunc->getArg(pos));
                     }
@@ -449,9 +473,9 @@ Set<const Value *> &ObjTypeInference::bwfindAllocOfVar(const Value *var)
         }
         else if (const auto *loadInst = SVFUtil::dyn_cast<LoadInst>(curValue))
         {
-            for (const auto &use: loadInst->getPointerOperand()->uses())
+            for (const auto &use: loadInst->getPointerOperand()->users())
             {
-                if (const StoreInst *storeInst = SVFUtil::dyn_cast<StoreInst>(use.getUser()))
+                if (const StoreInst *storeInst = SVFUtil::dyn_cast<StoreInst>(use))
                 {
                     if (storeInst->getPointerOperand() == loadInst->getPointerOperand())
                     {
@@ -462,9 +486,9 @@ Set<const Value *> &ObjTypeInference::bwfindAllocOfVar(const Value *var)
         }
         else if (const auto *argument = SVFUtil::dyn_cast<Argument>(curValue))
         {
-            for (const auto &use: argument->getParent()->uses())
+            for (const auto &use: argument->getParent()->users())
             {
-                if (const CallBase *callBase = SVFUtil::dyn_cast<CallBase>(use.getUser()))
+                if (const CallBase *callBase = SVFUtil::dyn_cast<CallBase>(use))
                 {
                     // skip function as parameter
                     // e.g., call void @foo(%struct.ssl_ctx_st* %9, i32 (i8*, i32, i32, i8*)* @passwd_callback)