摘要：信息流安全 Security 在敌人/威胁存在的情况下达成一些目的 Information flow 变量$x$的信息传递到变量$y$, 就说存在一个$x\to y$的信息流 Information flow Security 如何联系信息流与安全这两个概念呢？回顾安全的定义，即要将程序变量划分安全 阅读全文

摘要：软件分析课程第九讲，主要介绍了上下文敏感分析的大致思路和数学形式，之后会补充算法实现部分以及其它不同的上下文建模方式 阅读全文