(九)体验静态分析工具
(八)SMT和符号执行
(七)抽象解释
信息安全算法基础
(六)指向分析
默克尔准备金(Merkle Tree Proof of Reserves)
DFX Finance 攻击分析
(五)过程间分析
(四)静态单赋值和稀疏分析
(三)Datalog和程序分析