Alias Analysis

Nga Nguyen

October 17, 2019

1 Introduction

import entity from "ri.newgen"

import expression from "ri.newgen"

call_site = function:entity x ordering:int

alias_association = variable:entity x section:entity x offset:expression x lower_offset:int x upper_offset:int x call_chain:call_site*

alias_associations = list:alias_association*

dynamic_check = first:entity x second:entity x checked:bool