Index - S
| SAbi | EVM.ABI |
| safeToDecompose | EVM.Expr |
| SAR | EVM.Types |
| sar | EVM.Expr |
| Sat | EVM.Solvers |
| SDiv | EVM.Types |
| sdiv | EVM.Expr |
| selector | EVM.ABI |
| selfdestruct | EVM |
| SelfDestruction | EVM.Types |
| sendCommand | EVM.Solvers |
| sender | EVM.Transaction |
| sendLine | EVM.Solvers |
| sendLine' | EVM.Solvers |
| sendScript | EVM.Solvers |
| setupTx | EVM.Transaction |
| SEx | EVM.Types |
| sex | EVM.Expr |
| SGT | EVM.Types |
| sgt | EVM.Expr |
| SHA256 | EVM.Types |
| SHL | EVM.Types |
| shl | EVM.Expr |
| showAbiValue | EVM.Format |
| showCall | EVM.Format |
| showError | EVM.Format |
| showModel | EVM.SymExec |
| showTraceLocation | EVM.Dapp |
| showTraceTree | EVM.Format |
| showTraceTree' | EVM.Format |
| showTree | EVM.Format |
| showVal | EVM.Format |
| showValue | EVM.Format |
| showValues | EVM.Format |
| showWordExact | EVM.Format |
| showWordExplanation | EVM.Format |
| SHR | EVM.Types |
| shr | EVM.Expr |
| Sig | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| sign | |
| 1 (Function) | EVM.Sign |
| 2 (Function) | EVM.Transaction |
| signature | EVM.Solidity |
| signingData | EVM.Transaction |
| simplify | EVM.Expr |
| simplifyProp | EVM.Expr |
| simplifyProps | EVM.Expr |
| simplifyReads | EVM.Expr |
| slice | |
| 1 (Function) | EVM.RLP |
| 2 (Function) | EVM.Expr |
| sliceMemory | EVM.Concrete |
| SLoad | EVM.Types |
| slotPos | EVM.Expr |
| SlotType | EVM.Solidity |
| SLT | EVM.Types |
| slt | EVM.Expr |
| SM | EVM.Solidity |
| SmallSlot | EVM.Expr |
| SMod | EVM.Types |
| smod | EVM.Expr |
| SMT2 | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| smt2Line | EVM.SMT |
| SMTCex | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| solc | EVM.Solidity |
| SolcContract | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| solcRuntime | EVM.Solidity |
| SolError | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| Solidity | EVM.Solidity |
| solidity | EVM.Solidity |
| Solver | EVM.Solvers |
| solverArgs | EVM.Solvers |
| SolverGroup | |
| 1 (Type/Class) | EVM.Solvers |
| 2 (Data Constructor) | EVM.Solvers |
| SolverInstance | |
| 1 (Type/Class) | EVM.Solvers |
| 2 (Data Constructor) | EVM.Solvers |
| SomeExpr | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| SourceCache | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| sp | EVM.SMT |
| spawnSolver | EVM.Solvers |
| splitSExpr | EVM.Solvers |
| SrcMap | EVM.Solidity |
| srcMap | EVM.Dapp |
| srcMapCode | EVM.Dapp |
| srcMapCodePos | EVM.Dapp |
| SStore | EVM.Types |
| St | EVM.SymExec |
| StackBased | EVM.SymExec |
| StackLimitExceeded | EVM.Types |
| stackOp1 | EVM |
| stackOp2 | EVM |
| stackOp3 | EVM |
| StackUnderrun | EVM.Types |
| StateChangeWhileStatic | EVM.Types |
| Static | EVM.ABI |
| stdjson | EVM.Solidity |
| Stepper | EVM.Stepper |
| stopSolver | EVM.Solvers |
| Storage | EVM.Types |
| StorageItem | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| StorageMapping | EVM.Solidity |
| StorageType | EVM.Expr |
| StorageValue | EVM.Solidity |
| StoreEnv | EVM.CSE |
| storeName | EVM.SMT |
| StoreVar | EVM.Types |
| strip0x | EVM.Format |
| strip0x' | EVM.Format |
| stripBytecodeMetadata | EVM.Solidity |
| stripBytecodeMetadataSym | EVM.Solidity |
| stripWrites | EVM.Expr |
| structureArraySlots | EVM.Expr |
| Sub | EVM.Types |
| sub | EVM.Expr |
| subAddrs | EVM.SymExec |
| subBufs | EVM.SymExec |
| subGas | EVM.Types |
| subModel | EVM.SymExec |
| SubState | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| substituteBuf | EVM.Fuzz |
| substituteEWord | EVM.Fuzz |
| substituteStores | EVM.Fuzz |
| subStores | EVM.SymExec |
| subVars | EVM.SymExec |
| Success | EVM.Types |
| symAbiArg | EVM.SymExec |
| SymAddr | EVM.Types |
| Symbolic | EVM.Types |
| SymbolicMemory | EVM.Types |
| SymbolicRuntimeCode | EVM.Types |
| symbolify | EVM |
| symbolifyFrame | EVM |
| symbolifyFrameState | EVM |
| symbolifyResult | EVM |
| symCalldata | EVM.SymExec |
| symFailure | EVM.UnitTest |
| symRun | EVM.UnitTest |