crucible-llvm-0.6: Support for translating and executing LLVM code in Crucible

Index - L

laxArithLang.Crucible.LLVM.Translation
laxConstantEqualityLang.Crucible.LLVM.MemModel
laxLoadsAndStoresLang.Crucible.LLVM.MemModel
laxPointerMemOptionsLang.Crucible.LLVM.MemModel
laxPointerOrderingLang.Crucible.LLVM.MemModel
Len_ByteLang.Crucible.LLVM.Printf
Len_IntMaxLang.Crucible.LLVM.Printf
Len_LongLang.Crucible.LLVM.Printf
Len_LongDoubleLang.Crucible.LLVM.Printf
Len_LongLongLang.Crucible.LLVM.Printf
Len_NoModLang.Crucible.LLVM.Printf
Len_PtrDiffLang.Crucible.LLVM.Printf
Len_ShortLang.Crucible.LLVM.Printf
Len_SizetLang.Crucible.LLVM.Printf
LeqLang.Crucible.LLVM.Errors.UndefinedBehavior
LibcAbsIntMinUBLang.Crucible.LLVM.Intrinsics.Libc
liftDeclareLang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation
liftMemTypeLang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation
liftRetTypeLang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation
liftTypeLang.Crucible.LLVM.TypeContext
LittleEndianLang.Crucible.LLVM.DataLayout
LLVMLang.Crucible.LLVM.Extension, Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM
llvmAbortOverrideLang.Crucible.LLVM.Intrinsics.Libc
LLVMAbsIntMinLang.Crucible.LLVM.Errors.Poison
LLVMAbsIntMinPoisonLang.Crucible.LLVM.Intrinsics.Libc
llvmAbsOverride 
1 (Function)Lang.Crucible.LLVM.Intrinsics.Libc
2 (Function)Lang.Crucible.LLVM.Intrinsics.LLVM
llvmAcosfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAcoshfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAcoshOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAcosOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAliasMapLang.Crucible.LLVM.TypeContext
LLVMAnnMapLang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel
LLVMArchLang.Crucible.LLVM.Extension
llvmArchLang.Crucible.LLVM.Translation
llvmAsinfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAsinhfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAsinhOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAsinOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAssertFailOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAssertRtnOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAssumeOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmAtan2fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAtan2OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAtanfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAtanhfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAtanhOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmAtanOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmBitreverseLang.Crucible.LLVM.Intrinsics.LLVM
llvmBSwapOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmCallocOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCeilfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCeilOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCeilOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmCeilOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
LLVMConstLang.Crucible.LLVM.Translation
LLVMContext 
1 (Type/Class)Lang.Crucible.LLVM.Translation
2 (Data Constructor)Lang.Crucible.LLVM.Translation
llvmCopysignOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmCopysignOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmCosfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCoshfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCoshOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCosOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmCosOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmCosOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmCtlzLang.Crucible.LLVM.Intrinsics.LLVM
llvmCtpopLang.Crucible.LLVM.Intrinsics.LLVM
llvmCttzLang.Crucible.LLVM.Intrinsics.LLVM
llvmDataLayoutLang.Crucible.LLVM.TypeContext
llvmDeclLang.Crucible.LLVM.QQ
llvmDeclToFunHandleReprLang.Crucible.LLVM.Translation, Lang.Crucible.LLVM.Intrinsics
llvmDeclToFunHandleRepr'Lang.Crucible.LLVM.Translation
llvmExitOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExp10fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExp10OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExp2fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExp2OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExp2Override_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmExp2Override_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmExpectOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmExpfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExpm1fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExpm1OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExpOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmExpOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmExpOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmExtensionEvalLang.Crucible.LLVM.Eval
LLVMExtensionExprLang.Crucible.LLVM.Extension
llvmExtensionImplLang.Crucible.LLVM
llvmFabsF32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFabsF64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFileDescMapLang.Crucible.LLVM.SymIO
llvmFilePointerReprLang.Crucible.LLVM.SymIO
LLVMFileSystem 
1 (Type/Class)Lang.Crucible.LLVM.SymIO
2 (Data Constructor)Lang.Crucible.LLVM.SymIO
llvmFileSystemLang.Crucible.LLVM.SymIO
llvmFloorfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmFloorOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmFloorOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFloorOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFmafOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmFmaOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmFmaOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFmaOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFmuladdOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFmuladdOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmFreeOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmFshlLang.Crucible.LLVM.Intrinsics.LLVM
llvmFshrLang.Crucible.LLVM.Intrinsics.LLVM
llvmFunctionAliasesLang.Crucible.LLVM.Translation
llvmGetenvOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmGlobalAliasesLang.Crucible.LLVM.Translation
llvmGlobalsLang.Crucible.LLVM
llvmGlobalsToCtxLang.Crucible.LLVM
llvmHandlesLang.Crucible.LLVM.SymIO
llvmHtonlOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmHtonsOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmHypotfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmHypotOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmIntrinsicTypesLang.Crucible.LLVM.Intrinsics
llvmInvariantEndOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmInvariantEndOverride_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmInvariantStartOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmInvariantStartOverride_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmIsFpclassOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmIsFpclassOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmIsinfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmIsnanOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLAbsOverride_32Lang.Crucible.LLVM.Intrinsics.Libc
llvmLAbsOverride_64Lang.Crucible.LLVM.Intrinsics.Libc
llvmLifetimeEndOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmLifetimeOverrideOverloadLang.Crucible.LLVM.Intrinsics.LLVM
llvmLifetimeOverrideOverload_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmLifetimeStartOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmLLAbsOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog10fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog10OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog10Override_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmLog10Override_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmLog1pfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog1pOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog2fOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog2OverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLog2Override_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmLog2Override_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmLogfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLogOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmLogOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmLogOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMallocOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemcpyChkOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemcpyOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemcpyOverride_8_8_32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemcpyOverride_8_8_32_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemcpyOverride_8_8_32_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemcpyOverride_8_8_64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemcpyOverride_8_8_64_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemcpyOverride_8_8_64_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemmoveOverride_8_8_32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverride_8_8_32_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverride_8_8_32_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverride_8_8_64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverride_8_8_64_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemmoveOverride_8_8_64_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetChkOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemsetOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmMemsetOverride_8_32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetOverride_8_32_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetOverride_8_32_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetOverride_8_64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetOverride_8_64_noalignLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemsetOverride_8_64_noalign_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmMemVarLang.Crucible.LLVM.Translation
llvmMetadataMapLang.Crucible.LLVM.TypeContext
llvmNtohlOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmNtohsOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmObjectsizeOverride_32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_32_nullLang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_32_null_dynamicLang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_32_null_dynamic_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_64_nullLang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_64_null_dynamicLang.Crucible.LLVM.Intrinsics.LLVM
llvmObjectsizeOverride_64_null_dynamic_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
LLVMOverride 
1 (Type/Class)Lang.Crucible.LLVM.Intrinsics
2 (Data Constructor)Lang.Crucible.LLVM.Intrinsics
llvmOverride_argsLang.Crucible.LLVM.Intrinsics
llvmOverride_declareLang.Crucible.LLVM.Intrinsics
llvmOverride_defLang.Crucible.LLVM.Intrinsics
llvmOverride_retLang.Crucible.LLVM.Intrinsics
llvmOvrLang.Crucible.LLVM.QQ
LLVMPointerLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
llvmPointerBlockLang.Crucible.LLVM.MemModel.Pointer
llvmPointerOffsetLang.Crucible.LLVM.MemModel.Pointer
LLVMPointerReprLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation
LLVMPointerTypeLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation
llvmPointerTypeLang.Crucible.LLVM.MemModel.Pointer
llvmPointerViewLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
llvmPointer_bvLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
llvmPowfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmPowOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmPowOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmPowOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmPrefetchOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmPrefetchOverride_opaqueLang.Crucible.LLVM.Intrinsics.LLVM
llvmPrefetchOverride_preLLVM10Lang.Crucible.LLVM.Intrinsics.LLVM
llvmPrintfChkOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmPrintfOverrideLang.Crucible.LLVM.Intrinsics.Libc
LLVMPtrLang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel
llvmPtrWidthLang.Crucible.LLVM.Translation
llvmPutCharOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmPutsOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmReallocOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmRetTypeAsReprLang.Crucible.LLVM.Translation
llvmSaddWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
LLVMSafetyAssertionLang.Crucible.LLVM.Errors
LLVMSideCondition 
1 (Type/Class)Lang.Crucible.LLVM.Extension
2 (Data Constructor)Lang.Crucible.LLVM.Extension
llvmSinfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSinhfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSinhOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSinOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSinOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmSinOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmSizeTLang.Crucible.LLVM.Intrinsics
llvmSmaxLang.Crucible.LLVM.Intrinsics.LLVM
llvmSminLang.Crucible.LLVM.Intrinsics.LLVM
llvmSmulWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
llvmSqrtfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSqrtOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSqrtOverride_F32Lang.Crucible.LLVM.Intrinsics.LLVM
llvmSqrtOverride_F64Lang.Crucible.LLVM.Intrinsics.LLVM
llvmSSizeTLang.Crucible.LLVM.Intrinsics
llvmSsubWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
llvmStackrestoreLang.Crucible.LLVM.Intrinsics.LLVM
llvmStacksaveLang.Crucible.LLVM.Intrinsics.LLVM
llvmStatementExecLang.Crucible.LLVM.MemModel
LLVMStmtLang.Crucible.LLVM.Extension
llvmStrlenOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmSymIOIntrinsicTypesLang.Crucible.LLVM.SymIO
llvmTanfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmTanhfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmTanhOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvmTanOverrideLang.Crucible.LLVM.Intrinsics.Libc
LLVMTranslationWarning 
1 (Type/Class)Lang.Crucible.LLVM.Translation
2 (Data Constructor)Lang.Crucible.LLVM.Translation
llvmTrapOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmTypeLang.Crucible.LLVM.QQ
llvmTypeAsReprLang.Crucible.LLVM.Translation
llvmTypeCtxLang.Crucible.LLVM.Translation
llvmTypesAsCtxLang.Crucible.LLVM.Translation
llvmUaddWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
llvmUBSanTrapOverrideLang.Crucible.LLVM.Intrinsics.LLVM
llvmUmaxLang.Crucible.LLVM.Intrinsics.LLVM
llvmUminLang.Crucible.LLVM.Intrinsics.LLVM
llvmUmulWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
llvmUsubWithOverflowLang.Crucible.LLVM.Intrinsics.LLVM
LLVMValLang.Crucible.LLVM.MemModel
LLVMValArrayLang.Crucible.LLVM.MemModel
LLVMValFloatLang.Crucible.LLVM.MemModel
LLVMValIntLang.Crucible.LLVM.MemModel
llvmValStorableTypeLang.Crucible.LLVM.MemModel
LLVMValStringLang.Crucible.LLVM.MemModel
LLVMValStructLang.Crucible.LLVM.MemModel
LLVMValUndefLang.Crucible.LLVM.MemModel
LLVMValZeroLang.Crucible.LLVM.MemModel
llvmX86_pclmulqdqLang.Crucible.LLVM.Intrinsics.LLVM
llvmX86_SSE2_storeu_dqLang.Crucible.LLVM.Intrinsics.LLVM
LLVM_AllocaLang.Crucible.LLVM.Extension
LLVM_DbgLang.Crucible.LLVM.Extension
LLVM_Dbg_AddrLang.Crucible.LLVM.Extension
LLVM_Dbg_DeclareLang.Crucible.LLVM.Extension
LLVM_Dbg_ValueLang.Crucible.LLVM.Extension
LLVM_DebugLang.Crucible.LLVM.Extension
LLVM_LoadLang.Crucible.LLVM.Extension
LLVM_LoadHandleLang.Crucible.LLVM.Extension
LLVM_MemClearLang.Crucible.LLVM.Extension
LLVM_PointerBlockLang.Crucible.LLVM.Extension
LLVM_PointerExprLang.Crucible.LLVM.Extension
LLVM_PointerIteLang.Crucible.LLVM.Extension
LLVM_PointerOffsetLang.Crucible.LLVM.Extension
LLVM_PopFrameLang.Crucible.LLVM.Extension
LLVM_PtrAddOffsetLang.Crucible.LLVM.Extension
LLVM_PtrEqLang.Crucible.LLVM.Extension
LLVM_PtrLeLang.Crucible.LLVM.Extension
LLVM_PtrSubtractLang.Crucible.LLVM.Extension
LLVM_PushFrameLang.Crucible.LLVM.Extension
LLVM_ResolveGlobalLang.Crucible.LLVM.Extension
LLVM_SideConditionsLang.Crucible.LLVM.Extension
LLVM_StoreLang.Crucible.LLVM.Extension
llvm__isinffOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvm__isinfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvm__isnanfOverrideLang.Crucible.LLVM.Intrinsics.Libc
llvm__isnanOverrideLang.Crucible.LLVM.Intrinsics.Libc
loadMaybeStringLang.Crucible.LLVM.MemModel
loadRawLang.Crucible.LLVM.MemModel
loadStringLang.Crucible.LLVM.MemModel
LongDoubleConstLang.Crucible.LLVM.Translation
lookupAliasLang.Crucible.LLVM.TypeContext
lookupFileHandleLang.Crucible.LLVM.SymIO
lookupMetadataLang.Crucible.LLVM.TypeContext
LowerCaseLang.Crucible.LLVM.Printf
LshrExactLang.Crucible.LLVM.Errors.Poison
LshrOp2BigLang.Crucible.LLVM.Errors.Poison