Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Home Page:https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
deian opened this issue 4 years ago · comments