svf-tools 1.0.855 → 1.0.857

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

@@ -14,7 +14,7 @@ var searchData=
   ['_5f_5fres_5fstate_11',['__res_state',['../extapi_8c.html#a74e237127d0382ea86b6d96ebdf81583',1,'extapi.c']]],
   ['_5f_5fstrchrnull_12',['__strchrnull',['../extapi_8c.html#a4d41ebdaac1e767baa35d0094eb18874',1,'extapi.c']]],
   ['_5faddrs_13',['_addrs',['../classSVF_1_1AddressValue.html#aa2fb34da617be0cc5ccf4a1d404e32e5',1,'SVF::AddressValue']]],
-  ['_5fallcomponents_14',['_allComponents',['../classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694',1,'SVF::CFBasicBlockGWTO']]],
+  ['_5fallcomponents_14',['_allComponents',['../classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542',1,'SVF::WTO']]],
   ['_5fanatimecycleperquery_15',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
   ['_5fanatimeperquery_16',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
   ['_5fander_17',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],
@@ -30,7 +30,7 @@ var searchData=
   ['_5fcallgraphscc_27',['_callGraphSCC',['../classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a',1,'SVF::DDAVFSolver']]],
   ['_5fcfbasicblockg_28',['_CFBasicBlockG',['../classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3',1,'SVF::CFBasicBlockGBuilder']]],
   ['_5fclient_29',['_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_30',['_components',['../classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f',1,'SVF::CFBasicBlockGWTOCycle::_components()'],['../classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171',1,'SVF::CFBasicBlockGWTO::_components()']]],
+  ['_5fcomponents_30',['_components',['../classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53',1,'SVF::WTOCycle::_components()'],['../classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1',1,'SVF::WTO::_components()']]],
   ['_5fcondpts_31',['_condPts',['../classSVF_1_1CondPointsToSet.html#ad0e1a70889a7bf2cb1b201a129128c52',1,'SVF::CondPointsToSet']]],
   ['_5fconsg_32',['_consG',['../classSVF_1_1CSC.html#a549a0a410b1ca9eeb22c05dd93761560',1,'SVF::CSC']]],
   ['_5fcontroldg_33',['_controlDG',['../classSVF_1_1CDGBuilder.html#abd60cdbb947fe63accc2fea3683b81e4',1,'SVF::CDGBuilder']]],
@@ -39,129 +39,126 @@ var searchData=
   ['_5fcursvfgnode_36',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
   ['_5fd_37',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
   ['_5fenditer_38',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fes_39',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
-  ['_5fexestate_40',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
-  ['_5fgraph_41',['_graph',['../classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3',1,'SVF::CFBasicBlockGWTO::_graph()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777',1,'SVF::CFBasicBlockGWTO::TailBuilder::_graph()'],['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668',1,'SVF::GraphReachSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
-  ['_5fhead_42',['_head',['../classSVF_1_1CFBasicBlockGWTOCycle.html#a1a47343251d77e859dcae8aad05901da',1,'SVF::CFBasicBlockGWTOCycle::_head()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#ae846777ace039ab74fad15ee52884f44',1,'SVF::CFBasicBlockGWTO::TailBuilder::_head()']]],
-  ['_5fheads_43',['_heads',['../classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f',1,'SVF::WTOCycleDepth']]],
-  ['_5fheadtocycle_44',['_headToCycle',['../classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadtotails_45',['_headToTails',['../classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fheadwtocycledepth_46',['_headWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a27e3f03587ce871f41853e3be2537209',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5fi_47',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
-  ['_5ficfgedge_48',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
-  ['_5ficfgnode_49',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
-  ['_5ficfgnodes_50',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
-  ['_5finscc_51',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fispwcnode_52',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
-  ['_5fkeynodesset_53',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
-  ['_5fkind_54',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
-  ['_5fla_55',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
-  ['_5flb_56',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoaddrs_57',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
-  ['_5floctoitvval_58',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
-  ['_5floctoval_59',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
-  ['_5fmaxaddrtakenvarpts_60',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxcptssize_61',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
-  ['_5fmaxinoutptssize_62',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
-  ['_5fmaxnumofdpmatsvfgnode_63',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
-  ['_5fmaxnumofnodesinscc_64',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
-  ['_5fmaxptssize_65',['_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_66',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
-  ['_5fmaxversionptssize_67',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmaxversions_68',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fmod_69',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
-  ['_5fn_70',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
-  ['_5fnode_71',['_node',['../classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f',1,'SVF::CFBasicBlockGWTONode']]],
-  ['_5fnodecontrolmap_72',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
-  ['_5fnodedependentonmap_73',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
-  ['_5fnodesccauxinfo_74',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
-  ['_5fnodetocdn_75',['_nodeToCDN',['../classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetodepth_76',['_nodeToDepth',['../classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnodetowtocycledepth_77',['_nodeToWTOCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::_nodeToWTOCycleDepth()'],['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c',1,'SVF::CFBasicBlockGWTO::TailBuilder::_nodeToWTOCycleDepth()']]],
-  ['_5fnum_78',['_num',['../classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fnumemptyversions_79',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumnonemptyversions_80',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumofactualinsvfgnodeshaveinout_81',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofactualoutsvfgnodeshaveinout_82',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofaddrtakevar_83',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofblackholeptr_84',['_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_85',['_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_86',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
-  ['_5fnumofdpm_87',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
-  ['_5fnumofformalinsvfgnodeshaveinout_88',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofformaloutsvfgnodeshaveinout_89',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofindcalledgesolved_90',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
-  ['_5fnumofinfeasiblepath_91',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
-  ['_5fnumofloadsvfgnodeshaveinout_92',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmssaphisvfgnodeshaveinout_93',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofmustaliases_94',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
-  ['_5fnumofnodesincycles_95',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
-  ['_5fnumofnullptr_96',['_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_97',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
-  ['_5fnumofstep_98',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
-  ['_5fnumofstepincycle_99',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
-  ['_5fnumofstoresvfgnodeshaveinout_100',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofstrongupdates_101',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
-  ['_5fnumofsvfgnodeshaveinout_102',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveemptyinoutpts_103',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutpts_104',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualin_105',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinactualout_106',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalin_107',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinformalout_108',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinload_109',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinmssaphi_110',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumofvarhaveinoutptsinstore_111',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
-  ['_5fnumsingleversion_112',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumusedversions_113',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fnumversions_114',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['_5fpag_115',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
-  ['_5fpotentialnumofvarhaveinoutpts_116',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
-  ['_5fpta_117',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
-  ['_5fptenditer_118',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fptiter_119',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5freles_120',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5frep_121',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fs_122',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
-  ['_5fscc_123',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
-  ['_5fss_124',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
-  ['_5fstack_125',['_stack',['../classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303',1,'SVF::CFBasicBlockGWTO']]],
-  ['_5fstrongupdatestores_126',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
-  ['_5fsubnodes_127',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['_5fsvfcontrolmap_128',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
-  ['_5fsvfdependentonmap_129',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
-  ['_5fsvfg_130',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
-  ['_5fsvfgscc_131',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
-  ['_5fsvfir_132',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
-  ['_5ft_133',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
-  ['_5ftails_134',['_tails',['../classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a6328b869dd664d4eca8e13c4dae3703b',1,'SVF::CFBasicBlockGWTO::TailBuilder']]],
-  ['_5ftotalcfbasicblockedge_135',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcfbasicblocknode_136',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
-  ['_5ftotalcptssize_137',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofdpm_138',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofinfeasiblepath_139',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofmustaliases_140',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofoutofbudgetquery_141',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofquery_142',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstep_143',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstepincycle_144',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
-  ['_5ftotalnumofstrongupdates_145',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
-  ['_5ftotalptssize_146',['_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_147',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
-  ['_5ftotaltimeofqueries_148',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
-  ['_5ftype_149',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
-  ['_5ftypestate_150',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
-  ['_5fub_151',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvartoaddrs_152',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
-  ['_5fvartoitvval_153',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
-  ['_5fvartoval_154',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
-  ['_5fvisited_155',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
-  ['_5fvmrssusageafter_156',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
-  ['_5fvmrssusagebefore_157',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusageafter_158',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
-  ['_5fvmsizeusagebefore_159',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
-  ['_5fwtocycledepth_160',['_wtoCycleDepth',['../classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#ad2be261b3cccfd58d83ad1d6659ef639',1,'SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder']]],
-  ['_5fznssc1epkcrksaice_161',['_ZNSsC1EPKcRKSaIcE',['../extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e',1,'extapi.c']]],
-  ['_5fznst7_5f_5fcxx1112basic_5fstringicst11char_5ftraitsicesaiceec1epkcrks3_5f_162',['_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_',['../extapi_8c.html#a6b628494b34855b545b4d1837ddf5048',1,'extapi.c']]],
-  ['_5fznst8_5f_5fdetail15_5flist_5fnode_5fbase7_5fm_5fhookeps0_5f_163',['_ZNSt8__detail15_List_node_base7_M_hookEPS0_',['../extapi_8c.html#a8722c08a7fc65863c500bd0f71307382',1,'extapi.c']]]
+  ['_5fentry_39',['_entry',['../classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047',1,'SVF::WTO']]],
+  ['_5fes_40',['_es',['../classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224',1,'SVF::SVFIR2ConsExeState::_es()'],['../classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e',1,'SVF::SVFIR2ItvExeState::_es()']]],
+  ['_5fexestate_41',['_exeState',['../classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50',1,'SVF::SymState']]],
+  ['_5fgraph_42',['_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_43',['_head',['../classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66',1,'SVF::WTOCycle']]],
+  ['_5fheads_44',['_heads',['../classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8',1,'SVF::WTOCycleDepth']]],
+  ['_5fi_45',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
+  ['_5ficfgedge_46',['_icfgEdge',['../classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab',1,'SVF::CFBasicBlockEdge']]],
+  ['_5ficfgnode_47',['_icfgNode',['../classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba',1,'SVF::CDGNode']]],
+  ['_5ficfgnodes_48',['_icfgNodes',['../classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a',1,'SVF::CFBasicBlockNode']]],
+  ['_5finscc_49',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fispwcnode_50',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],
+  ['_5fkeynodesset_51',['_keyNodesSet',['../classSVF_1_1SymState.html#a55fdbbd612acf5f95b59a6b4b8650e43',1,'SVF::SymState']]],
+  ['_5fkind_52',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
+  ['_5fla_53',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
+  ['_5flb_54',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
+  ['_5floctoaddrs_55',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
+  ['_5floctoitvval_56',['_locToItvVal',['../classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc',1,'SVF::IntervalESBase']]],
+  ['_5floctoval_57',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
+  ['_5fmaxaddrtakenvarpts_58',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxcptssize_59',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
+  ['_5fmaxinoutptssize_60',['_MaxInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#ab3e56ed16ce45d35c8f35f1fc1248c36',1,'SVF::FlowSensitiveStat']]],
+  ['_5fmaxnumofdpmatsvfgnode_61',['_MaxNumOfDPMAtSVFGNode',['../classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b',1,'SVF::DDAStat']]],
+  ['_5fmaxnumofnodesinscc_62',['_MaxNumOfNodesInSCC',['../classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10',1,'SVF::AndersenStat']]],
+  ['_5fmaxptssize_63',['_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_64',['_MaxTopLvlPtsSize',['../classSVF_1_1FlowSensitiveStat.html#aecf324702d542f824e8b7a4d9827f557',1,'SVF::FlowSensitiveStat::_MaxTopLvlPtsSize()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5',1,'SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize()']]],
+  ['_5fmaxversionptssize_65',['_MaxVersionPtsSize',['../classSVF_1_1VersionedFlowSensitiveStat.html#a8c4bfeab6bb30a16689d3c3c54a1057d',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmaxversions_66',['_MaxVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#aacce301a2c2613591dcd2afaccfcb380',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fmod_67',['_mod',['../classSVF_1_1LockResultValidator.html#a2e3ded56c4e1e1a2a0b28c0d44011b61',1,'SVF::LockResultValidator']]],
+  ['_5fn_68',['_n',['../classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a',1,'SVF::NumericLiteral']]],
+  ['_5fnode_69',['_node',['../classSVF_1_1WTONode.html#aa673666e3776f7b75b341dc1695841e9',1,'SVF::WTONode']]],
+  ['_5fnodecontrolmap_70',['_nodeControlMap',['../classSVF_1_1CDGBuilder.html#a0774da5d81fe9e454800c63f2ada4a00',1,'SVF::CDGBuilder']]],
+  ['_5fnodedependentonmap_71',['_nodeDependentOnMap',['../classSVF_1_1CDGBuilder.html#ae62cf8bbe09fcccbace46375f5b043f8',1,'SVF::CDGBuilder']]],
+  ['_5fnodesccauxinfo_72',['_NodeSCCAuxInfo',['../classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b',1,'SVF::SCCDetection']]],
+  ['_5fnodetocdn_73',['_nodeToCDN',['../classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8',1,'SVF::WTO']]],
+  ['_5fnodetodepth_74',['_nodeToDepth',['../classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9',1,'SVF::WTO']]],
+  ['_5fnodetowtocycledepth_75',['_nodeToWTOCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['_5fnum_76',['_num',['../classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12',1,'SVF::WTO']]],
+  ['_5fnumemptyversions_77',['_NumEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumnonemptyversions_78',['_NumNonEmptyVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a59f2b0ca53d3b94ce596cd2a934e6976',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumofactualinsvfgnodeshaveinout_79',['_NumOfActualInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a0530fa56a9cea05d25ee350e9db9ed2a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofactualoutsvfgnodeshaveinout_80',['_NumOfActualOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a3ac011649b3c0ced46283265ba88dd0e',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofaddrtakevar_81',['_NumOfAddrTakeVar',['../classSVF_1_1FlowSensitiveStat.html#ae2d4df7129385905775489f1389a9fa7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofblackholeptr_82',['_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_83',['_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_84',['_NumOfCycles',['../classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21',1,'SVF::AndersenStat']]],
+  ['_5fnumofdpm_85',['_NumOfDPM',['../classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa',1,'SVF::DDAStat']]],
+  ['_5fnumofformalinsvfgnodeshaveinout_86',['_NumOfFormalInSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a2e9a786af3bce4b345d88ff05cd71f0f',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofformaloutsvfgnodeshaveinout_87',['_NumOfFormalOutSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a1cfd15cd46178718ea459f79738e0b69',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofindcalledgesolved_88',['_NumOfIndCallEdgeSolved',['../classSVF_1_1DDAStat.html#adfe649818cc19a9cd432ae25aa80018d',1,'SVF::DDAStat']]],
+  ['_5fnumofinfeasiblepath_89',['_NumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a5ebc592d6bd7ef40aff848fb63e9e166',1,'SVF::DDAStat']]],
+  ['_5fnumofloadsvfgnodeshaveinout_90',['_NumOfLoadSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ab6fdf88fe931ead9a9b8f353c547c4ae',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmssaphisvfgnodeshaveinout_91',['_NumOfMSSAPhiSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#a60741c38448e909388942a5e9f5b5ef4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofmustaliases_92',['_NumOfMustAliases',['../classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38',1,'SVF::DDAStat']]],
+  ['_5fnumofnodesincycles_93',['_NumOfNodesInCycles',['../classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9',1,'SVF::AndersenStat']]],
+  ['_5fnumofnullptr_94',['_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_95',['_NumOfPWCCycles',['../classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83',1,'SVF::AndersenStat']]],
+  ['_5fnumofstep_96',['_NumOfStep',['../classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e',1,'SVF::DDAStat']]],
+  ['_5fnumofstepincycle_97',['_NumOfStepInCycle',['../classSVF_1_1DDAStat.html#aa9daed44e9d2ca2722ea9ab9d4517a21',1,'SVF::DDAStat']]],
+  ['_5fnumofstoresvfgnodeshaveinout_98',['_NumOfStoreSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#ae0db364bf6657c770deabbe75d901a46',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofstrongupdates_99',['_NumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1',1,'SVF::DDAStat']]],
+  ['_5fnumofsvfgnodeshaveinout_100',['_NumOfSVFGNodesHaveInOut',['../classSVF_1_1FlowSensitiveStat.html#aa39c5d81cef922d7a0f98913dbf51fb0',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveemptyinoutpts_101',['_NumOfVarHaveEmptyINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a2162dffeb03e84daca52d6d8429b8529',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutpts_102',['_NumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#ab6ccd8de2b7573f34c4d04b7f40d6522',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualin_103',['_NumOfVarHaveINOUTPtsInActualIn',['../classSVF_1_1FlowSensitiveStat.html#a505057e9b8962359c9461395fd7ed138',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinactualout_104',['_NumOfVarHaveINOUTPtsInActualOut',['../classSVF_1_1FlowSensitiveStat.html#abeef6e8ba26d73d9e981a23d9f96e4d7',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalin_105',['_NumOfVarHaveINOUTPtsInFormalIn',['../classSVF_1_1FlowSensitiveStat.html#acebccfa66669033af9f9d4b3d021ec1a',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinformalout_106',['_NumOfVarHaveINOUTPtsInFormalOut',['../classSVF_1_1FlowSensitiveStat.html#a0f9098bb73b06ba963bdce8ea26f0fa3',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinload_107',['_NumOfVarHaveINOUTPtsInLoad',['../classSVF_1_1FlowSensitiveStat.html#aa754517cc9b5faeea010e336027c0ab4',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinmssaphi_108',['_NumOfVarHaveINOUTPtsInMSSAPhi',['../classSVF_1_1FlowSensitiveStat.html#a90f1c6072a153c856765b24bbcbfaeef',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumofvarhaveinoutptsinstore_109',['_NumOfVarHaveINOUTPtsInStore',['../classSVF_1_1FlowSensitiveStat.html#a21f2c005bf927c0c23772172c08402bf',1,'SVF::FlowSensitiveStat']]],
+  ['_5fnumsingleversion_110',['_NumSingleVersion',['../classSVF_1_1VersionedFlowSensitiveStat.html#a54c05a4b7ca2af66bf74a5f87cd2c416',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumusedversions_111',['_NumUsedVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#ac938f088c33346ad01ace37160ea8e81',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fnumversions_112',['_NumVersions',['../classSVF_1_1VersionedFlowSensitiveStat.html#a7efe89e95b5989f861d934d52d0bbce0',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['_5fpag_113',['_pag',['../classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe',1,'SVF::DDAVFSolver']]],
+  ['_5fpotentialnumofvarhaveinoutpts_114',['_PotentialNumOfVarHaveINOUTPts',['../classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97',1,'SVF::FlowSensitiveStat']]],
+  ['_5fpta_115',['_pta',['../classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86',1,'SVF::DDAPass::_pta()'],['../classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0',1,'SVF::WPAPass::_pta()']]],
+  ['_5fptenditer_116',['_ptEndIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ae5fe9ff25c62386cbdd97d30b64b6972',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5fptiter_117',['_ptIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
+  ['_5freles_118',['_relEs',['../classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5frep_119',['_rep',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fs_120',['_S',['../classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51',1,'SVF::CSC']]],
+  ['_5fscc_121',['_scc',['../classSVF_1_1CSC.html#ad6639daea8a19a920c88af332a420d00',1,'SVF::CSC']]],
+  ['_5fss_122',['_SS',['../classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9',1,'SVF::SCCDetection']]],
+  ['_5fstack_123',['_stack',['../classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050',1,'SVF::WTO']]],
+  ['_5fstrongupdatestores_124',['_StrongUpdateStores',['../classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647',1,'SVF::DDAStat']]],
+  ['_5fsubnodes_125',['_subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['_5fsvfcontrolmap_126',['_svfcontrolMap',['../classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613',1,'SVF::CDGBuilder']]],
+  ['_5fsvfdependentonmap_127',['_svfdependentOnMap',['../classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e',1,'SVF::CDGBuilder']]],
+  ['_5fsvfg_128',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
+  ['_5fsvfgscc_129',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
+  ['_5fsvfir_130',['_svfir',['../classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a',1,'SVF::SVFIR2ItvExeState']]],
+  ['_5ft_131',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
+  ['_5ftotalcfbasicblockedge_132',['_totalCFBasicBlockEdge',['../classSVF_1_1CFBasicBlockGraph.html#a307a47681c72267f6e90d7009d1b3c6b',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcfbasicblocknode_133',['_totalCFBasicBlockNode',['../classSVF_1_1CFBasicBlockGraph.html#af26009309b28b1d9f3f31f802307f6e9',1,'SVF::CFBasicBlockGraph']]],
+  ['_5ftotalcptssize_134',['_TotalCPtsSize',['../classSVF_1_1DDAStat.html#a54ac2369d36af7fc5b91e0a07cc3619c',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofdpm_135',['_TotalNumOfDPM',['../classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofinfeasiblepath_136',['_TotalNumOfInfeasiblePath',['../classSVF_1_1DDAStat.html#a1388b2d218d5c28eaf3f487950c99730',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofmustaliases_137',['_TotalNumOfMustAliases',['../classSVF_1_1DDAStat.html#a4f8bf2dd8409398ddf5659d0f52bb5e1',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofoutofbudgetquery_138',['_TotalNumOfOutOfBudgetQuery',['../classSVF_1_1DDAStat.html#a1f72d0026a7ab26aa8ac857e658c1015',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofquery_139',['_TotalNumOfQuery',['../classSVF_1_1DDAStat.html#a89a4b18ce34e6899637ea183e4331ccd',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstep_140',['_TotalNumOfStep',['../classSVF_1_1DDAStat.html#a0a5f8453f5347087d0f208101119a172',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstepincycle_141',['_TotalNumOfStepInCycle',['../classSVF_1_1DDAStat.html#acca22153ac81b5e37734c9786856e605',1,'SVF::DDAStat']]],
+  ['_5ftotalnumofstrongupdates_142',['_TotalNumOfStrongUpdates',['../classSVF_1_1DDAStat.html#a65008c43bee55d59fd3975d4ad7f44a1',1,'SVF::DDAStat']]],
+  ['_5ftotalptssize_143',['_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_144',['_TotalTimeOfBKCondition',['../classSVF_1_1DDAStat.html#a9625c4623acc4f6ccaca1ec8f04f5a54',1,'SVF::DDAStat']]],
+  ['_5ftotaltimeofqueries_145',['_TotalTimeOfQueries',['../classSVF_1_1DDAStat.html#ac3189db5d8e17f64fdfcc9b040cf6100',1,'SVF::DDAStat']]],
+  ['_5ftype_146',['_type',['../classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788',1,'SVF::WTOComponent']]],
+  ['_5ftypestate_147',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
+  ['_5fub_148',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
+  ['_5fvartoaddrs_149',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
+  ['_5fvartoitvval_150',['_varToItvVal',['../classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428',1,'SVF::IntervalESBase']]],
+  ['_5fvartoval_151',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
+  ['_5fvisited_152',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
+  ['_5fvmrssusageafter_153',['_vmrssUsageAfter',['../classSVF_1_1PTAStat.html#a6f10f5904d5260b331a9a1506986abe8',1,'SVF::PTAStat']]],
+  ['_5fvmrssusagebefore_154',['_vmrssUsageBefore',['../classSVF_1_1PTAStat.html#ae72a3119a03e30084383defacf62264d',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusageafter_155',['_vmsizeUsageAfter',['../classSVF_1_1PTAStat.html#a6ab3ed046a39fdf3862509304e7777d7',1,'SVF::PTAStat']]],
+  ['_5fvmsizeusagebefore_156',['_vmsizeUsageBefore',['../classSVF_1_1PTAStat.html#a4ca7e1972a14b48225a2bd0f4bd8e825',1,'SVF::PTAStat']]],
+  ['_5fwtocycledepth_157',['_wtoCycleDepth',['../classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3',1,'SVF::WTO::WTOCycleDepthBuilder']]],
+  ['_5fznssc1epkcrksaice_158',['_ZNSsC1EPKcRKSaIcE',['../extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e',1,'extapi.c']]],
+  ['_5fznst7_5f_5fcxx1112basic_5fstringicst11char_5ftraitsicesaiceec1epkcrks3_5f_159',['_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_',['../extapi_8c.html#a6b628494b34855b545b4d1837ddf5048',1,'extapi.c']]],
+  ['_5fznst8_5f_5fdetail15_5flist_5fnode_5fbase7_5fm_5fhookeps0_5f_160',['_ZNSt8__detail15_List_node_base7_M_hookEPS0_',['../extapi_8c.html#a8722c08a7fc65863c500bd0f71307382',1,'extapi.c']]]
 ];