Semantic model for aspects of ELF static linking and DWARF debug information - View it on GitHub