AbnormalExitBehavior | Lang.Crucible.LLVM.Intrinsics |
abnormalExitBehavior | Lang.Crucible.LLVM.Intrinsics |
AbsIntMin | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
AddNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
AddNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
Addr | Lang.Crucible.LLVM.Bytes |
aggregateAlignment | Lang.Crucible.LLVM.DataLayout |
Alias | Lang.Crucible.LLVM.MemType |
AliasMap | Lang.Crucible.LLVM.TypeContext |
Alignment | Lang.Crucible.LLVM.DataLayout |
alignmentToExponent | Lang.Crucible.LLVM.DataLayout |
allModuleDeclares | Lang.Crucible.LLVM.Translation |
allocAndWriteMem | Lang.Crucible.LLVM.MemModel.Generic |
allocateFileDescriptor | Lang.Crucible.LLVM.SymIO |
Allocations | Lang.Crucible.LLVM.MemModel.MemLog |
allocGlobal | Lang.Crucible.LLVM.MemModel |
allocGlobals | Lang.Crucible.LLVM.MemModel |
AllocInfo | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
allocMem | Lang.Crucible.LLVM.MemModel.Generic |
allocMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
AllocMerge | Lang.Crucible.LLVM.MemModel.MemLog |
AllocType | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
alloc_and_register_override | Lang.Crucible.LLVM.Intrinsics |
AlwaysFail | Lang.Crucible.LLVM.Intrinsics |
annotateME | Lang.Crucible.LLVM.MemModel.Partial |
annotatePointerBlock | Lang.Crucible.LLVM.MemModel.Pointer |
annotatePointerOffset | Lang.Crucible.LLVM.MemModel.Pointer |
annotateUB | Lang.Crucible.LLVM.MemModel.Partial |
appendArray | Lang.Crucible.LLVM.MemModel.Partial |
ApplyViewFail | Lang.Crucible.LLVM.Errors.MemoryError |
ArchRepr | Lang.Crucible.LLVM.Extension |
ArchWidth | Lang.Crucible.LLVM.Extension |
ArgProfile | |
1 (Type/Class) | Lang.Crucible.LLVM.ArraySizeProfile |
2 (Data Constructor) | Lang.Crucible.LLVM.ArraySizeProfile |
argProfileInitialized | Lang.Crucible.LLVM.ArraySizeProfile |
argProfileSize | Lang.Crucible.LLVM.ArraySizeProfile |
Array | Lang.Crucible.LLVM.MemModel |
ArrayConst | Lang.Crucible.LLVM.Translation |
arrayElt | Lang.Crucible.LLVM.MemModel.Partial |
arraySizeProfile | Lang.Crucible.LLVM.ArraySizeProfile |
ArrayType | Lang.Crucible.LLVM.MemType |
arrayType | Lang.Crucible.LLVM.MemModel |
AshrExact | Lang.Crucible.LLVM.Errors.Poison |
AshrOp2Big | Lang.Crucible.LLVM.Errors.Poison |
asMemAllocationArrayStore | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
asMemType | Lang.Crucible.LLVM.TypeContext |
assertDisjointRegions | Lang.Crucible.LLVM.MemModel |
assertSafe | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
attachMemoryError | Lang.Crucible.LLVM.MemModel.Partial |
attachSideCondition | Lang.Crucible.LLVM.MemModel.Partial |
AVXOp1 | Lang.Crucible.LLVM.Arch.X86 |
BadBehavior | Lang.Crucible.LLVM.Errors |
BadFunctionPointer | Lang.Crucible.LLVM.Errors.MemoryError |
basic_llvm_override | Lang.Crucible.LLVM.Intrinsics |
BBMemoryError | Lang.Crucible.LLVM.Errors |
BBUndefinedBehavior | Lang.Crucible.LLVM.Errors |
BigEndian | Lang.Crucible.LLVM.DataLayout |
bindLLVMFunPtr | Lang.Crucible.LLVM.MemModel |
bind_llvm_func | Lang.Crucible.LLVM.Intrinsics |
bind_llvm_handle | Lang.Crucible.LLVM.Intrinsics |
bitsToBytes | Lang.Crucible.LLVM.Bytes |
Bitvector | Lang.Crucible.LLVM.MemModel |
bitvectorType | Lang.Crucible.LLVM.MemModel |
BlockSource | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
bodyValue | |
1 (Function) | Lang.Crucible.LLVM.SimpleLoopInvariant |
2 (Function) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
BoolAnn | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Partial |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Partial |
boolConst | Lang.Crucible.LLVM.Translation |
branchAbortMem | Lang.Crucible.LLVM.MemModel.Generic |
BranchFrame | Lang.Crucible.LLVM.MemModel.MemLog |
branchMem | Lang.Crucible.LLVM.MemModel.Generic |
buildDisjointRegionsAssertion | Lang.Crucible.LLVM.MemModel |
buildDisjointRegionsAssertionWithSub | Lang.Crucible.LLVM.MemModel |
build_llvm_override | Lang.Crucible.LLVM.Intrinsics |
bvConcat | Lang.Crucible.LLVM.MemModel.Partial |
bvToDouble | Lang.Crucible.LLVM.MemModel.Partial |
bvToFloat | Lang.Crucible.LLVM.MemModel.Partial |
bvToX86_FP80 | Lang.Crucible.LLVM.MemModel.Partial |
Bytes | |
1 (Type/Class) | Lang.Crucible.LLVM.Bytes |
2 (Data Constructor) | Lang.Crucible.LLVM.Bytes |
bytesToBits | Lang.Crucible.LLVM.Bytes |
bytesToBV | Lang.Crucible.LLVM.Bytes |
bytesToInteger | Lang.Crucible.LLVM.Bytes |
bytesToNatural | Lang.Crucible.LLVM.Bytes |
callAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
callAllCtors | Lang.Crucible.LLVM.Ctors |
callAssert | Lang.Crucible.LLVM.Intrinsics.Libc |
callBitreverse | Lang.Crucible.LLVM.Intrinsics.LLVM |
callBSwap | Lang.Crucible.LLVM.Intrinsics.Libc |
callBSwapIfLittleEndian | Lang.Crucible.LLVM.Intrinsics.Libc |
callCalloc | Lang.Crucible.LLVM.Intrinsics.Libc |
callCeil | Lang.Crucible.LLVM.Intrinsics.Libc |
callCloseFile | Lang.Crucible.LLVM.SymIO |
callCopysign | Lang.Crucible.LLVM.Intrinsics.LLVM |
callCtlz | Lang.Crucible.LLVM.Intrinsics.LLVM |
callCtors | Lang.Crucible.LLVM.Ctors |
callCtorsCFG | Lang.Crucible.LLVM.Ctors |
callCtpop | Lang.Crucible.LLVM.Intrinsics.LLVM |
callCttz | Lang.Crucible.LLVM.Intrinsics.LLVM |
callExit | Lang.Crucible.LLVM.Intrinsics.Libc |
callFloor | Lang.Crucible.LLVM.Intrinsics.Libc |
callFMA | Lang.Crucible.LLVM.Intrinsics.Libc |
callFree | Lang.Crucible.LLVM.Intrinsics.Libc |
callFshl | Lang.Crucible.LLVM.Intrinsics.LLVM |
callFshr | Lang.Crucible.LLVM.Intrinsics.LLVM |
callIsFpclass | Lang.Crucible.LLVM.Intrinsics.LLVM |
callIsinf | Lang.Crucible.LLVM.Intrinsics.Libc |
callIsnan | Lang.Crucible.LLVM.Intrinsics.Libc |
callLibcAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
callLLVMAbs | Lang.Crucible.LLVM.Intrinsics.Libc |
callMalloc | Lang.Crucible.LLVM.Intrinsics.Libc |
callMemcpy | Lang.Crucible.LLVM.Intrinsics.Libc |
callMemmove | Lang.Crucible.LLVM.Intrinsics.Libc |
callMemset | Lang.Crucible.LLVM.Intrinsics.Libc |
callObjectsize | Lang.Crucible.LLVM.Intrinsics.LLVM |
callObjectsize_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
callObjectsize_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
callOpenFile | Lang.Crucible.LLVM.SymIO |
callPosixMemalign | Lang.Crucible.LLVM.Intrinsics.Libc |
callPrintf | Lang.Crucible.LLVM.Intrinsics.Libc |
callPutChar | Lang.Crucible.LLVM.Intrinsics.Libc |
callPuts | Lang.Crucible.LLVM.Intrinsics.Libc |
callReadFileHandle | Lang.Crucible.LLVM.SymIO |
callRealloc | Lang.Crucible.LLVM.Intrinsics.Libc |
callSaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
callSmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
callSmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
callSmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
callSpecialFunction1 | Lang.Crucible.LLVM.Intrinsics.Libc |
callSpecialFunction2 | Lang.Crucible.LLVM.Intrinsics.Libc |
callSqrt | Lang.Crucible.LLVM.Intrinsics.Libc |
callSsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
CallStack | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
callStackFromMemVar | Lang.Crucible.LLVM.Eval |
callStackFromMemVar' | Lang.Crucible.LLVM.Intrinsics |
callStoreudq | Lang.Crucible.LLVM.Intrinsics.LLVM |
callStrlen | Lang.Crucible.LLVM.Intrinsics.Libc |
callUaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
callUmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
callUmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
callUmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
callUsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
callWriteFileHandle | Lang.Crucible.LLVM.SymIO |
callX86_pclmulqdq | Lang.Crucible.LLVM.Intrinsics.LLVM |
Case | Lang.Crucible.LLVM.Printf |
CexExplanation | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
CheckAbsIntMin | Lang.Crucible.LLVM.Intrinsics.Libc |
cite | |
1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
2 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
classifier | Lang.Crucible.LLVM.Errors |
closeFile | Lang.Crucible.LLVM.SymIO |
commaSepList | Lang.Crucible.LLVM.PrettyPrint |
CompareDifferentAllocs | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
CompareInvalidPointer | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ComparePointerToBV | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
compatMemTypeLists | Lang.Crucible.LLVM.TypeContext |
compatMemTypes | Lang.Crucible.LLVM.TypeContext |
compatRetTypes | Lang.Crucible.LLVM.TypeContext |
concBadBehavior | Lang.Crucible.LLVM.Errors |
concBV | Lang.Crucible.LLVM.MemModel.Pointer |
concLLVMVal | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
concMem | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
concMemImpl | Lang.Crucible.LLVM.MemModel |
concMemoryError | Lang.Crucible.LLVM.Errors.MemoryError |
concMemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
concPoison | Lang.Crucible.LLVM.Errors.Poison |
concPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel |
concPtr' | Lang.Crucible.LLVM.MemModel.Pointer |
concUB | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
condStoreRaw | Lang.Crucible.LLVM.MemModel |
cons | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
consArray | Lang.Crucible.LLVM.MemModel.Partial |
constOffset | Lang.Crucible.LLVM.MemModel.Pointer |
constToLLVMVal | Lang.Crucible.LLVM.MemModel |
constToLLVMValP | Lang.Crucible.LLVM.MemModel |
Conversion | Lang.Crucible.LLVM.Printf |
ConversionDirective | |
1 (Type/Class) | Lang.Crucible.LLVM.Printf |
2 (Data Constructor) | Lang.Crucible.LLVM.Printf |
Conversion_Char | Lang.Crucible.LLVM.Printf |
Conversion_CountChars | Lang.Crucible.LLVM.Printf |
Conversion_Floating | Lang.Crucible.LLVM.Printf |
Conversion_Integer | Lang.Crucible.LLVM.Printf |
Conversion_Pointer | Lang.Crucible.LLVM.Printf |
Conversion_String | Lang.Crucible.LLVM.Printf |
copyMem | Lang.Crucible.LLVM.MemModel.Generic |
Ctor | |
1 (Type/Class) | Lang.Crucible.LLVM.Ctors |
2 (Data Constructor) | Lang.Crucible.LLVM.Ctors |
ctorData | Lang.Crucible.LLVM.Ctors |
ctorFunction | Lang.Crucible.LLVM.Ctors |
ctorPriority | Lang.Crucible.LLVM.Ctors |
cxa_atexitOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
DataLayout | Lang.Crucible.LLVM.DataLayout |
debugIntrinsics | Lang.Crucible.LLVM.Translation |
debugIntrinsicsTranslationOptions | Lang.Crucible.LLVM.Translation |
declareFromDefine | Lang.Crucible.LLVM.Translation |
defaultDataLayout | Lang.Crucible.LLVM.DataLayout |
defaultIntrinsicsOptions | Lang.Crucible.LLVM.Intrinsics |
defaultMemOptions | Lang.Crucible.LLVM.MemModel |
defaultRM | Lang.Crucible.LLVM.Intrinsics.Libc |
defaultTranslationOptions | Lang.Crucible.LLVM.Translation |
detailBB | Lang.Crucible.LLVM.Errors |
details | |
1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
2 (Function) | Lang.Crucible.LLVM.Errors.MemoryError |
3 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
DisjOfFailures | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
doAlloca | Lang.Crucible.LLVM.MemModel |
doArrayConstStore | Lang.Crucible.LLVM.MemModel |
doArrayConstStoreUnbounded | Lang.Crucible.LLVM.MemModel |
doArrayStore | Lang.Crucible.LLVM.MemModel |
doArrayStoreUnbounded | Lang.Crucible.LLVM.MemModel |
doCalloc | Lang.Crucible.LLVM.MemModel |
doConditionalWriteOperation | Lang.Crucible.LLVM.MemModel |
doDumpMem | Lang.Crucible.LLVM.MemModel |
doFree | Lang.Crucible.LLVM.MemModel |
doInstallHandle | Lang.Crucible.LLVM.MemModel |
doInvalidate | Lang.Crucible.LLVM.MemModel |
doLoad | Lang.Crucible.LLVM.MemModel |
doLookupHandle | Lang.Crucible.LLVM.MemModel |
doMalloc | Lang.Crucible.LLVM.MemModel |
doMallocHandle | Lang.Crucible.LLVM.MemModel |
doMallocUnbounded | Lang.Crucible.LLVM.MemModel |
doMemcpy | Lang.Crucible.LLVM.MemModel |
doMemset | Lang.Crucible.LLVM.MemModel |
doPtrAddOffset | Lang.Crucible.LLVM.MemModel |
doPtrSubtract | Lang.Crucible.LLVM.MemModel |
doResolveGlobal | Lang.Crucible.LLVM.MemModel |
doStore | Lang.Crucible.LLVM.MemModel |
Double | Lang.Crucible.LLVM.MemModel |
DoubleConst | Lang.Crucible.LLVM.Translation |
DoubleFree | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
DoubleSize | Lang.Crucible.LLVM.MemModel |
doubleToBV | Lang.Crucible.LLVM.MemModel.Partial |
DoubleType | Lang.Crucible.LLVM.MemType |
doubleType | Lang.Crucible.LLVM.MemModel |
do_register_llvm_override | Lang.Crucible.LLVM.Intrinsics |
emptyChanges | Lang.Crucible.LLVM.MemModel.MemLog |
EmptyMem | Lang.Crucible.LLVM.MemModel.MemLog |
emptyMem | |
1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
EndianForm | Lang.Crucible.LLVM.DataLayout |
Eq | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
Err | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
eval | Lang.Crucible.LLVM.Arch.X86 |
ExactMatch | Lang.Crucible.LLVM.Intrinsics |
executeDirectives | Lang.Crucible.LLVM.Printf |
explain | |
1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
2 (Function) | Lang.Crucible.LLVM.Errors.MemoryError |
3 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
explainBB | Lang.Crucible.LLVM.Errors |
explainCex | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
explodeStringValue | Lang.Crucible.LLVM.MemModel |
exponentToAlignment | Lang.Crucible.LLVM.DataLayout |
extra | Lang.Crucible.LLVM.Errors |
ExtractElementIndex | Lang.Crucible.LLVM.Errors.Poison |
ExtX86 | Lang.Crucible.LLVM.Arch.X86 |
fdArgTypes | Lang.Crucible.LLVM.MemType |
fdRetType | Lang.Crucible.LLVM.MemType |
fdVarArgs | Lang.Crucible.LLVM.MemType |
Field | Lang.Crucible.LLVM.MemModel |
FieldInfo | Lang.Crucible.LLVM.MemType |
fieldOffset | Lang.Crucible.LLVM.MemModel |
fieldPad | Lang.Crucible.LLVM.MemModel |
fieldVal | |
1 (Function) | Lang.Crucible.LLVM.MemModel |
2 (Function) | Lang.Crucible.LLVM.MemModel.Partial |
fiOffset | Lang.Crucible.LLVM.MemType |
fiPadding | Lang.Crucible.LLVM.MemType |
fiType | Lang.Crucible.LLVM.MemType |
FixpointEntry | |
1 (Type/Class) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
2 (Data Constructor) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
Float | Lang.Crucible.LLVM.MemModel |
floatAlignment | Lang.Crucible.LLVM.DataLayout |
FloatConst | Lang.Crucible.LLVM.Translation |
FloatFormat | Lang.Crucible.LLVM.Printf |
FloatFormat_Auto | Lang.Crucible.LLVM.Printf |
FloatFormat_Hex | Lang.Crucible.LLVM.Printf |
FloatFormat_Scientific | Lang.Crucible.LLVM.Printf |
FloatFormat_Standard | Lang.Crucible.LLVM.Printf |
FloatSize | Lang.Crucible.LLVM.MemModel |
floatToBV | Lang.Crucible.LLVM.MemModel.Partial |
FloatType | Lang.Crucible.LLVM.MemType |
floatType | Lang.Crucible.LLVM.MemModel |
formatInteger | Lang.Crucible.LLVM.Printf |
formatRational | Lang.Crucible.LLVM.Printf |
fp80ToBV | Lang.Crucible.LLVM.MemModel.Partial |
FreeBadOffset | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
freeMem | Lang.Crucible.LLVM.MemModel.Generic |
freeMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
FreeUnallocated | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
fromAlignment | Lang.Crucible.LLVM.DataLayout |
FuncLookupError | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
functionAliases | Lang.Crucible.LLVM.Translation.Aliases |
FunctionName | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
FunctionProfile | |
1 (Type/Class) | Lang.Crucible.LLVM.ArraySizeProfile |
2 (Data Constructor) | Lang.Crucible.LLVM.ArraySizeProfile |
FunDecl | |
1 (Type/Class) | Lang.Crucible.LLVM.MemType |
2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
funDecl | Lang.Crucible.LLVM.MemType |
funProfileArgs | Lang.Crucible.LLVM.ArraySizeProfile |
funProfileName | Lang.Crucible.LLVM.ArraySizeProfile |
FunType | Lang.Crucible.LLVM.MemType |
GEP | Lang.Crucible.LLVM.Translation |
GEPOutOfBounds | Lang.Crucible.LLVM.Errors.Poison |
GEPResult | |
1 (Type/Class) | Lang.Crucible.LLVM.Translation |
2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
GEP_field | Lang.Crucible.LLVM.Translation |
GEP_index_each | Lang.Crucible.LLVM.Translation |
GEP_index_vector | Lang.Crucible.LLVM.Translation |
GEP_scalar_base | Lang.Crucible.LLVM.Translation |
GEP_scatter | Lang.Crucible.LLVM.Translation |
GEP_vector_base | Lang.Crucible.LLVM.Translation |
getCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
getFunctionName | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
getTranslatedCFG | Lang.Crucible.LLVM.Translation |
getTranslatedFnHandle | Lang.Crucible.LLVM.Translation |
globalAliases | Lang.Crucible.LLVM.Translation.Aliases |
GlobalAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
globalCtors | Lang.Crucible.LLVM.Ctors |
GlobalInitializerMap | Lang.Crucible.LLVM.Globals |
globalInitMap | Lang.Crucible.LLVM.Translation |
GlobalMap | Lang.Crucible.LLVM.MemModel |
GlobalSymbol | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
HasLLVMAnn | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
HasPtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
headerValue | |
1 (Function) | Lang.Crucible.LLVM.SimpleLoopInvariant |
2 (Function) | Lang.Crucible.LLVM.SimpleLoopFixpoint |
HeapAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
HypotheticalInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
i1 | Lang.Crucible.LLVM.MemType |
i16 | Lang.Crucible.LLVM.MemType |
i16p | Lang.Crucible.LLVM.MemType |
i32 | Lang.Crucible.LLVM.MemType |
i32p | Lang.Crucible.LLVM.MemType |
i64 | Lang.Crucible.LLVM.MemType |
i64p | Lang.Crucible.LLVM.MemType |
i8 | Lang.Crucible.LLVM.MemType |
i8p | Lang.Crucible.LLVM.MemType |
Ident | |
1 (Type/Class) | Lang.Crucible.LLVM.MemType |
2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
Immutable | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
IndeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
indeterminateLoadBehavior | Lang.Crucible.LLVM.MemModel |
InductiveInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
InitialInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
initializeAllMemory | Lang.Crucible.LLVM.Globals |
initializeMemory | Lang.Crucible.LLVM.Globals |
initializeMemoryConstGlobals | Lang.Crucible.LLVM.Globals |
initialLLVMFileSystem | Lang.Crucible.LLVM.SymIO |
InsertElementIndex | Lang.Crucible.LLVM.Errors.Poison |
IntConst | Lang.Crucible.LLVM.Translation |
intConst | Lang.Crucible.LLVM.Translation |
integerAlignment | Lang.Crucible.LLVM.DataLayout |
IntFormat | Lang.Crucible.LLVM.Printf |
IntFormat_Hex | Lang.Crucible.LLVM.Printf |
IntFormat_Octal | Lang.Crucible.LLVM.Printf |
IntFormat_SignedDecimal | Lang.Crucible.LLVM.Printf |
IntFormat_UnsignedDecimal | Lang.Crucible.LLVM.Printf |
intLayout | Lang.Crucible.LLVM.DataLayout |
IntrinsicsOptions | |
1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
IntType | Lang.Crucible.LLVM.MemType |
intWidthSize | Lang.Crucible.LLVM.DataLayout |
Invalid | Lang.Crucible.LLVM.Errors.MemoryError |
Invalidated | Lang.Crucible.LLVM.Errors.MemoryError |
invalidateMem | Lang.Crucible.LLVM.MemModel.Generic |
InvariantEntry | |
1 (Type/Class) | Lang.Crucible.LLVM.SimpleLoopInvariant |
2 (Data Constructor) | Lang.Crucible.LLVM.SimpleLoopInvariant |
InvariantPhase | Lang.Crucible.LLVM.SimpleLoopInvariant |
isAligned | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
isAllocatedAlignedPointer | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
isAllocatedGeneric | Lang.Crucible.LLVM.MemModel.MemLog |
isAllocatedMutable | Lang.Crucible.LLVM.MemModel.Generic |
isGlobalPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
isGlobalPointer' | Lang.Crucible.LLVM.MemModel.Pointer |
isPointerMemType | Lang.Crucible.LLVM.MemType |
isValidPointer | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
isZero | Lang.Crucible.LLVM.MemModel |
laxArith | Lang.Crucible.LLVM.Translation |
laxConstantEquality | Lang.Crucible.LLVM.MemModel |
laxLoadsAndStores | Lang.Crucible.LLVM.MemModel |
laxPointerMemOptions | Lang.Crucible.LLVM.MemModel |
laxPointerOrdering | Lang.Crucible.LLVM.MemModel |
Len_Byte | Lang.Crucible.LLVM.Printf |
Len_IntMax | Lang.Crucible.LLVM.Printf |
Len_Long | Lang.Crucible.LLVM.Printf |
Len_LongDouble | Lang.Crucible.LLVM.Printf |
Len_LongLong | Lang.Crucible.LLVM.Printf |
Len_NoMod | Lang.Crucible.LLVM.Printf |
Len_PtrDiff | Lang.Crucible.LLVM.Printf |
Len_Short | Lang.Crucible.LLVM.Printf |
Len_Sizet | Lang.Crucible.LLVM.Printf |
Leq | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
LibcAbsIntMinUB | Lang.Crucible.LLVM.Intrinsics.Libc |
liftDeclare | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
liftMemType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
liftRetType | Lang.Crucible.LLVM.TypeContext, Lang.Crucible.LLVM.Translation |
liftType | Lang.Crucible.LLVM.TypeContext |
LittleEndian | Lang.Crucible.LLVM.DataLayout |
LLVM | Lang.Crucible.LLVM.Extension, Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM |
llvmAbortOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
LLVMAbsIntMin | Lang.Crucible.LLVM.Errors.Poison |
LLVMAbsIntMinPoison | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAbsOverride | |
1 (Function) | Lang.Crucible.LLVM.Intrinsics.Libc |
2 (Function) | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmAcosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAcoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAcoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAcosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAliasMap | Lang.Crucible.LLVM.TypeContext |
LLVMAnnMap | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
LLVMArch | Lang.Crucible.LLVM.Extension |
llvmArch | Lang.Crucible.LLVM.Translation |
llvmAsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAsinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAsinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAsinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAssertFailOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAssertRtnOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAssumeOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmAtan2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAtan2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAtanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAtanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAtanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmAtanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmBitreverse | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmBSwapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCeilfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCeilOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCeilOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCeilOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
LLVMConst | Lang.Crucible.LLVM.Translation |
LLVMContext | |
1 (Type/Class) | Lang.Crucible.LLVM.Translation |
2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
llvmCopysignOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCopysignOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCosfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCoshfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCoshOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCosOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmCosOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCosOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCtlz | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCtpop | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmCttz | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmDataLayout | Lang.Crucible.LLVM.TypeContext |
llvmDecl | Lang.Crucible.LLVM.QQ |
llvmDeclToFunHandleRepr | Lang.Crucible.LLVM.Translation, Lang.Crucible.LLVM.Intrinsics |
llvmDeclToFunHandleRepr' | Lang.Crucible.LLVM.Translation |
llvmExitOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExp10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExp10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExp2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExp2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExp2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmExp2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmExpectOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmExpfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExpm1fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExpm1Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExpOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmExpOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmExpOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmExtensionEval | Lang.Crucible.LLVM.Eval |
LLVMExtensionExpr | Lang.Crucible.LLVM.Extension |
llvmExtensionImpl | Lang.Crucible.LLVM |
llvmFabsF32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFabsF64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFileDescMap | Lang.Crucible.LLVM.SymIO |
llvmFilePointerRepr | Lang.Crucible.LLVM.SymIO |
LLVMFileSystem | |
1 (Type/Class) | Lang.Crucible.LLVM.SymIO |
2 (Data Constructor) | Lang.Crucible.LLVM.SymIO |
llvmFileSystem | Lang.Crucible.LLVM.SymIO |
llvmFloorfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmFloorOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmFloorOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFloorOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFmafOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmFmaOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmFmaOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFmaOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFmuladdOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFmuladdOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFreeOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmFshl | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFshr | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmFunctionAliases | Lang.Crucible.LLVM.Translation |
llvmGetenvOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmGlobalAliases | Lang.Crucible.LLVM.Translation |
llvmGlobals | Lang.Crucible.LLVM |
llvmGlobalsToCtx | Lang.Crucible.LLVM |
llvmHandles | Lang.Crucible.LLVM.SymIO |
llvmHtonlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmHtonsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmHypotfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmHypotOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmIntrinsicTypes | Lang.Crucible.LLVM.Intrinsics |
llvmInvariantEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmInvariantEndOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmInvariantStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmInvariantStartOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmIsFpclassOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmIsFpclassOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmIsinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmIsnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLAbsOverride_32 | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLAbsOverride_64 | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLifetimeEndOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLifetimeOverrideOverload | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLifetimeOverrideOverload_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLifetimeStartOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLLAbsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog10fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog10Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog10Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLog10Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLog1pfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog1pOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog2fOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog2Override | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLog2Override_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLog2Override_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLogfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLogOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmLogOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmLogOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemcpyChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemcpyOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemcpyOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemcpyOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemcpyOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemcpyOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemcpyOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemcpyOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemmoveOverride_8_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride_8_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride_8_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride_8_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride_8_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemmoveOverride_8_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemsetOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmMemsetOverride_8_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetOverride_8_32_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetOverride_8_32_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetOverride_8_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetOverride_8_64_noalign | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemsetOverride_8_64_noalign_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmMemVar | Lang.Crucible.LLVM.Translation |
llvmMetadataMap | Lang.Crucible.LLVM.TypeContext |
llvmNtohlOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmNtohsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmObjectsizeOverride_32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_32_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_32_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_32_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_64_null | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_64_null_dynamic | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmObjectsizeOverride_64_null_dynamic_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
LLVMOverride | |
1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
llvmOverride_args | Lang.Crucible.LLVM.Intrinsics |
llvmOverride_declare | Lang.Crucible.LLVM.Intrinsics |
llvmOverride_def | Lang.Crucible.LLVM.Intrinsics |
llvmOverride_ret | Lang.Crucible.LLVM.Intrinsics |
llvmOvr | Lang.Crucible.LLVM.QQ |
LLVMPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
llvmPointerBlock | Lang.Crucible.LLVM.MemModel.Pointer |
llvmPointerOffset | Lang.Crucible.LLVM.MemModel.Pointer |
LLVMPointerRepr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
LLVMPointerType | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
llvmPointerType | Lang.Crucible.LLVM.MemModel.Pointer |
llvmPointerView | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
llvmPointer_bv | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
llvmPowfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmPowOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmPowOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmPowOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmPrefetchOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmPrefetchOverride_opaque | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmPrefetchOverride_preLLVM10 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmPrintfChkOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmPrintfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
LLVMPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
llvmPtrWidth | Lang.Crucible.LLVM.Translation |
llvmPutCharOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmPutsOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmReallocOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmRetTypeAsRepr | Lang.Crucible.LLVM.Translation |
llvmSaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
LLVMSafetyAssertion | Lang.Crucible.LLVM.Errors |
LLVMSideCondition | |
1 (Type/Class) | Lang.Crucible.LLVM.Extension |
2 (Data Constructor) | Lang.Crucible.LLVM.Extension |
llvmSinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSinhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSinhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSinOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSinOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSinOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSizeT | Lang.Crucible.LLVM.Intrinsics |
llvmSmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSqrtfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSqrtOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSqrtOverride_F32 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSqrtOverride_F64 | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmSSizeT | Lang.Crucible.LLVM.Intrinsics |
llvmSsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmStackrestore | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmStacksave | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmStatementExec | Lang.Crucible.LLVM.MemModel |
LLVMStmt | Lang.Crucible.LLVM.Extension |
llvmStrlenOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmSymIOIntrinsicTypes | Lang.Crucible.LLVM.SymIO |
llvmTanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmTanhfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmTanhOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvmTanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
LLVMTranslationWarning | |
1 (Type/Class) | Lang.Crucible.LLVM.Translation |
2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
llvmTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmType | Lang.Crucible.LLVM.QQ |
llvmTypeAsRepr | Lang.Crucible.LLVM.Translation |
llvmTypeCtx | Lang.Crucible.LLVM.Translation |
llvmTypesAsCtx | Lang.Crucible.LLVM.Translation |
llvmUaddWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmUBSanTrapOverride | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmUmax | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmUmin | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmUmulWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmUsubWithOverflow | Lang.Crucible.LLVM.Intrinsics.LLVM |
LLVMVal | Lang.Crucible.LLVM.MemModel |
LLVMValArray | Lang.Crucible.LLVM.MemModel |
LLVMValFloat | Lang.Crucible.LLVM.MemModel |
LLVMValInt | Lang.Crucible.LLVM.MemModel |
llvmValStorableType | Lang.Crucible.LLVM.MemModel |
LLVMValString | Lang.Crucible.LLVM.MemModel |
LLVMValStruct | Lang.Crucible.LLVM.MemModel |
LLVMValUndef | Lang.Crucible.LLVM.MemModel |
LLVMValZero | Lang.Crucible.LLVM.MemModel |
llvmX86_pclmulqdq | Lang.Crucible.LLVM.Intrinsics.LLVM |
llvmX86_SSE2_storeu_dq | Lang.Crucible.LLVM.Intrinsics.LLVM |
LLVM_Alloca | Lang.Crucible.LLVM.Extension |
LLVM_Dbg | Lang.Crucible.LLVM.Extension |
LLVM_Dbg_Addr | Lang.Crucible.LLVM.Extension |
LLVM_Dbg_Declare | Lang.Crucible.LLVM.Extension |
LLVM_Dbg_Value | Lang.Crucible.LLVM.Extension |
LLVM_Debug | Lang.Crucible.LLVM.Extension |
LLVM_Load | Lang.Crucible.LLVM.Extension |
LLVM_LoadHandle | Lang.Crucible.LLVM.Extension |
LLVM_MemClear | Lang.Crucible.LLVM.Extension |
LLVM_PointerBlock | Lang.Crucible.LLVM.Extension |
LLVM_PointerExpr | Lang.Crucible.LLVM.Extension |
LLVM_PointerIte | Lang.Crucible.LLVM.Extension |
LLVM_PointerOffset | Lang.Crucible.LLVM.Extension |
LLVM_PopFrame | Lang.Crucible.LLVM.Extension |
LLVM_PtrAddOffset | Lang.Crucible.LLVM.Extension |
LLVM_PtrEq | Lang.Crucible.LLVM.Extension |
LLVM_PtrLe | Lang.Crucible.LLVM.Extension |
LLVM_PtrSubtract | Lang.Crucible.LLVM.Extension |
LLVM_PushFrame | Lang.Crucible.LLVM.Extension |
LLVM_ResolveGlobal | Lang.Crucible.LLVM.Extension |
LLVM_SideConditions | Lang.Crucible.LLVM.Extension |
LLVM_Store | Lang.Crucible.LLVM.Extension |
llvm__isinffOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvm__isinfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvm__isnanfOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
llvm__isnanOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
loadMaybeString | Lang.Crucible.LLVM.MemModel |
loadRaw | Lang.Crucible.LLVM.MemModel |
loadString | Lang.Crucible.LLVM.MemModel |
LongDoubleConst | Lang.Crucible.LLVM.Translation |
lookupAlias | Lang.Crucible.LLVM.TypeContext |
lookupFileHandle | Lang.Crucible.LLVM.SymIO |
lookupMetadata | Lang.Crucible.LLVM.TypeContext |
LowerCase | Lang.Crucible.LLVM.Printf |
LshrExact | Lang.Crucible.LLVM.Errors.Poison |
LshrOp2Big | Lang.Crucible.LLVM.Errors.Poison |
makeGlobalMap | Lang.Crucible.LLVM.Globals |
MalformedLLVMModule | |
1 (Type/Class) | Lang.Crucible.LLVM.MalformedLLVMModule |
2 (Data Constructor) | Lang.Crucible.LLVM.MalformedLLVMModule |
malformedLLVMModule | Lang.Crucible.LLVM.MalformedLLVMModule |
mallocConstRaw | Lang.Crucible.LLVM.MemModel |
mallocRaw | Lang.Crucible.LLVM.MemModel |
maxAlignment | Lang.Crucible.LLVM.DataLayout |
Mem | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
3 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
MemAlloc | Lang.Crucible.LLVM.MemModel.MemLog |
memAllocCount | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
MemAllocs | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
memAllocs | Lang.Crucible.LLVM.MemModel.Generic |
MemArrayStore | Lang.Crucible.LLVM.MemModel.MemLog |
MemChanges | Lang.Crucible.LLVM.MemModel.MemLog |
MemCopy | Lang.Crucible.LLVM.MemModel.MemLog |
MemCopyOp | Lang.Crucible.LLVM.Errors.MemoryError |
memEndian | |
1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
memEndianForm | Lang.Crucible.LLVM.MemModel.MemLog |
MemErrContext | Lang.Crucible.LLVM.Errors.MemoryError |
MemFree | Lang.Crucible.LLVM.MemModel.MemLog |
MemImpl | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
memImplBlockSource | Lang.Crucible.LLVM.MemModel |
memImplGlobalMap | Lang.Crucible.LLVM.MemModel |
memImplHandleMap | Lang.Crucible.LLVM.MemModel |
memImplHeap | Lang.Crucible.LLVM.MemModel |
memImplSymbolMap | Lang.Crucible.LLVM.MemModel |
MemInvalidate | Lang.Crucible.LLVM.MemModel.MemLog |
MemInvalidateOp | Lang.Crucible.LLVM.Errors.MemoryError |
MemLoadHandleOp | Lang.Crucible.LLVM.Errors.MemoryError |
MemLoadOp | Lang.Crucible.LLVM.Errors.MemoryError |
memOpMem | Lang.Crucible.LLVM.Errors.MemoryError |
MemOptions | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
MemoryError | |
1 (Type/Class) | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel.Partial |
2 (Data Constructor) | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel.Partial |
memoryError | Lang.Crucible.LLVM.Errors |
MemoryErrorReason | Lang.Crucible.LLVM.Errors.MemoryError |
MemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
memRepr | Lang.Crucible.LLVM.MemModel |
MemSet | Lang.Crucible.LLVM.MemModel.MemLog |
MemsetInvalidRegion | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
MemState | Lang.Crucible.LLVM.MemModel.MemLog |
memState | Lang.Crucible.LLVM.MemModel.MemLog |
MemStore | Lang.Crucible.LLVM.MemModel.MemLog |
MemStoreBytesOp | Lang.Crucible.LLVM.Errors.MemoryError |
MemStoreOp | Lang.Crucible.LLVM.Errors.MemoryError |
MemType | |
1 (Type/Class) | Lang.Crucible.LLVM.MemType |
2 (Data Constructor) | Lang.Crucible.LLVM.MemType |
memTypeAlign | Lang.Crucible.LLVM.MemType |
memTypeBitwidth | Lang.Crucible.LLVM.MemType |
memTypeSize | Lang.Crucible.LLVM.MemType |
MemWrite | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
memWriteCount | |
1 (Function) | Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.MemModel |
MemWrites | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.MemLog |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.MemLog |
MemWritesChunk | Lang.Crucible.LLVM.MemModel.MemLog |
MemWritesChunkFlat | Lang.Crucible.LLVM.MemModel.MemLog |
MemWritesChunkIndexed | Lang.Crucible.LLVM.MemModel.MemLog |
memWritesSingleton | Lang.Crucible.LLVM.MemModel.MemLog |
mergeMem | Lang.Crucible.LLVM.MemModel.Generic |
mergeWriteOperations | Lang.Crucible.LLVM.MemModel |
MetadataType | Lang.Crucible.LLVM.MemType |
mkArray | Lang.Crucible.LLVM.MemModel.Partial |
mkMemVar | Lang.Crucible.LLVM.MemModel |
mkNullPointer | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
mkStruct | Lang.Crucible.LLVM.MemModel.Partial |
mkStructInfo | Lang.Crucible.LLVM.MemType |
mkStructType | Lang.Crucible.LLVM.MemModel |
mkTypeContext | Lang.Crucible.LLVM.TypeContext |
modTransDefs | Lang.Crucible.LLVM.Translation |
modTransHalloc | Lang.Crucible.LLVM.Translation |
modTransModule | Lang.Crucible.LLVM.Translation |
ModuleTranslation | Lang.Crucible.LLVM.Translation |
MulNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
MulNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
Mutability | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
Mutable | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
muxLLVMPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
muxLLVMVal | Lang.Crucible.LLVM.MemModel.Partial |
muxMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
n0 | Lang.Crucible.LLVM.Arch.X86 |
n1 | Lang.Crucible.LLVM.Arch.X86 |
n128 | Lang.Crucible.LLVM.Arch.X86 |
n2 | Lang.Crucible.LLVM.Arch.X86 |
n256 | Lang.Crucible.LLVM.Arch.X86 |
n3 | Lang.Crucible.LLVM.Arch.X86 |
n32 | Lang.Crucible.LLVM.Arch.X86 |
natBytesMul | Lang.Crucible.LLVM.Bytes |
NeverFail | Lang.Crucible.LLVM.Intrinsics |
nextBlock | Lang.Crucible.LLVM.MemModel |
noAlignment | Lang.Crucible.LLVM.DataLayout |
NoErr | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
NoExplanation | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
NoOverride | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
NoSatisfyingWrite | Lang.Crucible.LLVM.Errors.MemoryError |
notAliasable | Lang.Crucible.LLVM.MemModel.Generic |
null | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
Offset | Lang.Crucible.LLVM.Bytes |
OnlyAssertFail | Lang.Crucible.LLVM.Intrinsics |
OpaqueType | Lang.Crucible.LLVM.MemType |
openFile | Lang.Crucible.LLVM.SymIO |
optLoopMerge | Lang.Crucible.LLVM.Translation |
OverlappingRegions | Lang.Crucible.LLVM.Errors.MemoryError |
OverrideTemplate | |
1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
overrideTemplateAction | Lang.Crucible.LLVM.Intrinsics |
overrideTemplateMatcher | Lang.Crucible.LLVM.Intrinsics |
packMemValue | Lang.Crucible.LLVM.MemModel |
padToAlignment | Lang.Crucible.LLVM.DataLayout |
parseDataLayout | Lang.Crucible.LLVM.DataLayout |
parseDirectives | Lang.Crucible.LLVM.Printf |
partErr | Lang.Crucible.LLVM.MemModel.Partial |
PartLLVMVal | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
PointerFloatCast | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
PointerIntCast | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
PointerUnsupportedOp | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
Poison | Lang.Crucible.LLVM.Errors.Poison |
poison | Lang.Crucible.LLVM.Errors |
poison' | Lang.Crucible.LLVM.Errors |
PoisonValueCreated | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
polymorphic1_llvm_override | Lang.Crucible.LLVM.Intrinsics |
popMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
popStackFrameMem | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
populateAllGlobals | Lang.Crucible.LLVM.Globals |
populateConstGlobals | Lang.Crucible.LLVM.Globals |
populateGlobal | Lang.Crucible.LLVM.Globals |
populateGlobals | Lang.Crucible.LLVM.Globals |
posixMemalignOverride | Lang.Crucible.LLVM.Intrinsics.Libc |
possibleAllocInfo | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
possibleAllocs | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
pp | |
1 (Function) | Lang.Crucible.LLVM.Errors.Poison |
2 (Function) | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ppAlignment | Lang.Crucible.LLVM.Extension |
ppAllocInfo | Lang.Crucible.LLVM.MemModel.MemLog |
ppAllocs | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
ppArrayType | Lang.Crucible.LLVM.PrettyPrint |
ppBB | Lang.Crucible.LLVM.Errors |
ppCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal, Lang.Crucible.LLVM.MemModel.CallStack |
ppCitation | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ppDeclare | Lang.Crucible.LLVM.PrettyPrint |
ppDetails | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ppFuncLookupError | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
ppFunDecl | Lang.Crucible.LLVM.MemType |
ppGlobalVar | Lang.Crucible.LLVM.Extension |
ppIdent | |
1 (Function) | Lang.Crucible.LLVM.PrettyPrint |
2 (Function) | Lang.Crucible.LLVM.MemType |
ppIntType | Lang.Crucible.LLVM.PrettyPrint |
ppIntVector | Lang.Crucible.LLVM.PrettyPrint |
ppLLVMLatest | Lang.Crucible.LLVM.PrettyPrint |
ppLLVMValWithGlobals | Lang.Crucible.LLVM.MemModel |
ppMem | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
ppMemoryError | Lang.Crucible.LLVM.Errors.MemoryError |
ppMemoryErrorReason | Lang.Crucible.LLVM.Errors.MemoryError |
ppMemoryOp | Lang.Crucible.LLVM.Errors.MemoryError |
ppMemType | Lang.Crucible.LLVM.MemType |
ppMemWrites | Lang.Crucible.LLVM.MemModel.MemLog |
ppPtr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
ppPtrType | Lang.Crucible.LLVM.PrettyPrint |
ppReg | Lang.Crucible.LLVM.Errors.Poison |
ppRetType | Lang.Crucible.LLVM.MemType |
ppSomeAlloc | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
ppSymbol | Lang.Crucible.LLVM.PrettyPrint |
ppSymType | Lang.Crucible.LLVM.MemType |
ppTermExpr | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
ppType | |
1 (Function) | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic |
2 (Function) | Lang.Crucible.LLVM.PrettyPrint |
ppValue | Lang.Crucible.LLVM.PrettyPrint |
ppVectorType | Lang.Crucible.LLVM.PrettyPrint |
ppWrite | Lang.Crucible.LLVM.MemModel.MemLog |
predicate | Lang.Crucible.LLVM.Errors |
PrefixMatch | Lang.Crucible.LLVM.Intrinsics |
printfAccessField | Lang.Crucible.LLVM.Printf |
PrintfAlternateForm | Lang.Crucible.LLVM.Printf |
PrintfConversionType | Lang.Crucible.LLVM.Printf |
PrintfDirective | Lang.Crucible.LLVM.Printf |
PrintfFlag | Lang.Crucible.LLVM.Printf |
printfFlags | Lang.Crucible.LLVM.Printf |
printfGetFloat | Lang.Crucible.LLVM.Printf |
printfGetInteger | Lang.Crucible.LLVM.Printf |
printfGetPointer | Lang.Crucible.LLVM.Printf |
printfGetString | Lang.Crucible.LLVM.Printf |
printfLengthMod | Lang.Crucible.LLVM.Printf |
PrintfLengthModifier | Lang.Crucible.LLVM.Printf |
printfMinWidth | Lang.Crucible.LLVM.Printf |
PrintfNegativeWidth | Lang.Crucible.LLVM.Printf |
PrintfOperations | |
1 (Type/Class) | Lang.Crucible.LLVM.Printf |
2 (Data Constructor) | Lang.Crucible.LLVM.Printf |
printfOps | Lang.Crucible.LLVM.Intrinsics.Libc |
PrintfPosPlus | Lang.Crucible.LLVM.Printf |
PrintfPosSpace | Lang.Crucible.LLVM.Printf |
printfPrecision | Lang.Crucible.LLVM.Printf |
printfSetInteger | Lang.Crucible.LLVM.Printf |
PrintfThousandsSep | Lang.Crucible.LLVM.Printf |
printfType | Lang.Crucible.LLVM.Printf |
printfUnsupported | Lang.Crucible.LLVM.Printf |
PrintfZeroPadding | Lang.Crucible.LLVM.Printf |
projectLLVM_bv | Lang.Crucible.LLVM.MemModel.Partial, Lang.Crucible.LLVM.MemModel |
ptrAdd | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
PtrAddOffsetOutOfBounds | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ptrAlign | Lang.Crucible.LLVM.DataLayout |
ptrBitwidth | Lang.Crucible.LLVM.DataLayout |
PtrComparisonOperator | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ptrDiff | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
ptrEq | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
ptrIsNull | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
ptrLe | Lang.Crucible.LLVM.MemModel.Pointer |
ptrMessage | Lang.Crucible.LLVM.MemModel |
PtrOpaqueType | Lang.Crucible.LLVM.MemType |
PtrRepr | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
ptrSize | Lang.Crucible.LLVM.DataLayout |
ptrSub | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
PtrSubDifferentAllocs | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
ptrToPtrVal | Lang.Crucible.LLVM.MemModel |
PtrType | Lang.Crucible.LLVM.MemType |
PtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel, Lang.Crucible.LLVM.Translation |
ptrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
pushStackFrameMem | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
RawBitvector | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
ReadBadAlignment | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
readFileHandle | Lang.Crucible.LLVM.SymIO |
readMem | Lang.Crucible.LLVM.MemModel.Generic |
registerFunPtr | Lang.Crucible.LLVM.Globals |
registerGlobal | Lang.Crucible.LLVM.MemModel |
registerLazyModule | Lang.Crucible.LLVM |
registerLazyModuleFn | Lang.Crucible.LLVM |
registerModule | Lang.Crucible.LLVM |
registerModuleFn | Lang.Crucible.LLVM |
register_1arg_polymorphic_override | Lang.Crucible.LLVM.Intrinsics |
register_llvm_override | Lang.Crucible.LLVM.Intrinsics |
register_llvm_overrides | Lang.Crucible.LLVM.Intrinsics, Lang.Crucible.LLVM |
register_llvm_overrides_ | Lang.Crucible.LLVM.Intrinsics |
RegOverrideM | Lang.Crucible.LLVM.Intrinsics |
renderMalformedLLVMModule | Lang.Crucible.LLVM.MalformedLLVMModule |
RetType | Lang.Crucible.LLVM.MemType |
reverseAliases | Lang.Crucible.LLVM.Translation.Aliases |
runCallStack | Lang.Crucible.LLVM.MemModel.CallStack.Internal |
SDivByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
SDivExact | Lang.Crucible.LLVM.Errors.Poison |
SDivOverflow | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
selectHighBv | Lang.Crucible.LLVM.MemModel.Partial |
selectLowBv | Lang.Crucible.LLVM.MemModel.Partial |
setMem | Lang.Crucible.LLVM.MemModel.Generic |
ShlNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
ShlNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
ShlOp2Big | Lang.Crucible.LLVM.Errors.Poison |
showInstr | Lang.Crucible.LLVM.Translation |
siFieldCount | Lang.Crucible.LLVM.MemType |
siFieldInfo | Lang.Crucible.LLVM.MemType |
siFieldOffset | Lang.Crucible.LLVM.MemType |
siFields | Lang.Crucible.LLVM.MemType |
siFieldTypes | Lang.Crucible.LLVM.MemType |
siIndexOfOffset | Lang.Crucible.LLVM.MemType |
siIsPacked | Lang.Crucible.LLVM.MemType |
simpleLoopFixpoint | Lang.Crucible.LLVM.SimpleLoopFixpoint |
simpleLoopInvariant | Lang.Crucible.LLVM.SimpleLoopInvariant |
SingleSize | Lang.Crucible.LLVM.MemModel |
sizeMemAllocs | Lang.Crucible.LLVM.MemModel.MemLog |
SizeT | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
SomeAlloc | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
SomeFnHandle | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel |
SomeLLVMOverride | |
1 (Type/Class) | Lang.Crucible.LLVM.Intrinsics |
2 (Data Constructor) | Lang.Crucible.LLVM.Intrinsics |
SomeOverrideSim | |
1 (Type/Class) | Lang.Crucible.LLVM.SymIO |
2 (Data Constructor) | Lang.Crucible.LLVM.SymIO |
SomePointer | |
1 (Type/Class) | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
2 (Data Constructor) | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
SRemByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
SRemOverflow | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
StableSymbolic | Lang.Crucible.LLVM.MemModel |
StackAlloc | Lang.Crucible.LLVM.MemModel.MemLog, Lang.Crucible.LLVM.MemModel.Generic, Lang.Crucible.LLVM.MemModel |
StackFrame | Lang.Crucible.LLVM.MemModel.MemLog |
standard | Lang.Crucible.LLVM.Errors.Poison |
StorageType | Lang.Crucible.LLVM.MemModel |
StorageTypeF | Lang.Crucible.LLVM.MemModel |
storageTypeF | Lang.Crucible.LLVM.MemModel |
storageTypeSize | Lang.Crucible.LLVM.MemModel |
storeConstRaw | Lang.Crucible.LLVM.MemModel |
storeRaw | Lang.Crucible.LLVM.MemModel |
StringConst | Lang.Crucible.LLVM.Translation |
StringDirective | Lang.Crucible.LLVM.Printf |
strLen | Lang.Crucible.LLVM.MemModel |
Struct | Lang.Crucible.LLVM.MemModel |
StructConst | Lang.Crucible.LLVM.Translation |
StructInfo | Lang.Crucible.LLVM.MemType |
StructType | Lang.Crucible.LLVM.MemType |
SubNoSignedWrap | Lang.Crucible.LLVM.Errors.Poison |
SubNoUnsignedWrap | Lang.Crucible.LLVM.Errors.Poison |
SubstringsMatch | Lang.Crucible.LLVM.Intrinsics |
SymbolConst | Lang.Crucible.LLVM.Translation |
SymbolicPointer | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
symio_overrides | Lang.Crucible.LLVM.SymIO |
SymType | Lang.Crucible.LLVM.MemType |
TemplateMatcher | Lang.Crucible.LLVM.Intrinsics |
testBreakpointFunction | Lang.Crucible.LLVM.Translation |
testEqual | Lang.Crucible.LLVM.MemModel |
toAlignment | Lang.Crucible.LLVM.DataLayout |
toBytes | Lang.Crucible.LLVM.Bytes |
toStorableType | Lang.Crucible.LLVM.MemModel |
totalLLVMVal | Lang.Crucible.LLVM.MemModel.Partial |
transConstant | Lang.Crucible.LLVM.Translation |
transConstant' | Lang.Crucible.LLVM.Translation |
transConstantExpr | Lang.Crucible.LLVM.Translation |
transConstantWithType | Lang.Crucible.LLVM.Translation |
transContext | Lang.Crucible.LLVM.Translation |
translateGEP | Lang.Crucible.LLVM.Translation |
translateModule | Lang.Crucible.LLVM.Translation |
TranslationOptions | |
1 (Type/Class) | Lang.Crucible.LLVM.Translation |
2 (Data Constructor) | Lang.Crucible.LLVM.Translation |
traverseConds | Lang.Crucible.LLVM.Extension |
TypeContext | Lang.Crucible.LLVM.TypeContext |
typeContextFromModule | Lang.Crucible.LLVM.TypeContext |
TypeMismatch | Lang.Crucible.LLVM.Errors.MemoryError |
UDivByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
UDivExact | Lang.Crucible.LLVM.Errors.Poison |
unBytes | Lang.Crucible.LLVM.Bytes |
Uncallable | Lang.Crucible.LLVM.Errors.MemoryError, Lang.Crucible.LLVM.MemModel |
uncheckedMemcpy | Lang.Crucible.LLVM.MemModel |
UndefConst | Lang.Crucible.LLVM.Translation |
UndefinedBehavior | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
undefinedBehavior | Lang.Crucible.LLVM.Errors |
undefinedBehavior' | Lang.Crucible.LLVM.Errors |
UnexpectedArgumentType | Lang.Crucible.LLVM.Errors.MemoryError |
unpackMemValue | Lang.Crucible.LLVM.MemModel |
UnreadableRegion | Lang.Crucible.LLVM.Errors.MemoryError |
UnstableSymbolic | Lang.Crucible.LLVM.MemModel |
UnsupportedType | Lang.Crucible.LLVM.MemType |
UnwritableRegion | Lang.Crucible.LLVM.Errors.MemoryError |
UpperCase | Lang.Crucible.LLVM.Printf |
URemByZero | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
VarArgs | Lang.Crucible.LLVM.Translation |
VarargsFnHandle | Lang.Crucible.LLVM.MemModel |
varArgsFunDecl | Lang.Crucible.LLVM.MemType |
varArgsRepr | Lang.Crucible.LLVM.Translation |
vectorAlignment | Lang.Crucible.LLVM.DataLayout |
VectorConst | Lang.Crucible.LLVM.Translation |
VecType | Lang.Crucible.LLVM.MemType |
voidFunDecl | Lang.Crucible.LLVM.MemType |
VoidType | Lang.Crucible.LLVM.MemType |
VOp1 | Lang.Crucible.LLVM.Arch.X86 |
VShiftL | Lang.Crucible.LLVM.Arch.X86 |
vShiftL | Lang.Crucible.LLVM.Arch.X86 |
VShufD | Lang.Crucible.LLVM.Arch.X86 |
vShufD | Lang.Crucible.LLVM.Arch.X86 |
withPtrWidth | Lang.Crucible.LLVM.MemModel.Pointer, Lang.Crucible.LLVM.MemModel |
writeArrayConstMem | Lang.Crucible.LLVM.MemModel.Generic |
writeArrayMem | Lang.Crucible.LLVM.MemModel.Generic |
WriteBadAlignment | Lang.Crucible.LLVM.Errors.UndefinedBehavior |
writeConstMem | Lang.Crucible.LLVM.MemModel.Generic |
writeFileHandle | Lang.Crucible.LLVM.SymIO |
writeMem | Lang.Crucible.LLVM.MemModel.Generic |
WriteMerge | Lang.Crucible.LLVM.MemModel.MemLog |
writeRangesMem | Lang.Crucible.LLVM.MemModel.MemLog |
WriteSource | Lang.Crucible.LLVM.MemModel.MemLog |
X86 | Lang.Crucible.LLVM.Extension |
X86Expr | Lang.Crucible.LLVM.Extension |
X86Repr | Lang.Crucible.LLVM.Extension |
X86_FP80 | Lang.Crucible.LLVM.MemModel |
X86_FP80Size | Lang.Crucible.LLVM.MemModel |
X86_FP80Type | Lang.Crucible.LLVM.MemType |
x86_fp80Type | Lang.Crucible.LLVM.MemModel |
ZeroConst | Lang.Crucible.LLVM.Translation |
_argProfileInitialized | Lang.Crucible.LLVM.ArraySizeProfile |
_argProfileSize | Lang.Crucible.LLVM.ArraySizeProfile |
_funProfileArgs | Lang.Crucible.LLVM.ArraySizeProfile |
_funProfileName | Lang.Crucible.LLVM.ArraySizeProfile |
_llvmTypeCtx | Lang.Crucible.LLVM.Translation |
_memState | Lang.Crucible.LLVM.MemModel.MemLog |
|-> | Lang.Crucible.LLVM.Arch.Util |