针对C语言，本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。
It is based on the results of a flow-and context-sensitive pointer analysis.
youdao
应用推荐
模块上移
模块下移
不移动