Bruce Wayne-优快云博客

原创南京大学《软件分析》课程笔记 02-中间表示(Intermediate Representation)

本章的重难点主要在基本块的构建算法和控制流图的构建部分，构建思路和处理方式大家一定要多想两遍，多推导一下，本章的自测题目如下，大家可以对照着来进行复习。(1)为总程序的入口指令故为一个Leader，(3)&(7)&(12)为跳转的目标指令故为一个Leader，(5)&(11)&(12)为跳转指令的下一条指令故为一个Leader，之后也便分隔好了基本块。如下面的(3)和(4)，(3) 由于是(11)的跳转目标故必须作为新的BB入口，而(4)由于包含了跳转操作故必须作为该BB的出口。

2024-07-07 11:31:29 1120 1

原创南京大学《软件分析》课程笔记 01-引言(Introduction)

本节课主要是课程的引言部分，重点讲解了静态分析的背景意义和基础知识，其中最关键的是掌握莱斯定理、Sound&Complete概念以及抽象和近似的规则，作为前置知识，它们会对我们今后的学习产生重要影响，一定要脚踏实地慢慢来哦！除了转换函数外，近似还包括控制流，控制流是计算机程序执行过程中指令的执行顺序和路径的描述，控制流决定了程序的行为和逻辑，它通过不同的控制结构来实现，包括顺序执行、选择分支和循环结构（这个在后面会详细讲）。静态分析是与动态分析相对的概念，指在程序运行前（编译期间）就完成对程序的分析任务。

2024-07-07 05:50:05 1067

原创【研0】本科总结+考研经验教训

回想考研这一年，我想这的确是我人生目前为止最辛苦、最迷茫、最焦虑的一段时光，却同样也是我提升最多、进步最快的一段日子，现在想想，当初掉过的头发、流过的泪水、失眠的夜晚都在拟录取的那一刻幻化成风，成为一段封存在心底的难忘回忆。世间很多美好的事物，并非是触手可及的，经过了时间的酝酿和打磨，等待的结果，才会显得更加珍贵。很多时候，我们很容易放大自己的劣势和他人的优势，但其实考研的大多数是普通人，固然有人是有些特长的，但他既然没有推免到目标院校，大概率还是有些弱点的，清楚的认识自己，尽量展示自己的优势就好了。

2024-04-12 00:41:02 743

Bruce Wayne的博客

原创南京大学《软件分析》课程笔记 02-中间表示(Intermediate Representation)

原创南京大学《软件分析》课程笔记 01-引言(Introduction)

原创【研0】本科总结+考研经验教训

原创【0】C++开篇

原创【0】论文开篇

原创【0】人工智能开篇

原创【0】信息安全开篇

原创【0】算法练习开篇

原创【0】大模型开篇

原创【0】程序分析开篇

原创【0】算法开篇

空空如也

空空如也