Gwok Hiujin's Blog

The Bird of Hermes is my name, eating my wings to make me tame.

43Archives 7Categories 37Tags

『NJU程序分析』指针分析（上下文不敏感）

『NJU程序分析』过程间分析

静态分析：名词杂项

『NJU程序分析』数据流分析理论基础(FD)

『C系统级编程』C语言左值与表达式

『C系统级编程』深入了解表达式的 Evaluation

『C系统级编程』字符串、Literal 与对象存储周期

『NJU程序分析』数据流分析应用(AP)

『C系统级编程』传参，malloc 与限定符

『NJU程序分析』中间表示IR

1 2 3 4 5