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 |