qute-0.1.0: A software analysis framework built around the QBE intermediate language.
Contents
Index
Index
activeFrame
Language.QBE.Simulator.State
add
Language.QBE.Simulator.Expression
Address
Language.QBE.Simulator.Memory
addrOverlap
Language.QBE.Simulator.Memory
alignAddr
Language.QBE.Simulator.Memory
ancestors
Language.QBE.Analysis.Graph
and
Language.QBE.Simulator.Expression
asDomGraph
Language.QBE.Analysis.CFG
asGraph
1 (Function)
Language.QBE.Analysis.Graph
2 (Function)
Language.QBE.Analysis.CFG
AssignedVoidReturnValue
Language.QBE.Simulator.Error
asTree
Language.QBE.Analysis.Graph
bitSize
Language.QBE.Simulator.Default.Expression
BlockResult
Language.QBE.Simulator
boolToValue
Language.QBE.Simulator.Expression
bounds
Language.QBE.Analysis.CFG
build
1 (Function)
Language.QBE.Analysis.CFG
2 (Function)
Language.QBE.Analysis.CDG
CDG
1 (Type/Class)
Language.QBE.Analysis.CDG
2 (Data Constructor)
Language.QBE.Analysis.CDG
cdgCfg
Language.QBE.Analysis.CDG
cdgGraph
Language.QBE.Analysis.CDG
cdgRoot
Language.QBE.Analysis.CDG
CFG
Language.QBE.Analysis.CFG
cfgFunction
Language.QBE.Analysis.CFG
compareFloatExpr
Language.QBE.Simulator.Expression
compareIntExpr
Language.QBE.Simulator.Expression
ctrlDeps
Language.QBE.Analysis.CDG
DataMem
Language.QBE.Simulator.Default.State
div
Language.QBE.Simulator.Expression
dom
Language.QBE.Analysis.Graph
domTree
Language.QBE.Analysis.Graph
Edge
Language.QBE.Analysis.Graph
edges
1 (Function)
Language.QBE.Analysis.CFG
2 (Function)
Language.QBE.Analysis.CDG
EmptyStack
Language.QBE.Simulator.Error
EncounteredHalt
Language.QBE.Simulator.Error
Env
1 (Type/Class)
Language.QBE.Simulator.Default.State
2 (Data Constructor)
Language.QBE.Simulator.Default.State
envDataPtr
Language.QBE.Simulator.Default.State
envFuncAddrs
Language.QBE.Simulator.Default.State
envFuncs
Language.QBE.Simulator.Default.State
envMem
Language.QBE.Simulator.Default.State
envStk
Language.QBE.Simulator.Default.State
envStkPtr
Language.QBE.Simulator.Default.State
envSyms
Language.QBE.Simulator.Default.State
eq
Language.QBE.Simulator.Expression
EvalError
Language.QBE.Simulator.Error
execBlock
Language.QBE.Simulator
execFunc
Language.QBE.Simulator
execInstr
Language.QBE.Simulator
execStmt
Language.QBE.Simulator
extend
Language.QBE.Simulator.Expression
extendFloat
Language.QBE.Simulator.Expression
extract
Language.QBE.Simulator.Expression
findFunc
Language.QBE.Simulator.State
findFuncByAddr
Language.QBE.Simulator.State
floatToInt
Language.QBE.Simulator.Expression
fromAdj
Language.QBE.Analysis.Graph
fromBits
Language.QBE.Simulator.Default.Expression
fromBytes
Language.QBE.Simulator.Memory
fromDouble
Language.QBE.Simulator.Expression
fromEdges
Language.QBE.Analysis.Graph
fromFloat
Language.QBE.Simulator.Expression
fromLit
Language.QBE.Simulator.Expression
fromString
Language.QBE.Simulator.Expression
FuncArgsMismatch
Language.QBE.Simulator.Error
FunctionReturnIgnored
Language.QBE.Simulator.Error
getSP
Language.QBE.Simulator.State
getType
Language.QBE.Simulator.Expression
Graph
Language.QBE.Analysis.Graph
identToLabel
Language.QBE.Analysis.CFG
idom
Language.QBE.Analysis.Graph
initData
Language.QBE.Simulator.Default.State
intToFloat
Language.QBE.Simulator.Expression
InvaldSubWordExtension
Language.QBE.Simulator.Error
InvalidAddressType
Language.QBE.Simulator.Error
InvalidMemoryLoad
Language.QBE.Simulator.Error
InvalidPhiPosition
Language.QBE.Simulator.Error
InvalidReturnValue
Language.QBE.Simulator.Error
ipdom
Language.QBE.Analysis.Graph
isTrue
Language.QBE.Simulator.State
Label
Language.QBE.Analysis.CFG
labelToBlock
Language.QBE.Analysis.CFG
labelToIdent
Language.QBE.Analysis.CFG
liftMaybe
Language.QBE.Simulator.State
loadBytes
Language.QBE.Simulator.Memory
loadObj
Language.QBE.Simulator.Default.State
lookupArgs
Language.QBE.Simulator.State
lookupFunc
Language.QBE.Simulator.State
lookupGlobal
Language.QBE.Simulator.State
lookupLocal
Language.QBE.Simulator.State
lookupSimFunc
Language.QBE.Simulator.Default.Funcs
lookupSuccs
Language.QBE.Analysis.CFG
lookupSymbol
Language.QBE.Simulator.State
lookupValue
Language.QBE.Simulator.State
Memory
Language.QBE.Simulator.Memory
MemoryError
Language.QBE.Simulator.Error
memSize
Language.QBE.Simulator.Memory
MissingFunctionReturn
Language.QBE.Simulator.Error
mkEnv
Language.QBE.Simulator.Default.State
mkMemory
Language.QBE.Simulator.Memory
modifyFrame
Language.QBE.Simulator.State
mul
Language.QBE.Simulator.Expression
ne
Language.QBE.Simulator.Expression
neg
Language.QBE.Simulator.Expression
newStackFrame
Language.QBE.Simulator.State
Node
Language.QBE.Analysis.Graph
nodes
Language.QBE.Analysis.CFG
or
Language.QBE.Simulator.Expression
ord
Language.QBE.Simulator.Expression
OverlappingBlit
Language.QBE.Simulator.Error
parents
Language.QBE.Analysis.Graph
Path
Language.QBE.Analysis.Graph
pddfs
Language.QBE.Analysis.Graph
pdom
Language.QBE.Analysis.Graph
pdomTree
Language.QBE.Analysis.Graph
popStackFrame
Language.QBE.Simulator.State
pushStackFrame
Language.QBE.Simulator.State
readMemory
Language.QBE.Simulator.State
readNullArray
Language.QBE.Simulator.State
RegVal
Language.QBE.Simulator.Default.Expression
returnFromFunc
Language.QBE.Simulator.State
Rooted
Language.QBE.Analysis.Graph
rpddfs
Language.QBE.Analysis.Graph
run
Language.QBE.Simulator.Default.State
runBinary
Language.QBE.Simulator.State
sar
Language.QBE.Simulator.Expression
setSP
Language.QBE.Simulator.State
SFuncDef
Language.QBE.Simulator.State
sge
Language.QBE.Simulator.Expression
sgt
Language.QBE.Simulator.Expression
shl
Language.QBE.Simulator.Expression
showAddr
Language.QBE.Simulator.Memory
shr
Language.QBE.Simulator.Expression
SimState
1 (Type/Class)
Language.QBE.Simulator.Default.State
2 (Data Constructor)
Language.QBE.Simulator.Default.State
Simulator
Language.QBE.Simulator.State
Size
Language.QBE.Simulator.Memory
sle
Language.QBE.Simulator.Expression
slt
Language.QBE.Simulator.Expression
SomeFunc
Language.QBE.Simulator.State
srem
Language.QBE.Simulator.Expression
SSimFunc
Language.QBE.Simulator.State
stackAlign
Language.QBE.Simulator.State
stackAlloc
Language.QBE.Simulator.State
StackFrame
1 (Type/Class)
Language.QBE.Simulator.State
2 (Data Constructor)
Language.QBE.Simulator.State
stackSpill
Language.QBE.Simulator.State
startNode
Language.QBE.Analysis.CFG
stkFp
Language.QBE.Simulator.State
stkFunc
Language.QBE.Simulator.State
stkVarArgs
Language.QBE.Simulator.State
stkVars
Language.QBE.Simulator.State
Storable
Language.QBE.Simulator.Memory
storeBytes
Language.QBE.Simulator.Memory
storeLocal
Language.QBE.Simulator.State
storeValues
Language.QBE.Simulator.Default.State
sub
Language.QBE.Simulator.Expression
subType
Language.QBE.Simulator.State
toAddress
Language.QBE.Simulator.State
toAdj
Language.QBE.Analysis.Graph
toBytes
Language.QBE.Simulator.Memory
toEdges
Language.QBE.Analysis.Graph
toMemAddr
Language.QBE.Simulator.Memory
toString
Language.QBE.Simulator.Expression
toWord64
Language.QBE.Simulator.Expression
truncFloat
Language.QBE.Simulator.Expression
TypingError
Language.QBE.Simulator.Error
udiv
Language.QBE.Simulator.Expression
uge
Language.QBE.Simulator.Expression
ugt
Language.QBE.Simulator.Expression
ule
Language.QBE.Simulator.Expression
ult
Language.QBE.Simulator.Expression
UnknownBlock
Language.QBE.Simulator.Error
UnknownFunction
Language.QBE.Simulator.Error
UnknownFunctionAddr
Language.QBE.Simulator.Error
UnknownVariable
Language.QBE.Simulator.Error
unliftCatch
Language.QBE.Simulator.Default.State
unord
Language.QBE.Simulator.Expression
unSimState
Language.QBE.Simulator.Default.State
urem
Language.QBE.Simulator.Expression
ValueRepr
Language.QBE.Simulator.Expression
VByte
Language.QBE.Simulator.Default.Expression
VDouble
Language.QBE.Simulator.Default.Expression
VHalf
Language.QBE.Simulator.Default.Expression
VLong
Language.QBE.Simulator.Default.Expression
VSingle
Language.QBE.Simulator.Default.Expression
VWord
Language.QBE.Simulator.Default.Expression
writeMemory
Language.QBE.Simulator.State
xor
Language.QBE.Simulator.Expression