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

- r -

• RaceCheck : SVF::Options
• rawProductions : SVF::GrammarBase
• reachableBBs : SVF::SVFLoopAndDomInfo
• reachGlob : SVF::ProgSlice
• ReadAnder : SVF::Options
• ReadJson : SVF::Options
• ReadSVFG : SVF::Options
• realDefFun : SVF::FunObjVar
• reanalyze : SVF::WPASolver< GraphType >
• recoder : SVF::BufOverflowDetector
• recursiveFuns : SVF::AbstractInterpretation
• 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
• res : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• resVer : SVF::MSSADEF
• ret : SVF::CallICFGNode
• retPE : SVF::RetCFGEdge
• retPEs : SVF::FormalRetVFGNode
• retTy : SVF::SVFFunctionType
• 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