Source : Free On-Line Dictionary of Computing

backward analysis
     
         An analysis to determine properties of the inputs of
        a program from properties or context of the outputs.  E.g. if
        the output of this function is needed then this argument is
        needed.
     
        Compare {forward analysis}.
     
        (1997-11-23)