NewLockOrder returns an empty lock graph.

NewPathStateMap returns a new empty PathStateMap.

NewPathStateSet returns a new, empty PathStateSet.

NewStringSpace returns a new, empty StringSpace.

A DebugTree captures a hierarchical debug trace.

DynFieldAddr is the address of a field in a global.

DynGlobal is the address of a global.

DynHeapPtr is a pointer to a tracked heap object.

DynNil is a nil pointer.

A HeapObject is a tracked object in the heap.

A LockClass represents a set of locks.

LockOrder tracks a lock graph and reports cycles that prevent the graph from being a partial order.

LockSet represents a set of locks and where they were acquired.

A LockSetSet is a set of LockSets.

PathState is the state during execution of a particular function.

PathStateMap is a mutable map keyed by PathState.

PathStateSet is a mutable set of PathStates.

StackFrame is a stack of call sites.

StringSpace interns strings into small integers.

ValState tracks the known dynamic values of instructions and heap objects.

A DynValue is the dynamic value of an ssa.Value on a particular execution path.

DynStruct is a struct value consisting of heap objects.