svf-tools 1.0.438 → 1.0.439

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

@@ -16,6 +16,9 @@ var searchData=
   ['get_5falloc_5farg_5fpos',['get_alloc_arg_pos',['../classSVF_1_1ExtAPI.html#a090df490c65fab16ec9fa5431e13361e',1,'SVF::ExtAPI']]],
   ['get_5fcond',['get_cond',['../classSVF_1_1CondVar.html#af84e7bfcff909009be5e109c600c63fe',1,'SVF::CondVar']]],
   ['get_5fid',['get_id',['../classSVF_1_1CondVar.html#a5d64fa2be89051cd03301e3b07bffd6a',1,'SVF::CondVar']]],
+  ['get_5fnumeral_5fint',['get_numeral_int',['../classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e',1,'SVF::Z3Expr']]],
+  ['get_5fnumeral_5fint64',['get_numeral_int64',['../classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06',1,'SVF::Z3Expr']]],
+  ['get_5fsort',['get_sort',['../classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393',1,'SVF::Z3Expr']]],
   ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1',1,'SVF::ExtAPI']]],
   ['getactualindef',['getActualINDef',['../classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df',1,'SVF::SVFGOPT']]],
   ['getactualinsvfgnodes',['getActualINSVFGNodes',['../classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975',1,'SVF::SVFG']]],
@@ -57,7 +60,7 @@ var searchData=
   ['getbbsuccessornum',['getBBSuccessorNum',['../namespaceSVF_1_1SVFUtil.html#a737684498679dc16a26f2411d88f36aa',1,'SVF::SVFUtil']]],
   ['getbbsuccessorpos',['getBBSuccessorPos',['../namespaceSVF_1_1SVFUtil.html#a1631bbbed23fbfe2204779ecc0dc2769',1,'SVF::SVFUtil']]],
   ['getbbtophisetmap',['getBBToPhiSetMap',['../classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d',1,'SVF::MemSSA']]],
-  ['getbddcond',['getBDDCond',['../classSVF_1_1BDDExpr.html#a7bad973d49d3fb4eb3b21475d5d015bf',1,'SVF::BDDExpr']]],
+  ['getbddexprmgr',['getBDDExprMgr',['../classSVF_1_1BDDExprManager.html#ae7be20333ab86fb5297b33923562c7a5',1,'SVF::BDDExprManager']]],
   ['getbeforebrackets',['getBeforeBrackets',['../namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234',1,'SVF::cppUtil']]],
   ['getbeforeparenthesis',['getBeforeParenthesis',['../CPPUtil_8cpp.html#a53e57a2e4be46abf7278148150682d89',1,'CPPUtil.cpp']]],
   ['getbinaryopvfgnode',['getBinaryOPVFGNode',['../classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d',1,'SVF::VFG']]],
@@ -125,15 +128,13 @@ var searchData=
   ['getclones',['getClones',['../classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998',1,'SVF::TypeBasedHeapCloning']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
   ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
-  ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1CondManager.html#ad0273f830c9a6791aea55bfbdebf1138',1,'SVF::CondManager::getCond()'],['../classSVF_1_1Z3Manager.html#aa8ecb34cf54a5defb48747b1278b4764',1,'SVF::Z3Manager::getCond()'],['../classSVF_1_1BDDManager.html#a6b32e78874429c587de4f0f50dad95ee',1,'SVF::BDDManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()'],['../classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816',1,'SVF::PathStmtDPItem::getCond() const'],['../classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28',1,'SVF::PathStmtDPItem::getCond()']]],
-  ['getcondinst',['getCondInst',['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()'],['../classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428',1,'SVF::CondManager::getCondInst()']]],
+  ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2',1,'SVF::PathCondAllocator::getCond()'],['../classSVF_1_1BDDExprManager.html#a58186fe706c8c44467b789d8ebd58474',1,'SVF::BDDExprManager::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],
+  ['getcondinst',['getCondInst',['../classSVF_1_1PathCondAllocator.html#adf65b74b89fca76c0cf5ea5dbd6dc4ca',1,'SVF::PathCondAllocator::getCondInst()'],['../classSVF_1_1BDDExprManager.html#a40e32bc52cce8ac1335b5050e693035b',1,'SVF::BDDExprManager::getCondInst()']]],
   ['getcondition',['getCondition',['../classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b',1,'SVF::IntraCFGEdge::getCondition()'],['../classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c',1,'SVF::SelectStmt::getCondition()'],['../classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0',1,'SVF::BranchStmt::getCondition()']]],
-  ['getcondkind',['getCondKind',['../classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef',1,'SVF::CondExpr']]],
-  ['getcondmgr',['getCondMgr',['../classSVF_1_1CondManager.html#a08cad78a4ebb31f32b72d5ff9793b83e',1,'SVF::CondManager']]],
   ['getcondnum',['getCondNum',['../classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40',1,'SVF::PathCondAllocator']]],
-  ['getcondnumber',['getCondNumber',['../classSVF_1_1CondManager.html#a03d9a0d209505631f6d9e500d9c6bde3',1,'SVF::CondManager::getCondNumber()'],['../classSVF_1_1Z3Manager.html#a5143c47868ea644735f34ca95400ee42',1,'SVF::Z3Manager::getCondNumber()'],['../classSVF_1_1BDDManager.html#a11e62b98370ace84a5370a9ab00a1717',1,'SVF::BDDManager::getCondNumber()']]],
+  ['getcondnumber',['getCondNumber',['../classSVF_1_1BDDExprManager.html#a39d4e4c5c4290dcdb8b00e05b56f7302',1,'SVF::BDDExprManager']]],
   ['getcondpointsto',['getCondPointsTo',['../classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd',1,'SVF::CondPTAImpl']]],
-  ['getcondvar',['getCondVar',['../classSVF_1_1CxtStmtDPItem.html#ab1098f5093419b62ea27a20933059270',1,'SVF::CxtStmtDPItem::getCondVar()'],['../classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56',1,'SVF::PathStmtDPItem::getCondVar()']]],
+  ['getcondvar',['getCondVar',['../classSVF_1_1CxtStmtDPItem.html#ab1098f5093419b62ea27a20933059270',1,'SVF::CxtStmtDPItem']]],
   ['getconservativecpts',['getConservativeCPts',['../classSVF_1_1ContextDDA.html#a32ce0085cb99f92f63b54df0f2ea2523',1,'SVF::ContextDDA::getConservativeCPts()'],['../classSVF_1_1DDAVFSolver.html#a38f5a6b666b2a427d55f1217f9c5595f',1,'SVF::DDAVFSolver::getConservativeCPts()'],['../classSVF_1_1FlowDDA.html#a086e428c83c2c3ed7fdfbbfd17abdf78',1,'SVF::FlowDDA::getConservativeCPts()']]],
   ['getconstantfieldidx',['getConstantFieldIdx',['../classSVF_1_1NormalGepCGEdge.html#a0c67a58a8ef22a07a1f45968ae0dfe4f',1,'SVF::NormalGepCGEdge::getConstantFieldIdx()'],['../classSVF_1_1GepStmt.html#a959a9c95d25f90fd7acc8e6e36056b56',1,'SVF::GepStmt::getConstantFieldIdx()'],['../classSVF_1_1GepValVar.html#a0e5084d3fc54a70ace07075f846395ef',1,'SVF::GepValVar::getConstantFieldIdx()'],['../classSVF_1_1GepObjVar.html#aaf2ab86c43e4f33183289f9bdead36c1',1,'SVF::GepObjVar::getConstantFieldIdx()'],['../classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578',1,'SVF::DCHEdge::getConstantFieldIdx()']]],
   ['getconstantnode',['getConstantNode',['../classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91',1,'SVF::IRGraph']]],
@@ -142,7 +143,7 @@ var searchData=
   ['getconstraintnode',['getConstraintNode',['../classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87',1,'SVF::ConstraintGraph']]],
   ['getconstructorthisptr',['getConstructorThisPtr',['../namespaceSVF_1_1cppUtil.html#a26c3ceb82a398663284690c898a5354d',1,'SVF::cppUtil']]],
   ['getconsume',['getConsume',['../classSVF_1_1VersionedFlowSensitive.html#af93e65faae99459621ae45cf9d36005d',1,'SVF::VersionedFlowSensitive']]],
-  ['getcontext',['getContext',['../classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32',1,'SVF::LLVMModuleSet::getContext()'],['../classSVF_1_1Z3Expr.html#a8a2406393ca74c99c8cd24a9fc233e81',1,'SVF::Z3Expr::getContext()'],['../classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28',1,'SVF::CxtStmt::getContext()'],['../classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a',1,'SVF::CxtThread::getContext()'],['../classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7',1,'SVF::CxtProc::getContext()']]],
+  ['getcontext',['getContext',['../classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32',1,'SVF::LLVMModuleSet::getContext()'],['../classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28',1,'SVF::CxtStmt::getContext()'],['../classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a',1,'SVF::CxtThread::getContext()'],['../classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7',1,'SVF::CxtProc::getContext()'],['../classSVF_1_1ExeState.html#ac7a74f57945b7f076a5cfe9435fd34e8',1,'SVF::ExeState::getContext()'],['../classSVF_1_1Z3Expr.html#a1441f8e559aab4a051fff45a8c0665db',1,'SVF::Z3Expr::getContext()']]],
   ['getcontexts',['getContexts',['../classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b',1,'SVF::ContextCond::getContexts() const'],['../classSVF_1_1ContextCond.html#a2af7a9769d97ddb4a217d0baaf7c03a3',1,'SVF::ContextCond::getContexts()'],['../classSVF_1_1CxtDPItem.html#a1dea25cd5d72c52cef1cff23b832a196',1,'SVF::CxtDPItem::getContexts()']]],
   ['getcopyinedges',['getCopyInEdges',['../classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0',1,'SVF::ConstraintNode']]],
   ['getcopyoutedges',['getCopyOutEdges',['../classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72',1,'SVF::ConstraintNode']]],
@@ -221,10 +222,10 @@ var searchData=
   ['getescapobjviaglobals',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
   ['getevalbrcond',['getEvalBrCond',['../classSVF_1_1PathCondAllocator.html#a6d2c5b05f4966522c9310fd3c086adea',1,'SVF::PathCondAllocator']]],
   ['getexitinstofparentroutinefun',['getExitInstOfParentRoutineFun',['../classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c',1,'SVF::ForkJoinAnalysis']]],
-  ['getexpr',['getExpr',['../classSVF_1_1Z3Expr.html#a167a586980be31f4f54884e88f972a04',1,'SVF::Z3Expr']]],
+  ['getexpr',['getExpr',['../classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55',1,'SVF::Z3Expr']]],
   ['getextapi',['getExtAPI',['../classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec',1,'SVF::ExtAPI']]],
   ['getexternalnode',['getExternalNode',['../classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626',1,'SVF::PointsTo']]],
-  ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
+  ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BDDExprManager.html#a34f5354a436840202428e406468e2335',1,'SVF::BDDExprManager::getFalseCond()']]],
   ['getfalsevalue',['getFalseValue',['../classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad',1,'SVF::SelectStmt']]],
   ['getfieldobjnodenum',['getFieldObjNodeNum',['../classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea',1,'SVF::SVFIR']]],
   ['getfieldsaftercollapse',['getFieldsAfterCollapse',['../classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0',1,'SVF::SVFIR']]],
@@ -298,7 +299,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(NodeID id) const'],['../classSVF_1_1ICFG.html#a489d4265c87304402bb3a20654ab4b99',1,'SVF::ICFG::getICFGNode(const Instruction *inst)'],['../classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829',1,'SVF::VFGNode::getICFGNode()'],['../classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b',1,'SVF::SVFStmt::getICFGNode()']]],
-  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1',1,'SVF::MemObj::getId()'],['../classSVF_1_1Z3Expr.html#a368c3b55b3ac7b71f810d0419e3c6c52',1,'SVF::Z3Expr::getId()'],['../classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc',1,'SVF::MRVer::getID()']]],
+  ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1',1,'SVF::MemObj::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_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6',1,'SVF::SVFVar']]],
@@ -321,6 +322,7 @@ var searchData=
   ['getinstruction2',['getInstruction2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#acf383712e9399fec0d52614b2338836c',1,'SVF::RaceResultValidator::AccessPair']]],
   ['getintarg',['getIntArg',['../classSVF_1_1MTAResultValidator.html#a4ff908be3569c18528fb6f6ff98cd11a',1,'SVF::MTAResultValidator']]],
   ['getinterleavingthreads',['getInterleavingThreads',['../classSVF_1_1MHP.html#a653460ed316804bea377eecdde412d36',1,'SVF::MHP']]],
+  ['getinternalid',['getInternalID',['../classSVF_1_1ExeState.html#a2535d6ef4a91b2bd2366b6a89265ab91',1,'SVF::ExeState']]],
   ['getinternalnode',['getInternalNode',['../classSVF_1_1PointsTo.html#aeda7466cdd9f77978981e2a518baa863',1,'SVF::PointsTo']]],
   ['getinterslist',['getIntersList',['../classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652',1,'SVF::IntraDisjointMRG']]],
   ['getintervfedgeatindcsfromaintofin',['getInterVFEdgeAtIndCSFromAInToFIn',['../classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782',1,'SVF::SVFG']]],
@@ -365,6 +367,7 @@ var searchData=
   ['getlockspan',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
   ['getloctodpmvecmap',['getLocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959',1,'SVF::DDAVFSolver']]],
+  ['getloctoval',['getLocToVal',['../classSVF_1_1ExeState.html#a4ee40de7eca22ac055b52360e0101623',1,'SVF::ExeState']]],
   ['getloop',['getLoop',['../classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3',1,'SVF::TCT::getLoop(const Instruction *inst)'],['../classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021',1,'SVF::TCT::getLoop(const BasicBlock *bb)']]],
   ['getloopinfo',['getLoopInfo',['../classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f',1,'SVF::PathCondAllocator::getLoopInfo()'],['../classSVF_1_1PTACFInfoBuilder.html#a418e6009760a7c9a048d2ffd9cd29956',1,'SVF::PTACFInfoBuilder::getLoopInfo()']]],
   ['getmainllvmmodule',['getMainLLVMModule',['../classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e',1,'SVF::LLVMModuleSet']]],
@@ -381,7 +384,7 @@ var searchData=
   ['getmemobj',['getMemObj',['../classSVF_1_1IRGraph.html#a4f5792216c6f38c32dac5074862ffc50',1,'SVF::IRGraph::getMemObj()'],['../classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930',1,'SVF::ObjVar::getMemObj()']]],
   ['getmemoryusagekb',['getMemoryUsageKB',['../namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c',1,'SVF::SVFUtil']]],
   ['getmemtofieldsmap',['getMemToFieldsMap',['../classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c',1,'SVF::SVFIR']]],
-  ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1CondManager.html#a9d1f2e6ef92ee120c7f26d98b1389b04',1,'SVF::CondManager::getMemUsage()'],['../classSVF_1_1Z3Manager.html#aca945ffd7a479fcf4de413a1ddcbf15a',1,'SVF::Z3Manager::getMemUsage()'],['../classSVF_1_1BDDManager.html#adf0847a4af7703a0139c5db326a7988f',1,'SVF::BDDManager::getMemUsage()']]],
+  ['getmemusage',['getMemUsage',['../classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557',1,'SVF::PathCondAllocator::getMemUsage()'],['../classSVF_1_1BDDExprManager.html#a7cb0ba9829434de3c40a2c45beea7741',1,'SVF::BDDExprManager::getMemUsage()']]],
   ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
   ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
   ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
@@ -410,10 +413,10 @@ var searchData=
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../classSVF_1_1MHP.html#a04357a2827d22e4e727d488d32eb5cb5',1,'SVF::MHP::getNextInsts()'],['../classSVF_1_1ForkJoinAnalysis.html#a799e14292e16b9fb322cab07f3ff5593',1,'SVF::ForkJoinAnalysis::getNextInsts()'],['../classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf',1,'SVF::TCT::getNextInsts()'],['../namespaceSVF_1_1SVFUtil.html#a2f9959fa23ab4bdc65ca36fbda8c1b70',1,'SVF::SVFUtil::getNextInsts()']]],
-  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22',1,'SVF::CFLSolver::getNode()']]],
+  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()']]],
   ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
   ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
-  ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6',1,'SVF::CFLSolver']]],
+  ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
   ['getnodelabel',['getNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aacbbb986a293424442c6560d3a2cf357',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()']]],
   ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
@@ -455,10 +458,8 @@ var searchData=
   ['getopver',['getOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3',1,'SVF::MSSAPHISVFGNode::getOpVer()'],['../classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b',1,'SVF::CmpVFGNode::getOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5',1,'SVF::BinaryOPVFGNode::getOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d',1,'SVF::UnaryOPVFGNode::getOpVer()'],['../classSVF_1_1PHIVFGNode.html#a4277e367a10362ddc14dbe219a88353a',1,'SVF::PHIVFGNode::getOpVer()'],['../classSVF_1_1MSSACHI.html#a7af6f73ff1432d4adb5ee8493fbe73fb',1,'SVF::MSSACHI::getOpVer()'],['../classSVF_1_1MSSAPHI.html#aeb5a948499f913264de749001f605a4e',1,'SVF::MSSAPHI::getOpVer()']]],
   ['getopvernum',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
   ['getoraddblockicfgnode',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe',1,'SVF::ICFGBuilder']]],
-  ['getoraddbranchcond',['getOrAddBranchCond',['../classSVF_1_1BDDManager.html#a913b8c19f239a162dbfa9527c846c3f6',1,'SVF::BDDManager']]],
   ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac',1,'SVF::ICFGBuilder']]],
   ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da',1,'SVF::ICFGBuilder']]],
-  ['getoraddz3cond',['getOrAddZ3Cond',['../classSVF_1_1Z3Manager.html#a747edc9290575156f1edd50be043617d',1,'SVF::Z3Manager']]],
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
   ['getoriginalelemtype',['getOriginalElemType',['../classSVF_1_1SymbolTableInfo.html#abffa6bdac98c5e64615291e8f2537caa',1,'SVF::SymbolTableInfo::getOriginalElemType()'],['../classSVF_1_1StInfo.html#a828941e63c26448bc9ace9adb72db454',1,'SVF::StInfo::getOriginalElemType()']]],
@@ -489,7 +490,7 @@ var searchData=
   ['getparentthread',['getParentThread',['../classSVF_1_1TCT.html#a516578af1f8666ff672e6611e61d7152',1,'SVF::TCT']]],
   ['getpassname',['getPassName',['../classSVF_1_1DDAPass.html#a597a387848c03a05d1cfdfafc510cf2b',1,'SVF::DDAPass::getPassName()'],['../classSVF_1_1MTA.html#a45ca7724c876baabef88e6d4e32633d0',1,'SVF::MTA::getPassName()'],['../classSVF_1_1BreakConstantGEPs.html#a86f257df95182494de5aa48949999bd3',1,'SVF::BreakConstantGEPs::getPassName()'],['../classSVF_1_1MergeFunctionRets.html#a758a2b1c38f5045a6760a22897d7dca8',1,'SVF::MergeFunctionRets::getPassName()'],['../classSVF_1_1WPAPass.html#a12fda9849e3d9e4eb71e0bff8d0696f8',1,'SVF::WPAPass::getPassName()']]],
   ['getpathallocator',['getPathAllocator',['../classSVF_1_1SrcSnkDDA.html#a1a6ae6b1f6864057067d0e5533ea801e',1,'SVF::SrcSnkDDA']]],
-  ['getpaths',['getPaths',['../classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4',1,'SVF::VFPathCond']]],
+  ['getpathconstraint',['getPathConstraint',['../classSVF_1_1ExeState.html#a00bd54e2dc70a8547581008e27790eb8',1,'SVF::ExeState']]],
   ['getphicomplementcond',['getPHIComplementCond',['../classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6',1,'SVF::PathCondAllocator']]],
   ['getphiset',['getPHISet',['../classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274',1,'SVF::MemSSA']]],
   ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
@@ -515,7 +516,7 @@ var searchData=
   ['getpts',['getPts',['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
-  ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()']]],
+  ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
   ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
   ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
@@ -617,11 +618,11 @@ var searchData=
   ['gettotaledgenum',['getTotalEdgeNum',['../classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0',1,'SVF::GenericGraph']]],
   ['gettotalnodenum',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
   ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5',1,'SVF::SymbolTableInfo']]],
-  ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()']]],
+  ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BDDExprManager.html#a765d97ba6065a96a61209c59fdbb4b01',1,'SVF::BDDExprManager::getTrueCond()']]],
   ['gettruevalue',['getTrueValue',['../classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568',1,'SVF::SelectStmt']]],
   ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
-  ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()']]],
+  ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()']]],
   ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce',1,'SVF::SVFUtil']]],
   ['gettypesizeinbytes',['getTypeSizeInBytes',['../namespaceSVF_1_1SVFUtil.html#a86fec3512ea1fc724cf567f52d348678',1,'SVF::SVFUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1SVFUtil.html#a1dadc280bc2df41b82167ed236985dd5',1,'SVF::SVFUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
   ['gettypesystem',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
@@ -636,6 +637,7 @@ var searchData=
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],
   ['getvarargsym',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#aec3fd21a11f760ca8684e390c6948f02',1,'SVF::SymbolTableInfo']]],
+  ['getvartoval',['getVarToVal',['../classSVF_1_1ExeState.html#abf1237f5e4661a2da6e479f147957b18',1,'SVF::ExeState']]],
   ['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']]],
@@ -643,7 +645,6 @@ var searchData=
   ['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']]],
   ['getvfcond',['getVFCond',['../classSVF_1_1ProgSlice.html#a15542937ee75195de1a3ffca18a168cf',1,'SVF::ProgSlice']]],
-  ['getvfedges',['getVFEdges',['../classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589',1,'SVF::VFPathCond']]],
   ['getvfgnode',['getVFGNode',['../classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc',1,'SVF::VFG']]],
   ['getvfgnodebegin',['getVFGNodeBegin',['../classSVF_1_1VFG.html#a5166be2c1231a93c9b9ce5f272797b94',1,'SVF::VFG']]],
   ['getvfgnodeend',['getVFGNodeEnd',['../classSVF_1_1VFG.html#a28f2bdcbbc0bab00e93df62ea11647a2',1,'SVF::VFG']]],
@@ -657,14 +658,16 @@ var searchData=
   ['getvirtualfunctionid',['getVirtualFunctionID',['../classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516',1,'SVF::CHGraph']]],
   ['getvirtualfunctions',['getVirtualFunctions',['../classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d',1,'SVF::CHNode']]],
   ['getvirtualfunctionvectors',['getVirtualFunctionVectors',['../classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af',1,'SVF::CHNode']]],
+  ['getvirtualmemaddress',['getVirtualMemAddress',['../classSVF_1_1ExeState.html#af97d422306089e69c2910c6084475c51',1,'SVF::ExeState']]],
   ['getvtable',['getVTable',['../classSVF_1_1CHNode.html#a600b63dac83e526c933c141d4e2bcc0c',1,'SVF::CHNode::getVTable()'],['../classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988',1,'SVF::DCHNode::getVTable()']]],
   ['getvtinittype',['getVTInitType',['../FlowSensitiveTBHC_8cpp.html#af72d866f4ffed004e104b686d4f94cb3',1,'FlowSensitiveTBHC.cpp']]],
   ['getyield',['getYield',['../classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c',1,'SVF::VersionedFlowSensitive']]],
+  ['getz3expr',['getZ3Expr',['../classSVF_1_1ExeState.html#ab52debe3aae77d1efd5de4d220dbed2f',1,'SVF::ExeState']]],
   ['global_5fbegin',['global_begin',['../classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e',1,'SVF::SVFModule::global_begin()'],['../classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2',1,'SVF::SVFModule::global_begin() const']]],
   ['global_5fend',['global_end',['../classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b',1,'SVF::SVFModule::global_end()'],['../classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2',1,'SVF::SVFModule::global_end() const']]],
   ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7',1,'SVF::GlobalICFGNode']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
-  ['graph',['graph',['../classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
+  ['graph',['graph',['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter']]],
   ['graphsize',['graphSize',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]]
 ];

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

@@ -76,7 +76,7 @@ var searchData=
   ['hasgraphedge',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
   ['hash',['hash',['../classSVF_1_1PointsTo.html#afe275b31ea93a3ecea4e19660ceef0ae',1,'SVF::PointsTo::hash()'],['../classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359',1,'SVF::CoreBitVector::hash()']]],
   ['hasicfgnode',['hasICFGNode',['../classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a',1,'SVF::ICFG']]],
-  ['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77',1,'SVF::VFPathCond::hasIncomingEdge()']]],
+  ['hasincomingedge',['hasIncomingEdge',['../classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe',1,'SVF::GenericNode::hasIncomingEdge() const'],['../classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8',1,'SVF::GenericNode::hasIncomingEdge(EdgeType *edge) const']]],
   ['hasincomingedges',['hasIncomingEdges',['../classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc',1,'SVF::SVFVar']]],
   ['hasincomingvariantgepedge',['hasIncomingVariantGepEdge',['../classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24',1,'SVF::SVFVar']]],
   ['hasindcscallees',['hasIndCSCallees',['../classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424',1,'SVF::PTACallGraph::hasIndCSCallees()'],['../classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095',1,'SVF::PointerAnalysis::hasIndCSCallees()']]],
@@ -97,7 +97,7 @@ var searchData=
   ['hasocgrep',['hasOCGRep',['../classSVF_1_1OfflineConsG.html#a0a03ef009894059fa2591ea5f9ef87d9',1,'SVF::OfflineConsG']]],
   ['hasofflinerep',['hasOfflineRep',['../classSVF_1_1AndersenHCD.html#abeafc9d45d529577b99fe821e59fd9cb',1,'SVF::AndersenHCD']]],
   ['hasonecxtinlockspan',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4',1,'SVF::LockAnalysis']]],
-  ['hasoutgoingedge',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9',1,'SVF::VFPathCond::hasOutgoingEdge()']]],
+  ['hasoutgoingedge',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const']]],
   ['hasoutgoingedges',['hasOutgoingEdges',['../classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42',1,'SVF::SVFVar']]],
   ['hasparentthread',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
   ['hasphiset',['hasPHISet',['../classSVF_1_1MemSSA.html#a552bb17f0435e012b7393fb641c19298',1,'SVF::MemSSA']]],
@@ -124,7 +124,6 @@ var searchData=
   ['hasvalsym',['hasValSym',['../classSVF_1_1SymbolTableInfo.html#acbcd5035240fab0b809c3334a27159ae',1,'SVF::SymbolTableInfo']]],
   ['hasvalue',['hasValue',['../classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a',1,'SVF::SVFVar']]],
   ['hasvaluenode',['hasValueNode',['../classSVF_1_1IRGraph.html#aceb17dfbe137658625e16291127267d1',1,'SVF::IRGraph']]],
-  ['hasvfedge',['hasVFEdge',['../classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724',1,'SVF::VFPathCond']]],
   ['hasvfgnode',['hasVFGNode',['../classSVF_1_1VFG.html#a30eb9d717ad5bc8a9109a7bdef38f4a1',1,'SVF::VFG']]],
   ['hasvfgnodes',['hasVFGNodes',['../classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d',1,'SVF::VFG']]],
   ['hclust_5ffast',['hclust_fast',['../fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp'],['../fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9',1,'hclust_fast(int n, double *distmat, int method, int *merge, double *height): fastcluster.cpp']]],

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

@@ -6,6 +6,7 @@ var searchData=
   ['icfgnode',['ICFGNode',['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode']]],
   ['icfgprinter',['ICFGPrinter',['../classSVF_1_1ICFGPrinter.html#ab51ba2c92e69d3688b0a185b4b1d69cb',1,'SVF::ICFGPrinter']]],
   ['icfgstat',['ICFGStat',['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat']]],
+  ['id',['id',['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr']]],
   ['identifyfollowers',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
   ['idtoobjmap',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo']]],
   ['if',['if',['../tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $: CMakeLists.txt'],['../tools_2Example_2CMakeLists_8txt.html#a99a811bf6e0c9c244f0663f312a3ee41',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex Svf Cudd $: CMakeLists.txt'],['../tools_2MTA_2CMakeLists_8txt.html#a4bd9f4b25fec671a4e18608050c47e87',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(mta mta.cpp) else() add_executable(mta mta.cpp) target_link_libraries(mta Svf Cudd $: CMakeLists.txt'],['../tools_2SABER_2CMakeLists_8txt.html#a8090d680f76934d4cad048ea01b7fe8e',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber Svf Cudd $: CMakeLists.txt']]],
@@ -43,11 +44,13 @@ var searchData=
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
   ['initialize',['initialize',['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14',1,'SVF::AndersenHCD::initialize()'],['../classSVF_1_1AndersenHLCD.html#a5926080868429040f5142843f01a2a5c',1,'SVF::AndersenHLCD::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a4c5fb70aafc3a589b7b1e82ba8f61a6f',1,'SVF::FlowSensitiveTBHC::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
   ['initialworklist',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
+  ['initobjvar',['initObjVar',['../classSVF_1_1ExeState.html#af4018e9053baa373b590230bc53b7ccb',1,'SVF::ExeState']]],
   ['initsnks',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
   ['initsrcs',['initSrcs',['../classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565',1,'SVF::LeakChecker::initSrcs()'],['../classSVF_1_1SrcSnkDDA.html#a1c8f91ffa0b9f01d51c8cd5e14f076d5',1,'SVF::SrcSnkDDA::initSrcs()']]],
   ['initstats',['initStats',['../classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266',1,'SVF::PersistentPointsToCache']]],
   ['initsymminfo',['initSymmInfo',['../cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9',1,'cuddInt.c']]],
   ['inittypeinfo',['initTypeInfo',['../classSVF_1_1SymbolTableBuilder.html#a92ba9c9671e557ba950c14f418079696',1,'SVF::SymbolTableBuilder']]],
+  ['initvalvar',['initValVar',['../classSVF_1_1ExeState.html#a7b3013578baac3ce73bc544569c3dbbf',1,'SVF::ExeState']]],
   ['initworklist',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
   ['inputfilename',['InputFilename',['../dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7',1,'InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")): dda.cpp'],['../svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): svf-ex.cpp'],['../mta_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): mta.cpp'],['../saber_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): saber.cpp'],['../wpa_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): wpa.cpp']]],
   ['insamecallgraphscc',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
@@ -76,9 +79,11 @@ var searchData=
   ['irgraph',['IRGraph',['../classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28',1,'SVF::IRGraph']]],
   ['is_5falloc',['is_alloc',['../classSVF_1_1ExtAPI.html#a9ac1ce8f2796d1e70005c6999c9772de',1,'SVF::ExtAPI']]],
   ['is_5farg_5falloc',['is_arg_alloc',['../classSVF_1_1ExtAPI.html#add48f7a9bcb7227727969e944ffe3fc8',1,'SVF::ExtAPI']]],
+  ['is_5fbool',['is_bool',['../classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900',1,'SVF::Z3Expr']]],
   ['is_5fdealloc',['is_dealloc',['../classSVF_1_1ExtAPI.html#af09ae44b9311d3dfd9eafd41da8c31be',1,'SVF::ExtAPI']]],
   ['is_5fext',['is_ext',['../classSVF_1_1ExtAPI.html#ad1481f542d0a4bf67052ee897b165847',1,'SVF::ExtAPI']]],
   ['is_5fnoop',['is_noop',['../classSVF_1_1ExtAPI.html#a82439c0d4f80b2d3a4da3a4d090c69dc',1,'SVF::ExtAPI']]],
+  ['is_5fnumeral',['is_numeral',['../classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0',1,'SVF::Z3Expr']]],
   ['is_5frealloc',['is_realloc',['../classSVF_1_1ExtAPI.html#a070e7da81158d8948a4dbc06a0ec3cfe',1,'SVF::ExtAPI']]],
   ['isa',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil']]],
   ['isactualoutphi',['isActualOUTPHI',['../classSVF_1_1InterMSSAPHISVFGNode.html#a4fef6f5eaeed80f1555b4cdaa2af5301',1,'SVF::InterMSSAPHISVFGNode']]],
@@ -88,7 +93,7 @@ var searchData=
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
   ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
   ['isaliastestfunction',['isAliasTestFunction',['../TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06',1,'TypeBasedHeapCloning.cpp']]],
-  ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()']]],
+  ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()'],['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1BDDExprManager.html#afb30b41edd5bb6478d30778bc7f09e15',1,'SVF::BDDExprManager::isAllPathReachable()']]],
   ['isallreachable',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],
   ['isamergednode',['isaMergedNode',['../classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9',1,'SVF::AndersenHCD']]],
   ['isanallocationwraper',['isAnAllocationWraper',['../namespaceSVF_1_1SVFUtil.html#ab302ca3fcbde9bd1a7d9d5d837a69c23',1,'SVF::SVFUtil']]],
@@ -143,7 +148,7 @@ var searchData=
   ['isdirectvfgedge',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
   ['isedgeinrecursion',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
   ['iseqcmp',['isEQCmp',['../classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af',1,'SVF::PathCondAllocator']]],
-  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#aa20839631502b975590754e146242175',1,'SVF::CondManager::isEquivalentBranchCond()'],['../classSVF_1_1Z3Manager.html#a34d8f9fc93bb82a8916ae45534ef5941',1,'SVF::Z3Manager::isEquivalentBranchCond()'],['../classSVF_1_1BDDManager.html#a4ce1ff325aab55d7bef7d28fe79f4cde',1,'SVF::BDDManager::isEquivalentBranchCond()']]],
+  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1BDDExprManager.html#a9ac35220d1364a8e6d9bb32e3c236db2',1,'SVF::BDDExprManager::isEquivalentBranchCond()']]],
   ['isextcall',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919',1,'SVF::SVFUtil::isExtCall(const Instruction *inst)']]],
   ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6',1,'SVF::SaberCheckerAPI::isFClose(const CallICFGNode *cs) const']]],
   ['isfieldinsencondmemobj',['isFieldInsenCondMemObj',['../classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170',1,'SVF::DDAVFSolver']]],
@@ -209,7 +214,7 @@ var searchData=
   ['isintrinsic',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
   ['isintrinsicfun',['isIntrinsicFun',['../namespaceSVF_1_1SVFUtil.html#ad2c53be5490882768d51aa894b37cbf1',1,'SVF::SVFUtil']]],
   ['isintrinsicinst',['isIntrinsicInst',['../namespaceSVF_1_1SVFUtil.html#ab7f58caf27c30a1d414e06f60ca84d80',1,'SVF::SVFUtil']]],
-  ['isinworklist',['isInWorklist',['../classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d',1,'SVF::CFLSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
+  ['isinworklist',['isInWorklist',['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
   ['isirfile',['isIRFile',['../namespaceSVF_1_1SVFUtil.html#aa1657ceed1953f96329fe7226bf7da4c',1,'SVF::SVFUtil']]],
   ['isisolatednode',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
   ['isjoininsymmetricloop',['isJoinInSymmetricLoop',['../classSVF_1_1MHP.html#afa0d341a2fb7b05522dc6e178eab7e8b',1,'SVF::MHP::isJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#a4e058b920c3648f943f85099690ff44f',1,'SVF::ForkJoinAnalysis::isJoinInSymmetricLoop()']]],
@@ -238,7 +243,7 @@ var searchData=
   ['isnandouble',['IsNanDouble',['../epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37',1,'IsNanDouble(double value): epd.c'],['../epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37',1,'IsNanDouble(double value): epd.c']]],
   ['isnanorinfdouble',['IsNanOrInfDouble',['../epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c'],['../epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c']]],
   ['isnecmp',['isNECmp',['../classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71',1,'SVF::PathCondAllocator']]],
-  ['isnegcond',['isNegCond',['../classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef',1,'SVF::PathCondAllocator::isNegCond()'],['../classSVF_1_1CondManager.html#a1007afa25f9a95c5d12c58852ef74686',1,'SVF::CondManager::isNegCond()'],['../classSVF_1_1Z3Manager.html#a869828207971498df1fd7c9f29d3e999',1,'SVF::Z3Manager::isNegCond()'],['../classSVF_1_1BDDManager.html#a4a1c1534e9e23ea326008abf1d318369',1,'SVF::BDDManager::isNegCond()']]],
+  ['isnegcond',['isNegCond',['../classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef',1,'SVF::PathCondAllocator::isNegCond()'],['../classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17',1,'SVF::BDDExprManager::isNegCond()']]],
   ['isnocallerfunction',['isNoCallerFunction',['../namespaceSVF_1_1SVFUtil.html#ae7007ebc6a543dc30ef076b4aed75b1b',1,'SVF::SVFUtil']]],
   ['isnodehidden',['isNodeHidden',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6',1,'llvm::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753',1,'llvm::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f',1,'llvm::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
   ['isnoninstriccallsite',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91',1,'SVF::SVFUtil']]],
@@ -283,7 +288,7 @@ var searchData=
   ['issamescev',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#a4d073da3e5266964dad7422033013219',1,'SVF::ForkJoinAnalysis']]],
   ['issamethisptrinconstructor',['isSameThisPtrInConstructor',['../namespaceSVF_1_1cppUtil.html#a5dd3230226002e126f6b0a877f9550ce',1,'SVF::cppUtil']]],
   ['issamevar',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1CondManager.html#a5ef85ea09500adc006a25c1eb3426831',1,'SVF::CondManager::isSatisfiable()'],['../classSVF_1_1Z3Manager.html#a98916f1ae12b8c2bb98231b19c94d928',1,'SVF::Z3Manager::isSatisfiable()'],['../classSVF_1_1BDDManager.html#aecd072d15ee8a4a9940b31ac78c50960',1,'SVF::BDDManager::isSatisfiable()']]],
+  ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1BDDExprManager.html#a26a49a796e0747b173c380f3658a7ad3',1,'SVF::BDDExprManager::isSatisfiable()']]],
   ['issatisfiableforall',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
   ['issatisfiableforpairs',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
   ['isscalar',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
@@ -334,9 +339,10 @@ var searchData=
   ['isvariantfieldgep',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
   ['isvarstruct',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
   ['isvirtualcallsite',['isVirtualCallSite',['../namespaceSVF_1_1cppUtil.html#aca6465c72effcaddeb34f55da4555754',1,'SVF::cppUtil']]],
+  ['isvirtualmemaddress',['isVirtualMemAddress',['../classSVF_1_1ExeState.html#a2d5f2c2de23c919a47432501c3ad8adb',1,'SVF::ExeState']]],
   ['isvisited',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
   ['isvisitedctps',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
-  ['isworklistempty',['isWorklistEmpty',['../classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad',1,'SVF::CFLSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
+  ['isworklistempty',['isWorklistEmpty',['../classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383',1,'SVF::SrcSnkSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
   ['iszerooffsettedgepcgedge',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
   ['iterateddominancefrontier',['IteratedDominanceFrontier',['../classSVF_1_1IteratedDominanceFrontier.html#ab8cc0708e71ee0d3d2edfc6c99a59237',1,'SVF::IteratedDominanceFrontier']]]
 ];

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

@@ -7,6 +7,7 @@ var searchData=
   ['llvmfunbegin',['llvmFunBegin',['../classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951',1,'SVF::SVFModule::llvmFunBegin()'],['../classSVF_1_1SVFModule.html#a83ed76263dbe297ee0ecaf672c3a1805',1,'SVF::SVFModule::llvmFunBegin() const']]],
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet']]],
+  ['load',['load',['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU']]],

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

@@ -14,7 +14,7 @@ var searchData=
   ['markvalidvfedge',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
   ['match',['match',['../classSVF_1_1LockResultValidator.html#aa1b48d5792e596703f3283316e9f4c07',1,'SVF::LockResultValidator']]],
   ['matchargs',['matchArgs',['../classSVF_1_1PointerAnalysis.html#ab541df6fc703c0b21c2c308584c0b7ff',1,'SVF::PointerAnalysis']]],
-  ['matchcontext',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()'],['../classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda',1,'SVF::PathStmtDPItem::matchContext()']]],
+  ['matchcontext',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
   ['matchcxt',['matchCxt',['../classSVF_1_1LockAnalysis.html#a3299f1fe234e1d6b4341498575bddcbb',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#afee99dd3ca2ff68789864423fc9358e0',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#aea9ef584ce6c7129bcd1d5ecda2f1f74',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e',1,'SVF::TCT::matchCxt()']]],
   ['matchtype',['matchType',['../classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173',1,'SVF::Andersen']]],
   ['mayaccessaliases',['mayAccessAliases',['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['neg',['NEG',['../classSVF_1_1CondManager.html#aecb97f6eb6ba2943b2eaa7a8212a9ba6',1,'SVF::CondManager::NEG()'],['../classSVF_1_1Z3Manager.html#a5fcfc5dcdd77d9860aaaff9cd9f43c55',1,'SVF::Z3Manager::NEG()'],['../classSVF_1_1BDDManager.html#a0dbbee1845fbf6ce660caf6c30438bef',1,'SVF::BDDManager::NEG()']]],
+  ['neg',['NEG',['../classSVF_1_1BDDExprManager.html#ace340608e136c33867b3e1a986d65c81',1,'SVF::BDDExprManager']]],
   ['newcond',['newCond',['../classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17',1,'SVF::PathCondAllocator']]],
   ['newpointstoid',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
   ['newssaname',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
@@ -14,6 +14,7 @@ var searchData=
   ['nodes_5fend',['nodes_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const LocationSet &l, EdgeID id)']]],
   ['normalizepointsto',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
+  ['nullexpr',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
   ['nullptrsymid',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
   ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],
   ['numelement',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]]