svf-tools 1.0.438 → 1.0.439

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

@@ -6,7 +6,7 @@ var searchData=
   ['gcenabled',['gcEnabled',['../structDdManager.html#a9ea7f1aaa19f3621745b590b7dca4f26',1,'DdManager']]],
   ['gcfrac',['gcFrac',['../structDdManager.html#a6d7c2a944d2b73afcf3d085410568849',1,'DdManager']]],
   ['gctime',['GCTime',['../structDdManager.html#a9eee204f20f831cc8da778e4d408d9c6',1,'DdManager']]],
-  ['gedge',['GEDGE',['../classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36',1,'SVF::CFLSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
+  ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],
   ['gedgesetty',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
@@ -71,6 +71,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']]],
@@ -112,7 +115,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']]],
@@ -180,15 +183,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']]],
@@ -197,7 +198,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']]],
@@ -277,10 +278,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']]],
@@ -354,7 +355,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']]],
@@ -377,6 +378,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']]],
@@ -421,6 +423,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']]],
@@ -437,7 +440,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']]],
@@ -466,10 +469,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']]],
@@ -511,10 +514,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()']]],
@@ -545,7 +546,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()']]],
@@ -571,7 +572,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']]],
@@ -673,11 +674,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']]],
@@ -692,6 +693,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']]],
@@ -699,7 +701,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']]],
@@ -713,9 +714,11 @@ 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']]],
   ['global_5fiterator',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
@@ -738,12 +741,12 @@ var searchData=
   ['globsvfgnodes',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfstmtset',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
   ['globvar_5fobj',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
-  ['gnode',['GNODE',['../classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127',1,'SVF::CFLSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
+  ['gnode',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
   ['gnodek',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection< GraphType >::GNodeSCCInfo'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
   ['gnodesccinfomap',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
   ['gnodestack',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graph',['graph',['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::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_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::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()']]],
   ['graph2json_2ecpp',['Graph2Json.cpp',['../Graph2Json_8cpp.html',1,'']]],
   ['graph2json_2eh',['Graph2Json.h',['../Graph2Json_8h.html',1,'']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm::GraphPrinter'],['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637',1,'SVF::GraphPrinter()']]],
@@ -781,5 +784,5 @@ var searchData=
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]],
   ['groupcheck',['groupcheck',['../structDdManager.html#ac7cc9100fc0deb8d4e5cdf92b96f075b',1,'DdManager']]],
   ['grow_5ffactor',['grow_factor',['../structst__table.html#a33a7ea1dabc05f109a41d076fc835b02',1,'st_table']]],
-  ['gtraits',['GTraits',['../classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c',1,'SVF::CFLSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
+  ['gtraits',['GTraits',['../classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
 ];

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

@@ -97,13 +97,15 @@ var searchData=
   ['hash_3c_20svf_3a_3acxtthread_20_3e',['hash< SVF::CxtThread >',['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acxtthreadproc_20_3e',['hash< SVF::CxtThreadProc >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acxtthreadstmt_20_3e',['hash< SVF::CxtThreadStmt >',['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3aexestate_20_3e',['hash< SVF::ExeState >',['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3alocationset_20_3e',['hash< SVF::LocationSet >',['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3anodepair_20_3e',['hash< SVF::NodePair >',['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3apointsto_20_3e',['hash< SVF::PointsTo >',['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3astmtdpitem_3c_20loccond_20_3e_20_3e',['hash< SVF::StmtDPItem< LocCond > >',['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3asvfgnodelockspan_20_3e',['hash< SVF::SVFGNodeLockSpan >',['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3az3expr_20_3e',['hash< SVF::Z3Expr >',['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html',1,'std']]],
   ['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()']]],
@@ -124,7 +126,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']]],
@@ -152,7 +154,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']]],
   ['have_5fgetrlimit',['HAVE_GETRLIMIT',['../util_8c.html#a30a57d379e02246aa63b4d32e683ec53',1,'util.c']]],

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

@@ -22,12 +22,11 @@ var searchData=
   ['icfgprinter',['ICFGPrinter',['../classSVF_1_1ICFGPrinter.html',1,'SVF::ICFGPrinter'],['../classSVF_1_1ICFGPrinter.html#ab51ba2c92e69d3688b0a185b4b1d69cb',1,'SVF::ICFGPrinter::ICFGPrinter()']]],
   ['icfgstat',['ICFGStat',['../classSVF_1_1ICFGStat.html',1,'SVF::ICFGStat'],['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat::ICFGStat()']]],
   ['icfgstat_2eh',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
-  ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b',1,'SVF::MTA::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1IteratedDominanceFrontier.html#aaae6f876063759941ac236f17a80cea2',1,'SVF::IteratedDominanceFrontier::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
+  ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b',1,'SVF::MTA::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1IteratedDominanceFrontier.html#aaae6f876063759941ac236f17a80cea2',1,'SVF::IteratedDominanceFrontier::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()'],['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr::id()']]],
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
   ['identifyfollowers',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
   ['idtocallsitemap',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
   ['idtocallsitemapty',['IDToCallSiteMapTy',['../classSVF_1_1SymbolTableInfo.html#a5af399ccac6ec809ade8f778379027bb',1,'SVF::SymbolTableInfo']]],
-  ['idtocondexprmap',['IDToCondExprMap',['../classSVF_1_1Z3Manager.html#aae29d2331b696987a2ca5c349bb8315b',1,'SVF::Z3Manager::IDToCondExprMap()'],['../classSVF_1_1Z3Manager.html#a72e5e03058e98c4f511ce2bb180f89cf',1,'SVF::Z3Manager::idToCondExprMap()']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtoidmap',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
   ['idtomemmapty',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a0371b60485199175b011cf3a42b404aa',1,'SVF::SymbolTableInfo']]],
@@ -59,8 +58,8 @@ var searchData=
   ['indent',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
   ['index',['index',['../structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda',1,'DdNode::index()'],['../structMtrNode.html#ad10fa600c59f13e195d295dac071e807',1,'MtrNode::index()'],['../structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798',1,'st_generator::index()'],['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba',1,'SVF::VersionedFlowSensitive::SCC::NodeData::index()']]],
   ['indexforbit',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
-  ['indextobddcond',['IndexToBDDCond',['../classSVF_1_1BDDManager.html#a33bb37b30e4c7364d6df73d209bd81d0',1,'SVF::BDDManager']]],
-  ['indextobddcondmap',['indexToBddCondMap',['../classSVF_1_1BDDManager.html#a7b780b30a7c433dcccab1e29b85b7704',1,'SVF::BDDManager']]],
+  ['indextobddcondmap',['indexToBddCondMap',['../classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460',1,'SVF::BDDExprManager']]],
+  ['indextobddexpr',['IndexToBDDExpr',['../classSVF_1_1BDDExprManager.html#a0e0c83c5affc6a4ec67001e33913b035',1,'SVF::BDDExprManager']]],
   ['indirectcalllimit',['IndirectCallLimit',['../classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8',1,'SVF::Options']]],
   ['indirectcallmap',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
   ['indirectcalls',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
@@ -90,12 +89,14 @@ 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']]],
   ['initslots',['initSlots',['../structDdManager.html#a46a65218bbed07b36f3ca9b4b0b1535b',1,'DdManager']]],
   ['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()']]],
   ['inloop',['inloop',['../classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411',1,'SVF::PTASCEV::inloop()'],['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread::inloop()']]],
   ['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']]],
@@ -129,6 +130,7 @@ var searchData=
   ['insttotsmap',['instToTSMap',['../classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f',1,'SVF::MHP::instToTSMap()'],['../classSVF_1_1MTAResultValidator.html#a8452bf182f6f1e0f4c239f620ee803b1',1,'SVF::MTAResultValidator::instToTSMap()']]],
   ['instvec',['InstVec',['../classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb',1,'SVF::LockAnalysis::InstVec()'],['../classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8',1,'SVF::MHP::InstVec()'],['../classSVF_1_1ForkJoinAnalysis.html#a613d763731058899e6819acdb2d7315f',1,'SVF::ForkJoinAnalysis::InstVec()'],['../classSVF_1_1TCT.html#a13d01a1747d8ee1521596aeb36bdb655',1,'SVF::TCT::InstVec()'],['../classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e',1,'SVF::ICFGBuilder::InstVec()']]],
   ['instvector',['InstVector',['../classSVF_1_1ThreadCallGraph.html#af952209ad8f7ae0c0f58c87d97f57ee9',1,'SVF::ThreadCallGraph']]],
+  ['int2bv',['int2bv',['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr']]],
   ['integertype',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
   ['interact',['interact',['../structDdManager.html#a3e336d3c8ce6bd8072611fadf25fe99b',1,'DdManager']]],
   ['interdisjoint',['InterDisjoint',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03',1,'SVF::MemSSA']]],
@@ -169,9 +171,9 @@ var searchData=
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF::IntraPHIVFGNode'],['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode::IntraPHIVFGNode()']]],
   ['inttoptrinst',['IntToPtrInst',['../SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906',1,'BasicTypes.h']]],
   ['inupdatedvarmap',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e',1,'SVF::CFLSolver']]],
+  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver']]],
   ['invalidversion',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['invgtraits',['InvGTraits',['../classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573',1,'SVF::CFLSolver']]],
+  ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver']]],
   ['invokeinst',['InvokeInst',['../SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75',1,'BasicTypes.h']]],
   ['invperm',['invperm',['../structDdManager.html#a8a017e5ed0025b952c284a41e5991b0f',1,'DdManager']]],
   ['invpermz',['invpermZ',['../structDdManager.html#a4d73e6913b795a8ce7a75d2ff3724f2a',1,'DdManager']]],
@@ -183,9 +185,11 @@ var searchData=
   ['irgraph_2eh',['IRGraph.h',['../IRGraph_8h.html',1,'']]],
   ['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']]],
   ['is_5fsimple_5ftype',['is_simple_type',['../structSVF_1_1SVFUtil_1_1is__simple__type.html',1,'SVF::SVFUtil']]],
   ['isa',['isa',['../namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737',1,'SVF::SVFUtil']]],
@@ -207,7 +211,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']]],
@@ -263,7 +267,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()']]],
   ['isext_5fcache',['isext_cache',['../classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5',1,'SVF::ExtAPI']]],
   ['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']]],
@@ -331,7 +335,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()']]],
@@ -361,7 +365,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']]],
@@ -408,7 +412,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']]],
@@ -461,10 +465,12 @@ 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']]],
+  ['ite',['ite',['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr']]],
   ['item',['item',['../structDdLocalCache.html#a5b894c8287e08c2b3ff59ab7d208d2e4',1,'DdLocalCache']]],
   ['itemsize',['itemsize',['../structDdLocalCache.html#a37fb6f0ae8dda9e85c9422c75409045d',1,'DdLocalCache::itemsize()'],['../structDdHashTable.html#a2026671f87d19816564455bee089eb31',1,'DdHashTable::itemsize()'],['../structDdLevelQueue.html#aee04a106792fd63d37d287cc820c0729',1,'DdLevelQueue::itemsize()']]],
   ['iterateddominancefrontier',['IteratedDominanceFrontier',['../classSVF_1_1IteratedDominanceFrontier.html',1,'SVF::IteratedDominanceFrontier'],['../classSVF_1_1IteratedDominanceFrontier.html#ab8cc0708e71ee0d3d2edfc6c99a59237',1,'SVF::IteratedDominanceFrontier::IteratedDominanceFrontier()']]],

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

@@ -38,7 +38,7 @@ var searchData=
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
-  ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
+  ['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)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
   ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::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)']]],
   ['loadcgedgeset',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
@@ -54,7 +54,7 @@ var searchData=
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
   ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
+  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
@@ -91,6 +91,8 @@ var searchData=
   ['loctodpmsetmap',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
   ['loctodpmvecmap',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
   ['loctofilterset',['locToFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9',1,'SVF::TypeBasedHeapCloning']]],
+  ['loctoval',['locToVal',['../classSVF_1_1ExeState.html#a55464ae666ae16656ad8903894ec14da',1,'SVF::ExeState']]],
+  ['loctovalmap',['LocToValMap',['../classSVF_1_1ExeState.html#aa1e28e7a815e03c0c9a6f94d289f371b',1,'SVF::ExeState']]],
   ['locversionmap',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
   ['logbpl',['LOGBPL',['../cuddInt_8c.html#acae1cfa779e6e7550496f3889b5cbb25',1,'LOGBPL(): cuddInt.c'],['../cuddInt_8c.html#acae1cfa779e6e7550496f3889b5cbb25',1,'LOGBPL(): cuddInt.c']]],
   ['lookupcomplements',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['m',['M',['../classSVF_1_1RaceResultValidator.html#abd3ad42a71357dfd1483e6e0d18d5ebd',1,'SVF::RaceResultValidator']]],
-  ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BDDManager.html#aae62fd27ddc847758ea67000580efdb8',1,'SVF::BDDManager']]],
+  ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50',1,'SVF::BDDExprManager']]],
   ['m_5fcond',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
   ['m_5fid',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
   ['main',['main',['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
@@ -27,7 +27,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']]],
   ['max',['MAX',['../util_8h.html#afa99ec4acc4ecb2dc3c2d05da15d0e3f',1,'util.h']]],