乙烯酷

摘要： 0. 前言 从本节课开始的四节课都是在讲述数据流分析，本节课与下一节课主要介绍数据流分析的实际应用，重点介绍 Reaching Definitions Analysis、Live Variables Analysis 以及 Avaiable Expressions Analysis 三种分析方法，再 阅读全文

摘要： 0. 前言 紧接着就来到了第二节课啊，这节课主要讲的是 Intermediate Representation （中间表示），废话不多说直接开始吧。 1. Compliers & Static Analyzers 首先简单介绍一下编译器，编译器的目的是将程序员输入的高级语言（如C、Java等）转化为 阅读全文

摘要： 0、前言 程序分析技术是通过系统化方法理解、评估和优化程序行为、结构、性能及安全性的核心技术，广泛应用于软件开发、优化、缺陷检测和安全审计。接下来的日子鼠鼠将以南大程序分析课程为基础，分享本人学习中的一些感悟（其实就是自己太健忘了）。 原课程所用到的一些相关链接如下： 课程网站（含课件、实验作业、实 阅读全文