forward analysis

forward analysis

An analysis which determines properties of the output of aprogram from properties of the inputs.