Safe Haskell	Safe-Inferred
Language	Haskell2010

Binary.Generic

Synopsis

data SectionsInfo = SectionsInfo {
- si_sections :: ![(String, String, Word64, Word64, Word64)]
- si_min_address :: !Word64
- si_max_address :: !Word64
}
data SymbolTable = SymbolTable {
- symboltable_symbols :: !(IntMap Symbol)
- symboltable_exterbals :: !(Set String)
}
data Relocation = Relocation Word64 Word64
class BinaryClass a where
- binary_read_bytestring :: a -> Word64 -> Int -> Maybe ByteString
- binary_read_ro_data :: a -> Word64 -> Int -> Maybe [Word8]
- binary_read_data :: a -> Word64 -> Int -> Maybe [Word8]
- binary_get_sections_info :: a -> SectionsInfo
- binary_get_symbols :: a -> SymbolTable
- binary_get_relocations :: a -> Set Relocation
- binary_pp :: a -> String
- binary_entry :: a -> Word64
- binary_text_section_size :: a -> Int
- binary_dir_name :: a -> String
- binary_file_name :: a -> String
data Binary = forall b.BinaryClass b => Binary b
binary_get_symbol_table :: BinaryClass a => a -> IntMap Symbol
binary_get_global_symbols :: BinaryClass a => a -> Set String
symbol_to_name :: Symbol -> String
is_roughly_an_address :: BinaryClass bin => bin -> Word64 -> Bool
find_section_for_address :: BinaryClass bin => bin -> Word64 -> Maybe (String, String, Word64, Word64, Word64)
read_from_ro_datasection :: BinaryClass bin => bin -> Word64 -> Int -> Maybe Word64
find_section_ending_at :: BinaryClass bin => bin -> Word64 -> Maybe (String, String, Word64, Word64, Word64)
fetch_instruction :: BinaryClass bin => bin -> Word64 -> Maybe Instruction
address_has_instruction :: BinaryClass bin => bin -> Word64 -> Bool

Documentation

data SectionsInfo Source #

Information on the sections in the binary

Constructors

SectionsInfo
Fields si_sections :: ![(String, String, Word64, Word64, Word64)] Sections: segment names, section names, addresses, sizes, and alignment. si_min_address :: !Word64 si_max_address :: !Word64

Instances

Instances details

Generic SectionsInfo Source #
Instance details Defined in Binary.Generic Associated Types type Rep SectionsInfo :: Type -> Type # Methods from :: SectionsInfo -> Rep SectionsInfo x # to :: Rep SectionsInfo x -> SectionsInfo #
Show SectionsInfo Source #
Instance details Defined in Binary.Generic Methods showsPrec :: Int -> SectionsInfo -> ShowS # show :: SectionsInfo -> String # showList :: [SectionsInfo] -> ShowS #
Serialize SectionsInfo Source #
Instance details Defined in Binary.Generic Methods put :: Putter SectionsInfo # get :: Get SectionsInfo #
Eq SectionsInfo Source #
Instance details Defined in Binary.Generic Methods (==) :: SectionsInfo -> SectionsInfo -> Bool # (/=) :: SectionsInfo -> SectionsInfo -> Bool #
type Rep SectionsInfo Source #
Instance details Defined in Binary.Generic type Rep SectionsInfo = D1 ('MetaData "SectionsInfo" "Binary.Generic" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "SectionsInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "si_sections") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(String, String, Word64, Word64, Word64)]) :: (S1 ('MetaSel ('Just "si_min_address") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Just "si_max_address") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data SymbolTable Source #

Constructors

SymbolTable
Fields symboltable_symbols :: !(IntMap Symbol) symboltable_exterbals :: !(Set String)

Instances

Instances details

Generic SymbolTable Source #
Instance details Defined in Binary.Generic Associated Types type Rep SymbolTable :: Type -> Type # Methods from :: SymbolTable -> Rep SymbolTable x # to :: Rep SymbolTable x -> SymbolTable #
Show SymbolTable Source #
Instance details Defined in Binary.Generic Methods showsPrec :: Int -> SymbolTable -> ShowS # show :: SymbolTable -> String # showList :: [SymbolTable] -> ShowS #
Serialize SymbolTable Source #
Instance details Defined in Binary.Generic Methods put :: Putter SymbolTable # get :: Get SymbolTable #
Eq SymbolTable Source #
Instance details Defined in Binary.Generic Methods (==) :: SymbolTable -> SymbolTable -> Bool # (/=) :: SymbolTable -> SymbolTable -> Bool #
type Rep SymbolTable Source #
Instance details Defined in Binary.Generic type Rep SymbolTable = D1 ('MetaData "SymbolTable" "Binary.Generic" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "SymbolTable" 'PrefixI 'True) (S1 ('MetaSel ('Just "symboltable_symbols") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntMap Symbol)) :*: S1 ('MetaSel ('Just "symboltable_exterbals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set String))))

data Relocation Source #

Constructors

Relocation Word64 Word64

8: At address a0, address a1 has been written, i.e., qword ptr[a0] == a1

Instances

Instances details

Generic Relocation Source #
Instance details Defined in Binary.Generic Associated Types type Rep Relocation :: Type -> Type # Methods from :: Relocation -> Rep Relocation x # to :: Rep Relocation x -> Relocation #
Show Relocation Source #
Instance details Defined in Binary.Generic Methods showsPrec :: Int -> Relocation -> ShowS # show :: Relocation -> String # showList :: [Relocation] -> ShowS #
Serialize Relocation Source #
Instance details Defined in Binary.Generic Methods put :: Putter Relocation # get :: Get Relocation #
Eq Relocation Source #
Instance details Defined in Binary.Generic Methods (==) :: Relocation -> Relocation -> Bool # (/=) :: Relocation -> Relocation -> Bool #
Ord Relocation Source #
Instance details Defined in Binary.Generic Methods compare :: Relocation -> Relocation -> Ordering # (<) :: Relocation -> Relocation -> Bool # (<=) :: Relocation -> Relocation -> Bool # (>) :: Relocation -> Relocation -> Bool # (>=) :: Relocation -> Relocation -> Bool # max :: Relocation -> Relocation -> Relocation # min :: Relocation -> Relocation -> Relocation #
type Rep Relocation Source #
Instance details Defined in Binary.Generic type Rep Relocation = D1 ('MetaData "Relocation" "Binary.Generic" "foxdec-0.1.0.0-DGuc5MMkhbvOBLAebyTd5" 'False) (C1 ('MetaCons "Relocation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64)))

class BinaryClass a where Source #

Methods

binary_read_bytestring :: a -> Word64 -> Int -> Maybe ByteString Source #

binary_read_ro_data :: a -> Word64 -> Int -> Maybe [Word8] Source #

binary_read_data :: a -> Word64 -> Int -> Maybe [Word8] Source #

binary_get_sections_info :: a -> SectionsInfo Source #

binary_get_symbols :: a -> SymbolTable Source #

binary_get_relocations :: a -> Set Relocation Source #

binary_pp :: a -> String Source #

binary_entry :: a -> Word64 Source #

binary_text_section_size :: a -> Int Source #

binary_dir_name :: a -> String Source #

binary_file_name :: a -> String Source #

Instances

Instances details

BinaryClass NamedElf Source #
Instance details Defined in Binary.Elf Methods binary_read_bytestring :: NamedElf -> Word64 -> Int -> Maybe ByteString Source # binary_read_ro_data :: NamedElf -> Word64 -> Int -> Maybe [Word8] Source # binary_read_data :: NamedElf -> Word64 -> Int -> Maybe [Word8] Source # binary_get_sections_info :: NamedElf -> SectionsInfo Source # binary_get_symbols :: NamedElf -> SymbolTable Source # binary_get_relocations :: NamedElf -> Set Relocation Source # binary_pp :: NamedElf -> String Source # binary_entry :: NamedElf -> Word64 Source # binary_text_section_size :: NamedElf -> Int Source # binary_dir_name :: NamedElf -> String Source # binary_file_name :: NamedElf -> String Source #
BinaryClass Binary Source #
Instance details Defined in Binary.Generic Methods binary_read_bytestring :: Binary -> Word64 -> Int -> Maybe ByteString Source # binary_read_ro_data :: Binary -> Word64 -> Int -> Maybe [Word8] Source # binary_read_data :: Binary -> Word64 -> Int -> Maybe [Word8] Source # binary_get_sections_info :: Binary -> SectionsInfo Source # binary_get_symbols :: Binary -> SymbolTable Source # binary_get_relocations :: Binary -> Set Relocation Source # binary_pp :: Binary -> String Source # binary_entry :: Binary -> Word64 Source # binary_text_section_size :: Binary -> Int Source # binary_dir_name :: Binary -> String Source # binary_file_name :: Binary -> String Source #