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 |