Home on Feng's Notes

Tai-e Assignment 7: Alias-Aware 的过程间常量传播

Mon, 27 Jul 2026 06:03:42 +0800

1 实验内容

为 Java 实现一个 alias-aware 的过程间常量传播分析

2 实验概览

在 Java 中，对实例字段和数组的访问可以形成别名，举例来说，如果变量 x 和 y 指向相同的对象，那么 x.f 和 y.f 这两个字段访问构成了别名，因为它们实际上指向同一个字段。

在别名存在的情况下，通过对一个字段/数组的访问来修改一个实例字段/数组将会同时修改与这一访问相关的所有别名值。举例来说，如果 x.f，y.f 和 z.f 互为别名，那么 store 语句 x.f = 5; 不仅将 x.f 的值修改为 5，而且同时将 y.f 和 z.f 的值设为 5。因此，为了在常量传播中精确地分析字段和数组的值，我们需要取得被分析程序的别名信息。

值得注意的是，Java 中的静态字段不能拥有别名：对一个静态字段 T.f，它有唯一的符号名（即 T.f），且只能通过 T.f 被访问。

3 实验过程重点

在没有引入指针分析之前，过程间常量传播主要的问题在于 evaluate 函数能处理的 Exp 种类太少：

public static Value evaluate(Exp exp, CPFact in) {
 if (exp instanceof IntLiteral intLiteral) { ... }
 if (exp instanceof Var var) { ... }
 if (exp instanceof BinaryExp binaryExp) { ... }
 return Value.getNAC();
}

它处理不了对象字段（T.f = x 和 o.f = x）和数组（a[..]），所以一个很自然的想法就是在 evaluate 里添加对这两个对象的处理。

Tai-e Assignment 6: 上下文敏感的指针分析

Sun, 26 Jul 2026 19:03:42 +0800

1 实验内容

为 Java 实现一个上下文敏感的指针分析框架。
作为指针分析的一部分，随着指针分析一起实现调用图（call graph）构建。
实现几种常见的上下文敏感策略（context sensitivity variants）。

2 实验概览

3 实验过程重点

没啥重点，其实理解起来不算困难，但是总是会在各种上下文之间迷失方向，尤其是当有很多个上下文要处理的时候，经常会把上下文填错。

关于对象、类型敏感

要注意在实现的时候是将 recv 相关的对象/类型加入 recv 所携带的上下文，而不是 callSite 所带的上下文。

public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
 return addContext(recv.getContext(), recv.getObject().getContainerType());
}
public Context selectContext(CSCallSite callSite, CSObj recv, JMethod callee) {
 return addContext(recv.getContext(), recv.getObject());
}

Tai-e Assignment 5: 非上下文敏感指针分析

Tue, 21 Jul 2026 07:03:41 +0800

1 实验内容

为 Java 实现非上下文敏感的指针分析。
为指针分析实现一个调用图的实时构建算法。

2 实验概览

3 实验过程重点

实现 AddReachable 函数

这里要注意的一点是我们并不需要显式地实现下面这行伪代码：

因为当我们将当前 method 加入 reachable methods 中时，其实就已经相当于把这个 method 中的 statments 加入到了 reachable statments 里面了，后面要用到这个集合的时候其实也是用来遍历与判重：

我们可以用这种方法来遍历 reachable statments ：

callGraph.reachableMethods().forEach(method -> {
 method.getIR().getStmts().forEach(stmt -> {
 ...
 });
});

注意先将需要处理的 stmt 从里面取出来存好再进行处理，因为如果直接在里面进行处理的话，由于你可能会在不经意间执行 addReachableMethod 这种操作，这会触发并发修改异常（java.util.ConcurrentModificationException）。

处理静态方法

在实现 void addReachable(JMethod) 的时候，要注意将该方法中所涉及到的静态方法加入到 ReachableMethod ，因为他不像普通方法调用一样，它是可以没有 receiver valuable 的，所以不会在 processCall 函数中被加入到 callGraph 中。但也正是因为这一点，我们可以在通过 addReachable 来将它们加入到 ReachableMethod 中。

伪代码如下：

Tai-e Assignment 4: 类层次结构分析与过程间常量传播

Thu, 16 Jul 2026 19:03:41 +0800

1 实验内容

为 Java 实现一个类层次结构分析（Class Hierarchy Analysis，CHA）。
实现过程间常量传播。
实现过程间数据流传播的 worklist 求解器。

2 实验概览

3 实验过程重点

瞎猫碰上死耗子

我最疑惑不解的就是文档中的这段描述：

JClass getDeclaringClass()：返回该方法签名的声明类，即声明该方法的类。（也就是第 7 讲课件的第 24 页中所描述的 class type）；

那好，我们来看看这里对于 class type 的描述是什么：

说实话，我没怎么看懂，只是感觉好像就是在描述“某个具体方法在哪个具体的类里”。

当时也没多想，反正是翻译伪代码嘛，我也不管三七二十一，直接把对 special call 的处理翻译了出来。

但是当我翻译下面这行伪代码的时候，我却犯了难：

看这描述，我隐约有感觉是要通过 call site 来寻找这个 declared type，但是我找遍了 Invoke 这个类也没找到能返回 JClass 的方法。

后面尝试了很多稀奇古怪的方法，最终还是将目光落在了 JClass getDeclaringClass() 这个方法上。

为什么？

因为 declared type 和 getDeclaringClass 都有 declare 这个词缀，并且我要找的就是能返回 JClass 的方法。

真是太有理有据了，我简直就是天才，就这么干吧。

这也不能全怪我，主要是这个 getDeclaringClass 连个注释都没有，我实在不知道是用来干嘛的。

结果没想到真的成了，这就是我要找的那个方法。

不太体面的实现

protected CPFact transferCallEdge(CallEdge<Stmt> edge, CPFact callSiteOut) {
 List<RValue> uses = edge.getSource().getUses();
 List<Var> params = edge.getCallee().getIR().getParams();
 CPFact newFact = new CPFact();
 for (int i = 0; i < params.size(); i++) {
 if (uses.get(i) instanceof Var var) {
 newFact.update(params.get(i), callSiteOut.get(var));
 }
 }
 return newFact;
}

这个函数实现的有些“不太体面”，这里之所以能这样处理的前提是实参是按顺序放在 uses 里面的，但是这一点并没有在注释和文档中提到，但是我觉得既然都已经有了CallEdge这种抽象了，为何不直接把对应关系放入这个对象里呢？

Tai-e Assignment 3: 死代码检测

Sun, 12 Jul 2026 19:03:41 +0800

1 实验内容

为 Java 实现一个死代码（dead code）检测算法。

2 实验概览

在这次的实验作业中，我们将会通过组合前两次作业中实现的分析方法：活跃变量分析和常量传播，来实现一个 Java 的死代码检测算法。

在本次作业中，我们只关注两种死代码：不可达代码（unreachable code）和无用赋值（dead assignment）。

2.1 不可达代码

一个程序中永远不可能被执行的代码被称为不可达代码。我们考虑两种不可达代码：控制流不可达代码（control-flow unreachable code）和分支不可达代码（unreachable branch）。

控制流不可达代码

在一个方法中，如果不存在从程序入口到达某一段代码的控制流路径，那么这一段代码就是控制流不可达的。

检测方式：这样的代码可以很简单地利用所在方法的控制流图（CFG，即 control-flow graph）检测出来。我们只需要从方法入口开始，遍历 CFG 并标记可达语句。当遍历结束时，那些没有被标记的语句就是控制流不可达的。

分支不可达代码

在 Java 中有两种分支语句：if 语句和 switch 语句。它们可能会导致分支不可达代码的出现。

对于一个 if 语句，如果它的条件值（通过常量传播得知）是一个常数，那么无论程序怎么执行，它两个分支中的其中一个分支都不会被走到。这样的分支被称为不可达分支。该分支下的代码也因此是不可达的，被称为分支不可达代码。

检测方式：为了检测分支不可达代码，我们需要预先对被检测代码应用常量传播分析，通过它来告诉我们条件值是否为常量，然后在遍历 CFG 时，我们不进入相应的不可达分支。

2.2 无用赋值

一个局部变量在一条语句中被赋值，但再也没有被该语句后面的语句读取，这样的变量和语句分别被称为无用变量（dead variable，与活跃变量 live variable 相对）和无用赋值。

检测方式：为了检测无用赋值，我们需要预先对被检测代码施用活跃变量分析。对于一个赋值语句，如果它等号左侧的变量（LHS 变量）是一个无用变量（换句话说，not live），那么我们可以把它标记为一个无用赋值。

具体而言，当一个 stmt 是一个赋值语句并且它的 out fact 中找不到左值，就可以把它标记为一个无用赋值。

3 实验过程重点

判别一个语句是否是一个基本块的最后一句

在实现分支不可达代码检测时，在检测到某个分支永远不会被执行之后，需要将这个分支所在的 basic block 中的所有 stmt 都加入 dead code，在添加的时候，我们需要判断此时所遍历到的 stmt 是不是该 basic block 中的最后一条 stmt。

大学四年回忆录

Sat, 11 Jul 2026 00:00:00 +0800

虽说我对于大学本身没啥留恋的，但是这四年的时光多多少少还是让我成长了许多，趁着还没忘记，记录一下。

择校

高考完之后，我其实并没有想过将来要从事什么专业，我是2022年入学的，那个时候应该还是互联网行业最鼎盛的时期，不过选择计算机倒也不是追风口，纯粹只是经过排除法之后剩下来的结果。实际上，我当时对于计算机一无所知，甚至在人生的前十八年，我都没有正儿八经地用过电脑，就连电脑游戏也没咋玩过。

至于学校，当时分数出来后我就知道大概率也就是个末流一本或者是顶流二本，所以我也就不对教学质量抱有什么期望了，想着找个生活质量高点的大学安逸地度过四年，综上，我对于大学的期望有以下几点：

区位：不能离浙江太远，不能在西北和东北。
住宿：必须要是四人寝，必须上床下桌，必须要有空调，必须要有独立卫浴。
学习：图书馆的环境要尽量好。

这样筛选下来后，满足条件的只有一个大学：嘉兴大学。

这大学四年下来也证明了这个决策是正确的，嘉兴大学低下的教学质量（懂不懂2026年了还在教JSP的含金量啊）对于学计算机的我来说反倒是件好事，我不必分配太多精力在课内，有大量的时间在寝室和图书馆探索我喜欢的方向。

大一上

这个学期学的课有：C语言和高数。为了简单起见，下文我不会罗列所有课程，一些水课（比如大学心理健康）以及一些看似核心但实际上很水的的课（比如Web开发，但实际上学的是JSP这种老掉牙技术）我都不会罗列出来了

这段时间的学习方式基本上还是和高中一样，听课然后做题，当时对我来说最折磨的估计就是搭环境和对着报错抓耳挠腮，当年还没有AI，经常对着CSDN和教程弄到深夜。

总的来说并不算有意思，我其实并不知道自己写这些东西是用来干嘛的，也不知道他们是怎么运作起来的。

支线：学着入门CTF，当时有个学长很厉害，算是以一己之力撑起了我们学校网络安全的牌面，我也是在机缘巧合下进入了这个社团。

大一下

这个学期学的课有：Java、高数、离散。

这个学期算是对我影响比较大的一个学期，主要是因为接触了Java，当时网上的Java教程可谓是满天飞，以至于我当时误以为所有程序员的归宿就是学Java然后进大厂写网站。

于是我也一头扎了进去，幻想从里面分一杯羹。

这个学期还看教程学了下linux，不过当时我完全不知道这东西是用来干嘛的，我以为是另外一门编程语言，毕竟所有操作都是在命令行里，看着就像代码。

这个学期我学到最重要的东西就是知道了计算机这玩意，想学好还是得自学，要多利用网上的资源。

支线：

基本放弃CTF。
学习了一段时间的数据分析，不过没出一个月我就放弃了，因为这行业和你的编程能力没啥关系，更多是看你有没有对应的 domain knowledge。
过了英语四级。

大二上

这个学期学的课有：数电、数据库、数据结构、线代。

这个学期应该是我比较迷茫的一个时期，主要是因为我意识到我其实并不喜欢学Java，我对于学习一个又一个中间件技术感到厌倦，我经常听网课听着听着就睡着了。

更重要的是我知道这个赛道并不是什么康庄大道，和高考一样依旧是千军万马过独木桥。

所以当时我很清楚，我在做一件自己既不感兴趣，压力又十分大的事，这使我本能地想要退缩。

说是退缩，但是当时的我其实并没有想好究竟要退到哪里去，就如我之前所说，我当时以为所有程序员的归宿就是学Java进大厂，不存在其他更好的出路，否定了这条路就等同于否定了所有可能性。

那还能怎么办，考研呗。

但这条路比上一条路还要恶心，我从小就没有在这种同质化的考试中胜出过，在没有考研动机的情况下选择这条路对我更加令我反胃，我非常讨厌不明不白（某种程度上）地去做一件事情。

嘻嘻，好像不知道怎么办了捏，那就开始焦虑吧。

不过这半年也不是完全没有好事发生，在学习线性代数的时候，我学了两门很好的国外课程，一门是MIT的Strang老爷子的课，另一门就是3B1B。算是给我开了一扇窗吧，让我潜意识里意识到国外的课是要比国内的好，为我之后学习国外课程埋下了种子。

支线：学习算法竞赛，其实学过算法的人都知道这个时间点其实对于学习算法来说其实有点晚了，其实我也不清楚当时是怎么想的，可能是觉得如果能拿个牌子会对将来找工作有帮助？病急乱投医了属于是。

大二下

这个学期学的课有：概率统计、计组。

命运的齿轮就此开始转动。

在尝试了多个方向无果之后，我意识到最后兜兜转转可能自己还是得考研，虽然很不甘心，但是我依旧还是安慰自己别把事情想得太糟糕，也许这些知识放在以后找工作时也有用呢。

正好这个学期开了一门计组，于是就想着先把这门学好，当时是看B站的一门课程学习的：

【【CO001】课程基本信息计算机组成原理/计算机组成与设计】 https://www.bilibili.com/video/BV1Ba4y1V7GD

其中最吸引我的便是第四章有关处理器的章节，那是我第一次亲眼见证了一个处理器是怎样从0到1被组装出来。

那种激动的心情简直难以言表，在此之前，我一直以为像是CPU这种东西是我一辈子也理解不了、接触不到的。

那是我第一次了解我的计算机。

在学完计组后，我又开始学OS，同样也是B站上的课程：

【【Linux操作系统】Lecture 1 Introduction】 https://www.bilibili.com/video/BV1G7411t7yG

这老师讲得相当不错，既有理论也有Linux实操，在我看来比计组那门课还要精彩，也就是在这时，我有了一个大胆的想法：能不能自己写一个？

你别说，B站上还真有：

【[完结] 循序渐进，学习开发一个RISC-V上的操作系统 - 汪辰 - 2021春】 https://www.bilibili.com/video/BV1Q5411w7z5

注意，这里关键词来了：RISC-V。只要你稍微在B站搜一下有关它的一些视频，那你大概率会搜到一个伟大的开源教育计划：一生一芯。

点进这个计划的官网稍加了解之后，我就被这个计划的伟大愿景所吸引，随后便果断报名并一发不可收拾地做了起来，并在暑假的前一天通过了入学答辩。

支线：学习Rust,做rCore，之所以会去学这两件东西其实也是在搜索有关RISC-V的相关学习资料的时候发现了OpenCamp这么个组织，从时间线上来看其实排在一生一芯之前，但这两件事都烂尾了，主要是以当时我的实力来说根本不足以掌握一个几千行代码的代码库，再加上Rust本身也难，学起来就更加困难了。

大三上

这个学期学的课有：操作系统、计网、微机原理。

这学期在做的事情主要就三件事：做ysyx、学Rust、做rCore。

我学得不亦乐乎，尤其是ysyx，由于我的进度不错，成功申请到了寒假前往线下基地学习的机会。

大三下

这个学期学的课有：编译原理。

寒假在线下基地与助教沟通过后，我知道了想要在体系结构这个领域混口饭吃，还是得要有个硕士文凭。

理应来说我现在有动机，是时候开始备考了是吧。

Tai-e Assignment 2: 常量传播和 Worklist 求解器

Fri, 10 Jul 2026 00:00:00 +0800

1 实验内容

为 Java 实现常量传播算法。
实现一个通用的 worklist 求解器，并用它来解决一些数据流分析问题，例如本次的常量传播。

2 实验概览

基本上和上一个实验要做的事情一样，翻译下面这个算法：

3 实验过程重点

构造 newBoundaryFact

在实现 newBoundaryFact() 的时候，要小心地处理每个会被分析的方法的参数。具体来说，要将它们的值初始化为 NAC ，这是因为常量传播算法是个保守的must分析，而方法的参数的值肯定会被定义，但是我们又不可能得知他是不是个常量（又或者说就算知道了也不可能知道是哪个具体常量）。

要做到这一点，我们就必须要知道一个方法中有哪些参数。

实验框架提供了 pascal.taie.ir.IR 这个类，里面有一个方法正好可以满足我们的需求：

/**
 * @return the parameters in this IR ("this" variable is excluded).
 * The order of the parameters in the resulting list is the same as
 * the order they are declared in the method.
 */
List<Var> getParams();

transferNode 中对于 function call 的处理

讲义上有个地方我觉得写得有问题：

Tai-e Assignment 1: 活跃变量分析与迭代求解器

Fri, 03 Jul 2026 00:00:00 +0800

1 实验内容

为 Java 实现一个活跃变量分析（Live Variable Analysis）。
实现一个通用的迭代求解器（Iterative Solver），用于求解数据流分析问题，也就是本次作业中的活跃变量分析。

2 实验概览

这次的实验是“函数填空”的类型，实验给出基础框架，我们实现关键函数。

那了解这种项目最好的方式就是通过函数调用链一个个函数往上看，看看我们所实现的函数是怎么样被框架调用的。

第一个小实验是实现活跃变量分析，具体来说是要实现 LiveVariableAnalysis 中的如下 API：

SetFact newBoundaryFact(CFG)
SetFact newInitialFact()
void meetInto(SetFact,SetFact)
boolean transferNode(Stmt,SetFact,SetFact)

我们可以在IDEA中通过将光标移动到函数名上再按 Alt + F7 快捷键来查看这个函数在哪些地方被调用了。

不过上面这几个函数并没有找到被调用的地方，那我们可以大胆猜测这些函数是为接下来要实现的迭代求解器服务的。

第二个小实验是要实现两个方法：

Solver.initializeBackward(CFG,DataflowResult)
IterativeSolver.doSolveBackward(CFG,DataflowResult)

首先看第一个方法所涉及到的函数调用链，自上而下依次是：

DataflowResult<Node, Fact> analyze(IR ir);

DataflowResult<Node, Fact> solve(CFG<Node> cfg);

DataflowResult<Node, Fact> initialize(CFG<Node> cfg);

首先看第一个函数：

public DataflowResult<Node, Fact> analyze(IR ir) {
 CFG<Node> cfg = ir.getResult(CFGBuilder.ID);
 return solver.solve(cfg);
}

把IR转换成CFG，然后传给solver进行求解。

public DataflowResult<Node, Fact> solve(CFG<Node> cfg) {
 DataflowResult<Node, Fact> result = initialize(cfg);
 doSolve(cfg, result);
 return result;
}

根据CFG初始化DataflowResult

Debug：IntelliJ IDEA 在 NixOS 上无法编译 / 自动补全

Sun, 28 Jun 2026 00:00:00 +0000

现象

在 NixOS 上用 IDEA 打开一个 Gradle/Java 项目后：

没有自动补全
Build 失败
IDEA 报错：

Abnormal build process termination:
Could not start dynamically linked executable: /home/feng/.jdks/azul-17.0.19/bin/java
NixOS cannot run dynamically linked executables intended for generic
linux environments out of the box.

排查

IDEA 试图启动自己下载的 Azul JDK 17（~/.jdks/azul-17.0.19/bin/java）来跑 Build Process。

手动试一下：

~/.jdks/azul-17.0.19/bin/java -version
# Could not start dynamically linked executable

确认了 — 这个二进制在 NixOS 上根本无法运行。

JDK 本身没问题，是 NixOS 没有标准 Linux 的动态链接器：

Getting Started

Thu, 25 Jun 2026 00:00:00 +0000

This is my first note. Hugo with the hugo-ivy theme looks clean.

How to create a new note

hugo new content note/my-note-title.md

Then edit the file and add categories and tags in the frontmatter.

How to preview

hugo server -D

Hello World

Thu, 25 Jun 2026 00:00:00 +0000

这是我的第一篇日记。以后游记、日常都会放在这里。

About

Mon, 01 Jan 0001 00:00:00 +0000

Hi, I’m Feng. This is where I keep my notes on things I learn.

Topics

NixOS / Nix
Linux
Programming
Tools