SSTG.Core.Execution.Support

data SymbolicT s a

data State

data Symbol

data Status

data Stack

data Frame

data MemAddr

data Value

data Locals

data Heap

data HeapObj

data Globals

data Code

type PathCons

data PathCond

data SymLinks

nameOccStr

nameUnique

varName

memAddrInt

lookupLocals

insertLocals

insertLocalsList

lookupHeap

allocHeap

allocHeapList

insertHeap

insertHeapList

lookupGlobals

insertGlobals

insertGlobalsList

lookupValue

vlookupHeap

memAddrType