01 2024 档案
【南大静态代码分析】作业 5：非上下文敏感指针分析
摘要：作业 5：非上下文敏感指针分析 题目链接：https://tai-e.pascal-lab.net/pa5.html 评测链接：https://oj.pascal-lab.net/problem 作业出品：南京大学《软件分析》课程，谭添、李樾 代码讲解 addReachable 这个函数的作用是遇到
【南大静态代码分析】作业 4：类层次结构分析与过程间常量传播
摘要：作业 4：类层次结构分析与过程间常量传播 实现类层次结构分析（CHA） dispatch ：根据方法调用者的类和方法签名寻找目标方法。 比较显然，是个递归算法。 递归的终止条件有两个，一个是如果一直找不到相应方法，不断递归到父类，最后递归到 Object 在向上递归就是 null ，Object 没
【南大静态代码分析】作业 3：死代码检测
摘要：作业 3：死代码检测 题目链接：https://tai-e.pascal-lab.net/pa3.html 评测链接：https://oj.pascal-lab.net/problem 作业出品：南京大学《软件分析》课程，谭添、李樾 知识点讲解 直接看题目链接中的讲解即可，非常详细。 代码讲解 整体
【南大静态代码分析】作业 2：常量传播和 Worklist 求解器
摘要：作业 2：常量传播和 Worklist 求解器 题目链接：https://tai-e.pascal-lab.net/pa2.html 评测链接：https://oj.pascal-lab.net/problem 作业出品：南京大学《软件分析》课程，谭添、李樾 项目结构讲解 实验进行之前，要对项目中类
【南大静态代码分析】作业 1：活跃变量分析和迭代求解器
摘要：作业 1：活跃变量分析和迭代求解器 题目链接：https://tai-e.pascal-lab.net/pa1.html 评测链接：https://oj.pascal-lab.net/problem 作业出品：南京大学《软件分析》课程，谭添、李樾 实现活跃变量分析 newInitialFact ：负
