【软件分析/静态程序分析学习笔记】6.过程间分析(Interprocedural Analysis)

写在前面的话 本渣有幸成为南京大学软件学院研究生，在前往仙林校区蹭课的时候偶然发现了这门宝藏课程，听了以后感觉深有收获，但又因为课程难度较大，国庆假期归来发现遗忘较多，因此开了一坑来记录自己对每节课知识点的理解。也由于这是本人第一次开坑写博客，结构内容自有诸多不合理之处，希望有问题的地方大家可以指出。 前面四篇文章讲了数据流分析的算法和比较底层的知识，不过那些算法都是适用于单个函数内的数据流分析，

>>阅读原文<<