svf-tools 1.0.802 → 1.0.804

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

@@ -1,154 +1,154 @@
 var searchData=
 [
-  ['_5f_5fpad0_5f_5f_10743',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
-  ['_5f_5fpad1_5f_5f_10744',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
-  ['_5f_5fpad2_5f_5f_10745',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
-  ['_5faddrs_10746',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5fallcomponents_10747',['_allComponents',['../classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fanatimecycleperquery_10748',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
-  ['_5fanatimeperquery_10749',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
-  ['_5fander_10750',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],
-  ['_5favgaddrtakenvarptssize_10751',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
-  ['_5favginoutptssize_10752',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
-  ['_5favgnumofdpmatsvfgnode_10753',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
-  ['_5favgptssize_10754',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
-  ['_5favgtoplvlptssize_10755',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
-  ['_5favgversionptssize_10756',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fbr_5fcond_10757',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5fbranchcondition_10758',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
-  ['_5fcallgraph_10759',['_callGraph',['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver']]],
-  ['_5fcallgraphscc_10760',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
-  ['_5fcfbasicblockg_10761',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
-  ['_5fclient_10762',['_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_10763',['_components',['../classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f',1,'SVF::CFBasicBlockGWTOCycle::_components()'],['../classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171',1,'SVF::CFBasicBlockGWTO::_components()']]],
-  ['_5fcondpts_10764',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
-  ['_5fconsg_10765',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
-  ['_5fcontroldg_10766',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
-  ['_5fcuriter_10767',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fcurslice_10768',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
-  ['_5fcursvfgnode_10769',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
-  ['_5fd_10770',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
-  ['_5fenditer_10771',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fes_10772',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
-  ['_5fexestate_10773',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fgraph_10774',['_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_10775',['_head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da',1,'SVF::CFBasicBlockGWTOCycle::_head()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44',1,'SVF::CFBasicBlockGWTO::TailBuilder::_head()']]],
-  ['_5fheads_10776',['_heads',['../classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f',1,'SVF::WTOCycleDepth']]],
-  ['_5fheadtocycle_10777',['_headToCycle',['../classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadtotails_10778',['_headToTails',['../classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadwtocycledepth_10779',['_headWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5fi_10780',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfgedge_10781',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
-  ['_5ficfgnode_10782',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
-  ['_5ficfgnodes_10783',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
-  ['_5finscc_10784',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fispwcnode_10785',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
-  ['_5fkeynodesset_10786',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_10787',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
-  ['_5fla_10788',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
-  ['_5flb_10789',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoitvval_10790',['_locToItvVal',['../classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71',1,'SVF::IntervalExeState']]],
-  ['_5floctovaddrs_10791',['_locToVAddrs',['../classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72',1,'SVF::ExeState']]],
-  ['_5floctoval_10792',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
-  ['_5fmaxaddrtakenvarpts_10793',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxcptssize_10794',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
-  ['_5fmaxinoutptssize_10795',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxnumofdpmatsvfgnode_10796',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
-  ['_5fmaxnumofnodesinscc_10797',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
-  ['_5fmaxptssize_10798',['_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_10799',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
-  ['_5fmaxversionptssize_10800',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmaxversions_10801',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmod_10802',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fn_10803',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
-  ['_5fnode_10804',['_node',['../classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f',1,'SVF::CFBasicBlockGWTONode']]],
-  ['_5fnodecontrolmap_10805',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
-  ['_5fnodedependentonmap_10806',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
-  ['_5fnodesccauxinfo_10807',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetocdn_10808',['_nodeToCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetodepth_10809',['_nodeToDepth',['../classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetowtocycledepth_10810',['_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_10811',['_num',['../classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnumemptyversions_10812',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumnonemptyversions_10813',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumofactualinsvfgnodeshaveinout_10814',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofactualoutsvfgnodeshaveinout_10815',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofaddrtakevar_10816',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofblackholeptr_10817',['_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_10818',['_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_10819',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
-  ['_5fnumofdpm_10820',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
-  ['_5fnumofformalinsvfgnodeshaveinout_10821',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofformaloutsvfgnodeshaveinout_10822',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofindcalledgesolved_10823',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
-  ['_5fnumofinfeasiblepath_10824',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
-  ['_5fnumofloadsvfgnodeshaveinout_10825',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmssaphisvfgnodeshaveinout_10826',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmustaliases_10827',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
-  ['_5fnumofnodesincycles_10828',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
-  ['_5fnumofnullptr_10829',['_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_10830',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
-  ['_5fnumofstep_10831',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
-  ['_5fnumofstepincycle_10832',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
-  ['_5fnumofstoresvfgnodeshaveinout_10833',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofstrongupdates_10834',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
-  ['_5fnumofsvfgnodeshaveinout_10835',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveemptyinoutpts_10836',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutpts_10837',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualin_10838',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualout_10839',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalin_10840',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalout_10841',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinload_10842',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinmssaphi_10843',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinstore_10844',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumsingleversion_10845',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumusedversions_10846',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumversions_10847',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fpag_10848',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpotentialnumofvarhaveinoutpts_10849',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fpta_10850',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
-  ['_5fptenditer_10851',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fptiter_10852',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5freles_10853',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5frep_10854',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fs_10855',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
-  ['_5fscc_10856',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
-  ['_5fss_10857',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
-  ['_5fstack_10858',['_stack',['../classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fstrongupdatestores_10859',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
-  ['_5fsubnodes_10860',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fsvfcontrolmap_10861',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
-  ['_5fsvfdependentonmap_10862',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
-  ['_5fsvfg_10863',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
-  ['_5fsvfgscc_10864',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_10865',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5ft_10866',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
-  ['_5ftails_10867',['_tails',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5ftotalcfbasicblockedge_10868',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcfbasicblocknode_10869',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcptssize_10870',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofdpm_10871',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofinfeasiblepath_10872',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofmustaliases_10873',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofoutofbudgetquery_10874',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofquery_10875',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstep_10876',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstepincycle_10877',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstrongupdates_10878',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
-  ['_5ftotalptssize_10879',['_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_10880',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
-  ['_5ftotaltimeofqueries_10881',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
-  ['_5ftype_10882',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
-  ['_5ftypestate_10883',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
-  ['_5fub_10884',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvartoitvval_10885',['_varToItvVal',['../classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77',1,'SVF::IntervalExeState']]],
-  ['_5fvartovaddrs_10886',['_varToVAddrs',['../classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66',1,'SVF::ExeState']]],
-  ['_5fvartoval_10887',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
-  ['_5fvisited_10888',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
-  ['_5fvmrssusageafter_10889',['_vmrssUsageAfter',['../classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865',1,'SVF::DDAStat']]],
-  ['_5fvmrssusagebefore_10890',['_vmrssUsageBefore',['../classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372',1,'SVF::DDAStat']]],
-  ['_5fvmsizeusageafter_10891',['_vmsizeUsageAfter',['../classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3',1,'SVF::DDAStat']]],
-  ['_5fvmsizeusagebefore_10892',['_vmsizeUsageBefore',['../classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323',1,'SVF::DDAStat']]],
-  ['_5fwtocycledepth_10893',['_wtoCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]]
+  ['_5f_5fpad0_5f_5f_10747',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
+  ['_5f_5fpad1_5f_5f_10748',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
+  ['_5f_5fpad2_5f_5f_10749',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
+  ['_5faddrs_10750',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
+  ['_5fallcomponents_10751',['_allComponents',['../classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fanatimecycleperquery_10752',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
+  ['_5fanatimeperquery_10753',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
+  ['_5fander_10754',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],
+  ['_5favgaddrtakenvarptssize_10755',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
+  ['_5favginoutptssize_10756',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
+  ['_5favgnumofdpmatsvfgnode_10757',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
+  ['_5favgptssize_10758',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
+  ['_5favgtoplvlptssize_10759',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
+  ['_5favgversionptssize_10760',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fbr_5fcond_10761',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5fbranchcondition_10762',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
+  ['_5fcallgraph_10763',['_callGraph',['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver']]],
+  ['_5fcallgraphscc_10764',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
+  ['_5fcfbasicblockg_10765',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
+  ['_5fclient_10766',['_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_10767',['_components',['../classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f',1,'SVF::CFBasicBlockGWTOCycle::_components()'],['../classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171',1,'SVF::CFBasicBlockGWTO::_components()']]],
+  ['_5fcondpts_10768',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
+  ['_5fconsg_10769',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
+  ['_5fcontroldg_10770',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
+  ['_5fcuriter_10771',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fcurslice_10772',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
+  ['_5fcursvfgnode_10773',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
+  ['_5fd_10774',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
+  ['_5fenditer_10775',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fes_10776',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
+  ['_5fexestate_10777',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
+  ['_5fgraph_10778',['_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_10779',['_head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da',1,'SVF::CFBasicBlockGWTOCycle::_head()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44',1,'SVF::CFBasicBlockGWTO::TailBuilder::_head()']]],
+  ['_5fheads_10780',['_heads',['../classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f',1,'SVF::WTOCycleDepth']]],
+  ['_5fheadtocycle_10781',['_headToCycle',['../classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fheadtotails_10782',['_headToTails',['../classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fheadwtocycledepth_10783',['_headWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
+  ['_5fi_10784',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
+  ['_5ficfgedge_10785',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
+  ['_5ficfgnode_10786',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
+  ['_5ficfgnodes_10787',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
+  ['_5finscc_10788',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fispwcnode_10789',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
+  ['_5fkeynodesset_10790',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
+  ['_5fkind_10791',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
+  ['_5fla_10792',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
+  ['_5flb_10793',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
+  ['_5floctoitvval_10794',['_locToItvVal',['../classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71',1,'SVF::IntervalExeState']]],
+  ['_5floctovaddrs_10795',['_locToVAddrs',['../classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72',1,'SVF::ExeState']]],
+  ['_5floctoval_10796',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
+  ['_5fmaxaddrtakenvarpts_10797',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxcptssize_10798',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
+  ['_5fmaxinoutptssize_10799',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxnumofdpmatsvfgnode_10800',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
+  ['_5fmaxnumofnodesinscc_10801',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
+  ['_5fmaxptssize_10802',['_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_10803',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
+  ['_5fmaxversionptssize_10804',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmaxversions_10805',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmod_10806',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
+  ['_5fn_10807',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
+  ['_5fnode_10808',['_node',['../classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f',1,'SVF::CFBasicBlockGWTONode']]],
+  ['_5fnodecontrolmap_10809',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
+  ['_5fnodedependentonmap_10810',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
+  ['_5fnodesccauxinfo_10811',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
+  ['_5fnodetocdn_10812',['_nodeToCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnodetodepth_10813',['_nodeToDepth',['../classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnodetowtocycledepth_10814',['_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_10815',['_num',['../classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fnumemptyversions_10816',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumnonemptyversions_10817',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumofactualinsvfgnodeshaveinout_10818',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofactualoutsvfgnodeshaveinout_10819',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofaddrtakevar_10820',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofblackholeptr_10821',['_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_10822',['_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_10823',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
+  ['_5fnumofdpm_10824',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
+  ['_5fnumofformalinsvfgnodeshaveinout_10825',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofformaloutsvfgnodeshaveinout_10826',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofindcalledgesolved_10827',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
+  ['_5fnumofinfeasiblepath_10828',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
+  ['_5fnumofloadsvfgnodeshaveinout_10829',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmssaphisvfgnodeshaveinout_10830',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmustaliases_10831',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
+  ['_5fnumofnodesincycles_10832',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
+  ['_5fnumofnullptr_10833',['_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_10834',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
+  ['_5fnumofstep_10835',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
+  ['_5fnumofstepincycle_10836',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
+  ['_5fnumofstoresvfgnodeshaveinout_10837',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofstrongupdates_10838',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
+  ['_5fnumofsvfgnodeshaveinout_10839',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveemptyinoutpts_10840',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutpts_10841',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualin_10842',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualout_10843',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalin_10844',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalout_10845',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinload_10846',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinmssaphi_10847',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinstore_10848',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumsingleversion_10849',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumusedversions_10850',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumversions_10851',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fpag_10852',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
+  ['_5fpotentialnumofvarhaveinoutpts_10853',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
+  ['_5fpta_10854',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
+  ['_5fptenditer_10855',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fptiter_10856',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5freles_10857',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5frep_10858',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fs_10859',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
+  ['_5fscc_10860',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
+  ['_5fss_10861',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
+  ['_5fstack_10862',['_stack',['../classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fstrongupdatestores_10863',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
+  ['_5fsubnodes_10864',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fsvfcontrolmap_10865',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
+  ['_5fsvfdependentonmap_10866',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
+  ['_5fsvfg_10867',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
+  ['_5fsvfgscc_10868',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
+  ['_5fsvfir_10869',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5ft_10870',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
+  ['_5ftails_10871',['_tails',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
+  ['_5ftotalcfbasicblockedge_10872',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcfbasicblocknode_10873',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcptssize_10874',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofdpm_10875',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofinfeasiblepath_10876',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofmustaliases_10877',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofoutofbudgetquery_10878',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofquery_10879',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstep_10880',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstepincycle_10881',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstrongupdates_10882',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
+  ['_5ftotalptssize_10883',['_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_10884',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
+  ['_5ftotaltimeofqueries_10885',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
+  ['_5ftype_10886',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
+  ['_5ftypestate_10887',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
+  ['_5fub_10888',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
+  ['_5fvartoitvval_10889',['_varToItvVal',['../classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77',1,'SVF::IntervalExeState']]],
+  ['_5fvartovaddrs_10890',['_varToVAddrs',['../classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66',1,'SVF::ExeState']]],
+  ['_5fvartoval_10891',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
+  ['_5fvisited_10892',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
+  ['_5fvmrssusageafter_10893',['_vmrssUsageAfter',['../classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865',1,'SVF::DDAStat']]],
+  ['_5fvmrssusagebefore_10894',['_vmrssUsageBefore',['../classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372',1,'SVF::DDAStat']]],
+  ['_5fvmsizeusageafter_10895',['_vmsizeUsageAfter',['../classSVF_1_1DDAStat.html#a4410e9704211836a96936a7c400562a3',1,'SVF::DDAStat']]],
+  ['_5fvmsizeusagebefore_10896',['_vmsizeUsageBefore',['../classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323',1,'SVF::DDAStat']]],
+  ['_5fwtocycledepth_10897',['_wtoCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]]
 ];