| eapp | Lang.Crucible.Syntax |
| EarlyExit | Lang.Crucible.Backend |
| earlyMergeLoops | Lang.Crucible.CFG.EarlyMergeLoops, Lang.Crucible.CFG.Generator |
| elemAt | Lang.Crucible.Vector |
| elemAtMaybe | Lang.Crucible.Vector |
| elemAtUnsafe | Lang.Crucible.Vector |
| empty | Lang.Crucible.Utils.BitSet |
| EmptyApp | Lang.Crucible.CFG.Expr |
| EmptyCtx | |
| 1 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| EmptyExprExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| emptyExtensionImpl | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| emptyGlobals | Lang.Crucible.Simulator.GlobalState, Lang.Crucible.Simulator |
| emptyGoalCollector | Lang.Crucible.Backend.ProofGoals |
| emptyHandleMap | Lang.Crucible.FunctionHandle |
| emptyIdentValueMap | Lang.Crucible.Syntax |
| emptyIntrinsicTypes | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| emptyRefSet | Lang.Crucible.Analysis.Fixpoint |
| emptyRegMap | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| EmptyStmtExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| EmptyStringMap | Lang.Crucible.CFG.Expr |
| EmptyWordMap | Lang.Crucible.CFG.Expr |
| enableOnlineBackend | Lang.Crucible.Backend.Online |
| ENTER | Lang.Crucible.Simulator.Profiling |
| enterEvent | Lang.Crucible.Simulator.Profiling |
| EqExpr | Lang.Crucible.Syntax |
| EQF | Lang.Crucible.CFG.Core |
| EqF | Lang.Crucible.CFG.Core |
| eqF | Lang.Crucible.CFG.Core |
| eqMergeFn | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| eqReference | Lang.Crucible.Simulator.RegMap |
| ErrorStmt | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| EvalApp | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| evalApp | Lang.Crucible.Simulator.Evaluation |
| EvalAppFunc | Lang.Crucible.Simulator.Evaluation |
| evalArgs | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| evalExpr | Lang.Crucible.Simulator.EvalStmt |
| EvalExt | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| evalJumpTarget | Lang.Crucible.Simulator.EvalStmt |
| evalReg | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| evalReg' | Lang.Crucible.Simulator.EvalStmt |
| EvalStmtFunc | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| evalSwitchTarget | Lang.Crucible.Simulator.EvalStmt |
| evalWithCache | Lang.Crucible.Simulator.SymSequence |
| evalWithFreshCache | Lang.Crucible.Simulator.SymSequence |
| eventDedups | Lang.Crucible.Simulator.Profiling |
| EventFilter | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| eventIDRef | Lang.Crucible.Simulator.Profiling |
| eventLoc | Lang.Crucible.Backend |
| ExecCont | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExecResult | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| execResultContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExecState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| execStateContext | Lang.Crucible.Simulator.ExecutionTree |
| execStateSimState | Lang.Crucible.Simulator.ExecutionTree |
| executeCrucible | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| executeCrucibleDFSPaths | Lang.Crucible.Simulator.PathSplitting |
| ExecutionFeature | |
| 1 (Type/Class) | Lang.Crucible.Simulator.EvalStmt, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureModifiedState | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureNewState | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureNoChange | Lang.Crucible.Simulator.EvalStmt |
| ExecutionFeatureResult | Lang.Crucible.Simulator.EvalStmt |
| EXIT | Lang.Crucible.Simulator.Profiling |
| exitEvent | Lang.Crucible.Simulator.Profiling |
| exitExecution | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| Expr | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| ExprExt | Lang.Crucible.Syntax |
| ExprExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| exprType | Lang.Crucible.Syntax, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| ExtendAssign | Lang.Crucible.CFG.Core |
| extendBlockID | Lang.Crucible.CFG.Core |
| extendBlockID' | Lang.Crucible.CFG.Core |
| extendBlockMap | Lang.Crucible.CFG.Core |
| extendFrame | Lang.Crucible.Simulator.CallFrame |
| extendJumpTarget | Lang.Crucible.CFG.Core |
| extendReg | Lang.Crucible.CFG.Core |
| extendSwitchTarget | Lang.Crucible.CFG.Core |
| ExtensionApp | Lang.Crucible.CFG.Expr |
| extensionEval | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionExec | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ExtensionImpl | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionImpl | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| extensionStmt | Lang.Crucible.CFG.Generator |
| extractCurrentPath | Lang.Crucible.Simulator.Operations |
| extractSubgraph | Lang.Crucible.CFG.ExtractSubgraph |