软件分析笔记：3.过程分析(Interprocedural Analysis)
摘要：
本文是针对南京大学《软件分析》谭添老师的视频课的课堂笔记。 1.Motivation 此前我们讨论的问题都是过程内的，也就是不涉及到方法调用。然而实际程序中方法调用屡见不鲜，继续采用之前的分析方法会丢失精度，这也就是为什么我们需要过程(间)分析。二者的区别如下： 过程内分析Intra procedu 阅读全文
posted @ 2020-04-17 16:08 crossain 阅读(4292) 评论(1) 推荐(1)
浙公网安备 33010602011771号