搜索中心

Java 污点分析（追踪污点数据流）最令人头疼的两个难点：别名关系和动态反射。 Tai-e 污点分析提出一个基于指针分析的架构，来解决别名分析和反射分析两个问题。