svf-tools 1.0.875 → 1.0.877

package/SVF-doxygen/html/ae_8cpp.html

@@ -163,13 +163,13 @@ Variables</h2></td></tr>
 <div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    {</div>
 <div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a> ae;</div>
 <div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;        ae.<a class="code" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a>();</div>
-<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">runOnModule</a>(pag);</div>
+<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">runOnModule</a>(pag);</div>
 <div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    }</div>
 <div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    {</div>
-<div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        <a class="code" href="classSVF_1_1AE.html">AE</a> ae;</div>
-<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">initExtAPI</a>();</div>
-<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">runOnModule</a>(pag);</div>
+<div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
+<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">initExtAPI</a>();</div>
+<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">runOnModule</a>(pag);</div>
 <div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;    }</div>
 <div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160; </div>
 <div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;    LLVMModuleSet::releaseLLVMModuleSet();</div>
@@ -203,20 +203,20 @@ Variables</h2></td></tr>
 </div>
 </div>
 </div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00106">AbstractExecution.h:106</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html"><div class="ttname"><a href="classSymblicAbstractionTest.html">SymblicAbstractionTest</a></div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00047">ae.cpp:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
 <div class="ttc" id="aae_8cpp_html_acf883aea11ed083025935a7257b5967d"><div class="ttname"><a href="ae_8cpp.html#acf883aea11ed083025935a7257b5967d">SYMABS</a></div><div class="ttdeci">static Option&lt; bool &gt; SYMABS(&quot;symabs&quot;, &quot;symbolic abstraction test&quot;, false)</div></div>
 <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7a9a6b46b24d044316f609f71344e2bb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00092">AbstractExecution.cpp:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a66155c2b52131a7782382d8e5da560fc"><div class="ttname"><a href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">SymblicAbstractionTest::testsValidation</a></div><div class="ttdeci">void testsValidation()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00599">ae.cpp:599</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html_ae9a622c55a3d6527687583c99719aa84"><div class="ttname"><a href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">SVF::AE::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00087">AE.cpp:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html">SVF::BufOverflowChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00170">BufOverflowChecker.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00384">Andersen.h:384</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html"><div class="ttname"><a href="classSVF_1_1AE.html">SVF::AE</a></div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00107">AE.h:107</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html_ab404cbecd02b801e4cd660dd3c7e712d"><div class="ttname"><a href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">SVF::AE::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00092">AE.cpp:92</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a4bf7be47ddc0ba53ec4a5e87f300763f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00087">AbstractExecution.cpp:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a4787d2e56aa374763656b7942f0ed52f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker::initExtAPI</a></div><div class="ttdeci">void initExtAPI() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00185">BufOverflowChecker.h:185</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/ae_8cpp_source.html

@@ -728,13 +728,13 @@ $(function() {
 <div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    {</div>
 <div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <a class="code" href="classSVF_1_1BufOverflowChecker.html">BufOverflowChecker</a> ae;</div>
 <div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;        ae.<a class="code" href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">initExtAPI</a>();</div>
-<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">runOnModule</a>(pag);</div>
+<div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">runOnModule</a>(pag);</div>
 <div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    }</div>
 <div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    {</div>
-<div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        <a class="code" href="classSVF_1_1AE.html">AE</a> ae;</div>
-<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">initExtAPI</a>();</div>
-<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;        ae.<a class="code" href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">runOnModule</a>(pag);</div>
+<div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        <a class="code" href="classSVF_1_1AbstractExecution.html">AbstractExecution</a> ae;</div>
+<div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">initExtAPI</a>();</div>
+<div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;        ae.<a class="code" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">runOnModule</a>(pag);</div>
 <div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;    }</div>
 <div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160; </div>
 <div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;    <a class="code" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">LLVMModuleSet::releaseLLVMModuleSet</a>();</div>
@@ -742,6 +742,7 @@ $(function() {
 <div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;    <span class="keywordflow">return</span> 0;</div>
 <div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html">SVF::AbstractExecution</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00106">AbstractExecution.h:106</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a40b9879a5465f960bbd4fad6654304aa"><div class="ttname"><a href="classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa">SymblicAbstractionTest::testRelExeState2_2</a></div><div class="ttdeci">void testRelExeState2_2()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00212">ae.cpp:212</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a56541a5e9bc61f092ee3c48700f00bf7"><div class="ttname"><a href="classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7">SymblicAbstractionTest::testRelExeState3_2</a></div><div class="ttdeci">void testRelExeState3_2()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00429">ae.cpp:429</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00105">LLVMModule.h:105</a></div></div>
@@ -774,6 +775,7 @@ $(function() {
 <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00054">IntervalExeState.h:54</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a32fbde1fbb997be55abfdc308de68fc1"><div class="ttname"><a href="classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1">SymblicAbstractionTest::testRelExeState2_1</a></div><div class="ttdeci">void testRelExeState2_1()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00170">ae.cpp:170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a7a9a6b46b24d044316f609f71344e2bb"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">SVF::AbstractExecution::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00092">AbstractExecution.cpp:92</a></div></div>
 <div class="ttc" id="aRelationSolver_8h_html"><div class="ttname"><a href="RelationSolver_8h.html">RelationSolver.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_af860063ccaeca043bac84eb9eb2cf80a"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#af860063ccaeca043bac84eb9eb2cf80a">SVF::RelationSolver::gamma_hat</a></div><div class="ttdeci">Z3Expr gamma_hat(const IntervalESBase &amp;exeState) const</div><div class="ttdoc">Return Z3Expr according to valToValMap.</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00196">RelationSolver.cpp:196</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a02e3d5f7074c4f77338edc9a7add95d8"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">SVF::IntervalESBase::VarToValMap</a></div><div class="ttdeci">Map&lt; u32_t, IntervalValue &gt; VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00059">IntervalExeState.h:59</a></div></div>
@@ -781,7 +783,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a2c15de9b10a74fbcb171ff2f328ce7f2"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2">SVF::IntervalESBase::sliceState</a></div><div class="ttdeci">IntervalESBase sliceState(Set&lt; u32_t &gt; &amp;sl)</div><div class="ttdoc">Copy some values and return a new IntervalExeState.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00135">IntervalExeState.h:135</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a66155c2b52131a7782382d8e5da560fc"><div class="ttname"><a href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">SymblicAbstractionTest::testsValidation</a></div><div class="ttdeci">void testsValidation()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00599">ae.cpp:599</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html_ae9a622c55a3d6527687583c99719aa84"><div class="ttname"><a href="classSVF_1_1AE.html#ae9a622c55a3d6527687583c99719aa84">SVF::AE::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00087">AE.cpp:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_a657af041f883e7b1a3f9892453a2c4cf"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf">SVF::RelationSolver::RSY</a></div><div class="ttdeci">IntervalESBase RSY(const IntervalESBase &amp;domain, const Z3Expr &amp;phi)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00111">RelationSolver.cpp:111</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html"><div class="ttname"><a href="classSVF_1_1RelationSolver.html">SVF::RelationSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8h_source.html#l00038">RelationSolver.h:38</a></div></div>
@@ -799,7 +800,6 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a05dc00b2bd9a8176aae31b6cfffe725d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil::sucMsg</a></div><div class="ttdeci">std::string sucMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns successful message by converting a string into green string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00053">SVFUtil.cpp:53</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_ad6525df45acfeb1c9c31fc54219a4217"><div class="ttname"><a href="classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217">SymblicAbstractionTest::Bilateral_time</a></div><div class="ttdeci">IntervalESBase Bilateral_time(IntervalESBase &amp;inv, const Z3Expr &amp;phi, RelationSolver &amp;rs)</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00076">ae.cpp:76</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html"><div class="ttname"><a href="classSVF_1_1AE.html">SVF::AE</a></div><div class="ttdef"><b>Definition:</b> <a href="AE_8h_source.html#l00107">AE.h:107</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelExeState_html"><div class="ttname"><a href="classSVF_1_1RelExeState.html">SVF::RelExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="RelExeState_8h_source.html#l00039">RelExeState.h:39</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a61df4b66ebc9b3eb38d773aa375ee759"><div class="ttname"><a href="classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759">SymblicAbstractionTest::BS_time</a></div><div class="ttdeci">IntervalESBase BS_time(IntervalESBase &amp;inv, const Z3Expr &amp;phi, RelationSolver &amp;rs)</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00088">ae.cpp:88</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
@@ -808,8 +808,8 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a48ff6fc4badc79ad3204ae9bd95cc540"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">SVF::AndersenWaveDiff::createAndersenWaveDiff</a></div><div class="ttdeci">static AndersenWaveDiff * createAndersenWaveDiff(SVFIR *_pag)</div><div class="ttdoc">Create an singleton instance directly instead of invoking llvm pass manager.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00395">Andersen.h:395</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a903797577ba99ef57879774a3849bbfe"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">SVF::IntervalESBase::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00189">IntervalExeState.h:189</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AE_html_ab404cbecd02b801e4cd660dd3c7e712d"><div class="ttname"><a href="classSVF_1_1AE.html#ab404cbecd02b801e4cd660dd3c7e712d">SVF::AE::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFIR *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="AE_8cpp_source.html#l00092">AE.cpp:92</a></div></div>
 <div class="ttc" id="aSVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a4bf7be47ddc0ba53ec4a5e87f300763f"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a4bf7be47ddc0ba53ec4a5e87f300763f">SVF::AbstractExecution::initExtAPI</a></div><div class="ttdeci">virtual void initExtAPI()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00087">AbstractExecution.cpp:87</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a7c319b15dd3bd82a7c805ba6dd60beab"><div class="ttname"><a href="classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab">SymblicAbstractionTest::testRelExeState2_3</a></div><div class="ttdeci">void testRelExeState2_3()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00255">ae.cpp:255</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_a4787d2e56aa374763656b7942f0ed52f"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#a4787d2e56aa374763656b7942f0ed52f">SVF::BufOverflowChecker::initExtAPI</a></div><div class="ttdeci">void initExtAPI() override</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8h_source.html#l00185">BufOverflowChecker.h:185</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/annotated.html

@@ -147,19 +147,19 @@ $(function() {
 <tr id="row_2_1_41_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1make__void.html" target="_self">make_void</a></td><td class="desc">Void_t is not available until C++17. We define it here for C++11/14 </td></tr>
 <tr id="row_2_1_42_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">simplify_type</a></td><td class="desc"></td></tr>
 <tr id="row_2_1_43_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">simplify_type&lt; const From &gt;</a></td><td class="desc"></td></tr>
-<tr id="row_2_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractValue.html" target="_self">AbstractValue</a></td><td class="desc"></td></tr>
-<tr id="row_2_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AccessPath.html" target="_self">AccessPath</a></td><td class="desc"></td></tr>
-<tr id="row_2_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualINSVFGNode.html" target="_self">ActualINSVFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_2_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html" target="_self">ActualOUTSVFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_2_6_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualParmVFGNode.html" target="_self">ActualParmVFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_2_7_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualRetVFGNode.html" target="_self">ActualRetVFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_2_8_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrCGEdge.html" target="_self">AddrCGEdge</a></td><td class="desc"></td></tr>
-<tr id="row_2_9_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddressValue.html" target="_self">AddressValue</a></td><td class="desc"></td></tr>
-<tr id="row_2_10_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrStmt.html" target="_self">AddrStmt</a></td><td class="desc"></td></tr>
-<tr id="row_2_11_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrVFGNode.html" target="_self">AddrVFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_2_12_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AE.html" target="_self">AE</a></td><td class="desc"></td></tr>
+<tr id="row_2_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractExecution.html" target="_self">AbstractExecution</a></td><td class="desc"></td></tr>
+<tr id="row_2_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AbstractValue.html" target="_self">AbstractValue</a></td><td class="desc"></td></tr>
+<tr id="row_2_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AccessPath.html" target="_self">AccessPath</a></td><td class="desc"></td></tr>
+<tr id="row_2_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualINSVFGNode.html" target="_self">ActualINSVFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_2_6_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html" target="_self">ActualOUTSVFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_2_7_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualParmVFGNode.html" target="_self">ActualParmVFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_2_8_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualRetVFGNode.html" target="_self">ActualRetVFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_2_9_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrCGEdge.html" target="_self">AddrCGEdge</a></td><td class="desc"></td></tr>
+<tr id="row_2_10_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddressValue.html" target="_self">AddressValue</a></td><td class="desc"></td></tr>
+<tr id="row_2_11_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrStmt.html" target="_self">AddrStmt</a></td><td class="desc"></td></tr>
+<tr id="row_2_12_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrVFGNode.html" target="_self">AddrVFGNode</a></td><td class="desc"></td></tr>
 <tr id="row_2_13_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEAPI.html" target="_self">AEAPI</a></td><td class="desc"></td></tr>
-<tr id="row_2_14_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEStat.html" target="_self">AEStat</a></td><td class="desc"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for <a class="el" href="classSVF_1_1AE.html">AE</a> </td></tr>
+<tr id="row_2_14_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AEStat.html" target="_self">AEStat</a></td><td class="desc"><a class="el" href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE.">AEStat</a>: Statistic for AE </td></tr>
 <tr id="row_2_15_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html" target="_self">AliasCFLGraphBuilder</a></td><td class="desc"><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html" title="AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing.">AliasCFLGraphBuilder</a>: a <a class="el" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a> specialized for handling aliasing </td></tr>
 <tr id="row_2_16_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AliasDDAClient.html" target="_self">AliasDDAClient</a></td><td class="desc"></td></tr>
 <tr id="row_2_17_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Andersen.html" target="_self">Andersen</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/classSVF_1_1AEAPI-members.html

@@ -72,7 +72,7 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a6cd87d552b2bd81252ef62c624a56b36">_ae</a></td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded">_ae</a></td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f">_checkpoint_names</a></td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361">_checkpoints</a></td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f">_func_map</a></td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
@@ -84,7 +84,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8">AccessMemoryViaLoadStmt</a>(const LoadStmt *load, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde">AccessMemoryViaRetNode</a>(const CallICFGNode *callnode, SVF::FILOWorkList&lt; const SVFValue * &gt; &amp;worklist, Set&lt; const SVFValue * &gt; &amp;visited)</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">Addrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a680ff8e8913aafa7bea9ceea4a262a72">AEAPI</a>(AE *ae, AEStat *stat)</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#aef0e9a5ff5633dc6fb96bab35484df2a">AEAPI</a>(AbstractExecution *ae, AEStat *stat)</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#aa2a97be698768ddbcab0fec27bde60c8">checkPointAllSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a31545025fcf62a0c6680ba99666f7b01">classof</a>(const AEAPI *api)</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html#a2dc09f4a21cf629ebe500f856cf86bb4">collectCheckPoint</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AEAPI.html">SVF::AEAPI</a></td><td class="entry"></td></tr>