svf-tools 1.0.853 → 1.0.855

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

@@ -1,154 +1,154 @@
 var searchData=
 [
-  ['_5f_5fpad0_5f_5f_10815',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
-  ['_5f_5fpad1_5f_5f_10816',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
-  ['_5f_5fpad2_5f_5f_10817',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
-  ['_5faddrs_10818',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5fallcomponents_10819',['_allComponents',['../classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fanatimecycleperquery_10820',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
-  ['_5fanatimeperquery_10821',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
-  ['_5fander_10822',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],
-  ['_5favgaddrtakenvarptssize_10823',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
-  ['_5favginoutptssize_10824',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
-  ['_5favgnumofdpmatsvfgnode_10825',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
-  ['_5favgptssize_10826',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
-  ['_5favgtoplvlptssize_10827',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
-  ['_5favgversionptssize_10828',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fbr_5fcond_10829',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5fbranchcondition_10830',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
-  ['_5fcallgraph_10831',['_callGraph',['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver']]],
-  ['_5fcallgraphscc_10832',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
-  ['_5fcfbasicblockg_10833',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
-  ['_5fclient_10834',['_client',['../classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b',1,'SVF::ContextDDA::_client()'],['../classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f',1,'SVF::DDAPass::_client()'],['../classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9',1,'SVF::FlowDDA::_client()']]],
-  ['_5fcomponents_10835',['_components',['../classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f',1,'SVF::CFBasicBlockGWTOCycle::_components()'],['../classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171',1,'SVF::CFBasicBlockGWTO::_components()']]],
-  ['_5fcondpts_10836',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
-  ['_5fconsg_10837',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
-  ['_5fcontroldg_10838',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
-  ['_5fcuriter_10839',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fcurslice_10840',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
-  ['_5fcursvfgnode_10841',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
-  ['_5fd_10842',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
-  ['_5fenditer_10843',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fes_10844',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
-  ['_5fexestate_10845',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fgraph_10846',['_graph',['../classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3',1,'SVF::CFBasicBlockGWTO::_graph()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777',1,'SVF::CFBasicBlockGWTO::TailBuilder::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
-  ['_5fhead_10847',['_head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da',1,'SVF::CFBasicBlockGWTOCycle::_head()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44',1,'SVF::CFBasicBlockGWTO::TailBuilder::_head()']]],
-  ['_5fheads_10848',['_heads',['../classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f',1,'SVF::WTOCycleDepth']]],
-  ['_5fheadtocycle_10849',['_headToCycle',['../classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadtotails_10850',['_headToTails',['../classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadwtocycledepth_10851',['_headWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5fi_10852',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfgedge_10853',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
-  ['_5ficfgnode_10854',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
-  ['_5ficfgnodes_10855',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
-  ['_5finscc_10856',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fispwcnode_10857',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
-  ['_5fkeynodesset_10858',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_10859',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
-  ['_5fla_10860',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
-  ['_5flb_10861',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoaddrs_10862',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
-  ['_5floctoitvval_10863',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
-  ['_5floctoval_10864',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
-  ['_5fmaxaddrtakenvarpts_10865',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxcptssize_10866',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
-  ['_5fmaxinoutptssize_10867',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxnumofdpmatsvfgnode_10868',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
-  ['_5fmaxnumofnodesinscc_10869',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
-  ['_5fmaxptssize_10870',['_MaxPtsSize',['../classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86',1,'SVF::DDAStat::_MaxPtsSize()'],['../classSVF_1_1AndersenStat.html#a85960b98981d0514a72b40306a7f08d3',1,'SVF::AndersenStat::_MaxPtsSize()'],['../classSVF_1_1FlowSensitiveStat.html#a737d955e3707cf758a5580eab2e60e96',1,'SVF::FlowSensitiveStat::_MaxPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a99a7d0bbea0f015f5a656c33ee3ab88d',1,'SVF::VersionedFlowSensitiveStat::_MaxPtsSize()']]],
-  ['_5fmaxtoplvlptssize_10871',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
-  ['_5fmaxversionptssize_10872',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmaxversions_10873',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmod_10874',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fn_10875',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
-  ['_5fnode_10876',['_node',['../classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f',1,'SVF::CFBasicBlockGWTONode']]],
-  ['_5fnodecontrolmap_10877',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
-  ['_5fnodedependentonmap_10878',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
-  ['_5fnodesccauxinfo_10879',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetocdn_10880',['_nodeToCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetodepth_10881',['_nodeToDepth',['../classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetowtocycledepth_10882',['_nodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::_nodeToWTOCycleDepth()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c',1,'SVF::CFBasicBlockGWTO::TailBuilder::_nodeToWTOCycleDepth()']]],
-  ['_5fnum_10883',['_num',['../classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnumemptyversions_10884',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumnonemptyversions_10885',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumofactualinsvfgnodeshaveinout_10886',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofactualoutsvfgnodeshaveinout_10887',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofaddrtakevar_10888',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofblackholeptr_10889',['_NumOfBlackholePtr',['../classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407',1,'SVF::DDAStat::_NumOfBlackholePtr()'],['../classSVF_1_1AndersenStat.html#a27d4e2bf145226f3c2b4d46fee2311e7',1,'SVF::AndersenStat::_NumOfBlackholePtr()'],['../classSVF_1_1FlowSensitiveStat.html#a74ab9e235e08e4840223ddf0599a9da7',1,'SVF::FlowSensitiveStat::_NumOfBlackholePtr()']]],
-  ['_5fnumofconstantptr_10890',['_NumOfConstantPtr',['../classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d',1,'SVF::DDAStat::_NumOfConstantPtr()'],['../classSVF_1_1AndersenStat.html#ab8f8152b5e6127f2d9bdcbd22083da67',1,'SVF::AndersenStat::_NumOfConstantPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a767a935ec5bacd97f4fa79a05c165cc2',1,'SVF::FlowSensitiveStat::_NumOfConstantPtr()']]],
-  ['_5fnumofcycles_10891',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
-  ['_5fnumofdpm_10892',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
-  ['_5fnumofformalinsvfgnodeshaveinout_10893',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofformaloutsvfgnodeshaveinout_10894',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofindcalledgesolved_10895',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
-  ['_5fnumofinfeasiblepath_10896',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
-  ['_5fnumofloadsvfgnodeshaveinout_10897',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmssaphisvfgnodeshaveinout_10898',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmustaliases_10899',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
-  ['_5fnumofnodesincycles_10900',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
-  ['_5fnumofnullptr_10901',['_NumOfNullPtr',['../classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904',1,'SVF::DDAStat::_NumOfNullPtr()'],['../classSVF_1_1AndersenStat.html#a38dfd00f384eea7899a29b2ec32a0ded',1,'SVF::AndersenStat::_NumOfNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#aea1cb2baea2f3c4d2ef62656a56bd077',1,'SVF::FlowSensitiveStat::_NumOfNullPtr()']]],
-  ['_5fnumofpwccycles_10902',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
-  ['_5fnumofstep_10903',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
-  ['_5fnumofstepincycle_10904',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
-  ['_5fnumofstoresvfgnodeshaveinout_10905',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofstrongupdates_10906',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
-  ['_5fnumofsvfgnodeshaveinout_10907',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveemptyinoutpts_10908',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutpts_10909',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualin_10910',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualout_10911',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalin_10912',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalout_10913',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinload_10914',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinmssaphi_10915',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinstore_10916',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumsingleversion_10917',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumusedversions_10918',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumversions_10919',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fpag_10920',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpotentialnumofvarhaveinoutpts_10921',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fpta_10922',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
-  ['_5fptenditer_10923',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fptiter_10924',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5freles_10925',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5frep_10926',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fs_10927',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
-  ['_5fscc_10928',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
-  ['_5fss_10929',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
-  ['_5fstack_10930',['_stack',['../classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fstrongupdatestores_10931',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
-  ['_5fsubnodes_10932',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fsvfcontrolmap_10933',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
-  ['_5fsvfdependentonmap_10934',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
-  ['_5fsvfg_10935',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
-  ['_5fsvfgscc_10936',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_10937',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5ft_10938',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
-  ['_5ftails_10939',['_tails',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5ftotalcfbasicblockedge_10940',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcfbasicblocknode_10941',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcptssize_10942',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofdpm_10943',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofinfeasiblepath_10944',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofmustaliases_10945',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofoutofbudgetquery_10946',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofquery_10947',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstep_10948',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstepincycle_10949',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstrongupdates_10950',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
-  ['_5ftotalptssize_10951',['_TotalPtsSize',['../classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0',1,'SVF::DDAStat::_TotalPtsSize()'],['../classSVF_1_1FlowSensitiveStat.html#a8b5bfc9c3cbf9451603860789640246a',1,'SVF::FlowSensitiveStat::_TotalPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a5ae1833ae26af8bcb819dad24e2390de',1,'SVF::VersionedFlowSensitiveStat::_TotalPtsSize()']]],
-  ['_5ftotaltimeofbkcondition_10952',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
-  ['_5ftotaltimeofqueries_10953',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
-  ['_5ftype_10954',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
-  ['_5ftypestate_10955',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
-  ['_5fub_10956',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvartoaddrs_10957',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
-  ['_5fvartoitvval_10958',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
-  ['_5fvartoval_10959',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
-  ['_5fvisited_10960',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
-  ['_5fvmrssusageafter_10961',['_vmrssUsageAfter',['../classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865',1,'SVF::DDAStat']]],
-  ['_5fvmrssusagebefore_10962',['_vmrssUsageBefore',['../classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372',1,'SVF::DDAStat']]],
-  ['_5fvmsizeusageafter_10963',['_vmsizeUsageAfter',['../classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3',1,'SVF::DDAStat']]],
-  ['_5fvmsizeusagebefore_10964',['_vmsizeUsageBefore',['../classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323',1,'SVF::DDAStat']]],
-  ['_5fwtocycledepth_10965',['_wtoCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]]
+  ['_5f_5fpad0_5f_5f_10857',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
+  ['_5f_5fpad1_5f_5f_10858',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
+  ['_5f_5fpad2_5f_5f_10859',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
+  ['_5faddrs_10860',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
+  ['_5fallcomponents_10861',['_allComponents',['../classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fanatimecycleperquery_10862',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
+  ['_5fanatimeperquery_10863',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
+  ['_5fander_10864',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],
+  ['_5favgaddrtakenvarptssize_10865',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
+  ['_5favginoutptssize_10866',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
+  ['_5favgnumofdpmatsvfgnode_10867',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
+  ['_5favgptssize_10868',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
+  ['_5favgtoplvlptssize_10869',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
+  ['_5favgversionptssize_10870',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fbr_5fcond_10871',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5fbranchcondition_10872',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
+  ['_5fcallgraph_10873',['_callGraph',['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver']]],
+  ['_5fcallgraphscc_10874',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
+  ['_5fcfbasicblockg_10875',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
+  ['_5fclient_10876',['_client',['../classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b',1,'SVF::ContextDDA::_client()'],['../classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f',1,'SVF::DDAPass::_client()'],['../classSVF_1_1FlowDDA.html#a0e10ce1de61977d2fbb3ad2f64df64b9',1,'SVF::FlowDDA::_client()']]],
+  ['_5fcomponents_10877',['_components',['../classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f',1,'SVF::CFBasicBlockGWTOCycle::_components()'],['../classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171',1,'SVF::CFBasicBlockGWTO::_components()']]],
+  ['_5fcondpts_10878',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
+  ['_5fconsg_10879',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
+  ['_5fcontroldg_10880',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
+  ['_5fcuriter_10881',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fcurslice_10882',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
+  ['_5fcursvfgnode_10883',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
+  ['_5fd_10884',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
+  ['_5fenditer_10885',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fes_10886',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
+  ['_5fexestate_10887',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
+  ['_5fgraph_10888',['_graph',['../classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3',1,'SVF::CFBasicBlockGWTO::_graph()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777',1,'SVF::CFBasicBlockGWTO::TailBuilder::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
+  ['_5fhead_10889',['_head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da',1,'SVF::CFBasicBlockGWTOCycle::_head()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44',1,'SVF::CFBasicBlockGWTO::TailBuilder::_head()']]],
+  ['_5fheads_10890',['_heads',['../classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f',1,'SVF::WTOCycleDepth']]],
+  ['_5fheadtocycle_10891',['_headToCycle',['../classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fheadtotails_10892',['_headToTails',['../classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fheadwtocycledepth_10893',['_headWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
+  ['_5fi_10894',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
+  ['_5ficfgedge_10895',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
+  ['_5ficfgnode_10896',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
+  ['_5ficfgnodes_10897',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
+  ['_5finscc_10898',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fispwcnode_10899',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
+  ['_5fkeynodesset_10900',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
+  ['_5fkind_10901',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
+  ['_5fla_10902',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
+  ['_5flb_10903',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
+  ['_5floctoaddrs_10904',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
+  ['_5floctoitvval_10905',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
+  ['_5floctoval_10906',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
+  ['_5fmaxaddrtakenvarpts_10907',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxcptssize_10908',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
+  ['_5fmaxinoutptssize_10909',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxnumofdpmatsvfgnode_10910',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
+  ['_5fmaxnumofnodesinscc_10911',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
+  ['_5fmaxptssize_10912',['_MaxPtsSize',['../classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86',1,'SVF::DDAStat::_MaxPtsSize()'],['../classSVF_1_1AndersenStat.html#a85960b98981d0514a72b40306a7f08d3',1,'SVF::AndersenStat::_MaxPtsSize()'],['../classSVF_1_1FlowSensitiveStat.html#a737d955e3707cf758a5580eab2e60e96',1,'SVF::FlowSensitiveStat::_MaxPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a99a7d0bbea0f015f5a656c33ee3ab88d',1,'SVF::VersionedFlowSensitiveStat::_MaxPtsSize()']]],
+  ['_5fmaxtoplvlptssize_10913',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
+  ['_5fmaxversionptssize_10914',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmaxversions_10915',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmod_10916',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
+  ['_5fn_10917',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
+  ['_5fnode_10918',['_node',['../classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f',1,'SVF::CFBasicBlockGWTONode']]],
+  ['_5fnodecontrolmap_10919',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
+  ['_5fnodedependentonmap_10920',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
+  ['_5fnodesccauxinfo_10921',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
+  ['_5fnodetocdn_10922',['_nodeToCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnodetodepth_10923',['_nodeToDepth',['../classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnodetowtocycledepth_10924',['_nodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::_nodeToWTOCycleDepth()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c',1,'SVF::CFBasicBlockGWTO::TailBuilder::_nodeToWTOCycleDepth()']]],
+  ['_5fnum_10925',['_num',['../classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnumemptyversions_10926',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumnonemptyversions_10927',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumofactualinsvfgnodeshaveinout_10928',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofactualoutsvfgnodeshaveinout_10929',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofaddrtakevar_10930',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofblackholeptr_10931',['_NumOfBlackholePtr',['../classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407',1,'SVF::DDAStat::_NumOfBlackholePtr()'],['../classSVF_1_1AndersenStat.html#a27d4e2bf145226f3c2b4d46fee2311e7',1,'SVF::AndersenStat::_NumOfBlackholePtr()'],['../classSVF_1_1FlowSensitiveStat.html#a74ab9e235e08e4840223ddf0599a9da7',1,'SVF::FlowSensitiveStat::_NumOfBlackholePtr()']]],
+  ['_5fnumofconstantptr_10932',['_NumOfConstantPtr',['../classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d',1,'SVF::DDAStat::_NumOfConstantPtr()'],['../classSVF_1_1AndersenStat.html#ab8f8152b5e6127f2d9bdcbd22083da67',1,'SVF::AndersenStat::_NumOfConstantPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a767a935ec5bacd97f4fa79a05c165cc2',1,'SVF::FlowSensitiveStat::_NumOfConstantPtr()']]],
+  ['_5fnumofcycles_10933',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
+  ['_5fnumofdpm_10934',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
+  ['_5fnumofformalinsvfgnodeshaveinout_10935',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofformaloutsvfgnodeshaveinout_10936',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofindcalledgesolved_10937',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
+  ['_5fnumofinfeasiblepath_10938',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
+  ['_5fnumofloadsvfgnodeshaveinout_10939',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmssaphisvfgnodeshaveinout_10940',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmustaliases_10941',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
+  ['_5fnumofnodesincycles_10942',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
+  ['_5fnumofnullptr_10943',['_NumOfNullPtr',['../classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904',1,'SVF::DDAStat::_NumOfNullPtr()'],['../classSVF_1_1AndersenStat.html#a38dfd00f384eea7899a29b2ec32a0ded',1,'SVF::AndersenStat::_NumOfNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#aea1cb2baea2f3c4d2ef62656a56bd077',1,'SVF::FlowSensitiveStat::_NumOfNullPtr()']]],
+  ['_5fnumofpwccycles_10944',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
+  ['_5fnumofstep_10945',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
+  ['_5fnumofstepincycle_10946',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
+  ['_5fnumofstoresvfgnodeshaveinout_10947',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofstrongupdates_10948',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
+  ['_5fnumofsvfgnodeshaveinout_10949',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveemptyinoutpts_10950',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutpts_10951',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualin_10952',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualout_10953',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalin_10954',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalout_10955',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinload_10956',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinmssaphi_10957',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinstore_10958',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumsingleversion_10959',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumusedversions_10960',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumversions_10961',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fpag_10962',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
+  ['_5fpotentialnumofvarhaveinoutpts_10963',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
+  ['_5fpta_10964',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
+  ['_5fptenditer_10965',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fptiter_10966',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5freles_10967',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5frep_10968',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fs_10969',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
+  ['_5fscc_10970',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
+  ['_5fss_10971',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
+  ['_5fstack_10972',['_stack',['../classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fstrongupdatestores_10973',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
+  ['_5fsubnodes_10974',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fsvfcontrolmap_10975',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
+  ['_5fsvfdependentonmap_10976',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
+  ['_5fsvfg_10977',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
+  ['_5fsvfgscc_10978',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
+  ['_5fsvfir_10979',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5ft_10980',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
+  ['_5ftails_10981',['_tails',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
+  ['_5ftotalcfbasicblockedge_10982',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcfbasicblocknode_10983',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcptssize_10984',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofdpm_10985',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofinfeasiblepath_10986',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofmustaliases_10987',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofoutofbudgetquery_10988',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofquery_10989',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstep_10990',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstepincycle_10991',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstrongupdates_10992',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
+  ['_5ftotalptssize_10993',['_TotalPtsSize',['../classSVF_1_1DDAStat.html#a1afb47b898f646f71d00c666373281e0',1,'SVF::DDAStat::_TotalPtsSize()'],['../classSVF_1_1FlowSensitiveStat.html#a8b5bfc9c3cbf9451603860789640246a',1,'SVF::FlowSensitiveStat::_TotalPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a5ae1833ae26af8bcb819dad24e2390de',1,'SVF::VersionedFlowSensitiveStat::_TotalPtsSize()']]],
+  ['_5ftotaltimeofbkcondition_10994',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
+  ['_5ftotaltimeofqueries_10995',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
+  ['_5ftype_10996',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
+  ['_5ftypestate_10997',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
+  ['_5fub_10998',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
+  ['_5fvartoaddrs_10999',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
+  ['_5fvartoitvval_11000',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
+  ['_5fvartoval_11001',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
+  ['_5fvisited_11002',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
+  ['_5fvmrssusageafter_11003',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
+  ['_5fvmrssusagebefore_11004',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusageafter_11005',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusagebefore_11006',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
+  ['_5fwtocycledepth_11007',['_wtoCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]]
 ];