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

43Archives 7Categories 37Tags

# 指针分析

01/24/2023『NJU程序分析』基于Datalog语言的程序分析 01/22/2023『NJU程序分析』静态分析与代码安全 01/17/2023『NJU程序分析』指针分析（上下文敏感）01/15/2023『NJU程序分析』指针分析（上下文不敏感）08/28/2022『编译优化』Alias Analysis: 别名分析与处理