Index

Address	Vestigia.Trace
AddressOrigin	Vestigia.Diff
ArmDit	Vestigia.Contract
Array	Vestigia.Json
Bool	Vestigia.Json
callsOf	Vestigia.Diff
child	Vestigia.Xml
children	Vestigia.Xml
Class	Vestigia.Trace
classify	Vestigia.Contract
classText	Vestigia.Trace
ClientRequest	Vestigia.Memcheck
Contract	Vestigia.Contract
contractIsa	Vestigia.Contract
contractName	Vestigia.Contract
contractSource	Vestigia.Contract
Control
1 (Data Constructor)	Vestigia.Contract.Types
2 (Data Constructor)	Vestigia.Trace
ControlOrigin	Vestigia.Diff
ControlRun	Vestigia.Diff
Covered	Vestigia.Contract.Types
DeclaredRun	Vestigia.Diff
DesignedRun	Vestigia.Diff
diffControlled	Vestigia.Diff
diffDesigned	Vestigia.Diff
diffDumps	Vestigia.Diff
Divergence
1 (Type/Class)	Vestigia.Diff
2 (Data Constructor)	Vestigia.Diff
divergenceJson	Vestigia.Diff
divergenceSummary	Vestigia.Diff
Division	Vestigia.Contract
dpCallers	Vestigia.Diff
dpContexts	Vestigia.Diff
dpContract	Vestigia.Diff
dpCpu	Vestigia.Diff
dpInsns	Vestigia.Diff
dpIsa	Vestigia.Diff
dpOperands	Vestigia.Diff
dpOutside	Vestigia.Diff
dpReturns	Vestigia.Diff
dpRun	Vestigia.Diff
dpTexts	Vestigia.Diff
dpTransfers	Vestigia.Diff
Dump
1 (Type/Class)	Vestigia.Diff
2 (Data Constructor)	Vestigia.Diff
dvBehaviour	Vestigia.Diff
dvCallers	Vestigia.Diff
dvContract	Vestigia.Diff
dvControls	Vestigia.Diff
dvCpu	Vestigia.Diff
dvDesigned	Vestigia.Diff
dvDownstream	Vestigia.Diff
dvExecuted	Vestigia.Diff
dvIsa	Vestigia.Diff
dvOrigins	Vestigia.Diff
dvOutside	Vestigia.Diff
dvOutsideBehaviour	Vestigia.Diff
dvRuns	Vestigia.Diff
dvTexts	Vestigia.Diff
dvUnsteady	Vestigia.Diff
dvWatched	Vestigia.Diff
Element	Vestigia.Xml
encode	Vestigia.Json
Encoding
1 (Type/Class)	Vestigia.Contract.Types
2 (Data Constructor)	Vestigia.Contract.Types
encodings	Vestigia.Contract.Arm
enMask	Vestigia.Contract.Types
enName	Vestigia.Contract.Types
enStatus	Vestigia.Contract.Types
enValue	Vestigia.Contract.Types
Excluded	Vestigia.Contract
fixLayout	Vestigia.Layout
Frame
1 (Type/Class)	Vestigia.Memcheck
2 (Data Constructor)	Vestigia.Memcheck
frFile	Vestigia.Memcheck
frFn	Vestigia.Memcheck
frIp	Vestigia.Memcheck
frLine	Vestigia.Memcheck
frObj	Vestigia.Memcheck
inAccesses	Vestigia.Diff
inCount	Vestigia.Diff
inFingerprint	Vestigia.Diff
inObject	Vestigia.Diff
inOffset	Vestigia.Diff
inOrder	Vestigia.Diff
inPc	Vestigia.Diff
Inside	Vestigia.Contract
Insn
1 (Type/Class)	Vestigia.Diff
2 (Data Constructor)	Vestigia.Diff
instructions	Vestigia.Contract.Intel
IntelDoitm	Vestigia.Contract
Kind	Vestigia.Diff
layoutApart	Vestigia.Diff
lcFrame	Vestigia.Trace
lcOffset	Vestigia.Trace
Line
1 (Type/Class)	Vestigia.Contract
2 (Data Constructor)	Vestigia.Contract
lnAddress	Vestigia.Contract
lnMnemonic	Vestigia.Contract
lnOperands	Vestigia.Contract
lnPrefixes	Vestigia.Contract
lnRaw	Vestigia.Contract
loadBases	Vestigia.Diff
Located
1 (Type/Class)	Vestigia.Trace
2 (Data Constructor)	Vestigia.Trace
mcCommand	Vestigia.Memcheck
mcErrors	Vestigia.Memcheck
mcFinished	Vestigia.Memcheck
mcVersion	Vestigia.Memcheck
meCount	Vestigia.Memcheck
meKind	Vestigia.Memcheck
Memcheck
1 (Type/Class)	Vestigia.Memcheck
2 (Data Constructor)	Vestigia.Memcheck
MemError
1 (Type/Class)	Vestigia.Memcheck
2 (Data Constructor)	Vestigia.Memcheck
meOrigin	Vestigia.Memcheck
meStack	Vestigia.Memcheck
meWhat	Vestigia.Memcheck
Named
1 (Type/Class)	Vestigia.Diff
2 (Data Constructor)	Vestigia.Diff
nmKind	Vestigia.Diff
nmName	Vestigia.Diff
nmRun	Vestigia.Diff
Node	Vestigia.Xml
NoOrigin	Vestigia.Memcheck
Null	Vestigia.Json
Number	Vestigia.Json
Object	Vestigia.Json
objectOffset	Vestigia.Trace
OpB	Vestigia.Contract.Types
OpD	Vestigia.Contract.Types
Operand
1 (Type/Class)	Vestigia.Contract.Types
2 (Data Constructor)	Vestigia.Trace
OperandOrigin	Vestigia.Diff
OpH	Vestigia.Contract.Types
OpQ	Vestigia.Contract.Types
OpS	Vestigia.Contract.Types
OpV	Vestigia.Contract.Types
OpVWhole	Vestigia.Contract.Types
OpW	Vestigia.Contract.Types
OpWSp	Vestigia.Contract.Types
OpX	Vestigia.Contract.Types
OpXSp	Vestigia.Contract.Types
Origin
1 (Type/Class)	Vestigia.Diff
2 (Type/Class)	Vestigia.Memcheck
OtherOrigin	Vestigia.Memcheck
Outside	Vestigia.Contract.Types
parseAddr2line	Vestigia.Symbol
parseDocument	Vestigia.Xml
Place
1 (Type/Class)	Vestigia.Symbol
2 (Data Constructor)	Vestigia.Symbol
plFile	Vestigia.Symbol
plFunction	Vestigia.Symbol
plLine	Vestigia.Symbol
readContract	Vestigia.Contract
readDisassembly	Vestigia.Contract
readDump	Vestigia.Diff
readMemcheck	Vestigia.Memcheck
readObjects	Vestigia.Trace
Register
1 (Type/Class)	Vestigia.Contract
2 (Data Constructor)	Vestigia.Contract
resolveObjects	Vestigia.Trace
restrictTo	Vestigia.Diff
rgLow	Vestigia.Contract
rgName	Vestigia.Contract
rgWidth	Vestigia.Contract
rnArguments	Vestigia.Diff
rnEnvironment	Vestigia.Diff
rnStatus	Vestigia.Diff
Run
1 (Type/Class)	Vestigia.Diff
2 (Data Constructor)	Vestigia.Diff
runApart	Vestigia.Diff
rustLegacy	Vestigia.Symbol
siAt	Vestigia.Trace
siClass	Vestigia.Trace
siCount	Vestigia.Trace
siRuns	Vestigia.Trace
siStacks	Vestigia.Trace
Site
1 (Type/Class)	Vestigia.Trace
2 (Data Constructor)	Vestigia.Trace
sitesIn	Vestigia.Trace
Status	Vestigia.Contract.Types
String	Vestigia.Json
symbolize	Vestigia.Symbol
Syscall	Vestigia.Trace
Taint
1 (Type/Class)	Vestigia.Trace
2 (Data Constructor)	Vestigia.Trace
Text	Vestigia.Xml
textOf	Vestigia.Xml
tnExit	Vestigia.Trace
tnMemcheck	Vestigia.Trace
tnName	Vestigia.Trace
tnObjects	Vestigia.Trace
Trace
1 (Type/Class)	Vestigia.Trace
2 (Data Constructor)	Vestigia.Trace
trace	Vestigia.Trace
traceJson	Vestigia.Trace
traceSummary	Vestigia.Trace
trFaults	Vestigia.Trace
trRuns	Vestigia.Trace
trSites	Vestigia.Trace
trUnrelated	Vestigia.Trace
Value	Vestigia.Json
Verdict	Vestigia.Contract
Watched	Vestigia.Contract
watchSection	Vestigia.Contract