- r -

• RaiseAsmPass() : klee::RaiseAsmPass
• RandomPathSearcher() : klee::RandomPathSearcher
• RandomSearcher() : klee::RandomSearcher
• Read() : klee::ExprBuilder
• read() : klee::ObjectState
• read8() : klee::ObjectState
• ReadExpr() : klee::ReadExpr
• readExpr() : klee::Z3Builder
• readStream() : klee::TreeStreamWriter
• readStringAtAddress() : klee::SpecialFunctionHandler
• rebuild() : klee::ConcatExpr, klee::ConstantExpr, klee::Expr, klee::ExtractExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr
• ref() : klee::ref< T >
• ReferenceCounter() : klee::ReferenceCounter
• registerStatistic() : klee::StatisticManager
• releaseStates() : klee::MergeHandler
• remove() : klee::DiscretePDF< T, Comparator >, klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::ImmutableTree< K, V, KOV, CMP >, klee::PTree
• removeOpenState() : klee::MergeHandler
• replace() : klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::ImmutableTree< K, V, KOV, CMP >
• replaceReadWithSymbolic() : klee::Executor
• reset() : klee::ExprPPrinter, klee::ExprSMTLIBPrinter, klee::Timer, klee::TimerGroup, PPrinter
• resolve() : klee::AddressSpace
• resolveExact() : klee::Executor
• resolveOne() : klee::AddressSpace
• resolveSymbol() : klee::ExternalDispatcher, klee::ExternalDispatcherImpl
• rewrite() : klee::ExprRewriter
• rewriteConstraints() : klee::ConstraintManager
• RNG() : klee::RNG
• rotate() : klee::DiscretePDF< T, Comparator >
• run() : klee::Executor
• runFunctionAsMain() : klee::Executor, klee::Interpreter
• runOnBasicBlock() : klee::IntrinsicCleanerPass
• runOnFunction() : klee::LowerSwitchPass, klee::PhiCleanerPass
• runOnInstruction() : klee::RaiseAsmPass
• runOnModule() : klee::DivCheckPass, klee::FunctionAliasPass, klee::InstructionOperandTypeCheckPass, klee::IntrinsicCleanerPass, klee::OptNonePass, klee::OvershiftCheckPass, klee::RaiseAsmPass
• runProtectedCall() : klee::ExternalDispatcherImpl