过程间分析（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

• 题目分析
• exp
  • kernel.h
  • exp.c

Read More

• 什么是modprobe
• modprobe和 insmod/rmmod的区别
• 如何利用modprobe进行内核提权
...