目录 Soundness & Soundiness 复杂语言特性一：Java Reflection 复杂语言特性二...[作者空间]

目录： Infeasible and Realizable Paths——基本概念 CFL-Reachablity...[作者空间]

目录： Motivation Datalog介绍 Datalog实现指针分析 Datalog实现污点分析 重点： ...[作者空间]

目录： 信息流安全 保密性和完整性 显示流和隐藏信道-Explicit Flows and Covert Chan...[作者空间]

目录： 介绍 Context Sensitive Pointer Analysis：Rules Context S...[作者空间]