svf-tools 1.0.892 → 1.0.894

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

@@ -1,180 +1,180 @@
 var searchData=
 [
-  ['_5f_5fpad0_5f_5f_11130',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
-  ['_5f_5fpad1_5f_5f_11131',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
-  ['_5f_5fpad2_5f_5f_11132',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
-  ['_5faccesslb_11133',['_accessLb',['../structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0',1,'SVF::BufOverflowException']]],
-  ['_5faccessub_11134',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
-  ['_5faddrs_11135',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5faddrtogep_11136',['_addrToGep',['../classSVF_1_1BufOverflowCheckerAPI.html#a9bd2a222c9f63c589df5a8d2076ffe03',1,'SVF::BufOverflowCheckerAPI']]],
-  ['_5fae_11137',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat::_ae()'],['../classSVF_1_1AEAPI.html#a33b63d79de59e0015097c43978162ded',1,'SVF::AEAPI::_ae()']]],
-  ['_5fallcomponents_11138',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
-  ['_5falloclb_11139',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
-  ['_5fallocub_11140',['_allocUb',['../structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca',1,'SVF::BufOverflowException']]],
-  ['_5fallocvar_11141',['_allocVar',['../structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c',1,'SVF::BufOverflowException']]],
-  ['_5fanatimecycleperquery_11142',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
-  ['_5fanatimeperquery_11143',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
-  ['_5fander_11144',['_ander',['../classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae',1,'SVF::AbstractExecution::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
-  ['_5fapi_11145',['_api',['../classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c',1,'SVF::AbstractExecution']]],
-  ['_5favgaddrtakenvarptssize_11146',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
-  ['_5favginoutptssize_11147',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
-  ['_5favgnumofdpmatsvfgnode_11148',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
-  ['_5favgptssize_11149',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
-  ['_5favgtoplvlptssize_11150',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
-  ['_5favgversionptssize_11151',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fbr_5fcond_11152',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5fbranchcondition_11153',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
-  ['_5fbugloc_11154',['_bugLoc',['../classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637',1,'SVF::AbstractExecution']]],
-  ['_5fcallgraph_11155',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
-  ['_5fcallgraphscc_11156',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
-  ['_5fcallsitestack_11157',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
-  ['_5fcheckpoint_5fnames_11158',['_checkpoint_names',['../classSVF_1_1AEAPI.html#ace3e82bcfbb4495a765e01d75a58dc3f',1,'SVF::AEAPI']]],
-  ['_5fcheckpoints_11159',['_checkpoints',['../classSVF_1_1AEAPI.html#ad364ccca2d91efa83263fad7ed196361',1,'SVF::AEAPI']]],
-  ['_5fclient_11160',['_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_11161',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
-  ['_5fcondpts_11162',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
-  ['_5fconsg_11163',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
-  ['_5fcontroldg_11164',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
-  ['_5fcuriter_11165',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fcurslice_11166',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
-  ['_5fcursvfgnode_11167',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
-  ['_5fd_11168',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
-  ['_5fenditer_11169',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fentry_11170',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
-  ['_5fes_11171',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
-  ['_5fexestate_11172',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fextapibufoverflowcheckrules_11173',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowCheckerAPI.html#adf5b059cb16c8f35146166269f9e1ebc',1,'SVF::BufOverflowCheckerAPI']]],
-  ['_5ffunc_5fmap_11174',['_func_map',['../classSVF_1_1AEAPI.html#ab47136a3fee89fa6cad5ddb95306f27f',1,'SVF::AEAPI']]],
-  ['_5ffunctowto_11175',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#abe2d42c3c107d54aa89ee8e6ea718dfc',1,'SVF::AbstractExecution']]],
-  ['_5fgraph_11176',['_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_11177',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
-  ['_5fheads_11178',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
-  ['_5fi_11179',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfg_11180',['_icfg',['../classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201',1,'SVF::AbstractExecution']]],
-  ['_5ficfgnode_11181',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
-  ['_5finscc_11182',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fispwcnode_11183',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
-  ['_5fkeynodesset_11184',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_11185',['_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()'],['../classSVF_1_1AEAPI.html#ac647ce8e5e4e14303a4c8c8fc6321492',1,'SVF::AEAPI::_kind()']]],
-  ['_5fla_11186',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
-  ['_5flb_11187',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoaddrs_11188',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
-  ['_5floctoitvval_11189',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
-  ['_5floctoval_11190',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
-  ['_5fmaxaddrtakenvarpts_11191',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxcptssize_11192',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
-  ['_5fmaxinoutptssize_11193',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxnumofdpmatsvfgnode_11194',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
-  ['_5fmaxnumofnodesinscc_11195',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
-  ['_5fmaxptssize_11196',['_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_11197',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
-  ['_5fmaxversionptssize_11198',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmaxversions_11199',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmod_11200',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fmodulename_11201',['_moduleName',['../classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5',1,'SVF::AbstractExecution']]],
-  ['_5fmsg_11202',['_msg',['../structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0',1,'SVF::BufOverflowException']]],
-  ['_5fn_11203',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
-  ['_5fnode_11204',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
-  ['_5fnodecontrolmap_11205',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
-  ['_5fnodedependentonmap_11206',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
-  ['_5fnodesccauxinfo_11207',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetobuginfo_11208',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a55737f5c82afce29a816eb21070a2bc1',1,'SVF::AbstractExecution']]],
-  ['_5fnodetocdn_11209',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
-  ['_5fnodetodepth_11210',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
-  ['_5fnodetowtocycledepth_11211',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
-  ['_5fnum_11212',['_num',['../classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12',1,'SVF::WTO']]],
-  ['_5fnumemptyversions_11213',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumnonemptyversions_11214',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumofactualinsvfgnodeshaveinout_11215',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofactualoutsvfgnodeshaveinout_11216',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofaddrtakevar_11217',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofblackholeptr_11218',['_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_11219',['_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_11220',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
-  ['_5fnumofdpm_11221',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
-  ['_5fnumofformalinsvfgnodeshaveinout_11222',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofformaloutsvfgnodeshaveinout_11223',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofindcalledgesolved_11224',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
-  ['_5fnumofinfeasiblepath_11225',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
-  ['_5fnumofloadsvfgnodeshaveinout_11226',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmssaphisvfgnodeshaveinout_11227',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmustaliases_11228',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
-  ['_5fnumofnodesincycles_11229',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
-  ['_5fnumofnullptr_11230',['_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_11231',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
-  ['_5fnumofstep_11232',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
-  ['_5fnumofstepincycle_11233',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
-  ['_5fnumofstoresvfgnodeshaveinout_11234',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofstrongupdates_11235',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
-  ['_5fnumofsvfgnodeshaveinout_11236',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveemptyinoutpts_11237',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutpts_11238',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualin_11239',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualout_11240',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalin_11241',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalout_11242',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinload_11243',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinmssaphi_11244',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinstore_11245',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumsingleversion_11246',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumusedversions_11247',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumversions_11248',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fobjtoclsnamesources_11249',['_objToClsNameSources',['../classSVF_1_1ObjTypeInference.html#af1bd0b800558eb5e3bcc6fae9c86a874',1,'SVF::ObjTypeInference']]],
-  ['_5fpag_11250',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpostes_11251',['_postES',['../classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b',1,'SVF::AbstractExecution']]],
-  ['_5fpotentialnumofvarhaveinoutpts_11252',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fprees_11253',['_preES',['../classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7',1,'SVF::AbstractExecution']]],
-  ['_5fpta_11254',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
-  ['_5fptenditer_11255',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fptiter_11256',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5frecoder_11257',['_recoder',['../classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31',1,'SVF::AbstractExecution']]],
-  ['_5frecursivefuns_11258',['_recursiveFuns',['../classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3',1,'SVF::AbstractExecution']]],
-  ['_5freles_11259',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5frep_11260',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5frepnode_11261',['_repNode',['../classSVF_1_1ICFG.html#a7a2813375e838aac11e74dc068fc6b58',1,'SVF::ICFG']]],
-  ['_5freverse_5fpredicate_11262',['_reverse_predicate',['../AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AbstractExecution.cpp']]],
-  ['_5fs_11263',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
-  ['_5fscc_11264',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
-  ['_5fss_11265',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
-  ['_5fstack_11266',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
-  ['_5fstat_11267',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution::_stat()'],['../classSVF_1_1AEAPI.html#afed1d221bdb876046ec036f1cae53fd3',1,'SVF::AEAPI::_stat()']]],
-  ['_5fstrongupdatestores_11268',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
-  ['_5fsubnodes_11269',['_subNodes',['../classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7',1,'SVF::ICFG::_subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo::_subNodes()']]],
-  ['_5fsvfcontrolmap_11270',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
-  ['_5fsvfdependentonmap_11271',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
-  ['_5fsvfg_11272',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
-  ['_5fsvfgscc_11273',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_11274',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1AEAPI.html#ae983d887ccf66c7f21b4712b37ab5f60',1,'SVF::AEAPI::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
-  ['_5fsvfir2exestate_11275',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
-  ['_5fswitch_5flhsrhs_5fpredicate_11276',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
-  ['_5ft_11277',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
-  ['_5fthisptrclassnames_11278',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],
-  ['_5ftotalcptssize_11279',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofdpm_11280',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofinfeasiblepath_11281',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofmustaliases_11282',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofoutofbudgetquery_11283',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofquery_11284',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstep_11285',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstepincycle_11286',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstrongupdates_11287',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
-  ['_5ftotalptssize_11288',['_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_11289',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
-  ['_5ftotaltimeofqueries_11290',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
-  ['_5ftype_11291',['_type',['../classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788',1,'SVF::WTOComponent']]],
-  ['_5ftypestate_11292',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
-  ['_5fub_11293',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvaluetoallocorclsnamesources_11294',['_valueToAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#afefdc78a399a653f1b408a62eafeaab9',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetoallocs_11295',['_valueToAllocs',['../classSVF_1_1ObjTypeInference.html#a18edeb47fb7734eb17ba3a84181cbc16',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetoinfersites_11296',['_valueToInferSites',['../classSVF_1_1ObjTypeInference.html#a0e34e7ea20e9ff7650f89750c53f4671',1,'SVF::ObjTypeInference']]],
-  ['_5fvaluetotype_11297',['_valueToType',['../classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5',1,'SVF::ObjTypeInference']]],
-  ['_5fvartoaddrs_11298',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
-  ['_5fvartoitvval_11299',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
-  ['_5fvartoval_11300',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
-  ['_5fvisited_11301',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
-  ['_5fvmrssusageafter_11302',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
-  ['_5fvmrssusagebefore_11303',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusageafter_11304',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusagebefore_11305',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
-  ['_5fwtocycledepth_11306',['_wtoCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3',1,'SVF::WTO::WTOCycleDepthBuilder']]]
+  ['_5f_5fpad0_5f_5f_11121',['__pad0__',['../PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PAGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
+  ['_5f_5fpad1_5f_5f_11122',['__pad1__',['../PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
+  ['_5f_5fpad2_5f_5f_11123',['__pad2__',['../VFGGrammar_8txt.html#a9bc898061ee651a5b11d0571ce6dec48',1,'VFGGrammar.txt']]],
+  ['_5faccesslb_11124',['_accessLb',['../structSVF_1_1BufOverflowException.html#a7a81a6ff4877a87f1a09c14cc70b1cc0',1,'SVF::BufOverflowException']]],
+  ['_5faccessub_11125',['_accessUb',['../structSVF_1_1BufOverflowException.html#acd607960043c7073d32220e7e3c1a5b9',1,'SVF::BufOverflowException']]],
+  ['_5faddrs_11126',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
+  ['_5faddrtogep_11127',['_addrToGep',['../classSVF_1_1BufOverflowChecker.html#a0088456e712c555cbfba6203aec38037',1,'SVF::BufOverflowChecker']]],
+  ['_5fae_11128',['_ae',['../classSVF_1_1AEStat.html#adbce526127c9cc83d642cde2a1e77ff7',1,'SVF::AEStat']]],
+  ['_5fallcomponents_11129',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
+  ['_5falloclb_11130',['_allocLb',['../structSVF_1_1BufOverflowException.html#ac7acc98da0c61a5b9835125bf3d2999d',1,'SVF::BufOverflowException']]],
+  ['_5fallocub_11131',['_allocUb',['../structSVF_1_1BufOverflowException.html#a6d6801e705ce872340bc2722fade01ca',1,'SVF::BufOverflowException']]],
+  ['_5fallocvar_11132',['_allocVar',['../structSVF_1_1BufOverflowException.html#a3227be2f0eed6dd0215aa47ea484205c',1,'SVF::BufOverflowException']]],
+  ['_5fanatimecycleperquery_11133',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
+  ['_5fanatimeperquery_11134',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
+  ['_5fander_11135',['_ander',['../classSVF_1_1AbstractExecution.html#a53f3b9c51ed8648f14ecb703e9fe67ae',1,'SVF::AbstractExecution::_ander()'],['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver::_ander()']]],
+  ['_5fapi_11136',['_api',['../classSVF_1_1AbstractExecution.html#a26f8c21bd96ae22ca2e72af6fbfa410c',1,'SVF::AbstractExecution']]],
+  ['_5favgaddrtakenvarptssize_11137',['_AvgAddrTakenVarPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a08bfa021eab91d647932aa790d300bbc',1,'SVF::FlowSensitiveStat']]],
+  ['_5favginoutptssize_11138',['_AvgInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af45e08caf715cca450390ffc2fddb049',1,'SVF::FlowSensitiveStat']]],
+  ['_5favgnumofdpmatsvfgnode_11139',['_AvgNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81',1,'SVF::DDAStat']]],
+  ['_5favgptssize_11140',['_AvgPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a07adfab66dd7ed22993e59ad3bf74946',1,'SVF::FlowSensitiveStat::_AvgPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a637485a4ee7fd5bfd5b78ee140fb3108',1,'SVF::VersionedFlowSensitiveStat::_AvgPtsSize()']]],
+  ['_5favgtoplvlptssize_11141',['_AvgTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a31235f25af7970142ef235681d2a447c',1,'SVF::FlowSensitiveStat::_AvgTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a8bf7eeabb0c390d4f5405d87ffad0492',1,'SVF::VersionedFlowSensitiveStat::_AvgTopLvlPtsSize()']]],
+  ['_5favgversionptssize_11142',['_AvgVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fbr_5fcond_11143',['_br_cond',['../classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5fbranchcondition_11144',['_branchCondition',['../classSVF_1_1SymState.html#acb13a8b241647b36ccd77b5efffb132e',1,'SVF::SymState']]],
+  ['_5fbugloc_11145',['_bugLoc',['../classSVF_1_1AbstractExecution.html#a790c178f8c29eecfc256a5dfd97d1637',1,'SVF::AbstractExecution']]],
+  ['_5fcallgraph_11146',['_callgraph',['../classSVF_1_1AbstractExecution.html#a39439604f7d397f620a7639884ea5b50',1,'SVF::AbstractExecution::_callgraph()'],['../classSVF_1_1DDAVFSolver.html#abf24080617c6a74abed9f0bb0bc9c0c5',1,'SVF::DDAVFSolver::_callGraph()']]],
+  ['_5fcallgraphscc_11147',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
+  ['_5fcallsitestack_11148',['_callSiteStack',['../classSVF_1_1AbstractExecution.html#ab9d6ebcf67ec473ce7ad5910c74eddc1',1,'SVF::AbstractExecution']]],
+  ['_5fcheckpoint_5fnames_11149',['_checkpoint_names',['../classSVF_1_1AbstractExecution.html#a32abc52bc54745027aa2daa67a8278f3',1,'SVF::AbstractExecution']]],
+  ['_5fcheckpoints_11150',['_checkpoints',['../classSVF_1_1AbstractExecution.html#a0a64bef0cc898059c50f6aec470cc6d9',1,'SVF::AbstractExecution']]],
+  ['_5fclient_11151',['_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_11152',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
+  ['_5fcondpts_11153',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
+  ['_5fconsg_11154',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
+  ['_5fcontroldg_11155',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
+  ['_5fcuriter_11156',['_curIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a991ef07c78bd5a80cd62a398514f38ae',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fcurslice_11157',['_curSlice',['../classSVF_1_1SrcSnkDDA.html#a60dcf333cb36230d5f3070e8d238ad6d',1,'SVF::SrcSnkDDA']]],
+  ['_5fcursvfgnode_11158',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
+  ['_5fd_11159',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
+  ['_5fenditer_11160',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fentry_11161',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
+  ['_5fes_11162',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
+  ['_5fexestate_11163',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
+  ['_5fextapibufoverflowcheckrules_11164',['_extAPIBufOverflowCheckRules',['../classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d',1,'SVF::BufOverflowChecker']]],
+  ['_5ffunc_5fmap_11165',['_func_map',['../classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135',1,'SVF::AbstractExecution']]],
+  ['_5ffunctowto_11166',['_funcToWTO',['../classSVF_1_1AbstractExecution.html#ade8434d8f0f5d832842d60b7a56fa64f',1,'SVF::AbstractExecution']]],
+  ['_5fgraph_11167',['_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_11168',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
+  ['_5fheads_11169',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
+  ['_5fi_11170',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
+  ['_5ficfg_11171',['_icfg',['../classSVF_1_1AbstractExecution.html#ab5021d59a929f4eaf5e59d911036d201',1,'SVF::AbstractExecution']]],
+  ['_5ficfgnode_11172',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
+  ['_5finscc_11173',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fispwcnode_11174',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
+  ['_5fkeynodesset_11175',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
+  ['_5fkind_11176',['_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_11177',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
+  ['_5flb_11178',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
+  ['_5floctoaddrs_11179',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
+  ['_5floctoitvval_11180',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
+  ['_5floctoval_11181',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
+  ['_5fmaxaddrtakenvarpts_11182',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxcptssize_11183',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
+  ['_5fmaxinoutptssize_11184',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxnumofdpmatsvfgnode_11185',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
+  ['_5fmaxnumofnodesinscc_11186',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
+  ['_5fmaxptssize_11187',['_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_11188',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
+  ['_5fmaxversionptssize_11189',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmaxversions_11190',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmod_11191',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
+  ['_5fmodulename_11192',['_moduleName',['../classSVF_1_1AbstractExecution.html#a18903b2257e3a2aeec53d79bcf83e7d5',1,'SVF::AbstractExecution']]],
+  ['_5fmsg_11193',['_msg',['../structSVF_1_1BufOverflowException.html#add564a4b3a2d36953936f217e794ded0',1,'SVF::BufOverflowException']]],
+  ['_5fn_11194',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
+  ['_5fnode_11195',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
+  ['_5fnodecontrolmap_11196',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
+  ['_5fnodedependentonmap_11197',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
+  ['_5fnodesccauxinfo_11198',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
+  ['_5fnodetobuginfo_11199',['_nodeToBugInfo',['../classSVF_1_1AbstractExecution.html#a04e812385041270901af0f2cb599fa96',1,'SVF::AbstractExecution']]],
+  ['_5fnodetocdn_11200',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
+  ['_5fnodetodepth_11201',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
+  ['_5fnodetowtocycledepth_11202',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['_5fnum_11203',['_num',['../classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12',1,'SVF::WTO']]],
+  ['_5fnumemptyversions_11204',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumnonemptyversions_11205',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumofactualinsvfgnodeshaveinout_11206',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofactualoutsvfgnodeshaveinout_11207',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofaddrtakevar_11208',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofblackholeptr_11209',['_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_11210',['_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_11211',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
+  ['_5fnumofdpm_11212',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
+  ['_5fnumofformalinsvfgnodeshaveinout_11213',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofformaloutsvfgnodeshaveinout_11214',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofindcalledgesolved_11215',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
+  ['_5fnumofinfeasiblepath_11216',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
+  ['_5fnumofloadsvfgnodeshaveinout_11217',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmssaphisvfgnodeshaveinout_11218',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmustaliases_11219',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
+  ['_5fnumofnodesincycles_11220',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
+  ['_5fnumofnullptr_11221',['_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_11222',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
+  ['_5fnumofstep_11223',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
+  ['_5fnumofstepincycle_11224',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
+  ['_5fnumofstoresvfgnodeshaveinout_11225',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofstrongupdates_11226',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
+  ['_5fnumofsvfgnodeshaveinout_11227',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveemptyinoutpts_11228',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutpts_11229',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualin_11230',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualout_11231',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalin_11232',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalout_11233',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinload_11234',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinmssaphi_11235',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinstore_11236',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumsingleversion_11237',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumusedversions_11238',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumversions_11239',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fobjtoclsnamesources_11240',['_objToClsNameSources',['../classSVF_1_1ObjTypeInference.html#af1bd0b800558eb5e3bcc6fae9c86a874',1,'SVF::ObjTypeInference']]],
+  ['_5fpag_11241',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
+  ['_5fpostes_11242',['_postES',['../classSVF_1_1AbstractExecution.html#a9c6a5b802710efe11b34df45a3f8f73b',1,'SVF::AbstractExecution']]],
+  ['_5fpotentialnumofvarhaveinoutpts_11243',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
+  ['_5fprees_11244',['_preES',['../classSVF_1_1AbstractExecution.html#a86d304f1a16689234d091da4e6e967a7',1,'SVF::AbstractExecution']]],
+  ['_5fpta_11245',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
+  ['_5fptenditer_11246',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fptiter_11247',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5frecoder_11248',['_recoder',['../classSVF_1_1AbstractExecution.html#a5ed683d635bd05f0bee10436d20deb31',1,'SVF::AbstractExecution']]],
+  ['_5frecursivefuns_11249',['_recursiveFuns',['../classSVF_1_1AbstractExecution.html#ac7b2e6bdccab5a507c9e8db8ea4682d3',1,'SVF::AbstractExecution']]],
+  ['_5freles_11250',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5frep_11251',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5frepnode_11252',['_repNode',['../classSVF_1_1ICFG.html#a7a2813375e838aac11e74dc068fc6b58',1,'SVF::ICFG']]],
+  ['_5freverse_5fpredicate_11253',['_reverse_predicate',['../AbstractExecution_8cpp.html#a6baa35cec0782ac3179849752a732e5c',1,'AbstractExecution.cpp']]],
+  ['_5fs_11254',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
+  ['_5fscc_11255',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
+  ['_5fss_11256',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
+  ['_5fstack_11257',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
+  ['_5fstat_11258',['_stat',['../classSVF_1_1AbstractExecution.html#a74a55a4d4941c85bdfed81f060049bf0',1,'SVF::AbstractExecution']]],
+  ['_5fstrongupdatestores_11259',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
+  ['_5fsubnodes_11260',['_subNodes',['../classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7',1,'SVF::ICFG::_subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo::_subNodes()']]],
+  ['_5fsvfcontrolmap_11261',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
+  ['_5fsvfdependentonmap_11262',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
+  ['_5fsvfg_11263',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
+  ['_5fsvfgscc_11264',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
+  ['_5fsvfir_11265',['_svfir',['../classSVF_1_1AbstractExecution.html#a49742e8c3a8fe598a0945a8d8ff394d0',1,'SVF::AbstractExecution::_svfir()'],['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState::_svfir()']]],
+  ['_5fsvfir2exestate_11266',['_svfir2ExeState',['../classSVF_1_1AbstractExecution.html#a5e24bceb3d6961117651dbc65e9a097a',1,'SVF::AbstractExecution']]],
+  ['_5fswitch_5flhsrhs_5fpredicate_11267',['_switch_lhsrhs_predicate',['../AbstractExecution_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractExecution.cpp']]],
+  ['_5ft_11268',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
+  ['_5fthisptrclassnames_11269',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],
+  ['_5ftotalcptssize_11270',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofdpm_11271',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofinfeasiblepath_11272',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofmustaliases_11273',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofoutofbudgetquery_11274',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofquery_11275',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstep_11276',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstepincycle_11277',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstrongupdates_11278',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
+  ['_5ftotalptssize_11279',['_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_11280',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
+  ['_5ftotaltimeofqueries_11281',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
+  ['_5ftype_11282',['_type',['../classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788',1,'SVF::WTOComponent']]],
+  ['_5ftypestate_11283',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
+  ['_5fub_11284',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
+  ['_5fvaluetoallocorclsnamesources_11285',['_valueToAllocOrClsNameSources',['../classSVF_1_1ObjTypeInference.html#afefdc78a399a653f1b408a62eafeaab9',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetoallocs_11286',['_valueToAllocs',['../classSVF_1_1ObjTypeInference.html#a18edeb47fb7734eb17ba3a84181cbc16',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetoinfersites_11287',['_valueToInferSites',['../classSVF_1_1ObjTypeInference.html#a0e34e7ea20e9ff7650f89750c53f4671',1,'SVF::ObjTypeInference']]],
+  ['_5fvaluetotype_11288',['_valueToType',['../classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5',1,'SVF::ObjTypeInference']]],
+  ['_5fvartoaddrs_11289',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
+  ['_5fvartoitvval_11290',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
+  ['_5fvartoval_11291',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
+  ['_5fvisited_11292',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
+  ['_5fvmrssusageafter_11293',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
+  ['_5fvmrssusagebefore_11294',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusageafter_11295',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusagebefore_11296',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
+  ['_5fwtocycledepth_11297',['_wtoCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3',1,'SVF::WTO::WTOCycleDepthBuilder']]]
 ];