結果 : flow analysis of computer programs