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

crucible-llvm-0.9: 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 - F

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.SimpleLoopFixpointCHC
2 (Data Constructor)	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
3 (Type/Class)	Lang.Crucible.LLVM.SimpleLoopFixpoint
4 (Data Constructor)	Lang.Crucible.LLVM.SimpleLoopFixpoint
FixpointState	Lang.Crucible.LLVM.SimpleLoopFixpointCHC
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
fullyConcreteNullTerminatedString	Lang.Crucible.LLVM.MemModel.Strings
fullyConcreteNullTerminatedStringLength	Lang.Crucible.LLVM.MemModel.Strings
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