1. A static data flow analysis method comprising: chasing a data flow instance through a data flow graph until a transition instruction is encountered; resolving the transition instruction to a procedure pointed to by a call graph; and chasing the data flow instance into a data flow graph of the procedure.