Index - R
| reachable | EVM.SymExec |
| readBuildOutput | EVM.Solidity |
| ReadByte | EVM.Types |
| readByte | EVM.Expr |
| readBytes | EVM.Expr |
| ReadConfig | EVM.Effects |
| readConfig | EVM.Effects |
| readJSON | EVM.Solidity |
| readMemory | EVM |
| readNull | EVM.Types |
| readOp | EVM.Op |
| readSExpr | EVM.Solvers |
| readSolc | EVM.Solidity |
| readStdJSON | EVM.Solidity |
| readStorage | EVM.Expr |
| readStorage' | EVM.Expr |
| readText | EVM.Fetch |
| ReadWord | EVM.Types |
| readWord | EVM.Expr |
| readWordFromBytes | EVM.Expr |
| reclaimRemainingGasAllowance | EVM.Types |
| Reference | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| referencedAbstractStores | EVM.SMT |
| referencedBlockContext | EVM.SMT |
| referencedBufs | EVM.SMT |
| referencedFrameContext | EVM.SMT |
| referencedVars | EVM.SMT |
| referencedWAddrs | EVM.SMT |
| RefinementEqs | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| refund | EVM |
| regexMatches | EVM.Types |
| remRedundantProps | EVM.Expr |
| replaceCode | EVM |
| replaceCodeOfSelf | EVM |
| resetState | EVM |
| ReturnDataOutOfBounds | EVM.Types |
| ReturnTrace | EVM.Types |
| Revert | EVM.Types |
| RLP | EVM.RLP |
| rlpAddrFull | EVM.RLP |
| rlpdecode | EVM.RLP |
| rlpencode | EVM.RLP |
| rlplengths | EVM.RLP |
| rlpList | EVM.RLP |
| rlpWord160 | EVM.RLP |
| rlpWord256 | EVM.RLP |
| rlpWordFull | EVM.RLP |
| RPar | EVM.Solvers |
| rpc | EVM.Fetch |
| RpcInfo | EVM.Fetch |
| RpcQuery | EVM.Fetch |
| rpcVeriOpts | EVM.SymExec |
| run | |
| 1 (Function) | EVM.Exec |
| 2 (Function) | EVM.Stepper |
| runApp | EVM.Effects |
| runEnv | EVM.Effects |
| runExpr | EVM.SymExec |
| runFully | EVM.Stepper |
| Runtime | EVM.Solidity |
| RuntimeCode | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| RuntimeConfig | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| runUnitTestContract | EVM.UnitTest |