Here is a list of all class members with links to the classes they belong to:
- _ -
- _addrs : SVF::AddressValue
- _addrToAbsVal : SVF::AbstractState
- _addrToVal : SVF::RelExeState
- _ae : SVF::AEStat
- _allComponents : SVF::WTO< GraphT >
- _AnaTimeCyclePerQuery : SVF::DDAStat
- _AnaTimePerQuery : SVF::DDAStat
- _ander : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- _AvgAddrTakenVarPtsSize : SVF::FlowSensitiveStat
- _AvgInOutPtsSize : SVF::FlowSensitiveStat
- _AvgNumOfDPMAtSVFGNode : SVF::DDAStat
- _AvgPtsSize : SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
- _AvgTopLvlPtsSize : SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
- _AvgVersionPtsSize : SVF::VersionedFlowSensitiveStat
- _callGraph : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- _callGraphSCC : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- _client : SVF::ContextDDA, SVF::DDAPass, SVF::FlowDDA
- _components : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >
- _condPts : SVF::CondPointsToSet< Cond >
- _consG : SVF::CSC
- _controlDG : SVF::CDGBuilder
- _curIter : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
- _curSlice : SVF::SrcSnkDDA
- _curSVFGNode : SVF::ProgSlice
- _D : SVF::CSC, SVF::SCCDetection< GraphType >
- _endIter : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
- _entry : SVF::WTO< GraphT >
- _fVal : SVF::BoundedDouble
- _graph : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SCCDetection< GraphType >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >, SVF::WTO< GraphT >
- _head : SVF::WTOCycle< GraphT >
- _heads : SVF::WTOCycleDepth< GraphT >
- _I : SVF::CSC, SVF::SCCDetection< GraphType >
- _icfgNode : SVF::CDGNode
- _inSCC : SVF::SCCDetection< GraphType >::GNodeSCCInfo
- _isInf : SVF::BoundedInt
- _isPWCNode : SVF::ConstraintNode
- _iVal : SVF::BoundedInt
- _lb : SVF::IntervalValue
- _MaxAddrTakenVarPts : SVF::FlowSensitiveStat
- _MaxCPtsSize : SVF::DDAStat
- _MaxInOutPtsSize : SVF::FlowSensitiveStat
- _MaxNumOfDPMAtSVFGNode : SVF::DDAStat
- _MaxNumOfNodesInSCC : SVF::AndersenStat
- _MaxPtsSize : SVF::AndersenStat, SVF::DDAStat, SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
- _MaxTopLvlPtsSize : SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
- _MaxVersionPtsSize : SVF::VersionedFlowSensitiveStat
- _MaxVersions : SVF::VersionedFlowSensitiveStat
- _node : SVF::WTONode< GraphT >
- _nodeControlMap : SVF::CDGBuilder
- _nodeDependentOnMap : SVF::CDGBuilder
- _NodeSCCAuxInfo : SVF::SCCDetection< GraphType >
- _nodeToCDN : SVF::WTO< GraphT >
- _nodeToDepth : SVF::WTO< GraphT >
- _nodeToWTOCycleDepth : SVF::WTO< GraphT >::WTOCycleDepthBuilder
- _num : SVF::WTO< GraphT >
- _NumEmptyVersions : SVF::VersionedFlowSensitiveStat
- _NumNonEmptyVersions : SVF::VersionedFlowSensitiveStat
- _NumOfActualInSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfActualOutSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfAddrTakeVar : SVF::FlowSensitiveStat
- _NumOfBlackholePtr : SVF::AndersenStat, SVF::DDAStat, SVF::FlowSensitiveStat
- _NumOfConstantPtr : SVF::AndersenStat, SVF::DDAStat, SVF::FlowSensitiveStat
- _NumOfCycles : SVF::AndersenStat
- _NumOfDPM : SVF::DDAStat
- _NumOfFormalInSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfFormalOutSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfIndCallEdgeSolved : SVF::DDAStat
- _NumOfInfeasiblePath : SVF::DDAStat
- _NumOfLoadSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfMSSAPhiSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfMustAliases : SVF::DDAStat
- _NumOfNodesInCycles : SVF::AndersenStat
- _NumOfNullPtr : SVF::AndersenStat, SVF::DDAStat, SVF::FlowSensitiveStat
- _NumOfPWCCycles : SVF::AndersenStat
- _NumOfStep : SVF::DDAStat
- _NumOfStepInCycle : SVF::DDAStat
- _NumOfStoreSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfStrongUpdates : SVF::DDAStat
- _NumOfSVFGNodesHaveInOut : SVF::FlowSensitiveStat
- _NumOfVarHaveEmptyINOUTPts : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPts : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInActualIn : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInActualOut : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInFormalIn : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInFormalOut : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInLoad : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInMSSAPhi : SVF::FlowSensitiveStat
- _NumOfVarHaveINOUTPtsInStore : SVF::FlowSensitiveStat
- _NumSingleVersion : SVF::VersionedFlowSensitiveStat
- _NumUsedVersions : SVF::VersionedFlowSensitiveStat
- _NumVersions : SVF::VersionedFlowSensitiveStat
- _objToClsNameSources : SVF::ObjTypeInference
- _pag : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- _PotentialNumOfVarHaveINOUTPts : SVF::FlowSensitiveStat
- _pta : SVF::DDAPass, SVF::WPAPass
- _ptEndIter : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
- _ptIter : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
- _rep : SVF::SCCDetection< GraphType >::GNodeSCCInfo
- _repNode : SVF::ICFG
- _reverse_predicate : SVF::AbstractInterpretation
- _S : SVF::CSC
- _scc : SVF::CSC
- _SS : SVF::SCCDetection< GraphType >
- _stack : SVF::WTO< GraphT >
- _StrongUpdateStores : SVF::DDAStat
- _subNodes : SVF::ICFG, SVF::SCCDetection< GraphType >::GNodeSCCInfo
- _svfcontrolMap : SVF::CDGBuilder
- _svfdependentOnMap : SVF::CDGBuilder
- _svfg : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::WPAPass
- _svfgSCC : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- _switch_lhsrhs_predicate : SVF::AbstractInterpretation
- _T : SVF::SCCDetection< GraphType >
- _thisPtrClassNames : SVF::ObjTypeInference
- _TotalCPtsSize : SVF::DDAStat
- _TotalNumOfDPM : SVF::DDAStat
- _TotalNumOfInfeasiblePath : SVF::DDAStat
- _TotalNumOfMustAliases : SVF::DDAStat
- _TotalNumOfOutOfBudgetQuery : SVF::DDAStat
- _TotalNumOfQuery : SVF::DDAStat
- _TotalNumOfStep : SVF::DDAStat
- _TotalNumOfStepInCycle : SVF::DDAStat
- _TotalNumOfStrongUpdates : SVF::DDAStat
- _TotalPtsSize : SVF::DDAStat, SVF::FlowSensitiveStat, SVF::VersionedFlowSensitiveStat
- _TotalTimeOfBKCondition : SVF::DDAStat
- _TotalTimeOfQueries : SVF::DDAStat
- _type : SVF::WTOComponent< GraphT >
- _ub : SVF::IntervalValue
- _valueToAllocOrClsNameSources : SVF::ObjTypeInference
- _valueToAllocs : SVF::ObjTypeInference
- _valueToInferSites : SVF::ObjTypeInference
- _valueToType : SVF::ObjTypeInference
- _varToAbsVal : SVF::AbstractState
- _varToVal : SVF::RelExeState
- _visited : SVF::CSC, SVF::SCCDetection< GraphType >::GNodeSCCInfo
- _vmrssUsageAfter : SVF::PTAStat
- _vmrssUsageBefore : SVF::PTAStat
- _vmsizeUsageAfter : SVF::PTAStat
- _vmsizeUsageBefore : SVF::PTAStat
- _wtoCycleDepth : SVF::WTO< GraphT >::WTOCycleDepthBuilder
