| BackEdge | Lang.Crucible.Analysis.DFS |
| backendGetSym | Lang.Crucible.Backend |
| backendOptions | Lang.Crucible.Backend |
| BaseArrayRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseArrayType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBoolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBoolType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBVRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseBVType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseComplexRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseComplexType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| baseFrame | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| BaseIntegerRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseIntegerType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseIsEq | Lang.Crucible.CFG.Expr |
| BaseIte | Lang.Crucible.CFG.Expr |
| BaseRealRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseRealType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStringRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStringType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStructRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseStructType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseTerm | |
| 1 (Type/Class) | Lang.Crucible.CFG.Expr |
| 2 (Data Constructor) | Lang.Crucible.CFG.Expr |
| baseTermType | Lang.Crucible.CFG.Expr |
| baseTermVal | Lang.Crucible.CFG.Expr |
| BaseToType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| baseToType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BaseTypeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| bigEndianLoad | Lang.Crucible.Syntax |
| bigEndianLoadDef | Lang.Crucible.Syntax |
| bigEndianStore | Lang.Crucible.Syntax |
| bindCFG | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| bindFnHandle | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| BitSet | Lang.Crucible.Utils.BitSet |
| BitwuzlaOnlineBackend | Lang.Crucible.Backend.Online |
| BLOCK | Lang.Crucible.Simulator.Profiling |
| Block | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| blockAssignedValues | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| blockExtraInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BlockID | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Type/Class) | Lang.Crucible.CFG.Core |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| blockID | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| blockIDIndex | Lang.Crucible.CFG.Core |
| blockInputs | Lang.Crucible.CFG.Core |
| blockKnownInputs | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| blockLoc | Lang.Crucible.CFG.Core |
| BlockMap | Lang.Crucible.CFG.Core |
| blockStmts | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| BlockTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| blockTerm | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BoolectorOnlineBackend | Lang.Crucible.Backend.Online |
| BoolEq | Lang.Crucible.CFG.Expr |
| BoolIte | Lang.Crucible.CFG.Expr |
| BoolLit | Lang.Crucible.CFG.Expr |
| BoolRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BoolToBV | Lang.Crucible.CFG.Expr |
| BoolType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BoolXor | Lang.Crucible.CFG.Expr |
| Bottom | Lang.Crucible.Analysis.Fixpoint |
| boundedExecFeature | Lang.Crucible.Simulator.BoundedExec |
| boundedRecursionFeature | Lang.Crucible.Simulator.BoundedRecursion |
| Br | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| BRANCH | Lang.Crucible.Simulator.Profiling |
| branch | Lang.Crucible.CFG.Generator |
| BranchCondition | Lang.Crucible.Backend |
| branchMaybe | Lang.Crucible.CFG.Generator |
| BranchMergeState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| BranchResult | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| branchVariant | Lang.Crucible.CFG.Generator |
| breakAndReturn | Lang.Crucible.Simulator.Breakpoint |
| Breakpoint | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| BreakpointName | |
| 1 (Type/Class) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| breakpointNameText | Lang.Crucible.CFG.Common, Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| breakpointPostdomInfo | Lang.Crucible.Analysis.Postdom |
| BVAdd | Lang.Crucible.CFG.Expr |
| BVAnd | Lang.Crucible.CFG.Expr |
| BVAshr | Lang.Crucible.CFG.Expr |
| BVCarry | Lang.Crucible.CFG.Expr |
| BVConcat | Lang.Crucible.CFG.Expr |
| BVCountLeadingZeros | Lang.Crucible.CFG.Expr |
| BVCountTrailingZeros | Lang.Crucible.CFG.Expr |
| BVEq | Lang.Crucible.CFG.Expr |
| BVIte | Lang.Crucible.CFG.Expr |
| BVLit | Lang.Crucible.CFG.Expr |
| BVLshr | Lang.Crucible.CFG.Expr |
| BVMul | Lang.Crucible.CFG.Expr |
| BVNeg | Lang.Crucible.CFG.Expr |
| BVNonzero | Lang.Crucible.CFG.Expr |
| BVNot | Lang.Crucible.CFG.Expr |
| BVOr | Lang.Crucible.CFG.Expr |
| BVPopcount | Lang.Crucible.CFG.Expr |
| BVRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BVRol | Lang.Crucible.CFG.Expr |
| BVRor | Lang.Crucible.CFG.Expr |
| BVSBorrow | Lang.Crucible.CFG.Expr |
| BVSCarry | Lang.Crucible.CFG.Expr |
| BVSdiv | Lang.Crucible.CFG.Expr |
| BVSelect | Lang.Crucible.CFG.Expr |
| BVSext | Lang.Crucible.CFG.Expr |
| BVShl | Lang.Crucible.CFG.Expr |
| BVSle | Lang.Crucible.CFG.Expr |
| BVSlt | Lang.Crucible.CFG.Expr |
| BVSMax | Lang.Crucible.CFG.Expr |
| BVSMin | Lang.Crucible.CFG.Expr |
| BVSrem | Lang.Crucible.CFG.Expr |
| BVSub | Lang.Crucible.CFG.Expr |
| BvToInteger | Lang.Crucible.CFG.Expr |
| BvToNat | Lang.Crucible.CFG.Expr |
| BVTrunc | Lang.Crucible.CFG.Expr |
| BVType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| BVUdiv | Lang.Crucible.CFG.Expr |
| BVUle | Lang.Crucible.CFG.Expr |
| BVUlt | Lang.Crucible.CFG.Expr |
| BVUMax | Lang.Crucible.CFG.Expr |
| BVUMin | Lang.Crucible.CFG.Expr |
| BVUndef | Lang.Crucible.CFG.Expr |
| BVUrem | Lang.Crucible.CFG.Expr |
| BVXor | Lang.Crucible.CFG.Expr |
| BVZext | Lang.Crucible.CFG.Expr |