摘要：# 从一个例子说起，**任务：给定这样一段代码，假设我们想分析出这段代码中，每个数值型变量和表达式的符号，即正数，负数或0。**此外，还有可能出现两种情况就是：1.我们无法分析出结果，即我们无法确定符号，用(?)表示；2.有些表达式的值并不是一个数字（例如，有可能是个指针）或者在执行的过程中没有被赋值（有可能是因为对于给定的输入，没有执行到，unreachable），用(⊥)表示。因此，对于每一个... 阅读全文

摘要：条件： 实现： 阅读全文

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