search

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
GNU General Public License v2.0
221 stars 41 forks source link

Merge pull request #1 from PLSysSec/master #11

Closed yiyuaner closed 4 years ago

yiyuaner commented 4 years ago

sink