Static Analysis 00 - Introduction
# 前言
;
# 阅读指引图
其中:
箭头表示一组前置知识的关系。在阅读一篇文章前,推荐您先阅读其所有前置文章。
虚线箭头表示一组建议的前置关系,是可选的,您可以选择忽略此类提示。
淡粉色方块表示来自其他知识板块的文章,因为它们是本板块内某些文章的前置知识,所以被专门标示出来。
# 参考资料
南京大学《软件分析》课程 - 哔哩哔哩 (opens new window)
NJU PASCAL Group - Course : Static Program Analysis (opens new window)
theoretical-fundations
- 01
- Reading Papers - Kernel Concurrency06-01
- 02
- Linux Kernel - Source Code Overview05-01
- 03
- Linux Kernel - Per-CPU Storage05-01