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

- r -

• racePairs : SVF::SlicedMTA
• raw : SVF::SlicedNodeRef< ViewT, RawNodeT >
• rawProductions : SVF::GrammarBase
• reachableBBs : SVF::SVFLoopAndDomInfo
• reachGlob : SVF::ProgSlice
• ReadAnder : SVF::Options
• ReadJson : SVF::Options
• ReadSVFG : SVF::Options
• realDefFun : SVF::FunObjVar
• realEnd : SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeIterImpl< Forward >
• realIt : SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeIterImpl< Forward >
• reanalyze : SVF::WPASolver< GraphType >
• recoder : SVF::BufOverflowDetector, SVF::NullptrDerefDetector
• recordThreadVFQueries : SVF::MTASVFGBuilder
• redundantGepNodes : SVF::AndersenBase
• reg2BBMap : SVF::MemSSA
• RegionAlign : SVF::Options
• RegionedClustering : SVF::Options
• RegioningTime : SVF::NodeIDAllocator::Clusterer
• removedSUVFEdges : SVF::SaberCondAllocator
• repNodes : SVF::SCCDetection< GraphType >
• report : SVF::SrcSnkDDA
• repr : SVF::SVFOtherType
• representative : SVF::MTA::RaceClass
• res : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• resVer : SVF::MSSADEF
• ret : SVF::CallICFGNode
• retainedEdgeSet : SVF::FSMPTA< SVFGGraph >
• retainedNodeIds : SVF::SlicedSVFGView
• retainedOutEdges : SVF::FSMPTA< SVFGGraph >
• retPE : SVF::RetCFGEdge
• retPEs : SVF::FormalRetVFGNode
• retTy : SVF::SVFFunctionType
• returnedGroups : SVF::SparseObjGraph
• returnedGroupsByCallee : SVF::SparseObjGraph
• returnFunObjSymMap : SVF::IRGraph
• returnSymMap : SVF::LLVMModuleSet
• rev : SVF::PTData< Key, KeySet, Data, DataSet >
• reverseNodeMapping : SVF::PointsTo
• revPtsMap : SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• rid : SVF::MemRegion
• root : SVF::ProgSlice
• RunUncallFuncs : SVF::Options