[计] interprocedural data flow analysis algorithm

guò chéng jiān shù jù liú fēn xī suàn fǎ ㄍㄨㄛˋ ㄔㄥˊ ㄐㄧㄢ ㄕㄨˋ ㄐㄩˋ ㄌㄧㄡˊ ㄈㄣ ㄒㄧ ㄙㄨㄢˋ ㄈㄚˇ