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