svf-tools 1.0.270 → 1.0.274

package/SVF-doxygen/html/html/search/all_7.js

@@ -133,7 +133,6 @@ var searchData=
   ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
   ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
   ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31',1,'SVF::RetBlockNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#a2a7fe720d48d02d4facf3eedb08e3a67',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3',1,'SVF::TCT::getCallBlockNode()']]],
-  ['getcallchi',['getCallCHI',['../classSVF_1_1ActualOUTSVFGNode.html#a83e97bb3480d328b40dd10e2aee16d81',1,'SVF::ActualOUTSVFGNode']]],
   ['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
   ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c',1,'SVF::PTACallGraph']]],
   ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472',1,'SVF::PTACallGraph']]],
@@ -151,7 +150,6 @@ var searchData=
   ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#a288c5cc9fb6595d367f23d1c0c05a57a',1,'SVF::ICFG']]],
   ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226',1,'SVF::RetPE::getCallInst()']]],
   ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
-  ['getcallmu',['getCallMU',['../classSVF_1_1ActualINSVFGNode.html#a1a4123d33d6679f4d755bd80d5864338',1,'SVF::ActualINSVFGNode']]],
   ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f',1,'SVF::CallBlockNode::getCallSite()'],['../classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18',1,'SVF::RetBlockNode::getCallSite()'],['../classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203',1,'SVF::ProgSlice::getCallSite()']]],
   ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1PAG.html#a4dac2dc4756bf3f84e6fa034a8b906da',1,'SVF::PAG']]],
   ['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1PAG.html#ae0151d49c9199a2899d8b872dc1ebcfc',1,'SVF::PAG']]],
@@ -274,7 +272,6 @@ var searchData=
   ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
   ['getelemnumstridepairvect',['getElemNumStridePairVect',['../classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020',1,'SVF::FieldInfo']]],
-  ['getentrychi',['getEntryChi',['../classSVF_1_1FormalINSVFGNode.html#a0513488897639a039aca803d046e512a',1,'SVF::FormalINSVFGNode']]],
   ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getenv',['getenv',['../util_8h.html#aee28fd8a0e40b6d958f7d20348e45368',1,'util.h']]],
@@ -327,9 +324,11 @@ var searchData=
   ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108',1,'SVF::ICFG']]],
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
   ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925',1,'SVF::ICFG']]],
+  ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25',1,'SVF::FormalINSVFGNode']]],
   ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
   ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb',1,'SVF::ICFG']]],
   ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19',1,'SVF::ICFG']]],
+  ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3',1,'SVF::FormalOUTSVFGNode']]],
   ['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
   ['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
   ['getfunptr',['getFunPtr',['../classSVF_1_1PAG.html#ae4bfb3e30a81cd8ece36f59a60f0f0ca',1,'SVF::PAG::getFunPtr()'],['../classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3',1,'SVF::PointerAnalysis::getFunPtr()']]],
@@ -361,7 +360,7 @@ var searchData=
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
   ['geticfgkind',['getICFGKind',['../classSVF_1_1ICFGPrinter.html#a2c022308f9c7ae3bf33d9482fcb51e03',1,'SVF::ICFGPrinter']]],
   ['geticfgnode',['getICFGNode',['../classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b',1,'SVF::ICFG::getICFGNode()'],['../classSVF_1_1PAGEdge.html#a939676ad1ada4a91515b2182c40215e4',1,'SVF::PAGEdge::getICFGNode()'],['../classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829',1,'SVF::VFGNode::getICFGNode()']]],
-  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()']]],
+  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()'],['../classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc',1,'SVF::MRVer::getID()']]],
   ['getidfset',['getIDFSet',['../classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22',1,'SVF::IteratedDominanceFrontier']]],
   ['getimplty',['getImplTy',['../classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e',1,'SVF::PointerAnalysis']]],
   ['getincomingedges',['getIncomingEdges',['../classSVF_1_1PAGNode.html#a5a5712e845d05c2eaef385113c5bce58',1,'SVF::PAGNode']]],
@@ -467,7 +466,7 @@ var searchData=
   ['getmrsforcallsiteref',['getMRsForCallSiteRef',['../classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3',1,'SVF::DistinctMRG::getMRsForCallSiteRef()'],['../classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175',1,'SVF::IntraDisjointMRG::getMRsForCallSiteRef()'],['../classSVF_1_1MRGenerator.html#af4eda1f51e3f58c8cccddee474972fe9',1,'SVF::MRGenerator::getMRsForCallSiteRef()']]],
   ['getmrsforload',['getMRsForLoad',['../classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993',1,'SVF::DistinctMRG::getMRsForLoad()'],['../classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f',1,'SVF::IntraDisjointMRG::getMRsForLoad()'],['../classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc',1,'SVF::InterDisjointMRG::getMRsForLoad()'],['../classSVF_1_1MRGenerator.html#a2a7012e9f2e84ac1c5f7ed61daa67ac7',1,'SVF::MRGenerator::getMRsForLoad()']]],
   ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f',1,'SVF::IntraDisjointMRG']]],
-  ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge']]],
+  ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
   ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
   ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e',1,'SVF::MemSSA::getMUSet(const LoadPE *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
   ['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
@@ -585,12 +584,11 @@ var searchData=
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
   ['getrepnodes',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
   ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192',1,'SVF::MRGenerator']]],
-  ['getres',['getRes',['../classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3',1,'SVF::MSSAPHISVFGNode::getRes()'],['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()']]],
-  ['getresver',['getResVer',['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF']]],
+  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()']]],
+  ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
   ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17',1,'SVF::CallBlockNode::getRetBlockNode()']]],
   ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c',1,'SVF::ICFG']]],
-  ['getretmu',['getRetMU',['../classSVF_1_1FormalOUTSVFGNode.html#a9c87808fceeb4b2166a7301c0b2c988d',1,'SVF::FormalOUTSVFGNode']]],
   ['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
   ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d',1,'SVF::ProgSlice']]],
   ['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],
@@ -691,7 +689,6 @@ var searchData=
   ['getvcallidx',['getVCallIdx',['../namespaceSVF_1_1cppUtil.html#ad2a35c1d2e357690e634bb250a68795d',1,'SVF::cppUtil']]],
   ['getvcallthisptr',['getVCallThisPtr',['../namespaceSVF_1_1cppUtil.html#a7c9507812041b5de8dbbca5b602fefbd',1,'SVF::cppUtil']]],
   ['getvcallvtblptr',['getVCallVtblPtr',['../namespaceSVF_1_1cppUtil.html#a3b00cc9770022f124958513bf1e52a05',1,'SVF::cppUtil']]],
-  ['getver',['getVer',['../classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f',1,'SVF::MSSAMU']]],
   ['getversion',['getVersion',['../classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561',1,'SVF::DummyVersionPropSVFGNode::getVersion()'],['../classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e',1,'SVF::VersionedFlowSensitive::getVersion()']]],
   ['getversionedkeyrevpts',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
   ['getversionedptdataty',['getVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee',1,'SVF::BVDataPTAImpl']]],

package/SVF-doxygen/html/html/search/all_9.js

@@ -106,7 +106,7 @@ var searchData=
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()']]],
-  ['inst2pagedgesmap',['Inst2PAGEdgesMap',['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()']]],
+  ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()']]],
   ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6',1,'SVF::PAG']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#afb5545209188e5f62affeee5946a2614a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
@@ -161,7 +161,7 @@ var searchData=
   ['intraindirectvf',['IntraIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0',1,'SVF::VFGEdge']]],
   ['intraindsvfgedge',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html',1,'SVF::IntraIndSVFGEdge'],['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge::IntraIndSVFGEdge()']]],
   ['intralock',['IntraLock',['../classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464',1,'SVF::Options']]],
-  ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF::IntraMSSAPHISVFGNode'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a043a27cd82b2eb92d7c82641c719ad82',1,'SVF::IntraMSSAPHISVFGNode::IntraMSSAPHISVFGNode()']]],
+  ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF::IntraMSSAPHISVFGNode'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode::IntraMSSAPHISVFGNode()']]],
   ['intraphisvfgnode',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF::IntraPHIVFGNode'],['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode::IntraPHIVFGNode()']]],
   ['inttoptrinst',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],

package/SVF-doxygen/html/html/search/all_d.js

@@ -35,7 +35,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
+  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()']]],
   ['maxgen_5fratio',['MAXGEN_RATIO',['../cuddInt_8c.html#ad06617a840460570896838fbc917b0f2',1,'cuddInt.c']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
@@ -58,7 +58,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
+  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],
@@ -185,7 +185,7 @@ var searchData=
   ['mssamu',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
   ['mssamuchi_2eh',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
   ['mssaphi',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#aee5c6d2b7e3985b9fa1802c66f74fab1',1,'SVF::MSSAPHI::MSSAPHI()']]],
-  ['mssaphisvfgnode',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#ab7848321c1ab4bc8d9fefb1f2391d73c',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
+  ['mssaphisvfgnode',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
   ['mssavartodefmap',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
   ['mssavartodefmapty',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
   ['mta',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
@@ -228,7 +228,7 @@ var searchData=
   ['mtr_5funused',['MTR_UNUSED',['../mtr_8h.html#a30f1e5aa1918fd1edd2902c9f57e7804',1,'MTR_UNUSED(): mtr.h'],['../mtr_8c.html#a71385e18c061c8783c806fedd390bb6a',1,'MTR_UNUSED(): mtr.c']]],
   ['mtrhalfword',['MtrHalfWord',['../mtr_8h.html#aabc0c043957025b1b114d6ce88bb59e9',1,'mtr.h']]],
   ['mtrnode',['MtrNode',['../structMtrNode.html',1,'MtrNode'],['../mtr_8h.html#aafb75b12600810457fa5a03c5adcf84d',1,'MtrNode(): mtr.h']]],
-  ['mu',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()'],['../classSVF_1_1FormalOUTSVFGNode.html#a14445344f2354b4752807642c4401c10',1,'SVF::FormalOUTSVFGNode::mu()'],['../classSVF_1_1ActualINSVFGNode.html#a04adf013b9a50583841b2cf62f978295',1,'SVF::ActualINSVFGNode::mu()']]],
+  ['mu',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
   ['multi_5finheritance',['MULTI_INHERITANCE',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()']]],
   ['multiforked',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
   ['muset',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],

package/SVF-doxygen/html/html/search/all_e.js

@@ -3,7 +3,7 @@ var searchData=
   ['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
   ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion']]],
-  ['neg',['NEG',['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()'],['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()']]],
+  ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()']]],
   ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
   ['newcond',['newCond',['../classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17',1,'SVF::PathCondAllocator']]],
   ['newexpand',['newExpand',['../classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8',1,'SVF::ConstraintNode']]],
@@ -185,7 +185,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

package/SVF-doxygen/html/html/search/all_f.js

@@ -43,7 +43,7 @@ var searchData=
   ['operator_3e',['operator>',['../classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6',1,'SVF::PTAType']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()']]],
-  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
+  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -51,8 +51,8 @@ var searchData=
   ['options_2eh',['Options.h',['../Options_8h.html',1,'']]],
   ['optsvfg',['OPTSVFG',['../classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a',1,'SVF::Options']]],
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
-  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
-  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
+  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
+  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
   ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
   ['or',['OR',['../classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c',1,'SVF::BranchCondManager::OR()'],['../classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704',1,'SVF::CondManager::OR()']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],

package/SVF-doxygen/html/html/search/functions_0.js

@@ -5,13 +5,13 @@ var searchData=
   ['accesspair',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair']]],
   ['accesssamearrayindex',['accessSameArrayIndex',['../MHP_8cpp.html#a1a6f1ed70075da459ab275eb5c099144',1,'MHP.cpp']]],
   ['actualinofindcs',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a87c09762ee4041068e6ab946ad626c15',1,'SVF::ActualINSVFGNode']]],
+  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326',1,'SVF::ActualINSVFGNode']]],
   ['actualoutofindcs',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#a179a2aab9b5e81a0aed7611dc89de6ea',1,'SVF::ActualOUTSVFGNode']]],
+  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0',1,'SVF::ActualOUTSVFGNode']]],
   ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d',1,'SVF::ActualParmVFGNode']]],
   ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallBlockNode *c)']]],
-  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#aeb28ef81c525e96113a9d25417660bfd',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a7c9675943c20c2ca42779f1cf91cb06d',1,'SVF::SVFG']]],
+  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4',1,'SVF::SVFG']]],
   ['addactualparms',['addActualParms',['../classSVF_1_1CallBlockNode.html#accb3aa1ea4667f594f2623660239fb38',1,'SVF::CallBlockNode']]],
   ['addactualparmvfgnode',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ac6a3fe78d1459a79055703ea4afa14c6',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
   ['addactualret',['addActualRet',['../classSVF_1_1RetBlockNode.html#a334951fc0160a6caeb5c54ce0bddc79d',1,'SVF::RetBlockNode']]],
@@ -88,8 +88,8 @@ var searchData=
   ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#ac8483f7707339d3ba53fa2ae0127ec98',1,'SVF::StInfo']]],
   ['addfollowerfun',['addFollowerFun',['../classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00',1,'SVF::PCG']]],
   ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#a5936a637df12548f1f7e5f1ecfb5cd0d',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a56111524c2dd12c260e6efc11c463886',1,'SVF::SVFG']]],
+  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca',1,'SVF::SVFG']]],
   ['addformalparms',['addFormalParms',['../classSVF_1_1FunEntryBlockNode.html#ac1a828ebeeab311c73485ffc7b0e5867',1,'SVF::FunEntryBlockNode']]],
   ['addformalparmvfgnode',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
   ['addformalret',['addFormalRet',['../classSVF_1_1FunExitBlockNode.html#a5230b3768ec1407334d8132fd34cbb72',1,'SVF::FunExitBlockNode']]],
@@ -143,7 +143,7 @@ var searchData=
   ['addintraedge',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
   ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
-  ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a57f191467850d66c71e1b9768e11fb57',1,'SVF::SVFG']]],
+  ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
   ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a85dc35e83a5699382ead67728e94273c',1,'SVF::VFG']]],
   ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2',1,'SVF::ThreadCallGraph']]],
   ['addlcdcandidate',['addLCDCandidate',['../classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb',1,'SVF::AndersenLCD']]],

package/SVF-doxygen/html/html/search/functions_10.js

@@ -197,7 +197,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfinstruction',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#aadf4790ce7be8e1a95803e25cd4af424',1,'SVF::SVFInstruction']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],
   ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6',1,'SVF::SVFValue']]],

package/SVF-doxygen/html/html/search/functions_5.js

@@ -23,9 +23,9 @@ var searchData=
   ['forksitesbegin',['forksitesBegin',['../classSVF_1_1ThreadCallGraph.html#a37f2e076713a9aeb0e4313fb05dfb92e',1,'SVF::ThreadCallGraph']]],
   ['forksitesend',['forksitesEnd',['../classSVF_1_1ThreadCallGraph.html#a1ebbd26c17cff1c1a1bee9caa9a8f825',1,'SVF::ThreadCallGraph']]],
   ['formalinofaddresstakenfunc',['formalInOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05',1,'SVF::SVFGOPT']]],
-  ['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html#a0614472524b36f3a9b5bd2fa8c1428d6',1,'SVF::FormalINSVFGNode']]],
+  ['formalinsvfgnode',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html#a109121a6d83e2c3b09bd3e4de0e61fa8',1,'SVF::FormalINSVFGNode']]],
   ['formaloutofaddresstakenfunc',['formalOutOfAddressTakenFunc',['../classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02',1,'SVF::SVFGOPT']]],
-  ['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html#aa96f36893822b1c9898cee5c5946fbfa',1,'SVF::FormalOUTSVFGNode']]],
+  ['formaloutsvfgnode',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html#aeab06b16f89bb9a50d4812d3d50791dc',1,'SVF::FormalOUTSVFGNode']]],
   ['formalparmvfgnode',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272',1,'SVF::FormalParmVFGNode']]],
   ['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
   ['forwardslicebegin',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],

package/SVF-doxygen/html/html/search/functions_6.js

@@ -78,7 +78,6 @@ var searchData=
   ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
   ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
   ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31',1,'SVF::RetBlockNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#a2a7fe720d48d02d4facf3eedb08e3a67',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3',1,'SVF::TCT::getCallBlockNode()']]],
-  ['getcallchi',['getCallCHI',['../classSVF_1_1ActualOUTSVFGNode.html#a83e97bb3480d328b40dd10e2aee16d81',1,'SVF::ActualOUTSVFGNode']]],
   ['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
   ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c',1,'SVF::PTACallGraph']]],
   ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472',1,'SVF::PTACallGraph']]],
@@ -96,7 +95,6 @@ var searchData=
   ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#a288c5cc9fb6595d367f23d1c0c05a57a',1,'SVF::ICFG']]],
   ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226',1,'SVF::RetPE::getCallInst()']]],
   ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
-  ['getcallmu',['getCallMU',['../classSVF_1_1ActualINSVFGNode.html#a1a4123d33d6679f4d755bd80d5864338',1,'SVF::ActualINSVFGNode']]],
   ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f',1,'SVF::CallBlockNode::getCallSite()'],['../classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18',1,'SVF::RetBlockNode::getCallSite()'],['../classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203',1,'SVF::ProgSlice::getCallSite()']]],
   ['getcallsiteargslist',['getCallSiteArgsList',['../classSVF_1_1PAG.html#a4dac2dc4756bf3f84e6fa034a8b906da',1,'SVF::PAG']]],
   ['getcallsiteargsmap',['getCallSiteArgsMap',['../classSVF_1_1PAG.html#ae0151d49c9199a2899d8b872dc1ebcfc',1,'SVF::PAG']]],
@@ -218,7 +216,6 @@ var searchData=
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
   ['getelemnumstridepairvect',['getElemNumStridePairVect',['../classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020',1,'SVF::FieldInfo']]],
-  ['getentrychi',['getEntryChi',['../classSVF_1_1FormalINSVFGNode.html#a0513488897639a039aca803d046e512a',1,'SVF::FormalINSVFGNode']]],
   ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getenv',['getenv',['../util_8h.html#aee28fd8a0e40b6d958f7d20348e45368',1,'util.h']]],
@@ -271,9 +268,11 @@ var searchData=
   ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108',1,'SVF::ICFG']]],
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
   ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925',1,'SVF::ICFG']]],
+  ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25',1,'SVF::FormalINSVFGNode']]],
   ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
   ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb',1,'SVF::ICFG']]],
   ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19',1,'SVF::ICFG']]],
+  ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3',1,'SVF::FormalOUTSVFGNode']]],
   ['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
   ['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
   ['getfunptr',['getFunPtr',['../classSVF_1_1PAG.html#ae4bfb3e30a81cd8ece36f59a60f0f0ca',1,'SVF::PAG::getFunPtr()'],['../classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3',1,'SVF::PointerAnalysis::getFunPtr()']]],
@@ -305,7 +304,7 @@ var searchData=
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
   ['geticfgkind',['getICFGKind',['../classSVF_1_1ICFGPrinter.html#a2c022308f9c7ae3bf33d9482fcb51e03',1,'SVF::ICFGPrinter']]],
   ['geticfgnode',['getICFGNode',['../classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b',1,'SVF::ICFG::getICFGNode()'],['../classSVF_1_1PAGEdge.html#a939676ad1ada4a91515b2182c40215e4',1,'SVF::PAGEdge::getICFGNode()'],['../classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829',1,'SVF::VFGNode::getICFGNode()']]],
-  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()']]],
+  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()'],['../classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc',1,'SVF::MRVer::getID()']]],
   ['getidfset',['getIDFSet',['../classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22',1,'SVF::IteratedDominanceFrontier']]],
   ['getimplty',['getImplTy',['../classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e',1,'SVF::PointerAnalysis']]],
   ['getincomingedges',['getIncomingEdges',['../classSVF_1_1PAGNode.html#a5a5712e845d05c2eaef385113c5bce58',1,'SVF::PAGNode']]],
@@ -411,7 +410,7 @@ var searchData=
   ['getmrsforcallsiteref',['getMRsForCallSiteRef',['../classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3',1,'SVF::DistinctMRG::getMRsForCallSiteRef()'],['../classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175',1,'SVF::IntraDisjointMRG::getMRsForCallSiteRef()'],['../classSVF_1_1MRGenerator.html#af4eda1f51e3f58c8cccddee474972fe9',1,'SVF::MRGenerator::getMRsForCallSiteRef()']]],
   ['getmrsforload',['getMRsForLoad',['../classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993',1,'SVF::DistinctMRG::getMRsForLoad()'],['../classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f',1,'SVF::IntraDisjointMRG::getMRsForLoad()'],['../classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc',1,'SVF::InterDisjointMRG::getMRsForLoad()'],['../classSVF_1_1MRGenerator.html#a2a7012e9f2e84ac1c5f7ed61daa67ac7',1,'SVF::MRGenerator::getMRsForLoad()']]],
   ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f',1,'SVF::IntraDisjointMRG']]],
-  ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge']]],
+  ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
   ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
   ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e',1,'SVF::MemSSA::getMUSet(const LoadPE *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
   ['getmutdfptdataty',['getMutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483',1,'SVF::BVDataPTAImpl']]],
@@ -529,12 +528,11 @@ var searchData=
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
   ['getrepnodes',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
   ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192',1,'SVF::MRGenerator']]],
-  ['getres',['getRes',['../classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3',1,'SVF::MSSAPHISVFGNode::getRes()'],['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()']]],
-  ['getresver',['getResVer',['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF']]],
+  ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()']]],
+  ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
   ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41',1,'SVF::ICFG::getRetBlockNode()'],['../classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17',1,'SVF::CallBlockNode::getRetBlockNode()']]],
   ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c',1,'SVF::ICFG']]],
-  ['getretmu',['getRetMU',['../classSVF_1_1FormalOUTSVFGNode.html#a9c87808fceeb4b2166a7301c0b2c988d',1,'SVF::FormalOUTSVFGNode']]],
   ['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
   ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d',1,'SVF::ProgSlice']]],
   ['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],
@@ -635,7 +633,6 @@ var searchData=
   ['getvcallidx',['getVCallIdx',['../namespaceSVF_1_1cppUtil.html#ad2a35c1d2e357690e634bb250a68795d',1,'SVF::cppUtil']]],
   ['getvcallthisptr',['getVCallThisPtr',['../namespaceSVF_1_1cppUtil.html#a7c9507812041b5de8dbbca5b602fefbd',1,'SVF::cppUtil']]],
   ['getvcallvtblptr',['getVCallVtblPtr',['../namespaceSVF_1_1cppUtil.html#a3b00cc9770022f124958513bf1e52a05',1,'SVF::cppUtil']]],
-  ['getver',['getVer',['../classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f',1,'SVF::MSSAMU']]],
   ['getversion',['getVersion',['../classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561',1,'SVF::DummyVersionPropSVFGNode::getVersion()'],['../classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e',1,'SVF::VersionedFlowSensitive::getVersion()']]],
   ['getversionedkeyrevpts',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
   ['getversionedptdataty',['getVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee',1,'SVF::BVDataPTAImpl']]],

package/SVF-doxygen/html/html/search/functions_8.js

@@ -68,7 +68,7 @@ var searchData=
   ['intradisjointmrg',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae',1,'SVF::IntraDisjointMRG']]],
   ['intraforwardtraverse',['intraForwardTraverse',['../classSVF_1_1LockAnalysis.html#a6febb0bb12f4983cd54b3bd310ce65d2',1,'SVF::LockAnalysis']]],
   ['intraindsvfgedge',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110',1,'SVF::IntraIndSVFGEdge']]],
-  ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a043a27cd82b2eb92d7c82641c719ad82',1,'SVF::IntraMSSAPHISVFGNode']]],
+  ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode']]],
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode']]],
   ['invalidateconsumecache',['invalidateConsumeCache',['../classSVF_1_1VersionedFlowSensitive.html#ab89fb73e63f7766cbaf7735921b0cf4b',1,'SVF::VersionedFlowSensitive']]],
   ['invalidateyieldcache',['invalidateYieldCache',['../classSVF_1_1VersionedFlowSensitive.html#a13f00fd438df4feed73f43d6a0d55e0d',1,'SVF::VersionedFlowSensitive']]],

package/SVF-doxygen/html/html/search/functions_b.js

@@ -63,7 +63,7 @@ var searchData=
   ['mssadef',['MSSADEF',['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF']]],
   ['mssamu',['MSSAMU',['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU']]],
   ['mssaphi',['MSSAPHI',['../classSVF_1_1MSSAPHI.html#aee5c6d2b7e3985b9fa1802c66f74fab1',1,'SVF::MSSAPHI']]],
-  ['mssaphisvfgnode',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html#ab7848321c1ab4bc8d9fefb1f2391d73c',1,'SVF::MSSAPHISVFGNode']]],
+  ['mssaphisvfgnode',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode']]],
   ['mta',['MTA',['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA']]],
   ['mtaannotator',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator']]],
   ['mtaresultvalidator',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator']]],

package/SVF-doxygen/html/html/search/functions_d.js

@@ -23,8 +23,8 @@ var searchData=
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options']]],
-  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
-  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
+  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
+  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
   ['or',['OR',['../classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c',1,'SVF::BranchCondManager::OR()'],['../classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704',1,'SVF::CondManager::OR()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],

package/SVF-doxygen/html/html/search/variables_12.js

@@ -29,9 +29,9 @@ var searchData=
   ['reordtime',['reordTime',['../structDdManager.html#a50246fe31dd62f3a6aad6636299e214a',1,'DdManager']]],
   ['repeat',['repeat',['../cuddInt_8c.html#ae004cdfb5ce4533a6cdf8135e80ed4a1',1,'cuddInt.c']]],
   ['repnodes',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['res',['res',['../classSVF_1_1MSSAPHISVFGNode.html#a2f14e61668236e79b65b60513a2420d6',1,'SVF::MSSAPHISVFGNode::res()'],['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
+  ['res',['res',['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
   ['result',['result',['../cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41',1,'cuddInt.c']]],
-  ['resver',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
   ['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode']]],
   ['retpes',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
   ['returnnode',['returnNode',['../classSVF_1_1ExternalPAG.html#a72d638670931f9984cea132f38cdce5a',1,'SVF::ExternalPAG']]],

package/SVF-doxygen/html/html/search/variables_16.js

@@ -13,7 +13,7 @@ var searchData=
   ['vartobegrouped',['varToBeGrouped',['../structDdSubtable.html#a37f3694913396b88f33b3f0537e84076',1,'DdSubtable']]],
   ['vartotypesetmap',['VarToTypeSetMap',['../classSVF_1_1TypeSystem.html#a4d8cfc39d4083158d34cc8e4dbaaa333',1,'SVF::TypeSystem']]],
   ['vartype',['varType',['../structDdSubtable.html#a876b1c5511462d8ceefa4acca28559a1',1,'DdSubtable']]],
-  ['ver',['ver',['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU']]],
+  ['ver',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
   ['versionedvartopropnode',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
   ['versionproptime',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],

package/SVF-doxygen/html/html/search/variables_3.js

@@ -47,7 +47,6 @@ var searchData=
   ['chaffmap',['chaFFMap',['../classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4',1,'SVF::DCHGraph']]],
   ['chamap',['chaMap',['../classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d',1,'SVF::DCHGraph']]],
   ['chgraph',['chgraph',['../classSVF_1_1PointerAnalysis.html#a251638a947815a8ff91a507486cadfcd',1,'SVF::PointerAnalysis']]],
-  ['chi',['chi',['../classSVF_1_1FormalINSVFGNode.html#ab1a26fb8526c1b826b03001f76225308',1,'SVF::FormalINSVFGNode::chi()'],['../classSVF_1_1ActualOUTSVFGNode.html#a0401bc8dfd6f45d3025d2ca1ce32e455',1,'SVF::ActualOUTSVFGNode::chi()']]],
   ['child',['child',['../structMtrNode.html#aa5cced262e32e3b5c0f01277dbad6db0',1,'MtrNode']]],
   ['cilocktospan',['ciLocktoSpan',['../classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a',1,'SVF::LockAnalysis']]],
   ['ckapi',['ckAPI',['../classSVF_1_1SaberCheckerAPI.html#a3e54cae9b4259da2332c7fc87d3df347',1,'SVF::SaberCheckerAPI']]],

package/SVF-doxygen/html/html/search/variables_6.js

@@ -49,6 +49,8 @@ var searchData=
   ['functoptsmap',['funcToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6',1,'SVF::IntraDisjointMRG']]],
   ['fundecltodefmap',['FunDeclToDefMap',['../classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f',1,'SVF::LLVMModuleSet']]],
   ['fundeftodeclsmap',['FunDefToDeclsMap',['../classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee',1,'SVF::LLVMModuleSet']]],
+  ['funentrynode',['funEntryNode',['../classSVF_1_1FormalINSVFGNode.html#ace06f0de65274270f993b810e27943db',1,'SVF::FormalINSVFGNode']]],
+  ['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#a0d888af907e0c434b968653e09f05938',1,'SVF::FormalOUTSVFGNode']]],
   ['funptrtocallsitesmap',['funPtrToCallSitesMap',['../classSVF_1_1PAG.html#a6cf9a9e75749e898d39026cb8c225c92',1,'SVF::PAG']]],
   ['funretmap',['funRetMap',['../classSVF_1_1PAG.html#a2742d22cfc819f0c8f7e6880c0cfbaf4',1,'SVF::PAG']]],
   ['funtocallgraphnodemap',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph']]],

package/SVF-doxygen/html/html/search/variables_d.js

@@ -17,7 +17,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
+  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
   ['maximumbudget',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
@@ -39,7 +39,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
+  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],
@@ -88,7 +88,6 @@ var searchData=
   ['mssafun',['MSSAFun',['../classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d',1,'SVF::Options']]],
   ['mssavartodefmap',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
   ['mtr_5funused',['MTR_UNUSED',['../mtr_8c.html#a71385e18c061c8783c806fedd390bb6a',1,'mtr.c']]],
-  ['mu',['mu',['../classSVF_1_1FormalOUTSVFGNode.html#a14445344f2354b4752807642c4401c10',1,'SVF::FormalOUTSVFGNode::mu()'],['../classSVF_1_1ActualINSVFGNode.html#a04adf013b9a50583841b2cf62f978295',1,'SVF::ActualINSVFGNode::mu()']]],
   ['multiforked',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
   ['mutptdata',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]]
 ];

package/SVF-doxygen/html/html/search/variables_e.js

@@ -134,7 +134,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],