摘要： 参考： 【课程笔记】南大软件分析课程5——过程间分析（课时7） - 简书 1. Motivation 问题：过程内的分析未考虑函数调用，导致分析不精确。 过程间分析：Inter-procedural Analysis，考虑函数调用，又称为全程序分析（Whole Program Analysis），需 阅读全文