摘要： 参考： 【课程笔记】南大软件分析课程7——指针分析基础（课时9/10） - 简书 1. 指针分析规则 规则：采用推导形式，横线上面是条件，横线下面是结论。 New：创建对象，将new T()对应的对象oi加入到x指向的指针集。Assign：将y指向的指针集加入到x指向的指针集。Store：将y指向的 阅读全文