svf-tools 1.0.894 → 1.0.896

package/SVF-doxygen/html/ThreadCallGraph_8h_source.html

@@ -450,7 +450,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a79ba3df9d85eed3c9a55e6797fdcb9b9"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9">SVF::ThreadCallGraph::callinstToThreadForkEdgesMap</a></div><div class="ttdeci">CallInstToForkEdgesMap callinstToThreadForkEdgesMap</div><div class="ttdoc">Map a call instruction to its corresponding fork edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00415">ThreadCallGraph.h:415</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</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="aclassSVF_1_1ThreadCallGraph_html_a304ba7ef48068fa019c69af5744842cc"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc">SVF::ThreadCallGraph::CtxSet</a></div><div class="ttdeci">Set&lt; CallSiteSet * &gt; CtxSet</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00168">ThreadCallGraph.h:168</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>

package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html

@@ -243,7 +243,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_aec579b7854aa6a994632d3f7c5d621db"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db">SVF::TypeAnalysis::callGraphSolveBasedOnCHA</a></div><div class="ttdeci">void callGraphSolveBasedOnCHA(const CallSiteToFunPtrMap &amp;callsites, CallEdgeMap &amp;newEdges)</div><div class="ttdoc">Resolve callgraph based on CHA.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00075">TypeAnalysis.cpp:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a28a1c3571cdee5e05004b29ace364e67"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67">SVF::AndersenBase::finalize</a></div><div class="ttdeci">virtual void finalize() override</div><div class="ttdoc">Finalize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00089">Andersen.cpp:89</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="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="anamespaceSVF_1_1SVFUtil_html_a9815a5b31ac7dc21239d08e5b9f61106"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil::getSVFCallSite</a></div><div class="ttdeci">CallSite getSVFCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Return LLVM callsite given an instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00196">SVFUtil.h:196</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGStat_html_aabe0779dc44ddc4e06300ea912cca39f"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">SVF::ICFGStat::performStat</a></div><div class="ttdeci">void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00075">ICFGStat.h:75</a></div></div>
 <div class="ttc" id="aPTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>

package/SVF-doxygen/html/TypeAnalysis_8h_source.html

@@ -146,7 +146,7 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_aaec66fea631bfe00064182e17dfb9db3"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis::TypeAnalysis</a></div><div class="ttdeci">TypeAnalysis(SVFIR *pag)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8h_source.html#l00043">TypeAnalysis.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_aec579b7854aa6a994632d3f7c5d621db"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#aec579b7854aa6a994632d3f7c5d621db">SVF::TypeAnalysis::callGraphSolveBasedOnCHA</a></div><div class="ttdeci">void callGraphSolveBasedOnCHA(const CallSiteToFunPtrMap &amp;callsites, CallEdgeMap &amp;newEdges)</div><div class="ttdoc">Resolve callgraph based on CHA.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00075">TypeAnalysis.cpp:75</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="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a6375b5601feda2fb22259ecce08548fc"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a6375b5601feda2fb22259ecce08548fc">SVF::TypeAnalysis::~TypeAnalysis</a></div><div class="ttdeci">virtual ~TypeAnalysis()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8h_source.html#l00049">TypeAnalysis.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ac23f71c1307cda9cba44acc40059f0a3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">SVF::PointerAnalysis::getAnalysisTy</a></div><div class="ttdeci">PTATY getAnalysisTy() const</div><div class="ttdoc">Type of pointer analysis.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00185">PointerAnalysis.h:185</a></div></div>

package/SVF-doxygen/html/VFGEdge_8h_source.html

@@ -332,7 +332,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RetDirSVFGEdge_html_a6282c2619d843cf90575886a0ef81edf"><div class="ttname"><a href="classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf">SVF::RetDirSVFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00412">VFG.cpp:412</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a9a29abd99da3465e07bd62470bd9bb56"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56">SVF::VFGEdge::VFGEdge</a></div><div class="ttdeci">VFGEdge(VFGNode *s, VFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00066">VFGEdge.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_ad0df7ea2de8de5607229dfcdd7b70b87"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87">SVF::VFGEdge::isRetIndirectVFGEdge</a></div><div class="ttdeci">bool isRetIndirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00104">VFGEdge.h:104</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="aclassSVF_1_1VFGEdge_html_aa8f30d093d4950724a6688707326b57b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b">SVF::VFGEdge::isIndirectVFGEdge</a></div><div class="ttdeci">bool isIndirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00080">VFGEdge.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraDirSVFGEdge_html_a6a6a756f3f4d3b8bb162014ad8a013d6"><div class="ttname"><a href="classSVF_1_1IntraDirSVFGEdge.html#a6a6a756f3f4d3b8bb162014ad8a013d6">SVF::IntraDirSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const VFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00194">VFGEdge.h:194</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraDirSVFGEdge_html_a83ecbb860bb65c348716a7b6eb0eb6e4"><div class="ttname"><a href="classSVF_1_1IntraDirSVFGEdge.html#a83ecbb860bb65c348716a7b6eb0eb6e4">SVF::IntraDirSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00198">VFGEdge.h:198</a></div></div>

package/SVF-doxygen/html/VFGNode_8h_source.html

@@ -1168,7 +1168,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1NullPtrVFGNode_html_ae54d1078c5b909b9142189b8558f382e"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#ae54d1078c5b909b9142189b8558f382e">SVF::NullPtrVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00362">VFG.cpp:362</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_ae5298888e597b2a379f9c9ebb5bd9132"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132">SVF::UnaryOPVFGNode::UnaryOPVFGNode</a></div><div class="ttdeci">UnaryOPVFGNode()</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00428">VFG.cpp:428</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="aclassSVF_1_1IntraPHIVFGNode_html_a145413d87e9174b5eb70b871b9dfa13e"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode::toString</a></div><div class="ttdeci">const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00238">VFG.cpp:238</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html_a4f8125b671b65b106b82fa7f555a0627"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627">SVF::LoadVFGNode::classof</a></div><div class="ttdeci">static bool classof(const LoadVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00214">VFGNode.h:214</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a01ca492acb9b769eb6e1fe2137dff47d"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d">SVF::BinaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00400">VFGNode.h:400</a></div></div>

package/SVF-doxygen/html/VFG_8cpp_source.html

@@ -1403,7 +1403,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1NullPtrVFGNode_html_ae54d1078c5b909b9142189b8558f382e"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#ae54d1078c5b909b9142189b8558f382e">SVF::NullPtrVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00362">VFG.cpp:362</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a9e40eafe55a2c1448b830b56ae72e17f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">SVF::SVFVar::getOutgoingEdgesBegin</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy::iterator getOutgoingEdgesBegin(SVFStmt::PEDGEK kind) const</div><div class="ttdoc">Get outgoing SVFStmt iterator.</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00193">SVFVariables.h:193</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_add1ed5dfc7fbb095e2bdb7ff1e2658ef"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode::PHIVFGNode</a></div><div class="ttdeci">PHIVFGNode(NodeID id, const PAGNode *r, VFGNodeK k=TPhi)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00428">VFG.cpp:428</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="aclassSVF_1_1IntraPHIVFGNode_html_a145413d87e9174b5eb70b871b9dfa13e"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode::toString</a></div><div class="ttdeci">const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00238">VFG.cpp:238</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ab5b63b4f6317bfb5875f2b977bcf26a4"><div class="ttname"><a href="classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4">SVF::VFG::hasDef</a></div><div class="ttdeci">bool hasDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00426">VFG.h:426</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00967">VFGNode.h:967</a></div></div>

package/SVF-doxygen/html/VFG_8h_source.html

@@ -679,7 +679,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</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_1VFG_html_aeed3eca629b10554f40b1d2b478580d4"><div class="ttname"><a href="classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4">SVF::VFG::PAGNodeToPHIVFGNodeMapTy</a></div><div class="ttdeci">Map&lt; const PAGNode *, IntraPHIVFGNode * &gt; PAGNodeToPHIVFGNodeMapTy</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00068">VFG.h:68</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="aVFGEdge_8h_html"><div class="ttname"><a href="VFGEdge_8h.html">VFGEdge.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ab5b63b4f6317bfb5875f2b977bcf26a4"><div class="ttname"><a href="classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4">SVF::VFG::hasDef</a></div><div class="ttdeci">bool hasDef(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00426">VFG.h:426</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a16e0017ad3a2d36d7efbc4383e394154"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154">SVF::PTACallGraph::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00363">PTACallGraph.h:363</a></div></div>

package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html

@@ -298,7 +298,7 @@ $(function() {
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</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="aclassSVF_1_1VersionedFlowSensitiveStat_html_af202623692135ad746aed1be995c55fb"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitiveStat_8cpp_source.html#l00035">VersionedFlowSensitiveStat.cpp:35</a></div></div>
 <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#l00512">SVFType.h:512</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00325">SVFIR.h:325</a></div></div>

package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html

@@ -1299,7 +1299,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MRSVFGNode_html"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00042">SVFGNode.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a5dddd53b4ca9d7cc23d88ed9f3de9fde"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde">SVF::PointerAnalysis::getAllFieldsObjVars</a></div><div class="ttdeci">virtual const NodeBS &amp; getAllFieldsObjVars(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00338">PointerAnalysis.h:338</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a7a98162b69de90f80ce853a6ff43af56"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive::propagateVersion</a></div><div class="ttdeci">void propagateVersion(NodeID o, Version v)</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00546">VersionedFlowSensitive.cpp:546</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="aclassSVF_1_1NodeIDAllocator_1_1Clusterer_html_a36b25188130f4c21d145c950a70d616f"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f">SVF::NodeIDAllocator::Clusterer::getReverseNodeMapping</a></div><div class="ttdeci">static std::vector&lt; NodeID &gt; getReverseNodeMapping(const std::vector&lt; NodeID &gt; &amp;nodeMapping)</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00397">NodeIDAllocator.cpp:397</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00347">PointerAnalysis.h:347</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a18f24fe34af677e2a8c78ee89b89be1c"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c">SVF::VersionedFlowSensitive::updateConnectedNodes</a></div><div class="ttdeci">virtual void updateConnectedNodes(const SVFGEdgeSetTy &amp;newEdges) override</div><div class="ttdoc">Update nodes connected during updating call graph.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00605">VersionedFlowSensitive.cpp:605</a></div></div>

package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html

@@ -312,7 +312,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a754c77fff88e8f415dc7a2096d1bffe2"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2">SVF::VersionedFlowSensitive::releaseVFSWPA</a></div><div class="ttdeci">static void releaseVFSWPA()</div><div class="ttdoc">Release flow-sensitive pointer analysis.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8h_source.html#l00093">VersionedFlowSensitive.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a7a98162b69de90f80ce853a6ff43af56"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive::propagateVersion</a></div><div class="ttdeci">void propagateVersion(NodeID o, Version v)</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00546">VersionedFlowSensitive.cpp:546</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="aSVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a18f24fe34af677e2a8c78ee89b89be1c"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c">SVF::VersionedFlowSensitive::updateConnectedNodes</a></div><div class="ttdeci">virtual void updateConnectedNodes(const SVFGEdgeSetTy &amp;newEdges) override</div><div class="ttdoc">Update nodes connected during updating call graph.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00605">VersionedFlowSensitive.cpp:605</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>

package/SVF-doxygen/html/WPAFSSolver_8h_source.html

@@ -309,7 +309,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WPAMinimumSolver_html_a3e26f894660fb22f7d2f342bb4338ff8"><div class="ttname"><a href="classSVF_1_1WPAMinimumSolver.html#a3e26f894660fb22f7d2f342bb4338ff8">SVF::WPAMinimumSolver::candidates</a></div><div class="ttdeci">NodeBS candidates</div><div class="ttdoc">nodes which need to be analyzed in current iteration.</div><div class="ttdef"><b>Definition:</b> <a href="WPAFSSolver_8h_source.html#l00249">WPAFSSolver.h:249</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAMinimumSolver_html_ace696b79f4a0eb5f6f83ab652894cdf7"><div class="ttname"><a href="classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7">SVF::WPAMinimumSolver::addNodeIntoWorkList</a></div><div class="ttdeci">virtual void addNodeIntoWorkList(NodeID node)</div><div class="ttdef"><b>Definition:</b> <a href="WPAFSSolver_8h_source.html#l00227">WPAFSSolver.h:227</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="aclassSVF_1_1WPASCCSolver_html_abec9201d60f0bf2724dbe9ad8a0dfc39"><div class="ttname"><a href="classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39">SVF::WPASCCSolver::child_iterator</a></div><div class="ttdeci">WPASolver&lt; GraphType &gt;::child_iterator child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="WPAFSSolver_8h_source.html#l00112">WPAFSSolver.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAMinimumSolver_html_ab694f375b6b15991bc6a7c228db3242b"><div class="ttname"><a href="classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b">SVF::WPAMinimumSolver::GNODE</a></div><div class="ttdeci">WPASolver&lt; GraphType &gt;::GNODE GNODE</div><div class="ttdef"><b>Definition:</b> <a href="WPAFSSolver_8h_source.html#l00184">WPAFSSolver.h:184</a></div></div>

package/SVF-doxygen/html/WPAPass_8cpp_source.html

@@ -297,7 +297,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00137">IRGraph.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">SVF::PointerAnalysis::VFS_WPA</a></div><div class="ttdeci">@ VFS_WPA</div><div class="ttdoc">Versioned sparse flow-sensitive WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00075">PointerAnalysis.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1e217dc18be0ce70bee5ad930cb54c6"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis::analyze</a></div><div class="ttdeci">virtual void analyze()=0</div><div class="ttdoc">Start Analysis here (main part of pointer analysis). It needs to be implemented in child class.</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="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78">SVF::PointerAnalysis::FSSPARSE_WPA</a></div><div class="ttdeci">@ FSSPARSE_WPA</div><div class="ttdoc">Sparse flow sensitive WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00074">PointerAnalysis.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a7ea8006b7e9237a470dfd34ad633826b"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a7ea8006b7e9237a470dfd34ad633826b">SVF::WPAPass::~WPAPass</a></div><div class="ttdeci">virtual ~WPAPass()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00054">WPAPass.cpp:54</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>

package/SVF-doxygen/html/WPAPass_8h_source.html

@@ -180,7 +180,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a92e19b9ddf342d688ff0f1aa6cecc729"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)</div><div class="ttdoc">Interface expose to users of our pointer analysis, given Value infos.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00174">WPAPass.cpp:174</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_ad4e3d480ebcc6bbbb7bcc8dc3df8663e"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass::PTAVector</a></div><div class="ttdeci">std::vector&lt; PointerAnalysis * &gt; PTAVector</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00056">WPAPass.h:56</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="aclassSVF_1_1WPAPass_html_a7ea8006b7e9237a470dfd34ad633826b"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a7ea8006b7e9237a470dfd34ad633826b">SVF::WPAPass::~WPAPass</a></div><div class="ttdeci">virtual ~WPAPass()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00054">WPAPass.cpp:54</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00118">WPAPass.h:118</a></div></div>

package/SVF-doxygen/html/WPASolver_8h_source.html

@@ -256,7 +256,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a01450e1475679d093413e6496c198fc0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver::Node_Index</a></div><div class="ttdeci">NodeID Node_Index(GNODE node)</div><div class="ttdoc">Get node ID.</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00183">WPASolver.h:183</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_aa04deb39cd024c051f30ac43d1d62b34"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34">SVF::WPASolver::setGraph</a></div><div class="ttdeci">void setGraph(GraphType g)</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00078">WPASolver.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</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="aclassSVF_1_1WPASolver_html_a3bd463cd456a1d58242f118328f51ddb"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">SVF::WPASolver::sccRepNode</a></div><div class="ttdeci">virtual NodeID sccRepNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00144">WPASolver.h:144</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a09c85e7a12715fc64e05a8448b699ec0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0">SVF::WPASolver::isInWorklist</a></div><div class="ttdeci">bool isInWorklist(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00164">WPASolver.h:164</a></div></div>

package/SVF-doxygen/html/WPAStat_8h_source.html

@@ -282,7 +282,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FlowSensitiveStat_html_a7c88e2528a93511ba8dde4805cadcd30"><div class="ttname"><a href="classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30">SVF::FlowSensitiveStat::_MaxAddrTakenVarPts</a></div><div class="ttdeci">u32_t _MaxAddrTakenVarPts</div><div class="ttdoc">max points-to set size of addr-taken variables.</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00161">WPAStat.h:161</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitiveStat_html_ae0db364bf6657c770deabbe75d901a46"><div class="ttname"><a href="classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46">SVF::FlowSensitiveStat::_NumOfStoreSVFGNodesHaveInOut</a></div><div class="ttdeci">u32_t _NumOfStoreSVFGNodesHaveInOut[2]</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00134">WPAStat.h:134</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitiveStat_html_a585f952ecdbd9fb559d2a5754a77d7b4"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4">SVF::VersionedFlowSensitiveStat::_NumEmptyVersions</a></div><div class="ttdeci">u32_t _NumEmptyVersions</div><div class="ttdoc">Number of versions with empty points-to sets (actually empty, not never-accessed).</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00199">WPAStat.h:199</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="aclassSVF_1_1VersionedFlowSensitiveStat_html_ac07c5308abfe6cdb6b242a7548fe71c5"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5">SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize</a></div><div class="ttdeci">u32_t _MaxTopLvlPtsSize</div><div class="ttdoc">Max points-to set size in top-level pointers.</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00206">WPAStat.h:206</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitiveStat_html_a737d955e3707cf758a5580eab2e60e96"><div class="ttname"><a href="classSVF_1_1FlowSensitiveStat.html#a737d955e3707cf758a5580eab2e60e96">SVF::FlowSensitiveStat::_MaxPtsSize</a></div><div class="ttdeci">u32_t _MaxPtsSize</div><div class="ttdoc">sizes of points-to set</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00150">WPAStat.h:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitiveStat_html_a31235f25af7970142ef235681d2a447c"><div class="ttname"><a href="classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c">SVF::FlowSensitiveStat::_AvgTopLvlPtsSize</a></div><div class="ttdeci">double _AvgTopLvlPtsSize</div><div class="ttdoc">average points-to set size in top-level pointers.</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00157">WPAStat.h:157</a></div></div>

package/SVF-doxygen/html/WTO_8h_source.html

@@ -827,7 +827,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1WTOComponentVisitor_html_a2f5ba04581b5771dd083aa799329e43b"><div class="ttname"><a href="classSVF_1_1WTOComponentVisitor.html#a2f5ba04581b5771dd083aa799329e43b">SVF::WTOComponentVisitor::operator=</a></div><div class="ttdeci">WTOComponentVisitor &amp; operator=(const WTOComponentVisitor &amp;) noexcept=default</div><div class="ttdoc">Copy assignment operator.</div></div>
 <div class="ttc" id="aclassSVF_1_1WTO_html_ae652de9cb9fca45b8cb6c08606d7971a"><div class="ttname"><a href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">SVF::WTO::NodeRefTONodeRefListMap</a></div><div class="ttdeci">Map&lt; const NodeT *, NodeRefList &gt; NodeRefTONodeRefListMap</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00531">WTO.h:531</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WTOComponentVisitor_html_a873b7e2a4166cb6a5b48a63dbafa295d"><div class="ttname"><a href="classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d">SVF::WTOComponentVisitor::WTONodeT</a></div><div class="ttdeci">WTONode&lt; GraphT &gt; WTONodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00476">WTO.h:476</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="aclassSVF_1_1WTO_html_a56259113c30312e5052d0d8c0d4d6b77"><div class="ttname"><a href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const NodeT *node, WTOComponentRefList &amp;partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00795">WTO.h:795</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WTO_html"><div class="ttname"><a href="classSVF_1_1WTO.html">SVF::WTO</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00044">WTO.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a05e5c2f26d21fea5197205e23fea7d3a"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00143">WTO.h:143</a></div></div>

package/SVF-doxygen/html/WorkList_8h_source.html

@@ -347,7 +347,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1List_1_1ListNode_html_a6fb535e702af0e4f54274050ee0c06c5"><div class="ttname"><a href="classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5">SVF::List::ListNode::next</a></div><div class="ttdeci">ListNode * next</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00070">WorkList.h:70</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FILOWorkList_html_a5fb3e9576859201a7ace30d39f450fa0"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a5fb3e9576859201a7ace30d39f450fa0">SVF::FILOWorkList::~FILOWorkList</a></div><div class="ttdeci">~FILOWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00236">WorkList.h:236</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="aclassSVF_1_1List_html_a8f8a9dff1d1213a747f0d7ce8b1802e9"><div class="ttname"><a href="classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9">SVF::List::DataSet</a></div><div class="ttdeci">Set&lt; Data &gt; DataSet</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00073">WorkList.h:73</a></div></div>
 <div class="ttc" id="aclassSVF_1_1List_html_a063246d2aa23e389e513c5498ff33aca"><div class="ttname"><a href="classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca">SVF::List::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00085">WorkList.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list.</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>

package/SVF-doxygen/html/Z3Expr_8cpp_source.html

@@ -239,7 +239,7 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a7cf1481ad29951ca46c1d4418f28c91e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">SVF::Z3Expr::getExprSize</a></div><div class="ttdeci">static u32_t getExprSize(const Z3Expr &amp;z3Expr)</div><div class="ttdoc">get the number of subexpression of a Z3 expression</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00076">Z3Expr.cpp:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</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="aclassSVF_1_1Z3Expr_html_ac063ed06c3495b790c02fe57c781b34e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr::OR</a></div><div class="ttdeci">static Z3Expr OR(const Z3Expr &amp;lhs, const Z3Expr &amp;rhs)</div><div class="ttdoc">compute OR, used for branch condition</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00130">Z3Expr.cpp:130</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_acfdff582a0188678c10939165a40df30"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdoc">Get z3 context, singleton design here to make sure we only have one context.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00066">Z3Expr.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a9da409a05cfd85d966d887b33dd1cc94"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94">SVF::Z3Expr::releaseContext</a></div><div class="ttdeci">static void releaseContext()</div><div class="ttdoc">release z3 context</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00040">Z3Expr.cpp:40</a></div></div>

package/SVF-doxygen/html/Z3Expr_8h_source.html

@@ -380,7 +380,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a7cf1481ad29951ca46c1d4418f28c91e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">SVF::Z3Expr::getExprSize</a></div><div class="ttdeci">static u32_t getExprSize(const Z3Expr &amp;z3Expr)</div><div class="ttdoc">get the number of subexpression of a Z3 expression</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00076">Z3Expr.cpp:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_a9aa800372d57db519d484cc32ea1c5dc"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">SVF::Z3Expr::nullExpr</a></div><div class="ttdeci">static z3::expr nullExpr()</div><div class="ttdoc">null expression</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00098">Z3Expr.h:98</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="aclassSVF_1_1Z3Expr_html_ac063ed06c3495b790c02fe57c781b34e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr::OR</a></div><div class="ttdeci">static Z3Expr OR(const Z3Expr &amp;lhs, const Z3Expr &amp;rhs)</div><div class="ttdoc">compute OR, used for branch condition</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8cpp_source.html#l00130">Z3Expr.cpp:130</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ac2b4e7b63f15e6780d25107b61f208ca"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca">SVF::Z3Expr::operator!</a></div><div class="ttdeci">friend Z3Expr operator!(const Z3Expr &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00246">Z3Expr.h:246</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad9520b22c40c629150d6e3e1a3cc4950"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950">SVF::Z3Expr::operator&amp;&amp;</a></div><div class="ttdeci">friend Z3Expr operator&amp;&amp;(const Z3Expr &amp;lhs, const Z3Expr &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00236">Z3Expr.h:236</a></div></div>

package/SVF-doxygen/html/ae_8cpp_source.html

@@ -762,7 +762,7 @@ $(function() {
 <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#l00049">ae.cpp:49</a></div></div>
 <div class="ttc" id="aclassSymblicAbstractionTest_html_a0316fb86d1751ecacf5845ca07764f40"><div class="ttname"><a href="classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40">SymblicAbstractionTest::testRelExeState1_2</a></div><div class="ttdeci">void testRelExeState1_2()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00137">ae.cpp:137</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</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="aclassSymblicAbstractionTest_html_a2e3d2a2d9a78fffa641523a2e4809c02"><div class="ttname"><a href="classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02">SymblicAbstractionTest::testRelExeState2_4</a></div><div class="ttdeci">void testRelExeState2_4()</div><div class="ttdef"><b>Definition:</b> <a href="ae_8cpp_source.html#l00301">ae.cpp:301</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00112">LLVMModule.h:112</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>

package/SVF-doxygen/html/cfl_8cpp_source.html

@@ -163,7 +163,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="aclassSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00112">LLVMModule.h:112</a></div></div>
 <div class="ttc" id="acfl_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="cfl_8cpp_source.html#l00042">cfl.cpp:42</a></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>

package/SVF-doxygen/html/classSVF_1_1Annotator.html

@@ -849,7 +849,7 @@ Private Member Functions</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_a1a21ded1623d10fddb4048ae314e6722"><div class="ttname"><a href="classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722">SVF::Annotator::evalMDTag</a></div><div class="ttdeci">bool evalMDTag(const Instruction *inst, const Value *val, std::string str, std::vector&lt; Value * &gt; &amp;) const</div><div class="ttdoc">evaluate llvm metadata</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00139">Annotator.h:139</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_a3edacb8703c74abf42c4a29761a3437f"><div class="ttname"><a href="classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f">SVF::Annotator::SB_SLICESINK</a></div><div class="ttdeci">const char * SB_SLICESINK</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00166">Annotator.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_ad1424270d91f70dee1461b6301ce8091"><div class="ttname"><a href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator::addMDTag</a></div><div class="ttdeci">void addMDTag(Instruction *inst, std::string str)</div><div class="ttdoc">Simple add/remove meta data information.</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00090">Annotator.h:90</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00111">BasicTypes.h:111</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00112">BasicTypes.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_ac58473072d90baa6dc377b45f18d0da5"><div class="ttname"><a href="classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5">SVF::Annotator::SB_FESIBLE</a></div><div class="ttdeci">const char * SB_FESIBLE</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00167">Annotator.h:167</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_a35dabd3a84615e730b34f568623ad8f5"><div class="ttname"><a href="classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5">SVF::Annotator::removeMDTag</a></div><div class="ttdeci">void removeMDTag(Instruction *inst, std::string str)</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00094">Annotator.h:94</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Annotator_html_a64fa6f1cac79c47c66b16ac29d2ac3f4"><div class="ttname"><a href="classSVF_1_1Annotator.html#a64fa6f1cac79c47c66b16ac29d2ac3f4">SVF::Annotator::DR_CHECK</a></div><div class="ttdeci">const char * DR_CHECK</div><div class="ttdef"><b>Definition:</b> <a href="Annotator_8h_source.html#l00174">Annotator.h:174</a></div></div>

package/SVF-doxygen/html/classSVF_1_1BreakConstantGEPs.html

@@ -317,13 +317,13 @@ Static Public Attributes</h2></td></tr>
 </div><!-- contents -->
 <div class="ttc" id="aBreakConstantExpr_8cpp_html_a7b06934734ebef30b8f24221e1380f93"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93">hasConstantExpr</a></div><div class="ttdeci">static ConstantExpr * hasConstantExpr(Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00136">BreakConstantExpr.cpp:136</a></div></div>
 <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BreakConstantGEPs_html_a8010c4f5824ed5ebcb7ae283473ada22"><div class="ttname"><a href="classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22">SVF::BreakConstantGEPs::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8h_source.html#l00038">BreakConstantExpr.h:38</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00164">BasicTypes.h:164</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_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00165">BasicTypes.h:165</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="aBreakConstantExpr_8cpp_html_a25cf7d9aff084a1cd1aa51c85a4a17e1"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a></div><div class="ttdeci">static Instruction * convertExpression(ConstantExpr *CE, Instruction *InsertPt)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00162">BreakConstantExpr.cpp:162</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00120">BasicTypes.h:120</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>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>