{"id":327255,"date":"2022-01-10T08:49:18","date_gmt":"2022-01-10T08:49:18","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=327255"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=327255","title":{"rendered":"\u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u0444\u0430\u0439\u043b\u0430\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u0442\u0430 ELF \u0438\u0437 \u0425\u0430\u0441\u043a\u0435\u043b\u0430<\/span>"},"content":{"rendered":"
<\/div>\n
\n
\n

\u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u0444\u0430\u0439\u043b\u0430\u043c\u0438 \u0444\u043e\u0440\u043c\u0430\u0442\u0430 ELF — \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u0430\u044f \u0442\u0435\u043c\u0430 \u043d\u0430 \u0425\u0430\u0431\u0440\u0435. («\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0432 ELF-\u0444\u0430\u0439\u043b\u044b \u0432 Linux: \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0438 \u0430\u043d\u0430\u043b\u0438\u0437»<\/a>, «\u041c\u0438\u043d\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u0444\u0430\u0439\u043b\u0430 ELF \u2013 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0432 2021?»<\/a> \u0438 \u0442. \u0434.)<\/p>\n

\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u0434\u043b\u044f \u0425\u0430\u0441\u043a\u0435\u043b\u0430 \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u044d\u0442\u0438\u043c\u0438 \u0444\u0430\u0439\u043b\u0430\u043c\u0438: elf<\/code>
(Hackage<\/a>) \u0438 data-elf<\/code> (Hackage<\/a>). \u042d\u0442\u0438 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0441 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0430\u043c\u0438 \u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0442\u0430\u0431\u043b\u0438\u0446 \u0438 \u043d\u0435 \u0434\u0430\u044e\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043d\u044b\u0439 \u0444\u0430\u0439\u043b.<\/p>\n

\u0411\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 melf<\/code> (GitHub<\/a>, Hackage<\/a>) \u0434\u0430\u0451\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c \u0444\u0430\u0439\u043b ELF \u0438 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0430\u043a\u043e\u0439 \u0444\u0430\u0439\u043b \u043f\u043e \u043d\u0435\u0441\u043b\u043e\u0436\u043d\u043e\u0439 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0435 \u0434\u0430\u043d\u043d\u044b\u0445. \u041d\u0438\u0436\u0435 \u0434\u0430\u044e\u0442\u0441\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0435\u0451 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f.<\/p>\n

\u0412\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0435 \u0443\u0441\u0442\u0440\u043e\u0439\u0441\u0442\u0432\u043e ELF<\/h3>\n

\u0412 \u0444\u0430\u0439\u043b\u0435 \u0444\u043e\u0440\u043c\u0430\u0442\u0430 ELF \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u043c\u0435\u0449\u0435\u043d\u044b \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a \u0444\u0430\u0439\u043b\u0430, \u0441\u0435\u043a\u0446\u0438\u0438, \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u044b, \u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0441\u0435\u043a\u0446\u0438\u0439, \u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432. \u0421\u0435\u0433\u043c\u0435\u043d\u0442\u044b \u0432 \u0441\u0432\u043e\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u0441\u043a\u043e\u043c\u043f\u0430\u043d\u043e\u0432\u0430\u043d\u044b \u0438\u0437 \u0442\u0430\u043a\u0438\u0445 \u0436\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432. \u041f\u043e\u0440\u044f\u0434\u043e\u043a \u044d\u0442\u0438\u0445 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u044b\u0439, \u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a \u0444\u0430\u0439\u043b\u0430 \u0432\u0441\u0435\u0433\u0434\u0430 \u0440\u0430\u0437\u043c\u0435\u0449\u0430\u0435\u0442\u0441\u044f \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0444\u0430\u0439\u043b\u0430, \u0430 \u0442\u0430\u0431\u043b\u0438\u0446 \u0441\u0435\u043a\u0446\u0438\u0439 \u0438 \u0442\u0430\u0431\u043b\u0438\u0446 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u043e\u0434\u043d\u043e\u0439. \u041a\u0430\u0436\u0434\u044b\u0439 \u0442\u0430\u043a\u043e\u0439 \u0443\u0447\u0430\u0441\u0442\u043e\u043a \u0432\u044b\u0440\u043e\u0432\u043d\u0435\u043d \u0432 \u0444\u0430\u0439\u043b\u0435, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u044b \u043e\u0431\u044b\u0447\u043d\u043e \u0432\u044b\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u043d\u0430 \u0440\u0430\u0437\u043c\u0435\u0440 \u0441\u0442\u0440\u0430\u043d\u0438\u0446\u044b, \u0430 \u0441\u0435\u043a\u0446\u0438\u0438 \u0441 \u0434\u0430\u043d\u043d\u044b\u043c\u0438 — \u043d\u0430 \u0440\u0430\u0437\u043c\u0435\u0440 \u0441\u043b\u043e\u0432\u0430.<\/p>\n

\u0412 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u043e, \u0433\u0434\u0435 \u0440\u0430\u0441\u043f\u043e\u043b\u0430\u0433\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0441\u0435\u043a\u0446\u0438\u0439 \u0438 \u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432 \u0441\u0432\u043e\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442, \u0433\u0434\u0435 \u0440\u0430\u0441\u043f\u043e\u043b\u0430\u0433\u0430\u044e\u0442\u0441\u044f \u0441\u0435\u043a\u0446\u0438\u0438 \u0438 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u044b.<\/p>\n

\u0421\u0435\u0433\u043c\u0435\u043d\u0442\u044b \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u044e\u0442, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u0432 \u043f\u0430\u043c\u044f\u0442\u044c \u043f\u0440\u0438 \u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u0430 \u0441\u0435\u043a\u0446\u0438\u0438 \u044f \u0431\u044b \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b \u043a\u0430\u043a \u043d\u0435\u0434\u0435\u043b\u0438\u043c\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0440\u0430\u0431\u043e\u0442\u044b \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430. \u0412 \u0441\u0435\u043a\u0446\u0438\u044f\u0445 \u0440\u0430\u0437\u043c\u0435\u0449\u0435\u043d\u044b \u0438\u0441\u043f\u043e\u043b\u043d\u044f\u0435\u043c\u044b\u0439 \u043a\u043e\u0434, \u0442\u0430\u0431\u043b\u0438\u0446\u044b \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u0432, \u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435. \u041b\u0438\u043d\u043a\u043e\u0432\u0449\u0438\u043a \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u0435\u0442 \u0441\u0435\u043a\u0446\u0438\u0438 \u0438\u0437 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0435\u0434\u0438\u043d\u0438\u0446 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u0432 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u044b.<\/p>\n

\u0412\u043f\u043e\u043b\u043d\u0435 \u0432\u0430\u043b\u0438\u0434\u043d\u044b\u043c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0444\u0430\u0439\u043b, \u0433\u0434\u0435 \u0441\u0435\u0433\u043c\u0435\u043d\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0434\u0430\u043d\u043d\u044b\u0435, \u043d\u0435 \u0440\u0430\u0437\u043c\u0435\u0447\u0435\u043d\u043d\u044b\u0435 \u043a\u0430\u043a \u043a\u0430\u043a\u0430\u044f-\u043b\u0438\u0431\u043e \u0441\u0435\u043a\u0446\u0438\u044f.<\/p>\n

\u0411\u0430\u0437\u043e\u0432\u044b\u0439 \u0443\u0440\u043e\u0432\u0435\u043d\u044c<\/h3>\n

\u0412 \u043c\u043e\u0434\u0443\u043b\u0435 Data.Elf.Headers<\/code> ?<\/a> \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u0440\u0430\u0437\u0431\u043e\u0440 \u0438 \u0441\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0430 \u0444\u0430\u0439\u043b\u0430 ELF \u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0442\u0430\u0431\u043b\u0438\u0446 \u0441\u0435\u043a\u0446\u0438\u0439 \u0438 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432. \u0414\u043b\u044f \u0440\u0430\u0437\u043b\u0438\u0447\u0435\u043d\u0438\u044f 64- \u0438 32-\u0431\u0438\u0442\u043d\u044b\u0445 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u0442\u0438\u043f ElfClass<\/code>?<\/a><\/p>\n

data ElfClass     = ELFCLASS32 -- ^ 32-bit ELF format     | ELFCLASS64 -- ^ 64-bit ELF format     deriving (Eq, Show)<\/code><\/pre>\n
\u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u043b\u044f \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0430 \u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0442\u0430\u0431\u043b\u0438\u0446 \u0441\u0435\u043a\u0446\u0438\u0439 \u0438 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432 \u0438\u043c\u0435\u044e\u0442 \u0440\u0430\u0437\u043d\u0443\u044e \u0448\u0438\u0440\u0438\u043d\u0443 \u0432 \u0431\u0438\u0442\u0430\u0445, \u0437\u0430\u0432\u0438\u0441\u044f\u0449\u0443\u044e \u043e\u0442  ElfClass<\/code>, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0443\u0436\u0435\u043d \u0442\u0438\u043f WordXX a<\/code>?<\/a>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b\u043b \u043f\u043e\u0437\u0430\u0438\u043c\u0441\u0442\u0432\u043e\u0432\u0430\u043d \u0438\u0437 \u043f\u0430\u043a\u0435\u0442\u0430 data-elf<\/code>:<\/p>\n
-- | @IsElfClass a@ is defined for each constructor of `ElfClass`. --   It defines @WordXX a@, which is `Word32` for `ELFCLASS32` --   and `Word64` for `ELFCLASS64`. class ( SingI c       , Typeable c       , Typeable (WordXX c)       , Data (WordXX c)       , Show (WordXX c)       , Read (WordXX c)       , Eq (WordXX c)       , Ord (WordXX c)       , Bounded (WordXX c)       , Enum (WordXX c)       , Num (WordXX c)       , Integral (WordXX c)       , Real (WordXX c)       , Bits (WordXX c)       , FiniteBits (WordXX c)       , Binary (Be (WordXX c))       , Binary (Le (WordXX c))       ) => IsElfClass c where     type WordXX c = r | r -> c  instance IsElfClass 'ELFCLASS32 where     type WordXX 'ELFCLASS32 = Word32  instance IsElfClass 'ELFCLASS64 where     type WordXX 'ELFCLASS64 = Word64<\/code><\/pre>\n
\u0417\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a \u0444\u0430\u0439\u043b\u0430 ELF \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0442\u0438\u043f\u0430 HeaderXX a<\/code>?<\/a>:<\/p>\n
-- | Parsed ELF header data HeaderXX c =     HeaderXX         { hData       :: ElfData    -- ^ Data encoding (big- or little-endian)         , hOSABI      :: ElfOSABI   -- ^ OS\/ABI identification         , hABIVersion :: Word8      -- ^ ABI version         , hType       :: ElfType    -- ^ Object file type         , hMachine    :: ElfMachine -- ^ Machine type         , hEntry      :: WordXX c   -- ^ Entry point address         , hPhOff      :: WordXX c   -- ^ Program header offset         , hShOff      :: WordXX c   -- ^ Section header offset         , hFlags      :: Word32     -- ^ Processor-specific flags         , hPhEntSize  :: Word16     -- ^ Size of program header entry         , hPhNum      :: Word16     -- ^ Number of program header entries         , hShEntSize  :: Word16     -- ^ Size of section header entry         , hShNum      :: Word16     -- ^ Number of section header entries         , hShStrNdx   :: ElfSectionIndex -- ^ Section name string table index         }<\/code><\/pre>\n
\u0414\u043b\u044f \u043e\u0434\u043d\u043e\u043e\u0431\u0440\u0430\u0437\u043d\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u0441 \u0444\u043e\u0440\u043c\u0430\u0442\u0430\u043c\u0438 \u0441 \u0440\u0430\u0437\u043d\u043e\u0439 \u0448\u0438\u0440\u0438\u043d\u043e\u0439 \u0441\u043b\u043e\u0432\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d \u0442\u0438\u043f Header<\/code>?<\/a>:<\/p>\n
-- | Sigma type where `ElfClass` defines the type of `HeaderXX` type Header = Sigma ElfClass (TyCon1 HeaderXX)<\/code><\/pre>\n
Header<\/code> \u044d\u0442\u043e \u043f\u0430\u0440\u0430, \u043f\u0435\u0440\u0432\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 — \u043e\u0431\u044a\u0435\u043a\u0442 \u0442\u0438\u043f\u0430 ElfClass<\/code>, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0449\u0438\u0439 \u0448\u0438\u0440\u0438\u043d\u0443 \u0441\u043b\u043e\u0432\u0430, \u0432\u0442\u043e\u0440\u043e\u0439 — HeaderXX<\/code>, \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043f\u0435\u0440\u0432\u044b\u043c \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u043c (\u03a3-\u0442\u0438\u043f \u0438\u0437 \u044f\u0437\u044b\u043a\u043e\u0432 \u0441 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u044b\u043c\u0438 \u0442\u0438\u043f\u0430\u043c\u0438).  \u0414\u043b\u044f \u0441\u0438\u043c\u0443\u043b\u044f\u0446\u0438\u0438 \u03a3-\u0442\u0438\u043f\u043e\u0432 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0430 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 singletons<\/code> (Hackage<\/a>,  «Introduction to singletons»<\/a>).<\/p>\n
Header<\/code> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u043c \u043a\u043b\u0430\u0441\u0441\u0430 Binary<\/code>?<\/a>.  \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0438\u043c\u0435\u044f \u043b\u0435\u043d\u0438\u0432\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443 \u0431\u0430\u0439\u0442, \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0449\u0443\u044e \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0434\u043b\u0438\u043d\u043d\u044b\u0439 \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u044b\u0439 \u043e\u0442\u0440\u0435\u0437\u043e\u043a \u0444\u0430\u0439\u043b\u0430 ELF, \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a \u044d\u0442\u043e\u0433\u043e \u0444\u0430\u0439\u043b\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439:<\/p>\n
withHeader ::                     BSL.ByteString ->     (forall a . IsElfClass a => HeaderXX a -> b) -> Either String b withHeader bs f =     case decodeOrFail bs of         Left (_, _, err) -> Left err         Right (_, _, (classS :&: hxx) :: Header) ->             Right $ withElfClass classS f hxx<\/code><\/pre>\n
\u0417\u0434\u0435\u0441\u044c decodeOrFail<\/code>?<\/a> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0430 \u0432 \u043f\u0430\u043a\u0435\u0442\u0435 binary<\/code>?<\/a>, \u0430 withElfClass<\/code>?<\/a>
\u0434\u0435\u043b\u0430\u0435\u0442 \u044f\u0432\u043d\u044b\u0439 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0449\u0438\u0439 \u0440\u0430\u0437\u043c\u0435\u0440 \u0441\u043b\u043e\u0432\u0430, \u043d\u0435\u044f\u0432\u043d\u044b\u043c (constraint).  \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u043e\u0445\u043e\u0436\u0430 \u043d\u0430 withSingI<\/code>?<\/a>:<\/p>\n
-- | Convenience function for creating a -- context with an implicit ElfClass available. withElfClass :: Sing c -> (IsElfClass c => a) -> a withElfClass SELFCLASS64 x = x withElfClass SELFCLASS32 x = x<\/code><\/pre>\n
\u0412 Data.Elf.Headers<\/code> \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u044b \u0442\u0430\u043a\u0436\u0435 \u0442\u0438\u043f\u044b SectionXX<\/code>?<\/a>, SegmentXX<\/code>?<\/a> \u0438 SymbolXX<\/code>?<\/a> \u0434\u043b\u044f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0442\u0430\u0431\u043b\u0438\u0446 \u0441\u0435\u043a\u0446\u0438\u0439, \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u0432.<\/p>\n
\u0412\u0435\u0440\u0445\u043d\u0438\u0439 \u0443\u0440\u043e\u0432\u0435\u043d\u044c<\/h3>\n
\u0412 \u043c\u043e\u0434\u0443\u043b\u0435 Data.Elf<\/code>?<\/a> \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u043f\u043e\u043b\u043d\u044b\u0435 \u0440\u0430\u0437\u0431\u043e\u0440 \u0438 \u0441\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044f \u0444\u0430\u0439\u043b\u043e\u0432 \u0444\u043e\u0440\u043c\u0430\u0442\u0430 ELF.  \u0427\u0442\u043e\u0431\u044b \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c \u0442\u0430\u043a\u043e\u0439 \u0444\u0430\u0439\u043b \u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043e\u043a ELF, \u0442\u0430\u0431\u043b\u0438\u0446a \u0441\u0435\u043a\u0446\u0438\u0439 \u0438 \u0442\u0430\u0431\u043b\u0438\u0446\u0430 \u0441\u0435\u0433\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u0438 \u044d\u0442\u043e\u0439 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u0441\u043e\u0437\u0434\u0430\u0451\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0442\u0438\u043f\u0430 ElfXX<\/code>?<\/a>,  \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u044e\u0449\u0438\u0439 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u0443\u044e \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0443 \u0444\u0430\u0439\u043b\u0430 ELF.  \u041a\u0440\u043e\u043c\u0435 \u0432\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0440\u0430\u0437\u0431\u043e\u0440\u0430, \u043f\u043e \u043d\u043e\u043c\u0435\u0440\u0430\u043c \u0441\u0435\u043a\u0446\u0438\u0439 \u0432\u043e\u0441\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0438\u0445 \u0438\u043c\u0435\u043d\u0430.  \u0412 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0431\u044a\u0435\u043a\u0442 \u0442\u0438\u043f\u0430 Elf<\/code>?<\/a>:<\/p>\n
-- | `Elf` is a forrest of trees of type `ElfXX`. -- Trees are composed of `ElfXX` nodes, `ElfSegment` can contain subtrees newtype ElfList c = ElfList [ElfXX c]  -- | Elf is a sigma type where `ElfClass` defines the type of `ElfList` type Elf = Sigma ElfClass (TyCon1 ElfList)  -- | Section data may contain a string table. -- If a section contains a string table with section names, the data -- for such a section is generated and `esData` should contain `ElfSectionDataStringTable` data ElfSectionData     = ElfSectionData BSL.ByteString -- ^ Regular section data     | ElfSectionDataStringTable     -- ^ Section data will be generated from section names  -- | The type of node that defines Elf structure. data ElfXX (c :: ElfClass)     = ElfHeader         { ehData       :: ElfData    -- ^ Data encoding (big- or little-endian)         , ehOSABI      :: ElfOSABI   -- ^ OS\/ABI identification         , ehABIVersion :: Word8      -- ^ ABI version         , ehType       :: ElfType    -- ^ Object file type         , ehMachine    :: ElfMachine -- ^ Machine type         , ehEntry      :: WordXX c   -- ^ Entry point address         , ehFlags      :: Word32     -- ^ Processor-specific flags         }     | ElfSectionTable     | ElfSegmentTable     | ElfSection         { esName      :: String         -- ^ Section name (NB: string, not offset in the string table)         , esType      :: ElfSectionType -- ^ Section type         , esFlags     :: ElfSectionFlag -- ^ Section attributes         , esAddr      :: WordXX c       -- ^ Virtual address in memory         , esAddrAlign :: WordXX c       -- ^ Address alignment boundary         , esEntSize   :: WordXX c       -- ^ Size of entries, if section has table         , esN         :: ElfSectionIndex -- ^ Section number         , esInfo      :: Word32         -- ^ Miscellaneous information         , esLink      :: Word32         -- ^ Link to other section         , esData      :: ElfSectionData -- ^ The content of the section         }     | ElfSegment         { epType       :: ElfSegmentType -- ^ Type of segment         , epFlags      :: ElfSegmentFlag -- ^ Segment attributes         , epVirtAddr   :: WordXX c       -- ^ Virtual address in memory         , epPhysAddr   :: WordXX c       -- ^ Physical address         , epAddMemSize :: WordXX c       -- ^ Add this amount of memory after the section when the section is loaded to memory by execution system.                                          --   Or, in other words this is how much `pMemSize` is bigger than `pFileSize`         , epAlign      :: WordXX c       -- ^ Alignment of segment         , epData       :: [ElfXX c]      -- ^ Content of the segment         }     | ElfRawData -- ^ Some ELF files (some executables) don't bother to define                  -- sections for linking and have just raw data in segments.         { edData :: BSL.ByteString -- ^ Raw data in ELF file         }     | ElfRawAlign -- ^ Align the next data in the ELF file.                   -- The offset of the next data in the ELF file                   -- will be the minimal @x@ such that                   -- @x mod eaAlign == eaOffset mod eaAlign @         { eaOffset :: WordXX c -- ^ Align value         , eaAlign  :: WordXX c -- ^ Align module         }<\/code><\/pre>\n
\u041d\u0435 \u043a\u0430\u0436\u0434\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442 \u0442\u0430\u043a\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0441\u0435\u0440\u0438\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d.<\/p>\n