svf-tools 1.0.897 → 1.0.899

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

@@ -1,129 +1,129 @@
 var searchData=
 [
-  ['e_1749',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
-  ['ebnf_5fbin_1750',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
-  ['ebnfbracketmatch_1751',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
-  ['ebnfsignreplace_1752',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
-  ['ebnfsigns_1753',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
-  ['ecunion_1754',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
-  ['edge2pts_1755',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
-  ['edge_5fdest_1756',['edge_dest',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad2b32bee6c168b7d2ed993ae1231efaa',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae9f2171cd9912d40c8f467621b7bb973',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::edge_dest()']]],
-  ['edgeflag_1757',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
-  ['edgeid_1758',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()'],['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF::EdgeID()']]],
-  ['edgeincallgraphscc_1759',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
-  ['edgeindex_1760',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
-  ['edgeinsvfgscc_1761',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
-  ['edgekindmask_1762',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
-  ['edgekindmaskbits_1763',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
-  ['edgenum_1764',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edgepool_1765',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
-  ['edgeset_1766',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
-  ['edget_1767',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
-  ['edgetargetsedgesource_1768',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
-  ['edgetype_1769',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge::edgeType()'],['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
-  ['edgevector_1770',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
-  ['ei_5fpairs_1771',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
-  ['elementindex_1772',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
-  ['elementlist_1773',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
-  ['elementlistconstiter_1774',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
-  ['elementlistiter_1775',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
-  ['elements_1776',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
-  ['elementset_1777',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
-  ['elemidxvec_1778',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
-  ['elemnum_1779',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
-  ['else_1780',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
-  ['emitedge_1781',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
-  ['emitsimplenode_1782',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
-  ['emplacepts_1783',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty_1784',['empty',['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0',1,'SVF::AddressValue::empty()'],['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8',1,'SVF::PointsTo::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()'],['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
-  ['emptydata_1785',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
-  ['emptypointstoid_1786',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
-  ['enablealiascheck_1787',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
-  ['enablethreadcallgraph_1788',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
-  ['enabletypecheck_1789',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
-  ['end_1790',['end',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef',1,'SVF::POCRSolver::end() const'],['../classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c',1,'SVF::POCRSolver::end()'],['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a',1,'SVF::WTOCycle::end()'],['../classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2',1,'SVF::WTO::end()'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6',1,'SVF::WriterPtrPool::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
-  ['end_5fiterator_1791',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
-  ['endclk_1792',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
-  ['endsymbolallocation_1793',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
-  ['endtime_1794',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
-  ['ensure_1795',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
-  ['ensure_5fnot_5fvisited_1796',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['entry_1797',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
-  ['entrychi_1798',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI< Cond >'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
-  ['entryfuncset_1799',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
-  ['entryicfgedges_1800',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesbegin_1801',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesend_1802',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
-  ['entrymssachi_1803',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
-  ['enum_5finout_1804',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['epsilon_1805',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
-  ['epsilonprods_1806',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
-  ['eq_1807',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
-  ['equal_1808',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
-  ['equalgedge_1809',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge< NodeTy >::equalGEdge'],['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge::equalGEdge()']]],
-  ['equalmemregion_1810',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion::equalMemRegion()']]],
-  ['equalnodebs_1811',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil::equalNodeBS'],['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil::equalNodeBS()']]],
-  ['equalpointsto_1812',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil::equalPointsTo()']]],
-  ['equals_1813',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08',1,'SVF::IntervalESBase::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
-  ['equalvar_1814',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
-  ['equivalentobject_1815',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
-  ['eqvartoaddrs_1816',['eqVarToAddrs',['../classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9',1,'SVF::ExeState']]],
-  ['eqvartovalmap_1817',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1',1,'SVF::IntervalESBase::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
-  ['err_5fmsg_1818',['ERR_MSG',['../ObjTypeInference_8cpp.html#aa73dde570491da218d3ef11359f16955',1,'ObjTypeInference.cpp']]],
-  ['errmsg_1819',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
-  ['error_1820',['error',['../structerror.html',1,'']]],
-  ['errs_1821',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
-  ['escapestr_1822',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
-  ['evalfinalcond_1823',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
-  ['evalfinalcond2event_1824',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
-  ['evalmdtag_1825',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
-  ['evaltime_1826',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluate_1827',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluatebranchcond_1828',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
-  ['evaluateloopexitbranch_1829',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
-  ['evaluateprogexit_1830',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
-  ['evaluatetestnulllikeexpr_1831',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
-  ['eventinst_1832',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
-  ['eventstack_1833',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
-  ['eventtype_1834',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['eventtypemask_1835',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
-  ['exactcondelem_1836',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
-  ['executedbythesamethread_1837',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
-  ['exestate_1838',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF::ExeState'],['../classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b',1,'SVF::ExeState::ExeState(ExeState_TYPE kind)'],['../classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5',1,'SVF::ExeState::ExeState(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8',1,'SVF::ExeState::ExeState(ExeState &&rhs) noexcept']]],
-  ['exestate_2ecpp_1839',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
-  ['exestate_2eh_1840',['ExeState.h',['../ExeState_8h.html',1,'']]],
-  ['exestate_5ftype_1841',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]],
-  ['existsvar_1842',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
-  ['exit_1843',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
-  ['exitblock_1844',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
-  ['expandfiobjs_1845',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
-  ['extapi_1846',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF::ExtAPI'],['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI::ExtAPI()']]],
-  ['extapi_2ec_1847',['extapi.c',['../extapi_8c.html',1,'']]],
-  ['extapi_2ecpp_1848',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
-  ['extapi_2eh_1849',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]],
-  ['extapipath_1850',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
-  ['extapitype_1851',['ExtAPIType',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43af',1,'SVF::AbstractExecution']]],
-  ['extbcpath_1852',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
-  ['extcallpass_1853',['extCallPass',['../classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854',1,'SVF::AbstractExecution']]],
-  ['extendbackward_1854',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
-  ['extended_1855',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
-  ['extendforward_1856',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
-  ['extendto_1857',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
-  ['externalpag_1858',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
-  ['extfun2annotations_1859',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
-  ['extfuncsvec_1860',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
-  ['extop_1861',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
-  ['extractattributestrfromsymbolstr_1862',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
-  ['extractbbs_1863',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
-  ['extractclsnamefromdyncast_1864',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromfunc_1865',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromtemplate_1866',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
-  ['extractcmpvars_1867',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
-  ['extractelementinst_1868',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
-  ['extractkindstrfromsymbolstr_1869',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
-  ['extractnodesbetweenpdomnodes_1870',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
-  ['extractpossibilitydescriptions_1871',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
-  ['extractsubconds_1872',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
-  ['extractsubvars_1873',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]],
-  ['extractvalueinst_1874',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
+  ['e_1753',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
+  ['ebnf_5fbin_1754',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
+  ['ebnfbracketmatch_1755',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
+  ['ebnfsignreplace_1756',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
+  ['ebnfsigns_1757',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
+  ['ecunion_1758',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
+  ['edge2pts_1759',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
+  ['edge_5fdest_1760',['edge_dest',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad2b32bee6c168b7d2ed993ae1231efaa',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#ae9f2171cd9912d40c8f467621b7bb973',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::edge_dest()']]],
+  ['edgeflag_1761',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
+  ['edgeid_1762',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()'],['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF::EdgeID()']]],
+  ['edgeincallgraphscc_1763',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
+  ['edgeindex_1764',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
+  ['edgeinsvfgscc_1765',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
+  ['edgekindmask_1766',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
+  ['edgekindmaskbits_1767',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
+  ['edgenum_1768',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
+  ['edgepool_1769',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
+  ['edgeset_1770',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
+  ['edget_1771',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
+  ['edgetargetsedgesource_1772',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
+  ['edgetype_1773',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()'],['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge::edgeType()']]],
+  ['edgevector_1774',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
+  ['ei_5fpairs_1775',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
+  ['elementindex_1776',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
+  ['elementlist_1777',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
+  ['elementlistconstiter_1778',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
+  ['elementlistiter_1779',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
+  ['elements_1780',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
+  ['elementset_1781',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
+  ['elemidxvec_1782',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum_1783',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
+  ['else_1784',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emitedge_1785',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
+  ['emitsimplenode_1786',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
+  ['emplacepts_1787',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
+  ['empty_1788',['empty',['../classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60',1,'SVF::LLVMModuleSet::empty()'],['../classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0',1,'SVF::AddressValue::empty()'],['../classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f',1,'SVF::CFLFIFOWorkList::empty()'],['../classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76',1,'SVF::CondStdSet::empty()'],['../classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff',1,'SVF::CondPointsToSet::empty()'],['../classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8',1,'SVF::PointsTo::empty()'],['../classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f',1,'SVF::CoreBitVector::empty()'],['../classSVF_1_1iter__range.html#ad8b380db56076165a0324922daa2e850',1,'SVF::iter_range::empty()'],['../structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f',1,'SVF::SparseBitVectorElement::empty()'],['../classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056',1,'SVF::SparseBitVector::empty()'],['../classSVF_1_1List.html#a063246d2aa23e389e513c5498ff33aca',1,'SVF::List::empty()'],['../classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8',1,'SVF::FIFOWorkList::empty()'],['../classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea',1,'SVF::FILOWorkList::empty()'],['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
+  ['emptydata_1789',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
+  ['emptypointstoid_1790',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
+  ['enablealiascheck_1791',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
+  ['enablethreadcallgraph_1792',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
+  ['enabletypecheck_1793',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
+  ['end_1794',['end',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01',1,'llvm::generic_bridge_gep_type_iterator::end()'],['../classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372',1,'SVF::AddressValue::end()'],['../classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef',1,'SVF::POCRSolver::end() const'],['../classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c',1,'SVF::POCRSolver::end()'],['../classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d',1,'SVF::GenericGraph::end()'],['../classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb',1,'SVF::GenericGraph::end() const'],['../classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade',1,'SVF::WTOCycleDepth::end()'],['../classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a',1,'SVF::WTOCycle::end()'],['../classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2',1,'SVF::WTO::end()'],['../classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3',1,'SVF::CondStdSet::end()'],['../classSVF_1_1CondStdSet.html#accc5305781696701c00245ed1e8a25a3',1,'SVF::CondStdSet::end() const'],['../classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86',1,'SVF::CondPointsToSet::end()'],['../classSVF_1_1CondPointsToSet.html#a537890d918d23abeea39bc73198f7365',1,'SVF::CondPointsToSet::end() const'],['../classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a',1,'SVF::PointsTo::end()'],['../classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6',1,'SVF::WriterPtrPool::end()'],['../classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31',1,'SVF::SVFModule::end()'],['../classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc',1,'SVF::SVFModule::end() const'],['../classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7',1,'SVF::SVFFunction::end()'],['../classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a',1,'SVF::SVFBasicBlock::end()'],['../classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d',1,'SVF::CoreBitVector::end()'],['../classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399',1,'SVF::ContextCond::end()'],['../classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031',1,'SVF::iter_range::end()'],['../classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1',1,'SVF::SparseBitVector::end()']]],
+  ['end_5fiterator_1795',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
+  ['endclk_1796',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
+  ['endsymbolallocation_1797',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
+  ['endtime_1798',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
+  ['ensure_1799',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
+  ['ensure_5fnot_5fvisited_1800',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['entry_1801',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
+  ['entrychi_1802',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF::EntryCHI< Cond >'],['../classSVF_1_1EntryCHI.html#a0ba7181ad2a793bf11e40b7c7092e28b',1,'SVF::EntryCHI::EntryCHI()'],['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
+  ['entryfuncset_1803',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
+  ['entryicfgedges_1804',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesbegin_1805',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesend_1806',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
+  ['entrymssachi_1807',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
+  ['enum_5finout_1808',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['epsilon_1809',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
+  ['epsilonprods_1810',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
+  ['eq_1811',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
+  ['equal_1812',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
+  ['equalgedge_1813',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge< NodeTy >::equalGEdge'],['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge::equalGEdge()']]],
+  ['equalmemregion_1814',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion::equalMemRegion()']]],
+  ['equalnodebs_1815',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil::equalNodeBS'],['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil::equalNodeBS()']]],
+  ['equalpointsto_1816',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil::equalPointsTo()']]],
+  ['equals_1817',['equals',['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb',1,'SVF::ExeState::equals()'],['../classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08',1,'SVF::IntervalESBase::equals()'],['../classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1',1,'SVF::IntervalExeState::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
+  ['equalvar_1818',['equalVar',['../classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b',1,'SVF::ConsExeState']]],
+  ['equivalentobject_1819',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
+  ['eqvartoaddrs_1820',['eqVarToAddrs',['../classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9',1,'SVF::ExeState']]],
+  ['eqvartovalmap_1821',['eqVarToValMap',['../classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052',1,'SVF::ConsExeState::eqVarToValMap()'],['../classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1',1,'SVF::IntervalESBase::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
+  ['err_5fmsg_1822',['ERR_MSG',['../ObjTypeInference_8cpp.html#aa73dde570491da218d3ef11359f16955',1,'ObjTypeInference.cpp']]],
+  ['errmsg_1823',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
+  ['error_1824',['error',['../structerror.html',1,'']]],
+  ['errs_1825',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
+  ['escapestr_1826',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
+  ['evalfinalcond_1827',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
+  ['evalfinalcond2event_1828',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
+  ['evalmdtag_1829',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
+  ['evaltime_1830',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluate_1831',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluatebranchcond_1832',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
+  ['evaluateloopexitbranch_1833',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
+  ['evaluateprogexit_1834',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
+  ['evaluatetestnulllikeexpr_1835',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
+  ['eventinst_1836',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
+  ['eventstack_1837',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
+  ['eventtype_1838',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['eventtypemask_1839',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
+  ['exactcondelem_1840',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
+  ['executedbythesamethread_1841',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
+  ['exestate_1842',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF::ExeState'],['../classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b',1,'SVF::ExeState::ExeState(ExeState_TYPE kind)'],['../classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5',1,'SVF::ExeState::ExeState(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8',1,'SVF::ExeState::ExeState(ExeState &&rhs) noexcept']]],
+  ['exestate_2ecpp_1843',['ExeState.cpp',['../ExeState_8cpp.html',1,'']]],
+  ['exestate_2eh_1844',['ExeState.h',['../ExeState_8h.html',1,'']]],
+  ['exestate_5ftype_1845',['ExeState_TYPE',['../classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8',1,'SVF::ExeState']]],
+  ['existsvar_1846',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
+  ['exit_1847',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
+  ['exitblock_1848',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
+  ['expandfiobjs_1849',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
+  ['extapi_1850',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF::ExtAPI'],['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI::ExtAPI()']]],
+  ['extapi_2ec_1851',['extapi.c',['../extapi_8c.html',1,'']]],
+  ['extapi_2ecpp_1852',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
+  ['extapi_2eh_1853',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]],
+  ['extapipath_1854',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
+  ['extapitype_1855',['ExtAPIType',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43af',1,'SVF::AbstractExecution']]],
+  ['extbcpath_1856',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
+  ['extcallpass_1857',['extCallPass',['../classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854',1,'SVF::AbstractExecution']]],
+  ['extendbackward_1858',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
+  ['extended_1859',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['extendforward_1860',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
+  ['extendto_1861',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
+  ['externalpag_1862',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
+  ['extfun2annotations_1863',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
+  ['extfuncsvec_1864',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
+  ['extop_1865',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
+  ['extractattributestrfromsymbolstr_1866',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
+  ['extractbbs_1867',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
+  ['extractclsnamefromdyncast_1868',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromfunc_1869',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromtemplate_1870',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
+  ['extractcmpvars_1871',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
+  ['extractelementinst_1872',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
+  ['extractkindstrfromsymbolstr_1873',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
+  ['extractnodesbetweenpdomnodes_1874',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
+  ['extractpossibilitydescriptions_1875',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
+  ['extractsubconds_1876',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
+  ['extractsubvars_1877',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]],
+  ['extractvalueinst_1878',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
 ];