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

- r -

• readAndSetObjFieldSensitivity() : SVF::BVDataPTAImpl
• readFile() : SVF::SVFG
• readFromFile() : SVF::BVDataPTAImpl
• readGepObjVarMapFromFile() : SVF::BVDataPTAImpl
• readInheritanceMetadataFromModule() : SVF::CHGBuilder
• readPtsFromFile() : SVF::AndersenBase, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• readPtsResultFromFile() : SVF::BVDataPTAImpl
• readVersionedAnalysisResultFromFile() : SVF::VersionedFlowSensitive
• reallocate() : internal_hooks
• reCompute() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• reComputeForEdges() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• recursiveCallPass() : SVF::AbstractInterpretation
• ReferenceProxy() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• regionObjects() : SVF::NodeIDAllocator::Clusterer
• RelationSolver() : SVF::RelationSolver
• 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 >
• 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 >
• reportBug() : SVF::AEDetector, SVF::BufOverflowDetector, SVF::DoubleFreeChecker, SVF::FileChecker, SVF::LeakChecker, SVF::SrcSnkDDA
• requiredBits() : SVF::NodeIDAllocator::Clusterer
• 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
• reTargetDstOfEdge() : SVF::ConstraintGraph
• retargetEdgesOfAInFOut() : SVF::SVFGOPT
• retargetEdgesOfAOutFIn() : SVF::SVFGOPT
• reTargetSrcOfEdge() : SVF::ConstraintGraph
• RetCFGEdge() : SVF::RetCFGEdge
• RetDirSVFGEdge() : SVF::RetDirSVFGEdge
• retFunObjSyms() : SVF::IRGraph
• RetICFGNode() : SVF::RetICFGNode
• RetIndSVFGEdge() : SVF::RetIndSVFGEdge
• RetMU() : SVF::RetMU< Cond >
• RetPE() : SVF::RetPE
• retPEBegin() : SVF::FormalRetVFGNode
• retPEEnd() : SVF::FormalRetVFGNode
• retSyms() : SVF::LLVMModuleSet
• RetValPN() : SVF::RetValPN
• revTopoNodeStack() : SVF::SCCDetection< GraphType >
• rmDerefDirSVFGEdges() : SVF::SaberSVFGBuilder
• rmIncomingEdgeForSUStore() : SVF::CFLSVFGBuilder, SVF::SaberSVFGBuilder
• rmInterleavingThread() : SVF::MHP
• rmSUStat() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• 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