max_xbw

摘要： 类型分析，个人理解就是（通过静态分析技术）分析出代码中，哪些地方只能是某种或某几种数据类型，这是一种约束。例如，给定一个程序:其中，我们可以很直接地得到一些约束：最后，经过简化可以得到：对于给定的变量类型，如果他们不符合这个约束，则说明，他们是不合法的。那么，怎么去提取以及维护这些约束呢？采用一种“并查集”的结构：一个有向图，每个节点有一条边指向父节点（父节点则指向自己）。如果两个节点具有相同的... 阅读全文