binutils

# GNU binutils The GNU binutils manipulate existing binaries: static archives, symbol stripping, address to source mapping, and name demangling. Inspection of ELF structure belongs to `elf-inspection`. ## Contract | Field | Bound contract | |---|---| | Trigger | The task creates or modifies a static archive, strips or converts a binary, separates debug info, maps a crash address to source, extracts printable strings, or demangles a symbol. | | Authority | Reversible local: writes only the archive, binary, or debug files the user names, and preserves each input when producing a new output file; rollback is version control or the preserved input. No remote mutation. | | Side effect | Local writes to archives, binaries, `.debug` files, and generated object files. Local reads of every other file. | | Done | The named artifact exists with the requested transformation applied, verified by re-running the matching inspection command (`ar t`, `file`, `addr2line`, `nm -C`) on the output. | ## Inputs - The target file or files: required. Name every input; the skill writes only named targets. - The transformation: required. Create, strip, convert, debuglink, embed, map, or demangle. - The target architecture: required for cross targets, so the tool prefix is `aarch64-linux-gnu-` or `arm-none-eabi-` instead of the host tools. ## Procedure 1. Build a static archive with `ar`. `r` inserts, `c` creates without a warning, `s` writes the symbol index. Done when: `ar t` lists the expecte...