crucible-llvm-0.6: Support for translating and executing LLVM code in Crucible (Index - A)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
X
Z
|
_
All

Index - A

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