Flow Analysis of Computer Programs