雪溯

摘要： Motivation 明显，类层次分析没法很好完成invokeinterface的分析。 Intro 作用： 确定某个指针能够指向何处memory 对oop能够确定指针指向的具体是哪个class的方法，field等 一般是may analysis Pointer Analysis & Alias A 阅读全文

摘要： Motivation 目的：处理method calls 方法：沿着interprocedural control-flow edges将数据流信息传播过去(一般是call/return edges) Call graph construction Call graph construction i 阅读全文