| saveAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| saveAssumptionState | Lang.Crucible.Backend |
| SbvToInteger | Lang.Crucible.CFG.Expr |
| SCC | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint.Components |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint.Components |
| SCCData | Lang.Crucible.Analysis.Fixpoint.Components |
| ScopedReg | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| searchHandleMap | Lang.Crucible.FunctionHandle |
| Seconds | Lang.Crucible.Utils.Seconds |
| secondsFromInt | Lang.Crucible.Utils.Seconds |
| secondsToInt | Lang.Crucible.Utils.Seconds |
| secondsToMicroseconds | Lang.Crucible.Utils.Seconds |
| selectedIndices | Lang.Crucible.Simulator.Evaluation |
| SequenceAppend | Lang.Crucible.CFG.Expr |
| SequenceCons | Lang.Crucible.CFG.Expr |
| SequenceHead | Lang.Crucible.CFG.Expr |
| SequenceIsNil | Lang.Crucible.CFG.Expr |
| SequenceLength | Lang.Crucible.CFG.Expr |
| SequenceNil | Lang.Crucible.CFG.Expr |
| SequenceRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SequenceTail | Lang.Crucible.CFG.Expr |
| SequenceType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SequenceUncons | Lang.Crucible.CFG.Expr |
| setFrameBlock | Lang.Crucible.Simulator.CallFrame |
| setFrameBreakpointPostdomInfo | Lang.Crucible.Simulator.CallFrame |
| setIdentValue | Lang.Crucible.Syntax |
| setPosition | Lang.Crucible.CFG.Generator |
| SetReg | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| SetStruct | Lang.Crucible.CFG.Expr |
| setStruct | Lang.Crucible.Syntax |
| shiftL | Lang.Crucible.Vector |
| shiftR | Lang.Crucible.Vector |
| ShowF | Lang.Crucible.CFG.Core |
| showF | Lang.Crucible.CFG.Core |
| ShowFloat | Lang.Crucible.CFG.Expr |
| showsF | Lang.Crucible.CFG.Core |
| showsPrecF | Lang.Crucible.CFG.Core |
| ShowValue | Lang.Crucible.CFG.Expr |
| showWarning | Lang.Crucible.Utils.MonadVerbosity |
| showWarningWhen | Lang.Crucible.Utils.MonadVerbosity |
| shuffle | Lang.Crucible.Vector |
| signedClamp | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Sim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| SimContext | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| SimError | |
| 1 (Type/Class) | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorDetailsMsg | Lang.Crucible.Simulator.SimError |
| simErrorLoc | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| SimErrorReason | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorReason | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| simErrorReasonMsg | Lang.Crucible.Simulator.SimError |
| SimFrame | Lang.Crucible.Simulator.CallFrame |
| simHandleAllocator | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| SimpleBackend | Lang.Crucible.Backend.Simple |
| SimState | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SingleAssumption | Lang.Crucible.Backend |
| singleAssumption | Lang.Crucible.Backend |
| SingleCtx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SingleEvent | Lang.Crucible.Backend |
| singleEvent | Lang.Crucible.Backend |
| SingleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SingleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| singleStepCrucible | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| singleton | |
| 1 (Function) | Lang.Crucible.Vector |
| 2 (Function) | Lang.Crucible.Utils.BitSet |
| singletonTree | Lang.Crucible.Simulator.ExecutionTree |
| size | Lang.Crucible.Utils.BitSet |
| slice | Lang.Crucible.Vector |
| snoc | Lang.Crucible.Vector |
| solverEvents | Lang.Crucible.Simulator.Profiling |
| solverInteractionFile | Lang.Crucible.Backend.Online |
| Some | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| SomeBackend | |
| 1 (Type/Class) | Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend |
| SomeCFG | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| SomeFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SomeHandle | |
| 1 (Type/Class) | Lang.Crucible.FunctionHandle, Lang.Crucible.Simulator.CallFrame |
| 2 (Data Constructor) | Lang.Crucible.FunctionHandle, Lang.Crucible.Simulator.CallFrame |
| someLens | Lang.Crucible.CFG.Core |
| someNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SomeSimState | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| SomeSym | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| someSymbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SomeTypedOverride | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| split | Lang.Crucible.Vector |
| splitVecBV | Lang.Crucible.Vector |
| splitWith | Lang.Crucible.Vector |
| splitWithA | Lang.Crucible.Vector |
| startRecordingSolverEvents | Lang.Crucible.Simulator.Profiling |
| state | Lang.Crucible.Utils.StateContT |
| stateConfiguration | Lang.Crucible.Simulator.ExecutionTree |
| stateContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| StateContT | |
| 1 (Type/Class) | Lang.Crucible.Utils.StateContT |
| 2 (Data Constructor) | Lang.Crucible.Utils.StateContT |
| stateCrucibleFrame | Lang.Crucible.Simulator.ExecutionTree |
| stateGlobals | Lang.Crucible.Simulator.ExecutionTree |
| stateIntrinsicTypes | Lang.Crucible.Simulator.ExecutionTree |
| stateLocation | Lang.Crucible.Simulator.ExecutionTree |
| stateOverrideFrame | Lang.Crucible.Simulator.ExecutionTree |
| stateSolverProof | Lang.Crucible.Simulator.ExecutionTree |
| stateSymInterface | Lang.Crucible.Simulator.ExecutionTree |
| stateTree | Lang.Crucible.Simulator.ExecutionTree |
| stepBasicBlock | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| stepStmt | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| stepTerm | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| Stmt | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| StmtExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| StmtSeq | Lang.Crucible.CFG.Core |
| stmtSeqTermStmt | Lang.Crucible.CFG.Core |
| STPOnlineBackend | Lang.Crucible.Backend.Online |
| stratCombine | Lang.Crucible.Backend.Prove |
| stratProver | Lang.Crucible.Backend.Prove |
| StringConcat | Lang.Crucible.CFG.Expr |
| StringContains | Lang.Crucible.CFG.Expr |
| StringEmpty | Lang.Crucible.CFG.Expr |
| StringIndexOf | Lang.Crucible.CFG.Expr |
| StringInfo | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringInfoRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringIsPrefixOf | Lang.Crucible.CFG.Expr |
| StringIsSuffixOf | Lang.Crucible.CFG.Expr |
| StringLength | Lang.Crucible.CFG.Expr |
| StringLit | Lang.Crucible.CFG.Expr |
| StringMapRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringMapType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StringSubstring | Lang.Crucible.CFG.Expr |
| StringType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| StructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| structuralPretty | Lang.Crucible.Utils.Structural |
| SubgoalResult | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| subgoalResult | Lang.Crucible.Backend.Prove |
| subgoalWasProved | Lang.Crucible.Backend.Prove |
| subNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| substAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substAtomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substAtomValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substBlockID | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substCFG | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substExpr | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substLambdaLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substPosdStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substPosdTermStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substReg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substTermStmt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substValue | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| substValueSet | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| SwitchResumption | Lang.Crucible.Simulator.ExecutionTree |
| SwitchTarget | |
| 1 (Type/Class) | Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| switchTargetID | Lang.Crucible.CFG.Core |
| SymArrayLookup | Lang.Crucible.CFG.Expr |
| SymArrayUpdate | Lang.Crucible.CFG.Expr |
| Symbol | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Symbolic | Lang.Crucible.Analysis.ForwardDataflow |
| symbolicAnalysis | Lang.Crucible.Analysis.ForwardDataflow |
| SymbolicArrayRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolicArrayType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symbolicBranch | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| symbolicBranches | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| SymbolicBranchState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| symbolicResults | Lang.Crucible.Analysis.ForwardDataflow |
| SymbolicStructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolicStructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymbolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symbolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymDom | Lang.Crucible.Analysis.ForwardDataflow |
| SymGlobalState | Lang.Crucible.Simulator.GlobalState, Lang.Crucible.Simulator |
| SymInterpretedFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| SymInterpretedFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| symlub | Lang.Crucible.Analysis.ForwardDataflow |
| symProUIJSON | Lang.Crucible.Simulator.Profiling |
| symProUIString | Lang.Crucible.Simulator.Profiling |
| SymSequence | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceAppend | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceCons | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceMerge | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| SymSequenceNil | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| sym_call_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| sym_expr_transfer | Lang.Crucible.Analysis.ForwardDataflow |
| sym_reg_transfer | Lang.Crucible.Analysis.ForwardDataflow |