这节课的数据流基础，讲解的是 格（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进行内核提权
...

• userfaultfd简介
• userfaultfd流程
• userfaultfd样例
  • Read More