Skip to content

PLSysSec/sys

Error
Looks like something went wrong!

About

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf

Topics

security static-analysis symbolic-execution bug-finding

Resources

Readme

License

GPL-2.0 license
Activity
Custom properties

Stars

229 stars

Watchers

22 watching

Forks

41 forks
Report repository

Contributors 3

  •  
  •  
  •  

Languages