Assembler typesystem
Author
Stick, Kenneth Husum
Term
4. term
Education
Publication year
2020
Abstract
Dette speciale foreslår en klar syntaks, præcis semantik og et typesystem for x86-64-assembly. Det forklarer, hvordan man kan tænke mere sikkert om og skrive assemblykode ved at opstille regler for, hvordan instruktioner skrives (syntaks), hvad de betyder (semantik), og hvilke slags værdier operationer må bruge (typer). Arbejdet drøfter også praktiske problemer som genbrug af registre (små, hurtige lagre inde i processoren) og hvordan uforsigtig genbrug kan skabe fejl. Endelig skitseres strategier for at håndtere hukommelse, kaldestakken og registre på en ensartet måde.
This thesis proposes a clear syntax, precise semantics, and a type system for x86-64 assembly. It explains how to reason about and write safer assembly code by setting rules for how instructions are written (syntax), what they mean (semantics), and which kinds of values operations are allowed to use (types). The work also discusses practical issues such as reusing registers (small, fast storage inside the processor) and how careless reuse can introduce errors. Finally, it outlines strategies for managing memory, the call stack, and registers in a consistent way.
[This abstract was generated with the help of AI]
Documents