Used Before Set Analysis

Nga Nguyen

October 17, 2019

1 Introduction

These newgen data structures are used to tell whether a variable (formal parameter or common variable) in a called procedure must be checked for used-before-set error or not.

import entity from "ri.newgen"

ubs_check = module:entity x variable:entity

ubs = list:ubs_check*