Execloader
Read in some sections of ELF and Mach-O format files into stobjs
Subtopics
- Elf-reader
- Read in parts of ELF format files into fields of the elf stobj
- Mach-o-reader
- Read in parts of MACH-O format files into fields of the mach-o stobj
- Merge-first-split-bytes
- Merge first n bytes (least-significant byte first) from
bytes; return remaining bytes
- Split-bytes
- Split bytes into two lists, where first part has n elements
- Take-till-zero
- Return all initial elements of bytes until a 0
element is encountered or the end of bytes is reached,
whichever happens first.
- Charlist->bytes
- Convert a list of characters to a list of bytes.
- Merge-bytes
- Concatenates bytes (least-significant byte appears
first) to form a single natural number
- Bytes->charlist
- Convert a list of bytes to a list of characters.
- String->bytes
- Convert a string to a list of bytes.
- Bytes->string
- Convert a list of bytes to a string.
