結果 : write unified algorithm for data flow analysis