Sys: A static/symbolic tool for finding good bugs in good (browser) code
Fraser Brown, Deian Stefan, Dawson Engler[ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
29th USENIX Security Symposium (USENIX Security 20)
USENIX Association
Pages 199-216
August 2020
Note(s): symbolic execution, lazy initialization
USENIX Association
Pages 199-216
August 2020
Note(s): symbolic execution, lazy initialization