NJU Static Program Analysis | Assignment-7 Alias-Aware Interprocedural Constant Propagation.
NJU静态分析|A6-Context Sensitive Pointer Analysis
NJU Static Program Analysis | Assignment-6 Context Sensitive Pointer Analysis.
NJU静态分析|A5-Context Insensitive Pointer Analysis
NJU Static Program Analysis | Assignment-5 Context Insensitive Pointer Analysis.
Anaconda+Cuda+Pytorch+Pycharm环境配置
笔者个人conda环境搭建记录.
NJU静态分析|A4-CHA & Inter Constant Propagation
NJU Static Program Analysis | Assignment-4 Class Hierarchy Analysis & Interprocedural Constant Propagation.
读书笔记-On Java8 Ch3-Ch5
Java语言假设程序员只进行面向对象编程, 因此Java中(几乎)万物皆对象.
NJU静态分析|A3-DeadCode Detection
NJU Static Program Analysis | Assignment-3 Dead-Code Detection.
读书笔记-On Java8 Ch0-Ch2
你所使用的编程语言会将你的思维模式固化并逐渐远离其他语言, 而且往往发生在潜移默化中. Java作为一门傲娇的语言尤其如此. —— Bruce Eckel
NJU静态分析|A2-Constant Propagation
NJU Static Program Analysis | Assignment-2 Constant Propagation & WorlistSolver.
NJU静态分析|A1-Live Variable Analysis
NJU Static Program Analysis | Assignment-1 Live Variable Analysis & IterativeSolver.