Compilation scheme for tagged global variables

A system and method for accessing a tagged global variable in software, including: randomly generating tags for global variables in the software; tagging the global variables with the random tags; creating a pointer to each global variable with the random tags in unused bits of the pointer wherein t...

Full description

Saved in:
Bibliographic Details
Main Authors Medwed, Marcel, Hoogerbrugge, Jan
Format Patent
LanguageEnglish
Published 06.07.2021
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:A system and method for accessing a tagged global variable in software, including: randomly generating tags for global variables in the software; tagging the global variables with the random tags; creating a pointer to each global variable with the random tags in unused bits of the pointer wherein the pointer points to the associated global variable; accessing one global variable indirectly using the tagged pointer; determining whether tag on the accessed global variable matches the tag on the accessed pointer; and indicating a fault when the tag on the accessed global variable does not match the tag on the accessed pointer.
Bibliography:Application Number: US201916715656