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...
Saved in:
Main Authors | , |
---|---|
Format | Patent |
Language | English |
Published |
06.07.2021
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |