摘要 |
A method of detecting incorrect alias assumptions. A compiler utility assigns memory locations to alias-free variables, which a user asserts do not have aliases, within a computer program. The compiler utility allocates memory keys for the alias-free variables, such that access to the memory locations of the alias-free variables is granted to blocks of code that have knowledge of the memory keys. In response to a command by the user, the compiler generates code to detect violations of alias assumptions during execution of the computer program. During the compiling process, the compiler adds the generated code for detecting violations of alias assumptions to the compiled program code.
|