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 |