svf-tools 1.0.913 → 1.0.914

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

@@ -1,123 +1,123 @@
 var searchData=
 [
-  ['e_1739',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
-  ['ebnf_5fbin_1740',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
-  ['ebnfbracketmatch_1741',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
-  ['ebnfsignreplace_1742',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
-  ['ebnfsigns_1743',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
-  ['ecunion_1744',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
-  ['edge2pts_1745',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
-  ['edge_5fdest_1746',['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_1747',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
-  ['edgeid_1748',['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_1749',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
-  ['edgeindex_1750',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
-  ['edgeinsvfgscc_1751',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
-  ['edgekindmask_1752',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
-  ['edgekindmaskbits_1753',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
-  ['edgenum_1754',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edgepool_1755',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
-  ['edgeset_1756',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
-  ['edget_1757',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
-  ['edgetargetsedgesource_1758',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
-  ['edgetype_1759',['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_1760',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
-  ['ei_5fpairs_1761',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
-  ['elementindex_1762',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
-  ['elementlist_1763',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
-  ['elementlistconstiter_1764',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
-  ['elementlistiter_1765',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
-  ['elements_1766',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
-  ['elementset_1767',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
-  ['elemidxvec_1768',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
-  ['elemnum_1769',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
-  ['else_1770',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
-  ['emitedge_1771',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
-  ['emitsimplenode_1772',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
-  ['emplacepts_1773',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
-  ['empty_1774',['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_1775',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
-  ['emptypointstoid_1776',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
-  ['enablealiascheck_1777',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
-  ['enablethreadcallgraph_1778',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
-  ['enabletypecheck_1779',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
-  ['end_1780',['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_1781',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
-  ['endclk_1782',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
-  ['endsymbolallocation_1783',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
-  ['endtime_1784',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
-  ['ensure_1785',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
-  ['ensure_5fnot_5fvisited_1786',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
-  ['entry_1787',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
-  ['entrychi_1788',['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_1789',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
-  ['entryicfgedges_1790',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesbegin_1791',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
-  ['entryicfgedgesend_1792',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
-  ['entrymssachi_1793',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
-  ['enum_5finout_1794',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
-  ['epsilon_1795',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
-  ['epsilonprods_1796',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
-  ['eq_1797',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
-  ['equal_1798',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
-  ['equalgedge_1799',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge< NodeTy >::equalGEdge'],['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge::equalGEdge()']]],
-  ['equalmemregion_1800',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion::equalMemRegion()']]],
-  ['equalnodebs_1801',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil::equalNodeBS'],['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil::equalNodeBS()']]],
-  ['equalpointsto_1802',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil::equalPointsTo()']]],
-  ['equals_1803',['equals',['../classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973',1,'SVF::AbstractState::equals()'],['../structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e',1,'SVF::AbstractValue::equals()'],['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
-  ['equivalentobject_1804',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
-  ['eqvartovalmap_1805',['eqVarToValMap',['../classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6',1,'SVF::AbstractState::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
-  ['err_5fmsg_1806',['ERR_MSG',['../ObjTypeInference_8cpp.html#aa73dde570491da218d3ef11359f16955',1,'ObjTypeInference.cpp']]],
-  ['errmsg_1807',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
-  ['error_1808',['error',['../structerror.html',1,'']]],
-  ['errs_1809',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
-  ['escapestr_1810',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
-  ['evalfinalcond_1811',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
-  ['evalfinalcond2event_1812',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
-  ['evalmdtag_1813',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
-  ['evaltime_1814',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluate_1815',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['evaluatebranchcond_1816',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
-  ['evaluateloopexitbranch_1817',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
-  ['evaluateprogexit_1818',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
-  ['evaluatetestnulllikeexpr_1819',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
-  ['eventinst_1820',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
-  ['eventstack_1821',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
-  ['eventtype_1822',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
-  ['eventtypemask_1823',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
-  ['exactcondelem_1824',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
-  ['executedbythesamethread_1825',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
-  ['existsvar_1826',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
-  ['exit_1827',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
-  ['exitblock_1828',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
-  ['expandfiobjs_1829',['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_1830',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF::ExtAPI'],['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI::ExtAPI()']]],
-  ['extapi_2ec_1831',['extapi.c',['../extapi_8c.html',1,'']]],
-  ['extapi_2ecpp_1832',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
-  ['extapi_2eh_1833',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]],
-  ['extapipath_1834',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
-  ['extapitype_1835',['ExtAPIType',['../classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616da',1,'SVF::AbstractInterpretation']]],
-  ['extbcpath_1836',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
-  ['extcallpass_1837',['extCallPass',['../classSVF_1_1AbstractInterpretation.html#a271d3ac0f8725108e324b5c391988c49',1,'SVF::AbstractInterpretation']]],
-  ['extendbackward_1838',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
-  ['extended_1839',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
-  ['extendforward_1840',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
-  ['extendto_1841',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
-  ['externalpag_1842',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
-  ['extfun2annotations_1843',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
-  ['extfuncsvec_1844',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
-  ['extop_1845',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
-  ['extractattributestrfromsymbolstr_1846',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
-  ['extractbbs_1847',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
-  ['extractclsnamefromdyncast_1848',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromfunc_1849',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
-  ['extractclsnamesfromtemplate_1850',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
-  ['extractcmpvars_1851',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
-  ['extractelementinst_1852',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
-  ['extractkindstrfromsymbolstr_1853',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
-  ['extractnodesbetweenpdomnodes_1854',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
-  ['extractpossibilitydescriptions_1855',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
-  ['extractsubconds_1856',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
-  ['extractsubvars_1857',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]],
-  ['extractvalueinst_1858',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
+  ['e_1738',['e',['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr']]],
+  ['ebnf_5fbin_1739',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a163ded39f15b19d6d1726621ba8b83d0',1,'SVF::CFGNormalizer']]],
+  ['ebnfbracketmatch_1740',['ebnfBracketMatch',['../classSVF_1_1CFGNormalizer.html#ad5711bb556e7e793841daa5a94372fcf',1,'SVF::CFGNormalizer']]],
+  ['ebnfsignreplace_1741',['ebnfSignReplace',['../classSVF_1_1CFGNormalizer.html#a2c128a0c3f7307694f757d2dd87b09f5',1,'SVF::CFGNormalizer']]],
+  ['ebnfsigns_1742',['EBNFSigns',['../classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9',1,'SVF::GrammarBase']]],
+  ['ecunion_1743',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
+  ['edge2pts_1744',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
+  ['edge_5fdest_1745',['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_1746',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
+  ['edgeid_1747',['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_1748',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],
+  ['edgeindex_1749',['edgeIndex',['../classSVF_1_1ConstraintGraph.html#ac246dc91562d4b1e168b7c39b2c2720f',1,'SVF::ConstraintGraph']]],
+  ['edgeinsvfgscc_1750',['edgeInSVFGSCC',['../classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432',1,'SVF::DDAPass::edgeInSVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332',1,'SVF::DDAVFSolver::edgeInSVFGSCC()']]],
+  ['edgekindmask_1751',['EdgeKindMask',['../classSVF_1_1GrammarBase.html#a9fd7f7c4dcb4c32bb410f3e0a6f3ad0d',1,'SVF::GrammarBase::EdgeKindMask()'],['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge::EdgeKindMask()']]],
+  ['edgekindmaskbits_1752',['EdgeKindMaskBits',['../classSVF_1_1GrammarBase.html#adc1413dc2e875a6e74bdb5b985cdd39f',1,'SVF::GrammarBase::EdgeKindMaskBits()'],['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge::EdgeKindMaskBits()']]],
+  ['edgenum_1753',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
+  ['edgepool_1754',['edgePool',['../classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789',1,'SVF::GenericGraphWriter::edgePool()'],['../classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3',1,'SVF::GenericGraphReader::edgePool()']]],
+  ['edgeset_1755',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
+  ['edget_1756',['EdgeT',['../classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3',1,'SVF::WTO']]],
+  ['edgetargetsedgesource_1757',['edgeTargetsEdgeSource',['../structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396',1,'SVF::DefaultDOTGraphTraits']]],
+  ['edgetype_1758',['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_1759',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
+  ['ei_5fpairs_1760',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
+  ['elementindex_1761',['ElementIndex',['../structSVF_1_1SparseBitVectorElement.html#ae5c5ac3afef47499a4e852de0dc39c18',1,'SVF::SparseBitVectorElement']]],
+  ['elementlist_1762',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
+  ['elementlistconstiter_1763',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
+  ['elementlistiter_1764',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
+  ['elements_1765',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet::elements()'],['../classSVF_1_1SparseBitVector.html#ab094576b73de3c8580ea152f90d63636',1,'SVF::SparseBitVector::Elements()']]],
+  ['elementset_1766',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
+  ['elemidxvec_1767',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum_1768',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
+  ['else_1769',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
+  ['emitedge_1770',['emitEdge',['../classSVF_1_1GraphWriter.html#a320577b81479578a8e6021380f9c07a7',1,'SVF::GraphWriter']]],
+  ['emitsimplenode_1771',['emitSimpleNode',['../classSVF_1_1GraphWriter.html#a0feff91ed80b997dd4550fae16382768',1,'SVF::GraphWriter']]],
+  ['emplacepts_1772',['emplacePts',['../classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5',1,'SVF::PersistentPointsToCache']]],
+  ['empty_1773',['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_1774',['emptyData',['../classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0',1,'SVF::POCRSolver']]],
+  ['emptypointstoid_1775',['emptyPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57',1,'SVF::PersistentPointsToCache']]],
+  ['enablealiascheck_1776',['EnableAliasCheck',['../classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73',1,'SVF::Options']]],
+  ['enablethreadcallgraph_1777',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d',1,'SVF::Options']]],
+  ['enabletypecheck_1778',['EnableTypeCheck',['../classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4',1,'SVF::Options']]],
+  ['end_1779',['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_1780',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
+  ['endclk_1781',['endClk',['../classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1',1,'SVF::SVFStat']]],
+  ['endsymbolallocation_1782',['endSymbolAllocation',['../classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d',1,'SVF::NodeIDAllocator']]],
+  ['endtime_1783',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
+  ['ensure_1784',['ensure',['../cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6',1,'cJSON.cpp']]],
+  ['ensure_5fnot_5fvisited_1785',['ENSURE_NOT_VISITED',['../SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979',1,'SVFFileSystem.h']]],
+  ['entry_1786',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
+  ['entrychi_1787',['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_1788',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
+  ['entryicfgedges_1789',['entryICFGEdges',['../classSVF_1_1SVFLoop.html#a681d712db88d105c8a2f758de3d7e72e',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesbegin_1790',['entryICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#ae837960286e6861697b99cf7c2ba79e5',1,'SVF::SVFLoop']]],
+  ['entryicfgedgesend_1791',['entryICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#aa9defde1da46995b6e870b80c1f9ae01',1,'SVF::SVFLoop']]],
+  ['entrymssachi_1792',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
+  ['enum_5finout_1793',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
+  ['epsilon_1794',['epsilon',['../VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757',1,'VFGGrammar.txt']]],
+  ['epsilonprods_1795',['epsilonProds',['../classSVF_1_1CFGrammar.html#a66a41e0f9a4c6112a686584e7d48d1e6',1,'SVF::CFGrammar']]],
+  ['eq_1796',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
+  ['equal_1797',['equal',['../classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e',1,'SVF::BoundedZ3Expr::equal()'],['../classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a',1,'SVF::NumericLiteral::equal()']]],
+  ['equalgedge_1798',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge< NodeTy >::equalGEdge'],['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge::equalGEdge()']]],
+  ['equalmemregion_1799',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion::equalMemRegion()']]],
+  ['equalnodebs_1800',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil::equalNodeBS'],['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil::equalNodeBS()']]],
+  ['equalpointsto_1801',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil::equalPointsTo()']]],
+  ['equals_1802',['equals',['../classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973',1,'SVF::AbstractState::equals()'],['../structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e',1,'SVF::AbstractValue::equals()'],['../classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9',1,'SVF::AddressValue::equals()'],['../classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1',1,'SVF::IntervalValue::equals()']]],
+  ['equivalentobject_1803',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
+  ['eqvartovalmap_1804',['eqVarToValMap',['../classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6',1,'SVF::AbstractState::eqVarToValMap()'],['../classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6',1,'SVF::RelExeState::eqVarToValMap()']]],
+  ['err_5fmsg_1805',['ERR_MSG',['../ObjTypeInference_8cpp.html#aa73dde570491da218d3ef11359f16955',1,'ObjTypeInference.cpp']]],
+  ['errmsg_1806',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6',1,'SVF::SVFUtil']]],
+  ['error_1807',['error',['../structerror.html',1,'']]],
+  ['errs_1808',['errs',['../namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc',1,'SVF::SVFUtil']]],
+  ['escapestr_1809',['EscapeStr',['../namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7',1,'SVF::DOT']]],
+  ['evalfinalcond_1810',['evalFinalCond',['../classSVF_1_1ProgSlice.html#afac06b0be2b04cb8a65af21fd697b756',1,'SVF::ProgSlice']]],
+  ['evalfinalcond2event_1811',['evalFinalCond2Event',['../classSVF_1_1ProgSlice.html#a215c9142830814ae838d15d9b7b40af9',1,'SVF::ProgSlice']]],
+  ['evalmdtag_1812',['evalMDTag',['../classSVF_1_1Annotator.html#a1a21ded1623d10fddb4048ae314e6722',1,'SVF::Annotator']]],
+  ['evaltime_1813',['EvalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1d98862e19affdd08740f85490d0d856',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluate_1814',['evaluate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#acbbc5c04c79846fe1cc46a3bd5a65aba',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['evaluatebranchcond_1815',['evaluateBranchCond',['../classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78',1,'SVF::SaberCondAllocator']]],
+  ['evaluateloopexitbranch_1816',['evaluateLoopExitBranch',['../classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824',1,'SVF::SaberCondAllocator']]],
+  ['evaluateprogexit_1817',['evaluateProgExit',['../classSVF_1_1SaberCondAllocator.html#a25f4e42de59e143314917bdfd8122cbe',1,'SVF::SaberCondAllocator']]],
+  ['evaluatetestnulllikeexpr_1818',['evaluateTestNullLikeExpr',['../classSVF_1_1SaberCondAllocator.html#a25b84bca2e3a439ade40bb98fa7093f7',1,'SVF::SaberCondAllocator']]],
+  ['eventinst_1819',['eventInst',['../classSVF_1_1SVFBugEvent.html#ac550e02b8d1d7713c53a29dab5a78c6d',1,'SVF::SVFBugEvent']]],
+  ['eventstack_1820',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
+  ['eventtype_1821',['EventType',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3',1,'SVF::SVFBugEvent']]],
+  ['eventtypemask_1822',['EVENTTYPEMASK',['../SVFBugReport_8h.html#aae8a01dec6f65eaf27a03f4e063d92f8',1,'SVFBugReport.h']]],
+  ['exactcondelem_1823',['exactCondElem',['../classSVF_1_1SaberCondAllocator.html#a87205db039579f05214507c48d6befec',1,'SVF::SaberCondAllocator']]],
+  ['executedbythesamethread_1824',['executedByTheSameThread',['../classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb',1,'SVF::MHP']]],
+  ['existsvar_1825',['existsVar',['../classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052',1,'SVF::RelExeState']]],
+  ['exit_1826',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
+  ['exitblock_1827',['exitBlock',['../classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632',1,'SVF::SVFFunction']]],
+  ['expandfiobjs_1828',['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_1829',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF::ExtAPI'],['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI::ExtAPI()']]],
+  ['extapi_2ec_1830',['extapi.c',['../extapi_8c.html',1,'']]],
+  ['extapi_2ecpp_1831',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
+  ['extapi_2eh_1832',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]],
+  ['extapipath_1833',['ExtAPIPath',['../classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a',1,'SVF::Options']]],
+  ['extapitype_1834',['ExtAPIType',['../classSVF_1_1AbstractInterpretation.html#a13fdb4a6a6d09e3504fdad16b88616da',1,'SVF::AbstractInterpretation']]],
+  ['extbcpath_1835',['extBcPath',['../classSVF_1_1ExtAPI.html#a3ce3e67c96a65484d8077d9e3a9efa7d',1,'SVF::ExtAPI']]],
+  ['extcallpass_1836',['extCallPass',['../classSVF_1_1AbstractInterpretation.html#a271d3ac0f8725108e324b5c391988c49',1,'SVF::AbstractInterpretation']]],
+  ['extendbackward_1837',['extendBackward',['../classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a',1,'SVF::CoreBitVector']]],
+  ['extended_1838',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['extendforward_1839',['extendForward',['../classSVF_1_1CoreBitVector.html#a5d3f1eb85bc388cb76c588b8d8b3c181',1,'SVF::CoreBitVector']]],
+  ['extendto_1840',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
+  ['externalpag_1841',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
+  ['extfun2annotations_1842',['ExtFun2Annotations',['../classSVF_1_1LLVMModuleSet.html#a7968a00d41166d18acb684052ed1eed8',1,'SVF::LLVMModuleSet']]],
+  ['extfuncsvec_1843',['ExtFuncsVec',['../classSVF_1_1LLVMModuleSet.html#ab932917041e1b1d8b461bfef464330fd',1,'SVF::LLVMModuleSet']]],
+  ['extop_1844',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
+  ['extractattributestrfromsymbolstr_1845',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a0e99f099b675baae8d1e84b453ee05e0',1,'SVF::GrammarBase']]],
+  ['extractbbs_1846',['extractBBS',['../classSVF_1_1CDGBuilder.html#ac0b9dae9bae020608e293b1288bb988b',1,'SVF::CDGBuilder']]],
+  ['extractclsnamefromdyncast_1847',['extractClsNameFromDynCast',['../namespaceSVF_1_1cppUtil.html#a26ccd6abf127a7ccc34a973f7b13161b',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromfunc_1848',['extractClsNamesFromFunc',['../namespaceSVF_1_1cppUtil.html#ae97bb256f20aa617f21a49c98d46177a',1,'SVF::cppUtil']]],
+  ['extractclsnamesfromtemplate_1849',['extractClsNamesFromTemplate',['../namespaceSVF_1_1cppUtil.html#a9d10cfca65caae543dd9d5a1dddf60e7',1,'SVF::cppUtil']]],
+  ['extractcmpvars_1850',['extractCmpVars',['../classSVF_1_1RelExeState.html#af32619ee086ab307c68923f7c66896aa',1,'SVF::RelExeState']]],
+  ['extractelementinst_1851',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
+  ['extractkindstrfromsymbolstr_1852',['extractKindStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a333aa14f1f969ff9cf60c23b35535074',1,'SVF::GrammarBase']]],
+  ['extractnodesbetweenpdomnodes_1853',['extractNodesBetweenPdomNodes',['../classSVF_1_1CDGBuilder.html#a6a7139139b2f0124e1729036490886db',1,'SVF::CDGBuilder']]],
+  ['extractpossibilitydescriptions_1854',['extractPossibilityDescriptions',['../classOptionBase.html#a21e8ccc08eef254ceee53185a717301d',1,'OptionBase']]],
+  ['extractsubconds_1855',['extractSubConds',['../classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77',1,'SVF::SaberCondAllocator']]],
+  ['extractsubvars_1856',['extractSubVars',['../classSVF_1_1RelExeState.html#a3393f160508c33e68ebedd042d1d296f',1,'SVF::RelExeState']]],
+  ['extractvalueinst_1857',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
 ];