 To be available on a program point, the operands of the expression should not be modified on any path from the occurrence of that expression to the program point.The analysis is an example of a forward data flow analysis problem.A set of available expressions is maintained.