论文分享：Sys: a Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

今天分享的Usenix 2020的Sys: a Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code这篇论文。这篇论文的作者也是KLEE这个很牛逼工具的作者。 目前该论文的工具已开源在github上：https://github.com/PLSysSec/sys 在网上也看到大佬写的关于这篇论文的阅读报告（写的比我详细）

>>阅读原文<<