• 1. Pointer Analysis: Rules
• 2. How to Implement Pointer Analysis
• Read More

指针分析是所有分析的基础部分，之前课程中提到的内容都没有对指针这个在任何语言中都很常用的部分进行抽象分析，这节课主要讲解这部分内容

• 1. Motivation
• 2. Intr...

过程间分析（interprocedual analysis），指的是分析函数调用（method call） 的方法。之前讲到过的静态分析技术，都没有涉及到—在过程中调用函数应该如何分析，过程间分析主要解决这个问题。

• 1. Motivation
...

这节课的数据流基础，讲解的是 格（lattice） 的 基础知识，上过离散数学的人应该挺容易理解的。哈哈哈

• 1. Iteratie Algo...

从本节开始，就高深了起来，因此建议配合 b站南京大学程序分析课程 进行食用。

• Read More

• 1.compiler和static analysis之间的关系
• 2. AST和IR的差异
• 3. IR
• Read More

• PL的组成
  • 1. Theory
  • 2. Environment
  • 3. appl...

作为一个爱好广泛的安全研究员，研究研究iot安全也是必须的

• iot与传统pc软件的区别
  • iot安全研究的困难
• Read More