| absAssignments | Data.Macaw.AbsDomain.AbsState |
| AbsBlockStack | Data.Macaw.AbsDomain.AbsState |
| AbsBlockState | Data.Macaw.AbsDomain.AbsState |
| AbsDomain | Data.Macaw.AbsDomain.AbsState |
| absEvalArchFn | Data.Macaw.Architecture.Info |
| absEvalArchStmt | Data.Macaw.Architecture.Info |
| absEvalCall | Data.Macaw.AbsDomain.AbsState |
| absEvalReadMem | Data.Macaw.Discovery.AbsEval |
| absEvalStmt | Data.Macaw.Discovery.AbsEval |
| absFalse | Data.Macaw.AbsDomain.AbsState |
| absInitialRegs | Data.Macaw.AbsDomain.AbsState |
| absMem | Data.Macaw.AbsDomain.AbsState |
| absoluteAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| AbsoluteJumpTable | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| AbsProcessorState | Data.Macaw.AbsDomain.AbsState |
| absRegState | Data.Macaw.AbsDomain.AbsState |
| absStackHasReturnAddr | Data.Macaw.AbsDomain.AbsState |
| abstractULeq | Data.Macaw.AbsDomain.AbsState |
| abstractULt | Data.Macaw.AbsDomain.AbsState |
| absTrue | Data.Macaw.AbsDomain.AbsState |
| AbsType | Data.Macaw.Dwarf |
| AbsValue | Data.Macaw.AbsDomain.AbsState |
| absValueSize | Data.Macaw.AbsDomain.AbsState |
| AccessViolation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addCondMemWrite | Data.Macaw.AbsDomain.AbsState |
| addDiscoveredFunctionBlockTargets | Data.Macaw.Discovery |
| addMemWrite | Data.Macaw.AbsDomain.AbsState |
| Addr32 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| Addr64 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrBase | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrContentsAfter | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| AddrDemandMap | Data.Macaw.Analysis.FunctionArgs |
| addrLeastBit | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrOffset | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrRead | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrRotate | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrSize | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| AddrSymMap | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| addrWidthClass | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrWidthMask | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrWidthNatRepr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| AddrWidthRepr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrWidthRepr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrWidthReprByteCount | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| addrWidthTypeRepr | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| addStmtDemands | Data.Macaw.CFG.DemandSet |
| addValueDemands | Data.Macaw.CFG.DemandSet |
| adjustedLoadRegionIndex | Data.Macaw.Memory.ElfLoader |
| allDebugKeys | Data.Macaw.DebugLogging |
| analyzeDiscoveredFunctions | Data.Macaw.Discovery |
| analyzeFunction | Data.Macaw.Discovery |
| AndApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| AndroidRelDecodingError | Data.Macaw.Memory.ElfLoader |
| AndroidRelWithNonzeroAddend | Data.Macaw.Memory.ElfLoader |
| App | Data.Macaw.CFG.App, Data.Macaw.CFG |
| appAsStackOffset | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| appendRewrittenArchStmt | Data.Macaw.CFG.Rewriter |
| applyReloc | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| AppRender | |
| 1 (Type/Class) | Data.Macaw.CFG.App, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.App, Data.Macaw.CFG |
| AppRenderArg | Data.Macaw.CFG.App, Data.Macaw.CFG |
| arBase | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| arByteCount | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| ArchAbsValue | Data.Macaw.AbsDomain.AbsState |
| ArchAddrValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchAddrWidth | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Discovery |
| archAddrWidth | Data.Macaw.Architecture.Info |
| ArchAddrWord | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchBlockPrecond | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archCallParams | |
| 1 (Function) | Data.Macaw.Architecture.Info |
| 2 (Function) | Data.Macaw.Analysis.RegisterUse |
| archClassifier | Data.Macaw.Architecture.Info |
| ArchConstraints | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archDemandContext | Data.Macaw.Architecture.Info |
| ArchDemandInfo | |
| 1 (Type/Class) | Data.Macaw.Analysis.FunctionArgs |
| 2 (Data Constructor) | Data.Macaw.Analysis.FunctionArgs |
| archEndianness | Data.Macaw.Architecture.Info |
| ArchFn | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archFnHasSideEffects | Data.Macaw.CFG.DemandSet |
| ArchFunType | Data.Macaw.Analysis.RegisterUse |
| archInfo | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ArchitectureInfo | |
| 1 (Type/Class) | Data.Macaw.Architecture.Info |
| 2 (Data Constructor) | Data.Macaw.Architecture.Info |
| ArchMemAddr | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archPostTermStmtInvariants | Data.Macaw.Analysis.RegisterUse |
| ArchReg | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archRegs | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| archRegSet | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchSegmentOff | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchState | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchStmt | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ArchTermStmt | |
| 1 (Type/Class) | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| ArchTermStmtRegEffects | |
| 1 (Type/Class) | Data.Macaw.Analysis.FunctionArgs |
| 2 (Data Constructor) | Data.Macaw.Analysis.FunctionArgs |
| ArchTermStmtUsageFn | Data.Macaw.Analysis.RegisterUse |
| arEltType | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| ArrayType | Data.Macaw.Dwarf |
| arSlices | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| arStride | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| asAbsoluteAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| asBaseOffset | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| asConcreteSingleton | Data.Macaw.AbsDomain.AbsState |
| asInt64Constant | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| asSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| assignDeps | Data.Macaw.Analysis.RegisterUse |
| AssignedValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| AssignId | |
| 1 (Type/Class) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| assignId | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| AssignIdSet | Data.Macaw.CFG.DemandSet |
| assignLens | Data.Macaw.AbsDomain.AbsState |
| Assignment | |
| 1 (Type/Class) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| AssignRhs | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| assignRhs | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| AssignStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| asStackAddrOffset | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| base | Data.Macaw.AbsDomain.StridedInterval |
| biAssignIdUsed | Data.Macaw.Analysis.RegisterUse |
| biAssignMap | Data.Macaw.Analysis.RegisterUse |
| biCallFunType | Data.Macaw.Analysis.RegisterUse |
| BigEndian | Data.Macaw.Memory, Data.Macaw.Dwarf, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| biLocMap | Data.Macaw.Analysis.RegisterUse |
| biMemAccessList | Data.Macaw.Analysis.RegisterUse |
| biPhiLocs | Data.Macaw.Analysis.RegisterUse |
| biPredPostValues | Data.Macaw.Analysis.RegisterUse |
| biStartConstraints | Data.Macaw.Analysis.RegisterUse |
| Bitcast | Data.Macaw.CFG.App, Data.Macaw.CFG |
| biWriteUsed | Data.Macaw.Analysis.RegisterUse |
| Block | |
| 1 (Type/Class) | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| 2 (Data Constructor) | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| blockAbstractState | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| blockCallFunType | Data.Macaw.Analysis.RegisterUse |
| BlockClassifier | Data.Macaw.Architecture.Info, Data.Macaw.Discovery |
| BlockClassifierContext | |
| 1 (Type/Class) | Data.Macaw.Architecture.Info |
| 2 (Data Constructor) | Data.Macaw.Architecture.Info |
| BlockClassifierM | Data.Macaw.Architecture.Info |
| blockCurOff | Data.Macaw.Analysis.RegisterUse |
| blockEndBounds | Data.Macaw.AbsDomain.JumpBounds |
| BlockExploreReason | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| blockInferState | Data.Macaw.Analysis.RegisterUse |
| BlockInferValue | Data.Macaw.Analysis.RegisterUse |
| BlockInvariantMap | Data.Macaw.Analysis.RegisterUse |
| BlockInvariants | Data.Macaw.Analysis.RegisterUse |
| blockJumpBounds | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| blockReason | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| blockRegDependencies | Data.Macaw.Analysis.RegisterUse |
| blockSize | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| BlockStartConstraints | Data.Macaw.Analysis.RegisterUse |
| blockStmts | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| blockTerm | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| blockUsageStartConstraints | Data.Macaw.Analysis.RegisterUse |
| BlockUsageSummary | Data.Macaw.Analysis.RegisterUse |
| blockWriteDependencies | Data.Macaw.Analysis.RegisterUse |
| BoolConst | Data.Macaw.AbsDomain.AbsState |
| BoolCValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| BoolType | |
| 1 (Data Constructor) | Data.Macaw.Dwarf |
| 2 (Type/Class) | Data.Macaw.Types |
| 3 (Data Constructor) | Data.Macaw.Types |
| BoolTypeRepr | Data.Macaw.Types |
| BoolValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| BothFeasibleBranch | Data.Macaw.AbsDomain.JumpBounds |
| BoundedMemArray | |
| 1 (Type/Class) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| 2 (Data Constructor) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| BoundLoc | Data.Macaw.Analysis.RegisterUse |
| boundValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| branchBlockState | Data.Macaw.Discovery.Classifier |
| BranchBounds | Data.Macaw.AbsDomain.JumpBounds |
| branchClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| BSC | Data.Macaw.Analysis.RegisterUse |
| bscLocMap | Data.Macaw.Analysis.RegisterUse |
| Bsf | Data.Macaw.CFG.App, Data.Macaw.CFG |
| Bsr | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BSSRegion | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord16be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord16le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord32 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord32be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord32le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord64 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord64be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord64le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bsWord8 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| BUS | Data.Macaw.Analysis.RegisterUse |
| BVAdc | Data.Macaw.CFG.App, Data.Macaw.CFG |
| bvadc | Data.Macaw.AbsDomain.StridedInterval |
| BVAdd | Data.Macaw.CFG.App, Data.Macaw.CFG |
| bvadd | |
| 1 (Function) | Data.Macaw.AbsDomain.StridedInterval |
| 2 (Function) | Data.Macaw.AbsDomain.AbsState |
| BVAnd | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVComplement | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVCValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| BVMemRepr | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| BVMul | Data.Macaw.CFG.App, Data.Macaw.CFG |
| bvmul | Data.Macaw.AbsDomain.StridedInterval |
| BVOr | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVSar | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVSbb | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVShl | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVShr | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVSignedLe | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVSignedLt | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVSub | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVTestBit | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVType | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| BVTypeRepr | Data.Macaw.Types |
| BVUnsignedLe | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVUnsignedLt | Data.Macaw.CFG.App, Data.Macaw.CFG |
| BVValue | |
| 1 (Type/Class) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| bvValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| BVXor | Data.Macaw.CFG.App, Data.Macaw.CFG |
| ByteRegion | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| bytesToInteger | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| CallAnalysisError | Data.Macaw.Analysis.FunctionArgs |
| callArgValues | Data.Macaw.Analysis.RegisterUse |
| callClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| callDemandFn | Data.Macaw.Analysis.RegisterUse |
| calleeSavedRegisters | Data.Macaw.Analysis.RegisterUse |
| calleeSavedRegs | Data.Macaw.Analysis.FunctionArgs |
| CallParams | |
| 1 (Type/Class) | Data.Macaw.AbsDomain.CallParams, Data.Macaw.AbsDomain.AbsState |
| 2 (Data Constructor) | Data.Macaw.AbsDomain.CallParams, Data.Macaw.AbsDomain.AbsState |
| CallRegs | |
| 1 (Type/Class) | Data.Macaw.Analysis.RegisterUse |
| 2 (Data Constructor) | Data.Macaw.Analysis.RegisterUse |
| callRegsFnType | Data.Macaw.Analysis.RegisterUse |
| callReturnRegs | Data.Macaw.Analysis.RegisterUse |
| callScratchRegisters | Data.Macaw.Analysis.RegisterUse |
| CallStackHeightError | Data.Macaw.Analysis.RegisterUse |
| CallTarget | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| CallTargetNotFunctionEntryPoint | Data.Macaw.Analysis.RegisterUse |
| cfgFromAddrs | Data.Macaw.Discovery |
| cfgFromAddrsAndState | Data.Macaw.Discovery |
| Changed | Data.Macaw.Utils.Changed |
| changedST | Data.Macaw.Utils.Changed |
| checkForReturnAddr | Data.Macaw.Architecture.Info |
| Classifier | Data.Macaw.Architecture.Info |
| classifierAbsState | Data.Macaw.Architecture.Info |
| classifierBlockSize | Data.Macaw.Architecture.Info |
| classifierEndBlock | Data.Macaw.Discovery.Classifier |
| classifierFinalRegState | Data.Macaw.Architecture.Info |
| classifierInitRegState | Data.Macaw.Architecture.Info |
| classifierJumpBounds | Data.Macaw.Architecture.Info |
| classifierName | Data.Macaw.Architecture.Info |
| classifierParseContext | Data.Macaw.Architecture.Info |
| classifierStmts | Data.Macaw.Architecture.Info |
| classifierWrittenAddrs | Data.Macaw.Architecture.Info |
| ClassifyFailed | Data.Macaw.Architecture.Info |
| ClassifyFailure | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ClassifySucceeded | Data.Macaw.Architecture.Info |
| clearAddrLeastBit | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| clearSegmentOffLeastBit | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| cmpRegState | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| CodePointerInMem | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| CodePointers | Data.Macaw.AbsDomain.AbsState |
| codePointerSet | Data.Macaw.AbsDomain.AbsState |
| collectValueRep | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| Comment | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| CompileUnit | Data.Macaw.Dwarf |
| completeDiscoveryState | Data.Macaw.Discovery |
| ComputeArchTermStmtEffects | Data.Macaw.Analysis.FunctionArgs |
| computeArchTermStmtEffects | Data.Macaw.Analysis.FunctionArgs |
| ComputedLoc | Data.Macaw.Dwarf |
| concreteCodeAddr | Data.Macaw.AbsDomain.AbsState |
| concretize | Data.Macaw.AbsDomain.AbsState |
| CondReadMem | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| CondWriteMem | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ConstQual | Data.Macaw.Dwarf |
| contentsAfterSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ContT | |
| 1 (Type/Class) | Data.Macaw.Utils.IncComp |
| 2 (Data Constructor) | Data.Macaw.Utils.IncComp |
| CouldNotResolveAddr | Data.Macaw.Memory.ElfLoader |
| CUContext | Data.Macaw.Dwarf |
| CUOffset | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| curAbsStack | Data.Macaw.AbsDomain.AbsState |
| curIP | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| cuSubprograms | Data.Macaw.Dwarf |
| CValue | |
| 1 (Data Constructor) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Type/Class) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| DAbsInt | Data.Macaw.DebugLogging |
| DCFG | Data.Macaw.DebugLogging |
| debug | Data.Macaw.DebugLogging |
| debug' | Data.Macaw.DebugLogging |
| DebugClass | Data.Macaw.DebugLogging |
| debugKeyDescription | Data.Macaw.DebugLogging |
| debugKeyName | Data.Macaw.DebugLogging |
| debugM | Data.Macaw.DebugLogging |
| debugM' | Data.Macaw.DebugLogging |
| DeclLoc | Data.Macaw.Dwarf |
| defaultClassifier | Data.Macaw.Discovery |
| defaultDiscoveryOptions | Data.Macaw.Discovery |
| defaultLoadOptions | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| DefinedSymbol | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| DemandComp | Data.Macaw.CFG.DemandSet |
| demandConstraints | Data.Macaw.CFG.DemandSet |
| DemandContext | |
| 1 (Type/Class) | Data.Macaw.CFG.DemandSet |
| 2 (Data Constructor) | Data.Macaw.CFG.DemandSet |
| demandContext | Data.Macaw.Analysis.RegisterUse |
| demandInfoCtx | Data.Macaw.Analysis.FunctionArgs |
| DemandSet | |
| 1 (Type/Class) | Data.Macaw.Analysis.FunctionArgs |
| 2 (Data Constructor) | Data.Macaw.Analysis.FunctionArgs |
| Description | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| descriptionVal | Data.Macaw.Dwarf |
| DFunctionArgs | Data.Macaw.DebugLogging |
| DFunRecover | Data.Macaw.DebugLogging |
| DieID | Data.Macaw.Dwarf |
| diffAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| diffSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| directJumpClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| DisassembleFn | Data.Macaw.Architecture.Info |
| disassembleFn | Data.Macaw.Architecture.Info |
| discoveredClassifyFailureResolutions | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| discoveredFunAddr | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| discoveredFunName | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| discoveredFunReason | Data.Macaw.Discovery.State |
| discoveredFunSymbol | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| discoverFunction | Data.Macaw.Discovery |
| DiscoveryEvent | Data.Macaw.Discovery |
| DiscoveryFunInfo | |
| 1 (Type/Class) | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| 2 (Data Constructor) | Data.Macaw.Discovery.State |
| DiscoveryOptions | |
| 1 (Type/Class) | Data.Macaw.Discovery |
| 2 (Data Constructor) | Data.Macaw.Discovery |
| DiscoveryState | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| DocF | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| DoubleFloat | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| DoubleFloatRepr | Data.Macaw.Types, Data.Macaw.CFG |
| DoubleType | Data.Macaw.Dwarf |
| DRegisterUse | Data.Macaw.DebugLogging |
| dropErrorAsMemError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| dropSegmentRangeListBytes | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| DUrgent | Data.Macaw.DebugLogging |
| dwarfCompileUnits | Data.Macaw.Dwarf |
| DwarfExpr | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| dwarfGlobals | Data.Macaw.Dwarf |
| dwarfInfoFromElf | Data.Macaw.Dwarf |
| DW_OP | Data.Macaw.Dwarf |
| DW_OP_abs | Data.Macaw.Dwarf |
| DW_OP_addr | Data.Macaw.Dwarf |
| DW_OP_addrx | Data.Macaw.Dwarf |
| DW_OP_and | Data.Macaw.Dwarf |
| DW_OP_bit_piece | Data.Macaw.Dwarf |
| DW_OP_bra | Data.Macaw.Dwarf |
| DW_OP_breg | Data.Macaw.Dwarf |
| DW_OP_bregx | Data.Macaw.Dwarf |
| DW_OP_call2 | Data.Macaw.Dwarf |
| DW_OP_call4 | Data.Macaw.Dwarf |
| DW_OP_call_frame_cfa | Data.Macaw.Dwarf |
| DW_OP_call_ref | Data.Macaw.Dwarf |
| DW_OP_const1s | Data.Macaw.Dwarf |
| DW_OP_const1u | Data.Macaw.Dwarf |
| DW_OP_const2s | Data.Macaw.Dwarf |
| DW_OP_const2u | Data.Macaw.Dwarf |
| DW_OP_const4s | Data.Macaw.Dwarf |
| DW_OP_const4u | Data.Macaw.Dwarf |
| DW_OP_const8s | Data.Macaw.Dwarf |
| DW_OP_const8u | Data.Macaw.Dwarf |
| DW_OP_consts | Data.Macaw.Dwarf |
| DW_OP_constu | Data.Macaw.Dwarf |
| DW_OP_constx | Data.Macaw.Dwarf |
| DW_OP_const_type | Data.Macaw.Dwarf |
| DW_OP_convert | Data.Macaw.Dwarf |
| DW_OP_deref | Data.Macaw.Dwarf |
| DW_OP_deref_size | Data.Macaw.Dwarf |
| DW_OP_deref_type | Data.Macaw.Dwarf |
| DW_OP_div | Data.Macaw.Dwarf |
| DW_OP_drop | Data.Macaw.Dwarf |
| DW_OP_dup | Data.Macaw.Dwarf |
| DW_OP_entry_value | Data.Macaw.Dwarf |
| DW_OP_eq | Data.Macaw.Dwarf |
| DW_OP_fbreg | Data.Macaw.Dwarf |
| DW_OP_form_tls_address | Data.Macaw.Dwarf |
| DW_OP_ge | Data.Macaw.Dwarf |
| DW_OP_gt | Data.Macaw.Dwarf |
| DW_OP_implicit_pointer | Data.Macaw.Dwarf |
| DW_OP_implicit_value | Data.Macaw.Dwarf |
| DW_OP_le | Data.Macaw.Dwarf |
| DW_OP_lit | Data.Macaw.Dwarf |
| DW_OP_lt | Data.Macaw.Dwarf |
| DW_OP_minus | Data.Macaw.Dwarf |
| DW_OP_mod | Data.Macaw.Dwarf |
| DW_OP_mul | Data.Macaw.Dwarf |
| DW_OP_ne | Data.Macaw.Dwarf |
| DW_OP_neg | Data.Macaw.Dwarf |
| DW_OP_nop | Data.Macaw.Dwarf |
| DW_OP_not | Data.Macaw.Dwarf |
| DW_OP_or | Data.Macaw.Dwarf |
| DW_OP_over | Data.Macaw.Dwarf |
| DW_OP_pick | Data.Macaw.Dwarf |
| DW_OP_piece | Data.Macaw.Dwarf |
| DW_OP_plus | Data.Macaw.Dwarf |
| DW_OP_plus_uconst | Data.Macaw.Dwarf |
| DW_OP_push_object_address | Data.Macaw.Dwarf |
| DW_OP_reg | Data.Macaw.Dwarf |
| DW_OP_regval_type | Data.Macaw.Dwarf |
| DW_OP_regx | Data.Macaw.Dwarf |
| DW_OP_reinterpret | Data.Macaw.Dwarf |
| DW_OP_rot | Data.Macaw.Dwarf |
| DW_OP_shl | Data.Macaw.Dwarf |
| DW_OP_shr | Data.Macaw.Dwarf |
| DW_OP_shra | Data.Macaw.Dwarf |
| DW_OP_skip | Data.Macaw.Dwarf |
| DW_OP_stack_value | Data.Macaw.Dwarf |
| DW_OP_swap | Data.Macaw.Dwarf |
| DW_OP_xderef | Data.Macaw.Dwarf |
| DW_OP_xderef_size | Data.Macaw.Dwarf |
| DW_OP_xderef_type | Data.Macaw.Dwarf |
| DW_OP_xor | Data.Macaw.Dwarf |
| DynamicLoadingError | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| DynamicMultipleTags | Data.Macaw.Memory.ElfLoader |
| DynamicSymbolTable | Data.Macaw.Memory.ElfLoader |
| DynamicTagPairMismatch | Data.Macaw.Memory.ElfLoader |
| DynamicTagsOutOfRange | Data.Macaw.Memory.ElfLoader |
| elfAddrWidth | Data.Macaw.Memory.ElfLoader |
| ElfDynamicNeededError | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| ElfDynamicParseError | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| ElfMultipleDynamicHeaders | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| ElfNonDynamicSharedLib | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| ElfVirtualAddressMapError | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| eliminateDeadStmts | Data.Macaw.Discovery |
| emptyAbsValue | Data.Macaw.AbsDomain.AbsState |
| emptyDiscoveryState | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| emptyMemory | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| EmptySymbolName | Data.Macaw.Memory.ElfLoader |
| emptyValueFold | Data.Macaw.Fold |
| Endianness | Data.Macaw.Memory, Data.Macaw.Dwarf, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| EnumDecl | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| enumDeclByteSize | Data.Macaw.Dwarf |
| enumDeclCases | Data.Macaw.Dwarf |
| enumDeclDescription | Data.Macaw.Dwarf |
| enumDeclLoc | Data.Macaw.Dwarf |
| enumDeclName | Data.Macaw.Dwarf |
| enumDeclType | Data.Macaw.Dwarf |
| Enumerator | Data.Macaw.Dwarf |
| EnumType | Data.Macaw.Dwarf |
| Eq | Data.Macaw.CFG.App, Data.Macaw.CFG |
| EvalApp | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| EvalArchFn | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| evalRewrittenArchFn | Data.Macaw.CFG.Rewriter |
| ExecArchStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| executableSegments | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| execute | Data.Macaw.Memory.Permissions |
| ExpectedSectionSymbolLocal | Data.Macaw.Memory.ElfLoader |
| ExpectedSectionSymbolNameEmpty | Data.Macaw.Memory.ElfLoader |
| exploreCodeAddrInMem | Data.Macaw.Discovery |
| exploredFunctions | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| exploreFnPred | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| exploreFunctionSymbols | Data.Macaw.Discovery |
| Extension | |
| 1 (Type/Class) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| 2 (Data Constructor) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| extractBlockPrecond | Data.Macaw.Architecture.Info |
| ExtractElement | Data.Macaw.CFG.App, Data.Macaw.CFG |
| FalseFeasibleBranch | Data.Macaw.AbsDomain.JumpBounds |
| FetchAndExecute | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| finalAbsBlockState | Data.Macaw.AbsDomain.AbsState |
| findByteStringMatches | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| FinSet | Data.Macaw.AbsDomain.AbsState |
| firstCUContext | Data.Macaw.Dwarf |
| Flags | Data.Macaw.Memory.Permissions |
| FloatBVType | Data.Macaw.Types |
| floatBVTypeRepr | Data.Macaw.Types |
| FloatInfo | Data.Macaw.Types |
| FloatInfoBits | Data.Macaw.Types |
| floatInfoBits | Data.Macaw.Types |
| floatInfoBitsIsPos | Data.Macaw.Types |
| FloatInfoBytes | Data.Macaw.Types |
| floatInfoBytes | Data.Macaw.Types |
| floatInfoBytesIsPos | Data.Macaw.Types |
| FloatInfoRepr | Data.Macaw.Types, Data.Macaw.CFG |
| FloatMemRepr | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| FloatType | |
| 1 (Data Constructor) | Data.Macaw.Dwarf |
| 2 (Type/Class) | Data.Macaw.Types |
| 3 (Data Constructor) | Data.Macaw.Types |
| FloatTypeRepr | Data.Macaw.Types |
| fnStartAbsBlockState | Data.Macaw.AbsDomain.AbsState |
| FnStartRegister | Data.Macaw.Analysis.RegisterUse |
| fntypeFormals | Data.Macaw.Dwarf |
| fntypePrototyped | Data.Macaw.Dwarf |
| fntypeType | Data.Macaw.Dwarf |
| FoldableFC | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldAssign | Data.Macaw.Fold |
| foldCValue | Data.Macaw.Fold |
| foldInput | Data.Macaw.Fold |
| foldlFC | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldlFC' | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldMapFC | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldrFC | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldrFC' | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| foldValueCached | Data.Macaw.Fold |
| forcedTakeMemChunks | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| FrameCondWriteAccess | Data.Macaw.Analysis.RegisterUse |
| FrameCondWriteOverlapAccess | Data.Macaw.Analysis.RegisterUse |
| FrameReadInitAccess | Data.Macaw.Analysis.RegisterUse |
| FrameReadOverlapAccess | Data.Macaw.Analysis.RegisterUse |
| FrameReadWriteAccess | Data.Macaw.Analysis.RegisterUse |
| FrameWriteAccess | Data.Macaw.Analysis.RegisterUse |
| FromFloat | Data.Macaw.CFG.App, Data.Macaw.CFG |
| fromFoldable | Data.Macaw.AbsDomain.StridedInterval |
| fromIPAligned | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| funBlockPreds | Data.Macaw.Analysis.RegisterUse |
| FunctionArgAnalysisFailure | Data.Macaw.Analysis.FunctionArgs |
| functionArgRegs | Data.Macaw.Analysis.FunctionArgs |
| functionDemands | Data.Macaw.Analysis.FunctionArgs |
| FunctionEntryPoint | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| FunctionExploreReason | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| functionResultDemands | Data.Macaw.Analysis.FunctionArgs |
| functionRetRegs | Data.Macaw.Analysis.FunctionArgs |
| functionStartBounds | Data.Macaw.AbsDomain.JumpBounds |
| FunctionSummaryFailureMap | Data.Macaw.Analysis.FunctionArgs |
| funInfo | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| FunPredMap | Data.Macaw.Analysis.RegisterUse |
| getBoundValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| getCompileUnit | Data.Macaw.Dwarf |
| getDebugKeys | Data.Macaw.DebugLogging |
| glb | Data.Macaw.AbsDomain.StridedInterval |
| GlobalDataInfo | Data.Macaw.Discovery.State |
| globalDataMap | Data.Macaw.Discovery.State |
| HalfFloat | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| HalfFloatRepr | Data.Macaw.Types, Data.Macaw.CFG |
| hasMaximum | Data.Macaw.AbsDomain.AbsState |
| hasPerm | Data.Macaw.Memory.Permissions |
| HasRepr | Data.Macaw.Types |
| hasSideEffects | Data.Macaw.CFG.DemandSet |
| identifyCall | Data.Macaw.Architecture.Info |
| identifyConcreteAddresses | Data.Macaw.Discovery.Classifier |
| identifyReturn | Data.Macaw.Architecture.Info |
| IgnoreRelocation | Data.Macaw.Memory.ElfLoader |
| incAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| IncComp | Data.Macaw.Utils.IncComp |
| IncCompDone | Data.Macaw.Utils.IncComp |
| incCompDone | Data.Macaw.Utils.IncComp |
| incCompleteDiscovery | Data.Macaw.Discovery |
| IncCompLog | Data.Macaw.Utils.IncComp |
| incCompLog | Data.Macaw.Utils.IncComp |
| IncCompM | Data.Macaw.Utils.IncComp |
| incCompResult | Data.Macaw.Utils.IncComp |
| IncCompTM | Data.Macaw.Utils.IncComp |
| incSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| Index | Data.Macaw.CFG.App, Data.Macaw.CFG |
| IndirectCallTarget | Data.Macaw.Analysis.RegisterUse |
| InfeasibleBranch | Data.Macaw.AbsDomain.JumpBounds |
| InferredStackOffset | Data.Macaw.Analysis.RegisterUse |
| InferState | Data.Macaw.Analysis.RegisterUse |
| initAbsProcessorState | Data.Macaw.AbsDomain.AbsState |
| InitAddr | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| initBndsMap | Data.Macaw.AbsDomain.JumpBounds |
| Initial | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| initialBlockRegs | Data.Macaw.Architecture.Info |
| InitInferValue | Data.Macaw.Analysis.RegisterUse |
| InitJumpBounds | Data.Macaw.AbsDomain.JumpBounds |
| InsertElement | Data.Macaw.CFG.App, Data.Macaw.CFG |
| InsertError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| insertMemSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| InstructionStart | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| intervalEnd | Data.Macaw.AbsDomain.StridedInterval |
| IntraJumpBounds | Data.Macaw.AbsDomain.JumpBounds |
| IntraJumpTarget | Data.Macaw.AbsDomain.JumpBounds |
| intraJumpTargets | Data.Macaw.Discovery.ParsedContents |
| InvalidAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| InvalidCallTargetAddress | Data.Macaw.Analysis.RegisterUse |
| InvalidRead | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| InvalidSectionSymbolIndex | Data.Macaw.Memory.ElfLoader |
| IPAlignment | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ip_reg | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| IsArchFn | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| IsArchStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| IsArchTermStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| isBottom | Data.Macaw.AbsDomain.AbsState |
| isExecutable | Data.Macaw.Memory.Permissions |
| isExecutableSegOff | Data.Macaw.Discovery.Classifier |
| isReadonly | Data.Macaw.Memory.Permissions |
| isReadOnlyBoundedMemArray | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| isSingleton | Data.Macaw.AbsDomain.StridedInterval |
| isSubsetOf | Data.Macaw.AbsDomain.StridedInterval |
| isTop | Data.Macaw.AbsDomain.StridedInterval |
| IVAssignValue | Data.Macaw.Analysis.RegisterUse |
| IVCondWrite | Data.Macaw.Analysis.RegisterUse |
| IVCValue | Data.Macaw.Analysis.RegisterUse |
| IVDomain | Data.Macaw.Analysis.RegisterUse |
| joinAbsBlockState | Data.Macaw.AbsDomain.AbsState |
| joinAbsValue | Data.Macaw.AbsDomain.AbsState |
| joinD | Data.Macaw.AbsDomain.AbsState |
| joinIncComp | Data.Macaw.Utils.IncComp |
| joinInitialBounds | Data.Macaw.AbsDomain.JumpBounds |
| jtlBackingAddr | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| jtlBackingSize | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| JumpTable | Data.Macaw.Discovery.State |
| jumpTableClassifier | Data.Macaw.Discovery.Classifier.JumpTable, Data.Macaw.Discovery |
| JumpTableLayout | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| KnownNat | Data.Macaw.Types |
| knownNat | Data.Macaw.Types |
| leq | Data.Macaw.AbsDomain.AbsState |
| liftClassifier | Data.Macaw.Architecture.Info |
| liftFoldIncComp | Data.Macaw.Utils.IncComp |
| liftIncComp | Data.Macaw.Utils.IncComp |
| LittleEndian | Data.Macaw.Memory, Data.Macaw.Dwarf, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| LL | Data.Macaw.Analysis.RegisterUse |
| llValues | Data.Macaw.Analysis.RegisterUse |
| LoadBaseAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| LoadBySection | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| LoadBySegment | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| loadDynamicDependencies | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| loadOffset | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| LoadOptions | |
| 1 (Type/Class) | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| 2 (Data Constructor) | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| loadRegionBaseOffset | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| loadRegionIndex | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| LoadStyle | Data.Macaw.Memory.LoadCommon, Data.Macaw.Memory.ElfLoader |
| Location | Data.Macaw.Dwarf |
| locDomain | Data.Macaw.Analysis.RegisterUse |
| LocList | Data.Macaw.Analysis.RegisterUse |
| LocMap | |
| 1 (Type/Class) | Data.Macaw.Analysis.RegisterUse |
| 2 (Data Constructor) | Data.Macaw.Analysis.RegisterUse |
| locMapRegs | Data.Macaw.Analysis.RegisterUse |
| locMapStack | Data.Macaw.Analysis.RegisterUse |
| locMapToList | Data.Macaw.Analysis.RegisterUse |
| logAtAnalyzeBlock | Data.Macaw.Discovery |
| logAtAnalyzeFunction | Data.Macaw.Discovery |
| logDiscoveryEvent | Data.Macaw.Discovery |
| LongDoubleType | Data.Macaw.Dwarf |
| lookupSubprogram | Data.Macaw.Dwarf |
| lub | |
| 1 (Function) | Data.Macaw.AbsDomain.StridedInterval |
| 2 (Function) | Data.Macaw.AbsDomain.AbsState |
| lubSingleton | Data.Macaw.AbsDomain.StridedInterval |
| mapRegsWith | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| markAddrAsFunction | Data.Macaw.Discovery |
| markAddrsAsFunction | Data.Macaw.Discovery |
| markChanged | Data.Macaw.Utils.Changed |
| MayReturnFun | Data.Macaw.Architecture.Info, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| meet | Data.Macaw.AbsDomain.AbsState |
| MemAccessInfo | Data.Macaw.Analysis.RegisterUse |
| MemAddr | |
| 1 (Type/Class) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memAddrWidth | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memAsAddrPairs | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memBaseAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| Member | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| member | Data.Macaw.AbsDomain.StridedInterval |
| memberArtificial | Data.Macaw.Dwarf |
| memberBitOffset | Data.Macaw.Dwarf |
| memberBitSize | Data.Macaw.Dwarf |
| memberByteSize | Data.Macaw.Dwarf |
| memberDeclLoc | Data.Macaw.Dwarf |
| memberDescription | Data.Macaw.Dwarf |
| memberLoc | Data.Macaw.Dwarf |
| memberName | Data.Macaw.Dwarf |
| memberType | Data.Macaw.Dwarf |
| memBindSectionIndex | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memBindSegmentIndex | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemChunk | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemInt | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memInt | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memIntValue | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemLoadWarning | Data.Macaw.Memory.ElfLoader |
| Memory | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memory | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| MemoryError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memoryForElf | Data.Macaw.Memory.ElfLoader |
| memoryForElf' | Data.Macaw.Memory.ElfLoader |
| memoryForElfAllSymbols | Data.Macaw.Memory.ElfLoader |
| memoryForElfSections | Data.Macaw.Memory.ElfLoader |
| memoryForElfSegments | Data.Macaw.Memory.ElfLoader |
| memoryForElfSegments' | Data.Macaw.Memory.ElfLoader |
| MemRepr | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| memReprBytes | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| memSectionIndexMap | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memSegmentIndexMap | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memSegments | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memSetBaseAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemSlice | |
| 1 (Type/Class) | Data.Macaw.Analysis.RegisterUse |
| 2 (Data Constructor) | Data.Macaw.Analysis.RegisterUse |
| MemSymbol | |
| 1 (Type/Class) | Data.Macaw.Memory.ElfLoader |
| 2 (Data Constructor) | Data.Macaw.Memory.ElfLoader |
| memSymbolName | Data.Macaw.Memory.ElfLoader |
| memSymbolSize | Data.Macaw.Memory.ElfLoader |
| memSymbolStart | Data.Macaw.Memory.ElfLoader |
| MemWidth | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWidth | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWidthNatRepr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MemWord | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWord | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWordInteger | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWordSigned | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWordToSigned | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWordToUnsigned | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| memWordValue | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| mkInitialAbsState | Data.Macaw.Architecture.Info |
| mkLit | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| mkRegState | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| mkRegStateM | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| mkRewriteContext | Data.Macaw.CFG.Rewriter |
| mkSections | Data.Macaw.Dwarf |
| mkStridedInterval | Data.Macaw.AbsDomain.StridedInterval |
| MkTuple | Data.Macaw.CFG.App, Data.Macaw.CFG |
| msegAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| msegByteCountAfter | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| msegOffset | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| msegSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| MultipleDynamicSegments | Data.Macaw.Memory.ElfLoader |
| MultipleRelocationsAtAddr | Data.Macaw.Memory.ElfLoader |
| MultipleRelocationTables | Data.Macaw.Memory.ElfLoader |
| MultipleSectionsWithName | Data.Macaw.Memory.ElfLoader |
| MultipleSymbolTables | Data.Macaw.Memory.ElfLoader |
| Mux | Data.Macaw.CFG.App, Data.Macaw.CFG |
| n0 | Data.Macaw.Types |
| n1 | Data.Macaw.Types |
| n128 | Data.Macaw.Types |
| n16 | Data.Macaw.Types |
| n256 | Data.Macaw.Types |
| n32 | Data.Macaw.Types |
| n4 | Data.Macaw.Types |
| n512 | Data.Macaw.Types |
| n64 | Data.Macaw.Types |
| n8 | Data.Macaw.Types |
| n80 | Data.Macaw.Types |
| Name | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| nameVal | Data.Macaw.Dwarf |
| Nat | Data.Macaw.Types |
| NatRepr | Data.Macaw.Types |
| natValue | Data.Macaw.Types |
| newFunctionAddrs | Data.Macaw.Discovery.ParsedContents |
| nextCUContext | Data.Macaw.Dwarf |
| NextIP | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| NoMemSlice | Data.Macaw.Analysis.RegisterUse |
| none | Data.Macaw.Memory.Permissions |
| NonElfBinaryFormat | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| NoNullTerm | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| noPLTStubInfo | Data.Macaw.Memory.ElfLoader.PLTStubs |
| NoRelocationType | |
| 1 (Type/Class) | Data.Macaw.Memory.ElfLoader.PLTStubs |
| 2 (Data Constructor) | Data.Macaw.Memory.ElfLoader.PLTStubs |
| noreturnCallClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| NoReturnFun | Data.Macaw.Architecture.Info, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| NoReturnFunStatus | Data.Macaw.Architecture.Info, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| NoSymbolTable | Data.Macaw.Memory.ElfLoader |
| NotApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| NotFrameAccess | Data.Macaw.Analysis.RegisterUse |
| NullTermMemoryError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| NullTermString | |
| 1 (Type/Class) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ObjectDefaultSymbol | Data.Macaw.Memory, Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ObjectNonDefaultSymbol | Data.Macaw.Memory, Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| OffsetLoc | Data.Macaw.Dwarf |
| OrApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| OverlappingLoadableSegments | Data.Macaw.Memory.ElfLoader |
| OverlapSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| PackBits | Data.Macaw.CFG.App, Data.Macaw.CFG |
| PackedVecMemRepr | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ParseContext | |
| 1 (Type/Class) | Data.Macaw.Architecture.Info |
| 2 (Data Constructor) | Data.Macaw.Architecture.Info |
| ParsedArchTermStmt | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ParsedBlock | |
| 1 (Type/Class) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| 2 (Data Constructor) | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| parsedBlocks | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ParsedBranch | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ParsedCall | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ParsedContents | |
| 1 (Type/Class) | Data.Macaw.Discovery.ParsedContents |
| 2 (Data Constructor) | Data.Macaw.Discovery.ParsedContents |
| parseDebugKey | Data.Macaw.DebugLogging |
| ParsedJump | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ParsedLookupTable | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| parsedNonterm | Data.Macaw.Discovery.ParsedContents |
| ParsedReturn | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| parsedTerm | Data.Macaw.Discovery.ParsedContents |
| ParsedTermStmt | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| parsedTermSucc | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| ParsedTranslateError | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| parseDynNeeded | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| pblockAddr | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| pblockPrecond | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| pblockStmts | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| pblockTermStmt | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| pctxAddr | Data.Macaw.Architecture.Info |
| pctxArchInfo | Data.Macaw.Architecture.Info |
| pctxExtResolution | Data.Macaw.Architecture.Info |
| pctxFunAddr | Data.Macaw.Architecture.Info |
| pctxKnownFnEntries | Data.Macaw.Architecture.Info |
| pctxMemory | Data.Macaw.Architecture.Info |
| pendingMemAccesses | Data.Macaw.Analysis.RegisterUse |
| PermissionsError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| pltFunSize | Data.Macaw.Memory.ElfLoader.PLTStubs |
| pltGotStubSize | Data.Macaw.Memory.ElfLoader.PLTStubs |
| PLTStub | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| pltStubClassifier | Data.Macaw.Discovery.Classifier.PLT, Data.Macaw.Discovery |
| PLTStubInfo | |
| 1 (Type/Class) | Data.Macaw.Memory.ElfLoader.PLTStubs |
| 2 (Data Constructor) | Data.Macaw.Memory.ElfLoader.PLTStubs |
| PLTStubNotSupported | Data.Macaw.Analysis.FunctionArgs |
| pltStubSize | Data.Macaw.Memory.ElfLoader.PLTStubs |
| pltStubSymbols | Data.Macaw.Memory.ElfLoader.PLTStubs |
| PointerType | Data.Macaw.Dwarf |
| PopCount | Data.Macaw.CFG.App, Data.Macaw.CFG |
| PossibleWriteEntry | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| postArchTermStmtAbsState | Data.Macaw.Architecture.Info |
| postBranchBounds | Data.Macaw.AbsDomain.JumpBounds |
| postCallAbsState | Data.Macaw.Architecture.Info |
| postCallBounds | Data.Macaw.AbsDomain.JumpBounds |
| postCallConstraints | Data.Macaw.Analysis.RegisterUse |
| postCallStackDelta | Data.Macaw.AbsDomain.CallParams, Data.Macaw.AbsDomain.AbsState |
| postJumpBounds | Data.Macaw.AbsDomain.JumpBounds |
| PostTermStmtInvariants | Data.Macaw.Analysis.RegisterUse |
| PostValueMap | Data.Macaw.Analysis.RegisterUse |
| ppAbsValue | Data.Macaw.AbsDomain.AbsState |
| ppApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| ppAppA | Data.Macaw.CFG.App, Data.Macaw.CFG |
| ppArchFn | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppArchStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppArchTermStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppAssignId | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppBlock | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| ppDiscoveryStateBlocks | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ppFunReason | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| ppInitJumpBounds | Data.Macaw.AbsDomain.JumpBounds |
| ppMemSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ppRegisterUseErrorReason | Data.Macaw.Analysis.RegisterUse |
| ppRegMap | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppStmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppTermStmt | Data.Macaw.Discovery.ParsedContents |
| ppValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppValueAssignmentList | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppValueAssignments | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppValueAssignments' | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| ppValueEq | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| preserveReg | Data.Macaw.AbsDomain.CallParams, Data.Macaw.AbsDomain.AbsState |
| PrettyF | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| prettyF | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| PrettyRegValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| processIncCompLogs | Data.Macaw.Utils.IncComp |
| pvmFind | Data.Macaw.Analysis.RegisterUse |
| QuadFloat | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| QuadFloatRepr | Data.Macaw.Types, Data.Macaw.CFG |
| Range | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| range | Data.Macaw.AbsDomain.StridedInterval |
| rangeBegin | Data.Macaw.Dwarf |
| rangeEnd | Data.Macaw.Dwarf |
| read | Data.Macaw.Memory.Permissions |
| readAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readByteString | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ReadMem | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| readNullTermString | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readonlySegments | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord16be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord16le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord32be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord32le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord64be | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord64le | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| readWord8 | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| Reason | Data.Macaw.Analysis.RegisterUse |
| ReferencedValue | Data.Macaw.Discovery.State |
| RefineConstraints | Data.Macaw.AbsDomain.Refine |
| refineProcState | Data.Macaw.AbsDomain.Refine |
| refsInValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| RegAddrWidth | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| RegAddrWord | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| RegConstraint | Data.Macaw.Discovery.State |
| RegDependencyMap | Data.Macaw.Analysis.RegisterUse |
| RegEqualLoc | Data.Macaw.Analysis.RegisterUse |
| RegionIndex | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| registerDemands | Data.Macaw.Analysis.FunctionArgs |
| RegisterInfo | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| RegisterSet | Data.Macaw.Analysis.FunctionArgs |
| registerUse | Data.Macaw.Analysis.RegisterUse |
| RegisterUseContext | |
| 1 (Type/Class) | Data.Macaw.Analysis.RegisterUse |
| 2 (Data Constructor) | Data.Macaw.Analysis.RegisterUse |
| RegisterUseError | |
| 1 (Type/Class) | Data.Macaw.Analysis.RegisterUse |
| 2 (Data Constructor) | Data.Macaw.Analysis.RegisterUse |
| RegisterUseErrorReason | Data.Macaw.Analysis.RegisterUse |
| RegisterUseErrorTag | Data.Macaw.Analysis.RegisterUse |
| RegisterUseM | Data.Macaw.Analysis.RegisterUse |
| RegLoc | Data.Macaw.Analysis.RegisterUse |
| RegSegmentOff | Data.Macaw.Analysis.FunctionArgs |
| RegState | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| regStateMap | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| reguseTermFn | Data.Macaw.Analysis.RegisterUse |
| relativeAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelativeJumpTable | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| relativeSegmentAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relativeSegmentContents | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelocatableCValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| RelocatableValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| Relocation | |
| 1 (Type/Class) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelocationBeforeNull | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationEndianness | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelocationError | Data.Macaw.Memory.ElfLoader |
| relocationIsRel | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationIsSigned | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationJumpSlot | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationOffset | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelocationParseFailure | Data.Macaw.Memory.ElfLoader |
| RelocationRegion | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationSize | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocationSym | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RelocEntry | |
| 1 (Type/Class) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| relocEntrySize | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| rendApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| ReportAnalyzeBlock | Data.Macaw.Discovery |
| ReportAnalyzeFunction | Data.Macaw.Discovery |
| ReportAnalyzeFunctionDone | Data.Macaw.Discovery |
| ReportIdentifyFunction | Data.Macaw.Discovery |
| ResolutonFailureCallToKnownVarArgsFunction | Data.Macaw.Analysis.RegisterUse |
| resolveAbsoluteAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| resolveAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| ResolveCallArgsFn | Data.Macaw.Analysis.FunctionArgs |
| resolveElfContents | Data.Macaw.Memory.ElfLoader |
| ResolveFn | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| resolveRegionOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| resolveSegmentOff | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| RestrictQual | Data.Macaw.Dwarf |
| ReturnAddr | Data.Macaw.AbsDomain.AbsState |
| returnClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| returnRegisters | Data.Macaw.Analysis.RegisterUse |
| ReverseBytes | Data.Macaw.CFG.App, Data.Macaw.CFG |
| rewriteApp | Data.Macaw.CFG.Rewriter |
| rewriteArchFn | Data.Macaw.Architecture.Info |
| rewriteArchStmt | Data.Macaw.Architecture.Info |
| rewriteArchTermStmt | Data.Macaw.Architecture.Info |
| rewriteBlock | Data.Macaw.Architecture.Info |
| RewriteContext | Data.Macaw.CFG.Rewriter |
| Rewriter | Data.Macaw.CFG.Rewriter |
| rewriteStmt | Data.Macaw.CFG.Rewriter |
| rewriteValue | Data.Macaw.CFG.Rewriter |
| ruBlock | Data.Macaw.Analysis.RegisterUse |
| runBlockClassifier | Data.Macaw.Architecture.Info |
| runChanged | Data.Macaw.Utils.Changed |
| runContT | Data.Macaw.Utils.IncComp |
| runDemandComp | Data.Macaw.CFG.DemandSet |
| runIncCompM | Data.Macaw.Utils.IncComp |
| runRewriter | Data.Macaw.CFG.Rewriter |
| ruReason | Data.Macaw.Analysis.RegisterUse |
| ruStmt | Data.Macaw.Analysis.RegisterUse |
| SadcOverflows | Data.Macaw.CFG.App, Data.Macaw.CFG |
| SectionIdentifier | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SectionIndex | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SectionIndexMap | Data.Macaw.Memory.ElfLoader |
| SectionName | Data.Macaw.Memory.ElfLoader |
| SectionNotAlloc | Data.Macaw.Memory.ElfLoader |
| Sections | Data.Macaw.Dwarf |
| segmentBase | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SegmentBaseAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segmentFlags | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SegmentIndex | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segmentOffAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segmentOffset | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SegmentRange | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segmentSize | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffAsAbsoluteAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffBytesLeft | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffContentsAfter | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffOffset | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| segoffSegment | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| setAbsIP | Data.Macaw.AbsDomain.AbsState |
| setDebugKeys | Data.Macaw.DebugLogging |
| setRegDep | Data.Macaw.Analysis.RegisterUse |
| SetUndefined | Data.Macaw.CFG.AssignRhs, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| sexpr | Data.Macaw.Utils.Pretty, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| sexprA | Data.Macaw.Utils.Pretty, Data.Macaw.CFG.Core, Data.Macaw.CFG |
| SExt | Data.Macaw.CFG.App, Data.Macaw.CFG |
| ShdrPhdrOverlap | Data.Macaw.Memory.ElfLoader |
| showInsertError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SignedCharType | Data.Macaw.Dwarf |
| SignedIntType | Data.Macaw.Dwarf |
| SingleFloat | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| SingleFloatRepr | Data.Macaw.Types, Data.Macaw.CFG |
| singleton | Data.Macaw.AbsDomain.StridedInterval |
| size | Data.Macaw.AbsDomain.StridedInterval |
| SomeStackOffset | Data.Macaw.AbsDomain.AbsState |
| SoMismatchedElfClass | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| SoMismatchedElfMachine | Data.Macaw.Memory.ElfLoader.DynamicDependencies |
| SplitAt | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| SplitError | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SplitInvalidAddr | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| splitMemChunks | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| splitSegmentRangeList | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SplitUnexpectedRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| sp_reg | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| SsbbOverflows | Data.Macaw.CFG.App, Data.Macaw.CFG |
| StackEntry | |
| 1 (Type/Class) | Data.Macaw.AbsDomain.AbsState |
| 2 (Data Constructor) | Data.Macaw.AbsDomain.AbsState |
| stackGrowsDown | Data.Macaw.AbsDomain.CallParams, Data.Macaw.AbsDomain.AbsState |
| StackOffLoc | Data.Macaw.Analysis.RegisterUse |
| StackOffsetAbsVal | Data.Macaw.AbsDomain.AbsState |
| StackOffsetView | |
| 1 (Type/Class) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| 2 (Data Constructor) | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| StartInferContext | Data.Macaw.Analysis.RegisterUse |
| StaticSymbolTable | Data.Macaw.Memory.ElfLoader |
| Stmt | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| StmtIndex | Data.Macaw.Analysis.RegisterUse |
| stmtNeeded | Data.Macaw.CFG.DemandSet |
| stride | Data.Macaw.AbsDomain.StridedInterval |
| StridedInterval | |
| 1 (Type/Class) | Data.Macaw.AbsDomain.StridedInterval |
| 2 (Data Constructor) | Data.Macaw.AbsDomain.StridedInterval |
| 3 (Data Constructor) | Data.Macaw.AbsDomain.AbsState |
| stridedInterval | Data.Macaw.AbsDomain.AbsState |
| structByteSize | Data.Macaw.Dwarf |
| StructDecl | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| structDescription | Data.Macaw.Dwarf |
| structLoc | Data.Macaw.Dwarf |
| structMembers | Data.Macaw.Dwarf |
| structName | Data.Macaw.Dwarf |
| StructType | Data.Macaw.Dwarf |
| subArtificial | Data.Macaw.Dwarf |
| subDeclLoc | Data.Macaw.Dwarf |
| subDef | Data.Macaw.Dwarf |
| subDescription | Data.Macaw.Dwarf |
| subEntryPC | Data.Macaw.Dwarf |
| subExternal | Data.Macaw.Dwarf |
| subFrameBase | Data.Macaw.Dwarf |
| subGNUAllCallSites | Data.Macaw.Dwarf |
| subGNUAllTailCallSites | Data.Macaw.Dwarf |
| subHighPC | Data.Macaw.Dwarf |
| subIsDeclaration | Data.Macaw.Dwarf |
| subLinkageName | Data.Macaw.Dwarf |
| subLowPC | Data.Macaw.Dwarf |
| subName | Data.Macaw.Dwarf |
| subNoreturn | Data.Macaw.Dwarf |
| subOrigin | Data.Macaw.Dwarf |
| subParamMap | Data.Macaw.Dwarf |
| Subprogram | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| SubprogramDef | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| SubprogramRef | Data.Macaw.Dwarf |
| subPrototyped | Data.Macaw.Dwarf |
| Subrange | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| subrangeType | Data.Macaw.Dwarf |
| subrangeUpperBound | Data.Macaw.Dwarf |
| subRetType | Data.Macaw.Dwarf |
| SubroutinePtrType | Data.Macaw.Dwarf |
| SubroutineTypeDecl | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| SubroutineTypeF | Data.Macaw.Dwarf |
| subTypeMap | Data.Macaw.Dwarf |
| subUnspecifiedParams | Data.Macaw.Dwarf |
| SubValue | Data.Macaw.AbsDomain.AbsState |
| subValue | Data.Macaw.AbsDomain.AbsState |
| subVars | Data.Macaw.Dwarf |
| SymbolBinding | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolCValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| symbolDef | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefFunc | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefIFunc | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefNoType | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefObject | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefThreadLocal | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefType | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolDefUnknown | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolFile | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolIdentifier | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SymbolInfo | |
| 1 (Type/Class) | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| 2 (Data Constructor) | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolLocal | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolName | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| symbolName | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| symbolNames | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| SymbolOptional | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolPrecedence | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| SymbolRequired | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolRequirement | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolResolutionError | Data.Macaw.Memory.ElfLoader |
| SymbolSection | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolStrong | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolTable | Data.Macaw.Memory.ElfLoader |
| SymbolUndefFunc | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolUndefNoType | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolUndefObject | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolUndefThreadLocal | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolUndefType | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolValue | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| SymbolVersion | Data.Macaw.Memory, Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| symbolVersion | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| SymbolWeak | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| syscallArgumentRegs | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| syscall_num_reg | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| tailCallClassifier | Data.Macaw.Discovery.Classifier, Data.Macaw.Discovery |
| takeSegmentPrefix | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| termRegDemands | Data.Macaw.Analysis.FunctionArgs |
| termRegTransfers | Data.Macaw.Analysis.FunctionArgs |
| TermStmt | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| ToFloat | Data.Macaw.CFG.App, Data.Macaw.CFG |
| toIPAligned | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| toList | Data.Macaw.AbsDomain.StridedInterval |
| toListFC | Data.Macaw.CFG.Core, Data.Macaw.CFG, Data.Macaw.Fold |
| top | Data.Macaw.AbsDomain.AbsState |
| TopV | Data.Macaw.AbsDomain.AbsState |
| tqaAlign | Data.Macaw.Dwarf |
| tqaDeclLoc | Data.Macaw.Dwarf |
| tqaDescription | Data.Macaw.Dwarf |
| tqaName | Data.Macaw.Dwarf |
| tqaType | Data.Macaw.Dwarf |
| tqaTypeQual | Data.Macaw.Dwarf |
| transferApp | Data.Macaw.AbsDomain.AbsState |
| transferValue | Data.Macaw.AbsDomain.AbsState |
| TranslateError | Data.Macaw.CFG.Block, Data.Macaw.Architecture.Info |
| traverseRegsWith | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| traverseRegsWith_ | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| TrueFeasibleBranch | Data.Macaw.AbsDomain.JumpBounds |
| Trunc | Data.Macaw.CFG.App, Data.Macaw.CFG |
| trunc | Data.Macaw.AbsDomain.StridedInterval |
| trustedFunctionEntryPoints | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| TupleField | Data.Macaw.CFG.App, Data.Macaw.CFG |
| TupleType | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| TupleTypeRepr | Data.Macaw.Types |
| typ | Data.Macaw.AbsDomain.StridedInterval |
| Type | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.CFG.App, Data.Macaw.CFG |
| TypeApp | Data.Macaw.Dwarf |
| TypeBits | Data.Macaw.Types |
| TypeBytes | Data.Macaw.Types |
| Typedef | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| typedefDescription | Data.Macaw.Dwarf |
| typedefLoc | Data.Macaw.Dwarf |
| typedefName | Data.Macaw.Dwarf |
| TypedefType | Data.Macaw.Dwarf |
| typedefType | Data.Macaw.Dwarf |
| TypeQual | Data.Macaw.Dwarf |
| TypeQualAnn | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| TypeQualType | Data.Macaw.Dwarf |
| TypeRef | Data.Macaw.Dwarf |
| typeRefFileOffset | Data.Macaw.Dwarf |
| TypeRepr | Data.Macaw.Types |
| typeRepr | Data.Macaw.Types |
| typeWidth | Data.Macaw.Types |
| type_width | Data.Macaw.Types |
| UadcOverflows | Data.Macaw.CFG.App, Data.Macaw.CFG |
| UExt | Data.Macaw.CFG.App, Data.Macaw.CFG |
| UndefinedSymbol | Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader |
| UndefSymbol | Data.Macaw.Memory.ElfLoader |
| UnexpectedBSS | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UnexpectedByteRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UnexpectedRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UnexploredFunctionMap | Data.Macaw.Discovery.State |
| unexploredFunctions | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| unionByteSize | Data.Macaw.Dwarf |
| UnionDecl | |
| 1 (Type/Class) | Data.Macaw.Dwarf |
| 2 (Data Constructor) | Data.Macaw.Dwarf |
| unionDescription | Data.Macaw.Dwarf |
| unionLoc | Data.Macaw.Dwarf |
| unionMembers | Data.Macaw.Dwarf |
| unionName | Data.Macaw.Dwarf |
| UnionType | Data.Macaw.Dwarf |
| UnknownCallTargetArguments | Data.Macaw.Analysis.RegisterUse |
| UnknownDefinedSymbolBinding | Data.Macaw.Memory.ElfLoader |
| UnknownDefinedSymbolType | Data.Macaw.Memory.ElfLoader |
| UnknownUndefinedSymbolBinding | Data.Macaw.Memory.ElfLoader |
| UnknownUndefinedSymbolType | Data.Macaw.Memory.ElfLoader |
| UnpackBits | Data.Macaw.CFG.App, Data.Macaw.CFG |
| UnresolvedStackRead | Data.Macaw.Analysis.RegisterUse |
| unsetDebugKeys | Data.Macaw.DebugLogging |
| UnsignedCharType | Data.Macaw.Dwarf |
| UnsignedIntType | Data.Macaw.Dwarf |
| unsignedUpperBound | Data.Macaw.AbsDomain.JumpBounds |
| Unsupported32ImmRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UnsupportedCallTargetCallingConvention | Data.Macaw.Analysis.RegisterUse |
| UnsupportedCondStackRead | Data.Macaw.Analysis.RegisterUse |
| UnsupportedJumpOffsetRelocation | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UnsupportedProcessorSpecificSymbolIndex | Data.Macaw.Memory.ElfLoader |
| UnsupportedSection | Data.Macaw.Memory.ElfLoader |
| UnversionedSymbol | Data.Macaw.Memory, Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| UsbbOverflows | Data.Macaw.CFG.App, Data.Macaw.CFG |
| UserRequest | Data.Macaw.Discovery.State, Data.Macaw.Discovery |
| Val | Data.Macaw.CFG.App, Data.Macaw.CFG |
| Value | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsApp | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsArchFn | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsMemAddr | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsRhs | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsSegmentOff | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueAsStaticMultiplication | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| valueDeps | Data.Macaw.Analysis.RegisterUse |
| ValueFold | |
| 1 (Type/Class) | Data.Macaw.Fold |
| 2 (Data Constructor) | Data.Macaw.Fold |
| Variable | Data.Macaw.Dwarf |
| VariableRef | Data.Macaw.Dwarf |
| varName | Data.Macaw.Dwarf |
| varOrigin | Data.Macaw.Dwarf |
| varType | Data.Macaw.Dwarf |
| VecEqCongruence | Data.Macaw.CFG.App, Data.Macaw.CFG |
| VecType | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| VecTypeRepr | Data.Macaw.Types |
| VersionedSymbol | |
| 1 (Data Constructor) | Data.Macaw.Memory, Data.Macaw.Memory.Symbols, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| 2 (Type/Class) | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| VerSym | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| versymName | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| versymVersion | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| VolatileQual | Data.Macaw.Dwarf |
| Width | Data.Macaw.CFG.App, Data.Macaw.CFG |
| WidthEqProof | Data.Macaw.CFG.App, Data.Macaw.CFG |
| widthEqProofCompare | Data.Macaw.CFG.App, Data.Macaw.CFG |
| widthEqProofEq | Data.Macaw.CFG.App, Data.Macaw.CFG |
| WidthEqRefl | Data.Macaw.CFG.App, Data.Macaw.CFG |
| widthEqSource | Data.Macaw.CFG.App, Data.Macaw.CFG |
| widthEqSym | Data.Macaw.CFG.App, Data.Macaw.CFG |
| widthEqTarget | Data.Macaw.CFG.App, Data.Macaw.CFG |
| WidthEqTrans | Data.Macaw.CFG.App, Data.Macaw.CFG |
| withArchConstraints | Data.Macaw.Architecture.Info |
| write | Data.Macaw.Memory.Permissions |
| WriteMem | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| writtenCodeAddrs | Data.Macaw.Discovery.ParsedContents |
| X86_80Float | |
| 1 (Type/Class) | Data.Macaw.Types |
| 2 (Data Constructor) | Data.Macaw.Types |
| X86_80FloatRepr | Data.Macaw.Types, Data.Macaw.CFG |
| XorApp | Data.Macaw.CFG.App, Data.Macaw.CFG |
| zeroMemWord | Data.Macaw.Memory, Data.Macaw.Memory.ElfLoader, Data.Macaw.CFG |
| zipWithRegState | Data.Macaw.CFG.Core, Data.Macaw.CFG |
| _blockExecDemands | Data.Macaw.Analysis.RegisterUse |
| _extIsSigned | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| _extWidth | Data.Macaw.Discovery.ParsedContents, Data.Macaw.Discovery.State |
| _parsedBlocks | Data.Macaw.Discovery.State |
| _unIncCompTM | Data.Macaw.Utils.IncComp |