| Call | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| call | Lang.Crucible.CFG.Generator |
| callBlock | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callCC | Lang.Crucible.Utils.StateContT |
| callCFG | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callFnVal | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| callFnVal' | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| CallFrame | |
| 1 (Type/Class) | Lang.Crucible.Simulator.CallFrame |
| 2 (Data Constructor) | Lang.Crucible.Simulator.CallFrame |
| callFunction | Lang.Crucible.Simulator.Operations |
| callGraphEvents | Lang.Crucible.Simulator.Profiling |
| CallHandle | Lang.Crucible.CFG.Core |
| callOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| CallState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CanMux | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| caseMaybe | Lang.Crucible.CFG.Generator |
| caseMaybe_ | Lang.Crucible.CFG.Generator |
| CFG | |
| 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 |
| cfgArgTypes | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgBlockMap | Lang.Crucible.CFG.Core |
| cfgBlocks | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgBreakpoints | Lang.Crucible.CFG.Core |
| cfgEntryBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgEntryBlockID | Lang.Crucible.CFG.Core |
| cfgEntryLabel | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| cfgHandle | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgInputTypes | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| CFGPostdom | Lang.Crucible.CFG.Core |
| cfgReturnType | |
| 1 (Function) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.CFG.Core |
| cfgStart | Lang.Crucible.Analysis.Fixpoint.Components |
| cfgSuccessors | Lang.Crucible.Analysis.Fixpoint.Components |
| cfgWeakTopologicalOrdering | Lang.Crucible.Analysis.Fixpoint.Components, Lang.Crucible.Analysis.Fixpoint |
| CGEvent | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| CGEventType | Lang.Crucible.Simulator.Profiling |
| cgEvent_blocks | Lang.Crucible.Simulator.Profiling |
| cgEvent_callsite | Lang.Crucible.Simulator.Profiling |
| cgEvent_fnName | Lang.Crucible.Simulator.Profiling |
| cgEvent_id | Lang.Crucible.Simulator.Profiling |
| cgEvent_metrics | Lang.Crucible.Simulator.Profiling |
| cgEvent_source | Lang.Crucible.Simulator.Profiling |
| cgEvent_time | Lang.Crucible.Simulator.Profiling |
| cgEvent_type | Lang.Crucible.Simulator.Profiling |
| Char16 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char16Repr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char8 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Char8Repr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CharRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CharType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CheckIx | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CheckMergeResumption | Lang.Crucible.Simulator.ExecutionTree |
| checkPathSatisfiability | Lang.Crucible.Simulator.PathSatisfiability |
| checkSatisfiable | Lang.Crucible.Backend.Online |
| checkSatisfiableWithModel | Lang.Crucible.Backend.Online |
| checkSatToConsiderBranch | Lang.Crucible.Simulator.PathSatisfiability |
| clearProofObligations | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| Closure | Lang.Crucible.CFG.Expr |
| closure | Lang.Crucible.Syntax |
| ClosureFnVal | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| coerceF | Lang.Crucible.CFG.Core |
| CoercibleF | Lang.Crucible.CFG.Core |
| collapseMuxTree | Lang.Crucible.Utils.MuxTree |
| collectAssumptions | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| Combiner | |
| 1 (Type/Class) | Lang.Crucible.Backend.Prove |
| 2 (Data Constructor) | Lang.Crucible.Backend.Prove |
| commas | Lang.Crucible.Utils.PrettyPrint |
| compareF | Lang.Crucible.CFG.Core |
| compareNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| compareVector | Lang.Crucible.CFG.Expr |
| Complex | Lang.Crucible.CFG.Expr |
| complexRealAsChar | Lang.Crucible.Simulator.Evaluation |
| ComplexRealRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ComplexRealType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ConcAnyValue | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| concatExprs | Lang.Crucible.Syntax |
| ConcCtx | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| ConcIntrinsic | Lang.Crucible.Concretize |
| concRegEntry | Lang.Crucible.Concretize |
| concRegMap | Lang.Crucible.Concretize |
| ConcRegValue | Lang.Crucible.Concretize |
| concRegValue | Lang.Crucible.Concretize |
| Concrete | Lang.Crucible.Analysis.ForwardDataflow |
| concreteizeSymSequence | Lang.Crucible.Simulator.SymSequence |
| concretizeEvents | Lang.Crucible.Backend |
| concretizeSymSequence | Lang.Crucible.Simulator.SymSequence |
| ConcRV' | |
| 1 (Type/Class) | Lang.Crucible.Concretize |
| 2 (Data Constructor) | Lang.Crucible.Concretize |
| concToSym | Lang.Crucible.Concretize |
| conditionalBranch | Lang.Crucible.Simulator.Operations |
| cons | Lang.Crucible.Vector |
| considerSatisfiability | Lang.Crucible.Backend.Online |
| ConsStmt | Lang.Crucible.CFG.Core |
| consSymSequence | Lang.Crucible.Simulator.SymSequence |
| continue | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.Operations |
| continueLambda | Lang.Crucible.CFG.Generator |
| ContinueResumption | Lang.Crucible.Simulator.ExecutionTree |
| ControlResumption | Lang.Crucible.Simulator.ExecutionTree |
| ControlTransferState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ConvertableToNat | Lang.Crucible.Syntax |
| convertProofObligationsAsImplications | Lang.Crucible.Backend |
| CreateVariableEvent | Lang.Crucible.Backend |
| Crucible | Lang.Crucible.Panic |
| CrucibleAssumption | Lang.Crucible.Backend |
| CrucibleAssumptions | Lang.Crucible.Backend |
| CrucibleBranchTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| CrucibleCall | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Operations |
| CrucibleEvent | Lang.Crucible.Backend |
| CrucibleLang | Lang.Crucible.Simulator.CallFrame |
| cruciblePersonality | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CrucibleProfile | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| crucibleProfileCGEvents | Lang.Crucible.Simulator.Profiling |
| crucibleProfileSolverEvents | Lang.Crucible.Simulator.Profiling |
| crucibleProfileTime | Lang.Crucible.Simulator.Profiling |
| crucibleSimFrame | Lang.Crucible.Simulator.CallFrame |
| CrucibleState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| crucibleTopFrame | Lang.Crucible.Simulator.ExecutionTree |
| CrucibleType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Ctx | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Generator |
| CtxFlatten | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ctxIntrinsicTypes | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CtxLookup | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxLookupRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxSize | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ctxSolverProof | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ctxSymInterface | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| CtxUpdate | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| CtxUpdateRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| currentBlockID | Lang.Crucible.CFG.Generator |
| CVC4OnlineBackend | Lang.Crucible.Backend.Online |
| CVC5OnlineBackend | Lang.Crucible.Backend.Online |