論文分享：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 在網上也看到大佬寫的關於這篇論文的閱讀報告（寫的比我詳細）

>>阅读原文<<