svf-tools 1.0.901 → 1.0.902

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

@@ -1,180 +1,180 @@
 var searchData=
 [
-  ['_5f_5fpad0_5f_5f_11163',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
-  ['_5f_5fpad1_5f_5f_11164',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
-  ['_5f_5fpad2_5f_5f_11165',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
-  ['_5faccesslb_11166',['_accessLb',['../structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0',1,'SVF::BufOverflowException']]],
-  ['_5faccessub_11167',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
-  ['_5faddrs_11168',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5faddrtogep_11169',['_addrToGep',['../classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037',1,'SVF::BufOverflowChecker']]],
-  ['_5fae_11170',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat']]],
-  ['_5fallcomponents_11171',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
-  ['_5falloclb_11172',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
-  ['_5fallocub_11173',['_allocUb',['../structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca',1,'SVF::BufOverflowException']]],
-  ['_5fallocvar_11174',['_allocVar',['../structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c',1,'SVF::BufOverflowException']]],
-  ['_5fanatimecycleperquery_11175',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
-  ['_5fanatimeperquery_11176',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
-  ['_5fander_11177',['_ander',['../classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae',1,'SVF::AbstractExecution::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
-  ['_5fapi_11178',['_api',['../classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c',1,'SVF::AbstractExecution']]],
-  ['_5favgaddrtakenvarptssize_11179',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
-  ['_5favginoutptssize_11180',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
-  ['_5favgnumofdpmatsvfgnode_11181',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
-  ['_5favgptssize_11182',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
-  ['_5favgtoplvlptssize_11183',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
-  ['_5favgversionptssize_11184',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fbr_5fcond_11185',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5fbranchcondition_11186',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
-  ['_5fbugloc_11187',['_bugLoc',['../classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637',1,'SVF::AbstractExecution']]],
-  ['_5fcallgraph_11188',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
-  ['_5fcallgraphscc_11189',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
-  ['_5fcallsitestack_11190',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
-  ['_5fcheckpoint_5fnames_11191',['_checkpoint_names',['../classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3',1,'SVF::AbstractExecution']]],
-  ['_5fcheckpoints_11192',['_checkpoints',['../classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9',1,'SVF::AbstractExecution']]],
-  ['_5fclient_11193',['_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_11194',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
-  ['_5fcondpts_11195',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
-  ['_5fconsg_11196',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
-  ['_5fcontroldg_11197',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
-  ['_5fcuriter_11198',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fcurslice_11199',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
-  ['_5fcursvfgnode_11200',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
-  ['_5fd_11201',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
-  ['_5fenditer_11202',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fentry_11203',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
-  ['_5fes_11204',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
-  ['_5fexestate_11205',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fextapibufoverflowcheckrules_11206',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d',1,'SVF::BufOverflowChecker']]],
-  ['_5ffunc_5fmap_11207',['_func_map',['../classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135',1,'SVF::AbstractExecution']]],
-  ['_5ffunctowto_11208',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f',1,'SVF::AbstractExecution']]],
-  ['_5fgraph_11209',['_graph',['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47',1,'SVF::WTO::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
-  ['_5fhead_11210',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
-  ['_5fheads_11211',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
-  ['_5fi_11212',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfg_11213',['_icfg',['../classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201',1,'SVF::AbstractExecution']]],
-  ['_5ficfgnode_11214',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
-  ['_5finscc_11215',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fispwcnode_11216',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
-  ['_5fkeynodesset_11217',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_11218',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70',1,'SVF::AbstractExecution::_kind()']]],
-  ['_5fla_11219',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
-  ['_5flb_11220',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoaddrs_11221',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
-  ['_5floctoitvval_11222',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
-  ['_5floctoval_11223',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
-  ['_5fmaxaddrtakenvarpts_11224',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxcptssize_11225',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
-  ['_5fmaxinoutptssize_11226',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxnumofdpmatsvfgnode_11227',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
-  ['_5fmaxnumofnodesinscc_11228',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
-  ['_5fmaxptssize_11229',['_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_11230',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
-  ['_5fmaxversionptssize_11231',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmaxversions_11232',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmod_11233',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fmodulename_11234',['_moduleName',['../classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5',1,'SVF::AbstractExecution']]],
-  ['_5fmsg_11235',['_msg',['../structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0',1,'SVF::BufOverflowException']]],
-  ['_5fn_11236',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
-  ['_5fnode_11237',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
-  ['_5fnodecontrolmap_11238',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
-  ['_5fnodedependentonmap_11239',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
-  ['_5fnodesccauxinfo_11240',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetobuginfo_11241',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96',1,'SVF::AbstractExecution']]],
-  ['_5fnodetocdn_11242',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
-  ['_5fnodetodepth_11243',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
-  ['_5fnodetowtocycledepth_11244',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
-  ['_5fnum_11245',['_num',['../classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12',1,'SVF::WTO']]],
-  ['_5fnumemptyversions_11246',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumnonemptyversions_11247',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumofactualinsvfgnodeshaveinout_11248',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofactualoutsvfgnodeshaveinout_11249',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofaddrtakevar_11250',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofblackholeptr_11251',['_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_11252',['_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_11253',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
-  ['_5fnumofdpm_11254',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
-  ['_5fnumofformalinsvfgnodeshaveinout_11255',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofformaloutsvfgnodeshaveinout_11256',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofindcalledgesolved_11257',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
-  ['_5fnumofinfeasiblepath_11258',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
-  ['_5fnumofloadsvfgnodeshaveinout_11259',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmssaphisvfgnodeshaveinout_11260',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmustaliases_11261',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
-  ['_5fnumofnodesincycles_11262',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
-  ['_5fnumofnullptr_11263',['_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_11264',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
-  ['_5fnumofstep_11265',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
-  ['_5fnumofstepincycle_11266',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
-  ['_5fnumofstoresvfgnodeshaveinout_11267',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofstrongupdates_11268',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
-  ['_5fnumofsvfgnodeshaveinout_11269',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveemptyinoutpts_11270',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutpts_11271',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualin_11272',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualout_11273',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalin_11274',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalout_11275',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinload_11276',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinmssaphi_11277',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinstore_11278',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumsingleversion_11279',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumusedversions_11280',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumversions_11281',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fobjtoclsnamesources_11282',['_objToClsNameSources',['../classSVF_1_1ObjTypeInference.html#af1bd0b800558eb5e3bcc6fae9c86a874',1,'SVF::ObjTypeInference']]],
-  ['_5fpag_11283',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpostes_11284',['_postES',['../classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b',1,'SVF::AbstractExecution']]],
-  ['_5fpotentialnumofvarhaveinoutpts_11285',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fprees_11286',['_preES',['../classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7',1,'SVF::AbstractExecution']]],
-  ['_5fpta_11287',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
-  ['_5fptenditer_11288',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fptiter_11289',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5frecoder_11290',['_recoder',['../classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31',1,'SVF::AbstractExecution']]],
-  ['_5frecursivefuns_11291',['_recursiveFuns',['../classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3',1,'SVF::AbstractExecution']]],
-  ['_5freles_11292',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5frep_11293',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5frepnode_11294',['_repNode',['../classSVF_1_1ICFG.html#a7a2813375e838aac11e74dc068fc6b58',1,'SVF::ICFG']]],
-  ['_5freverse_5fpredicate_11295',['_reverse_predicate',['../AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AbstractExecution.cpp']]],
-  ['_5fs_11296',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
-  ['_5fscc_11297',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
-  ['_5fss_11298',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
-  ['_5fstack_11299',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
-  ['_5fstat_11300',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution']]],
-  ['_5fstrongupdatestores_11301',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
-  ['_5fsubnodes_11302',['_subNodes',['../classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7',1,'SVF::ICFG::_subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo::_subNodes()']]],
-  ['_5fsvfcontrolmap_11303',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
-  ['_5fsvfdependentonmap_11304',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
-  ['_5fsvfg_11305',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
-  ['_5fsvfgscc_11306',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_11307',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
-  ['_5fsvfir2exestate_11308',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
-  ['_5fswitch_5flhsrhs_5fpredicate_11309',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
-  ['_5ft_11310',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
-  ['_5fthisptrclassnames_11311',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],
-  ['_5ftotalcptssize_11312',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofdpm_11313',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofinfeasiblepath_11314',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofmustaliases_11315',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofoutofbudgetquery_11316',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofquery_11317',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstep_11318',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstepincycle_11319',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstrongupdates_11320',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
-  ['_5ftotalptssize_11321',['_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_11322',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
-  ['_5ftotaltimeofqueries_11323',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
-  ['_5ftype_11324',['_type',['../classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788',1,'SVF::WTOComponent']]],
-  ['_5ftypestate_11325',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
-  ['_5fub_11326',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvaluetoallocorclsnamesources_11327',['_valueToAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#afefdc78a399a653f1b408a62eafeaab9',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetoallocs_11328',['_valueToAllocs',['../classSVF_1_1ObjTypeInference.html#a18edeb47fb7734eb17ba3a84181cbc16',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetoinfersites_11329',['_valueToInferSites',['../classSVF_1_1ObjTypeInference.html#a0e34e7ea20e9ff7650f89750c53f4671',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetotype_11330',['_valueToType',['../classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5',1,'SVF::ObjTypeInference']]],
-  ['_5fvartoaddrs_11331',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
-  ['_5fvartoitvval_11332',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
-  ['_5fvartoval_11333',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
-  ['_5fvisited_11334',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
-  ['_5fvmrssusageafter_11335',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
-  ['_5fvmrssusagebefore_11336',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusageafter_11337',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusagebefore_11338',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
-  ['_5fwtocycledepth_11339',['_wtoCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3',1,'SVF::WTO::WTOCycleDepthBuilder']]]
+  ['_5f_5fpad0_5f_5f_11175',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
+  ['_5f_5fpad1_5f_5f_11176',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
+  ['_5f_5fpad2_5f_5f_11177',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
+  ['_5faccesslb_11178',['_accessLb',['../structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0',1,'SVF::BufOverflowException']]],
+  ['_5faccessub_11179',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
+  ['_5faddrs_11180',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
+  ['_5faddrtogep_11181',['_addrToGep',['../classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037',1,'SVF::BufOverflowChecker']]],
+  ['_5fae_11182',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat']]],
+  ['_5fallcomponents_11183',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
+  ['_5falloclb_11184',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
+  ['_5fallocub_11185',['_allocUb',['../structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca',1,'SVF::BufOverflowException']]],
+  ['_5fallocvar_11186',['_allocVar',['../structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c',1,'SVF::BufOverflowException']]],
+  ['_5fanatimecycleperquery_11187',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
+  ['_5fanatimeperquery_11188',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
+  ['_5fander_11189',['_ander',['../classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae',1,'SVF::AbstractExecution::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
+  ['_5fapi_11190',['_api',['../classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c',1,'SVF::AbstractExecution']]],
+  ['_5favgaddrtakenvarptssize_11191',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
+  ['_5favginoutptssize_11192',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
+  ['_5favgnumofdpmatsvfgnode_11193',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
+  ['_5favgptssize_11194',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
+  ['_5favgtoplvlptssize_11195',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
+  ['_5favgversionptssize_11196',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fbr_5fcond_11197',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5fbranchcondition_11198',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
+  ['_5fbugloc_11199',['_bugLoc',['../classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637',1,'SVF::AbstractExecution']]],
+  ['_5fcallgraph_11200',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
+  ['_5fcallgraphscc_11201',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
+  ['_5fcallsitestack_11202',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
+  ['_5fcheckpoint_5fnames_11203',['_checkpoint_names',['../classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3',1,'SVF::AbstractExecution']]],
+  ['_5fcheckpoints_11204',['_checkpoints',['../classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9',1,'SVF::AbstractExecution']]],
+  ['_5fclient_11205',['_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_11206',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
+  ['_5fcondpts_11207',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
+  ['_5fconsg_11208',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
+  ['_5fcontroldg_11209',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
+  ['_5fcuriter_11210',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fcurslice_11211',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
+  ['_5fcursvfgnode_11212',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
+  ['_5fd_11213',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
+  ['_5fenditer_11214',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fentry_11215',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
+  ['_5fes_11216',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
+  ['_5fexestate_11217',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
+  ['_5fextapibufoverflowcheckrules_11218',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d',1,'SVF::BufOverflowChecker']]],
+  ['_5ffunc_5fmap_11219',['_func_map',['../classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135',1,'SVF::AbstractExecution']]],
+  ['_5ffunctowto_11220',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f',1,'SVF::AbstractExecution']]],
+  ['_5fgraph_11221',['_graph',['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47',1,'SVF::WTO::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
+  ['_5fhead_11222',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
+  ['_5fheads_11223',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
+  ['_5fi_11224',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
+  ['_5ficfg_11225',['_icfg',['../classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201',1,'SVF::AbstractExecution']]],
+  ['_5ficfgnode_11226',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
+  ['_5finscc_11227',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fispwcnode_11228',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
+  ['_5fkeynodesset_11229',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
+  ['_5fkind_11230',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()'],['../classSVF_1_1AbstractExecution.html#ad36d48c0ef82de915d9339c4f47cbd70',1,'SVF::AbstractExecution::_kind()']]],
+  ['_5fla_11231',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
+  ['_5flb_11232',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
+  ['_5floctoaddrs_11233',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
+  ['_5floctoitvval_11234',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
+  ['_5floctoval_11235',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
+  ['_5fmaxaddrtakenvarpts_11236',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxcptssize_11237',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
+  ['_5fmaxinoutptssize_11238',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxnumofdpmatsvfgnode_11239',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
+  ['_5fmaxnumofnodesinscc_11240',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
+  ['_5fmaxptssize_11241',['_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_11242',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
+  ['_5fmaxversionptssize_11243',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmaxversions_11244',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmod_11245',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
+  ['_5fmodulename_11246',['_moduleName',['../classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5',1,'SVF::AbstractExecution']]],
+  ['_5fmsg_11247',['_msg',['../structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0',1,'SVF::BufOverflowException']]],
+  ['_5fn_11248',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
+  ['_5fnode_11249',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
+  ['_5fnodecontrolmap_11250',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
+  ['_5fnodedependentonmap_11251',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
+  ['_5fnodesccauxinfo_11252',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
+  ['_5fnodetobuginfo_11253',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96',1,'SVF::AbstractExecution']]],
+  ['_5fnodetocdn_11254',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
+  ['_5fnodetodepth_11255',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
+  ['_5fnodetowtocycledepth_11256',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['_5fnum_11257',['_num',['../classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12',1,'SVF::WTO']]],
+  ['_5fnumemptyversions_11258',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumnonemptyversions_11259',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumofactualinsvfgnodeshaveinout_11260',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofactualoutsvfgnodeshaveinout_11261',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofaddrtakevar_11262',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofblackholeptr_11263',['_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_11264',['_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_11265',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
+  ['_5fnumofdpm_11266',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
+  ['_5fnumofformalinsvfgnodeshaveinout_11267',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofformaloutsvfgnodeshaveinout_11268',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofindcalledgesolved_11269',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
+  ['_5fnumofinfeasiblepath_11270',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
+  ['_5fnumofloadsvfgnodeshaveinout_11271',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmssaphisvfgnodeshaveinout_11272',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmustaliases_11273',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
+  ['_5fnumofnodesincycles_11274',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
+  ['_5fnumofnullptr_11275',['_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_11276',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
+  ['_5fnumofstep_11277',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
+  ['_5fnumofstepincycle_11278',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
+  ['_5fnumofstoresvfgnodeshaveinout_11279',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofstrongupdates_11280',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
+  ['_5fnumofsvfgnodeshaveinout_11281',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveemptyinoutpts_11282',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutpts_11283',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualin_11284',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualout_11285',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalin_11286',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalout_11287',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinload_11288',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinmssaphi_11289',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinstore_11290',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumsingleversion_11291',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumusedversions_11292',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumversions_11293',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fobjtoclsnamesources_11294',['_objToClsNameSources',['../classSVF_1_1ObjTypeInference.html#af1bd0b800558eb5e3bcc6fae9c86a874',1,'SVF::ObjTypeInference']]],
+  ['_5fpag_11295',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
+  ['_5fpostes_11296',['_postES',['../classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b',1,'SVF::AbstractExecution']]],
+  ['_5fpotentialnumofvarhaveinoutpts_11297',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
+  ['_5fprees_11298',['_preES',['../classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7',1,'SVF::AbstractExecution']]],
+  ['_5fpta_11299',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
+  ['_5fptenditer_11300',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fptiter_11301',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5frecoder_11302',['_recoder',['../classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31',1,'SVF::AbstractExecution']]],
+  ['_5frecursivefuns_11303',['_recursiveFuns',['../classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3',1,'SVF::AbstractExecution']]],
+  ['_5freles_11304',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5frep_11305',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5frepnode_11306',['_repNode',['../classSVF_1_1ICFG.html#a7a2813375e838aac11e74dc068fc6b58',1,'SVF::ICFG']]],
+  ['_5freverse_5fpredicate_11307',['_reverse_predicate',['../AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AbstractExecution.cpp']]],
+  ['_5fs_11308',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
+  ['_5fscc_11309',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
+  ['_5fss_11310',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
+  ['_5fstack_11311',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
+  ['_5fstat_11312',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution']]],
+  ['_5fstrongupdatestores_11313',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
+  ['_5fsubnodes_11314',['_subNodes',['../classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7',1,'SVF::ICFG::_subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo::_subNodes()']]],
+  ['_5fsvfcontrolmap_11315',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
+  ['_5fsvfdependentonmap_11316',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
+  ['_5fsvfg_11317',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
+  ['_5fsvfgscc_11318',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
+  ['_5fsvfir_11319',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
+  ['_5fsvfir2exestate_11320',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
+  ['_5fswitch_5flhsrhs_5fpredicate_11321',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
+  ['_5ft_11322',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
+  ['_5fthisptrclassnames_11323',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],
+  ['_5ftotalcptssize_11324',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofdpm_11325',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofinfeasiblepath_11326',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofmustaliases_11327',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofoutofbudgetquery_11328',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofquery_11329',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstep_11330',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstepincycle_11331',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstrongupdates_11332',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
+  ['_5ftotalptssize_11333',['_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_11334',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
+  ['_5ftotaltimeofqueries_11335',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
+  ['_5ftype_11336',['_type',['../classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788',1,'SVF::WTOComponent']]],
+  ['_5ftypestate_11337',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
+  ['_5fub_11338',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
+  ['_5fvaluetoallocorclsnamesources_11339',['_valueToAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#afefdc78a399a653f1b408a62eafeaab9',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetoallocs_11340',['_valueToAllocs',['../classSVF_1_1ObjTypeInference.html#a18edeb47fb7734eb17ba3a84181cbc16',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetoinfersites_11341',['_valueToInferSites',['../classSVF_1_1ObjTypeInference.html#a0e34e7ea20e9ff7650f89750c53f4671',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetotype_11342',['_valueToType',['../classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5',1,'SVF::ObjTypeInference']]],
+  ['_5fvartoaddrs_11343',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
+  ['_5fvartoitvval_11344',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
+  ['_5fvartoval_11345',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
+  ['_5fvisited_11346',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
+  ['_5fvmrssusageafter_11347',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
+  ['_5fvmrssusagebefore_11348',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusageafter_11349',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusagebefore_11350',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
+  ['_5fwtocycledepth_11351',['_wtoCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3',1,'SVF::WTO::WTOCycleDepthBuilder']]]
 ];