Moduleghc-9.10.3GHC2021

GHC.SysTools.Elf

valuereadElfSectionByName

Given a section name, read its contents as a ByteString.

If the section isn't found or if there is any parsing error, we return Nothing

valuereadElfNoteAsString

read a Note as a String

If you try to read a note from a section which does not support the Note format, the parsing is likely to fail and Nothing will be returned

valuemakeElfNote :: Platform -> String -> String -> Word32 -> String -> SDoc

Generate the GAS code to create a Note section

Header fields for notes are 32-bit long (see Note [ELF specification]).