2 程序的中间表示 | 静态分析

[JacyCui]

https://static-analysis.cuijiacai.com/02-ir/

基于南京大学软件分析课程的静态分析基础教程

[String10]

“如果是C/C++的话，IR其实就是汇编语言”感觉不太严谨，比如LLVM IR这种也是存在的。我认为相对来说，汇编语言更偏向于机器码的层次。

[JacyCui]

“如果是C/C++的话，IR其实就是汇编语言”感觉不太严谨，比如LLVM IR这种也是存在的。我认为相对来说，汇编语言更偏向于机器码的层次。

这个是22年暑假写的，那个时候还没怎么了解编译器，有些意识流，很多理解还比较片面，我稍后改一下，感谢指教。

[epitaphial]

写的很好，算法2.1那里有个typo，Learder=>Leader

[JacyCui]

@epitaphial 写的很好，算法2.1那里有个typo，Learder=>Leader

我修一下，谢谢

[epitaphial]

@JacyCui

@epitaphial 写的很好，算法2.1那里有个typo，Learder=>Leader

我修一下，谢谢

再捉个虫~算法2.2第7行那个B[i]或许也应该改成b， 1.3.1章第一段具体“事多大”可能应该改成“是多大”

[JacyCui]

@epitaphial

@JacyCui

@epitaphial 写的很好，算法2.1那里有个typo，Learder=>Leader

我修一下，谢谢

再捉个虫~算法2.2第7行那个B[i]或许也应该改成b， 1.3.1章第一段具体“事多大”可能应该改成“是多大”

嗯嗯，算法 2.2 原本 B 是一个 list ，用 list indexing 访问元素的，后来改成了 set ，漏改了一行； 1.3.1 也是一个 typo ，我去改一下。

话说学长有什么新的想要增补的内容，或者有什么想要对现有内容改进的想法可以直接 pr ，欢迎成为 co-contributor （github 和网站是自动同步的，新的 commit 一会儿就会同步到网站上）。

在 pr 界面可以直接预览修改后的网页结果，不配本地环境也是 OK 的。