| 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 |