Here is a list of all class members with links to the classes they belong to:

- r -

• RaceCheck : SVF::Options
• rawProductions : SVF::GrammarBase
• RcSvfgBuilder : SVF::SVFG
• reachableBBs : SVF::SVFLoopAndDomInfo
• reachGlob : SVF::ProgSlice
• ReadAnder : SVF::Options
• readAndSetObjFieldSensitivity() : SVF::BVDataPTAImpl
• readFile() : SVF::SVFG
• readFromFile() : SVF::BVDataPTAImpl
• readGepObjVarMapFromFile() : SVF::BVDataPTAImpl
• readInheritanceMetadataFromModule() : SVF::CHGBuilder
• ReadJson : SVF::Options
• readPtsFromFile() : SVF::AndersenBase, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• readPtsResultFromFile() : SVF::BVDataPTAImpl
• ReadSVFG : SVF::Options
• readVersionedAnalysisResultFromFile() : SVF::VersionedFlowSensitive
• realDefFun : SVF::FunObjVar
• reallocate() : internal_hooks
• reanalyze : SVF::WPASolver< GraphType >
• recoder : SVF::BufOverflowDetector
• reCompute() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• reComputeForEdges() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• recursiveCallPass() : SVF::AbstractInterpretation
• recursiveFuns : SVF::AbstractInterpretation
• redundantGepNodes : SVF::AndersenBase
• reference : SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator
• ReferenceProxy() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• reg2BBMap : SVF::MemSSA
• RegionAlign : SVF::Options
• RegionedClustering : SVF::Options
• RegioningTime : SVF::NodeIDAllocator::Clusterer
• regionObjects() : SVF::NodeIDAllocator::Clusterer
• RelationSolver : SVF::AbstractState, SVF::RelationSolver
• RELATIONTYPE : SVF::CHGraph
• releaseAndersenSCD() : SVF::AndersenSCD
• releaseAndersenSFR() : SVF::AndersenSFR
• releaseAndersenWaveDiff() : SVF::AndersenWaveDiff
• releaseCDG() : SVF::CDG
• releaseContext() : SVF::Z3Expr
• releaseFSWPA() : SVF::FlowSensitive
• releaseLLVMModuleSet() : SVF::LLVMModuleSet
• releaseMemory() : SVF::SVFGBuilder
• releaseSolver() : SVF::Z3Expr
• releaseSteensgaard() : SVF::Steensgaard
• releaseSVFIR() : SVF::SVFIR
• releaseVFSWPA() : SVF::VersionedFlowSensitive
• RelExeState() : SVF::RelExeState
• remapAllPts() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPointsToCache< Data >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PTData< Key, KeySet, Data, DataSet >
• remapPointsToSets() : SVF::BVDataPTAImpl
• removeAddrEdge() : SVF::ConstraintGraph
• removeAllEdges() : SVF::SVFGOPT
• removeAllIndirectSVFGEdges() : SVF::VersionedFlowSensitive
• removeBack() : SVF::FILOWorkList< Data >
• removeCandidates() : SVF::WPAMinimumSolver< GraphType >
• removeCDGEdge() : SVF::CDG
• removeCDGNode() : SVF::CDG
• removeCFLInEdge() : SVF::CFLNode
• removeCFLOutEdge() : SVF::CFLNode
• removeConstraintNode() : SVF::ConstraintGraph
• removeCxtStmtToSpan() : SVF::LockAnalysis
• removeDirectEdge() : SVF::ConstraintGraph
• removeDpmFromLoc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• removedSUVFEdges : SVF::SaberCondAllocator
• removeFirstSymbol() : SVF::CFGNormalizer
• removeFront() : SVF::FIFOWorkList< Data >
• removeGNode() : SVF::GenericGraph< NodeTy, EdgeTy >
• removeICFGEdge() : SVF::ICFG
• removeICFGNode() : SVF::ICFG
• removeIncomingAddrEdge() : SVF::ConstraintNode
• removeIncomingDirectEdge() : SVF::ConstraintNode
• removeIncomingEdge() : SVF::GenericNode< NodeTy, EdgeTy >
• removeIncomingLoadEdge() : SVF::ConstraintNode
• removeIncomingStoreEdge() : SVF::ConstraintNode
• removeInEdges() : SVF::SVFGOPT
• removeLoadEdge() : SVF::ConstraintGraph
• removeMDTag() : SVF::Annotator
• removeOutEdges() : SVF::SVFGOPT
• removeOutgoingAddrEdge() : SVF::ConstraintNode
• removeOutgoingDirectEdge() : SVF::ConstraintNode
• removeOutgoingEdge() : SVF::GenericNode< NodeTy, EdgeTy >
• removeOutgoingLoadEdge() : SVF::ConstraintNode
• removeOutgoingStoreEdge() : SVF::ConstraintNode
• removeStoreEdge() : SVF::ConstraintGraph
• removeSVFGEdge() : SVF::SVFG
• removeSVFGNode() : SVF::SVFG
• removeVarFromDFInUpdatedSet() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• removeVarFromDFOutUpdatedSet() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• removeVFGEdge() : SVF::VFG
• removeVFGNode() : SVF::VFG
• RenameChiSet() : SVF::MemSSA
• RenameMuSet() : SVF::MemSSA
• RenamePhiOps() : SVF::MemSSA
• RenamePhiRes() : SVF::MemSSA
• renderGraphFromBottomUp() : SVF::DefaultDOTGraphTraits
• rep() : SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• replaceFParamARetWithPHI() : SVF::SVFGOPT
• repNode() : SVF::SCCDetection< GraphType >
• repNodes : SVF::SCCDetection< GraphType >
• report : SVF::SrcSnkDDA
• reportBug() : SVF::AEDetector, SVF::BufOverflowDetector, SVF::DoubleFreeChecker, SVF::FileChecker, SVF::LeakChecker, SVF::SrcSnkDDA
• repr : SVF::SVFOtherType
• requiredBits() : SVF::NodeIDAllocator::Clusterer
• res : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• reset() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PersistentPointsToCache< Data >, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• resetData() : SVF::Andersen
• resetDef() : SVF::SVFGOPT
• resetObjFieldSensitive() : SVF::PointerAnalysis
• resetQuery() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• resetRep() : SVF::ConstraintGraph
• resetSubs() : SVF::ConstraintGraph
• resetTypeForHeapStaticObj() : SVF::ObjTypeInfo
• resolveCPPIndCalls() : SVF::PointerAnalysis
• resolveFunPtr() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• resolveIndCalls() : SVF::PointerAnalysis
• ResultType : SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >
• resVer : SVF::MSSADEF
• ret : SVF::CallICFGNode
• Ret : SVF::SVFStmt
• ret_type : SVF::SVFUtil::cast_retty< To, From >, SVF::SVFUtil::cast_retty_impl< To, From >, SVF::SVFUtil::cast_retty_impl< To, const From * >, SVF::SVFUtil::cast_retty_impl< To, const From *const >, SVF::SVFUtil::cast_retty_impl< To, const From >, SVF::SVFUtil::cast_retty_impl< To, From * >, SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >, SVF::SVFUtil::cast_retty_wrap< To, From, SimpleFrom >, SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >
• reTargetDstOfEdge() : SVF::ConstraintGraph
• retargetEdgesOfAInFOut() : SVF::SVFGOPT
• retargetEdgesOfAOutFIn() : SVF::SVFGOPT
• reTargetSrcOfEdge() : SVF::ConstraintGraph
• RetCF : SVF::ICFGEdge
• RetCFGEdge() : SVF::RetCFGEdge
• RetDirSVFGEdge() : SVF::RetDirSVFGEdge
• RetDirVF : SVF::VFGEdge
• retFunObjSyms() : SVF::IRGraph
• RetICFGNode() : SVF::RetICFGNode
• RetIndSVFGEdge() : SVF::RetIndSVFGEdge
• RetIndVF : SVF::VFGEdge
• RetMSSAMU : SVF::MSSAMU< Cond >
• RETMU : SVF::MemSSA
• RetMU() : SVF::RetMU< Cond >
• RETMU : SVF::SVFG
• retPE : SVF::RetCFGEdge
• RetPE() : SVF::RetPE
• retPEBegin() : SVF::FormalRetVFGNode
• retPEEnd() : SVF::FormalRetVFGNode
• retPEs : SVF::FormalRetVFGNode
• RetPESet : SVF::ICFGNode, SVF::VFG, SVF::VFGNode
• RetSymbol : SVF::IRGraph
• retSyms() : SVF::LLVMModuleSet
• retTy : SVF::SVFFunctionType
• RetType : SVF::SVFUtil::simplify_type< const From >
• returnFunObjSymMap : SVF::IRGraph
• returnSymMap : SVF::LLVMModuleSet
• RetValNode : SVF::SVFValue
• RetValPN() : SVF::RetValPN
• rev : SVF::PTData< Key, KeySet, Data, DataSet >
• REVERSE_DENSE : SVF::NodeIDAllocator
• reverseNodeMapping : SVF::PointsTo
• RevPtsMap : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• revPtsMap : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• RevPtsMap : SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• revPtsMap : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• RevPtsMap : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• revTopoNodeStack() : SVF::SCCDetection< GraphType >
• rid : SVF::MemRegion
• rmDerefDirSVFGEdges() : SVF::SaberSVFGBuilder
• rmIncomingEdgeForSUStore() : SVF::CFLSVFGBuilder, SVF::SaberSVFGBuilder
• rmInterleavingThread() : SVF::MHP
• rmSUStat() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• root : SVF::ProgSlice
• RSY() : SVF::RelationSolver
• RSY_time() : SymblicAbstractionTest
• runOnModule() : SVF::AbstractInterpretation, SVF::BreakConstantGEPs, SVF::DDAPass, SVF::DoubleFreeChecker, SVF::FileChecker, SVF::FlowSensitive, SVF::LeakChecker, SVF::MergeFunctionRets, SVF::MTA, SVF::WPAPass
• runPointerAnalysis() : SVF::DDAPass, SVF::WPAPass
• RunUncallFuncs : SVF::Options