在学习了将近一个月的static analysis 的理论部分后，我发现得对它做个纵向的归纳，方便理解.

• 1. static analysis来自于哪 Read More

• 1. Motivation
• 2. Introduction to Datalog
• 3. Pointer A...

• 1. Information Flow Security
• 2. Confidentiality and Integrity
• Read More

• 1. Introduction
• 2. Context Sensitive Pointer Analysis: Rules
• Read More

• 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...