Source : Free On-Line Dictionary of Computing

forward analysis
     
        An analysis which determines properties of the output of a
        program from properties of the inputs.