https://github.com/plsyssec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://github.com/plsyssec/sys
bug-finding security static-analysis symbolic-execution
Last synced: 10 months ago
JSON representation
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
- Host: GitHub
- URL: https://github.com/plsyssec/sys
- Owner: PLSysSec
- License: gpl-2.0
- Created: 2020-06-28T23:20:31.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2022-03-14T21:03:21.000Z (almost 4 years ago)
- Last Synced: 2025-03-24T08:23:47.709Z (11 months ago)
- Topics: bug-finding, security, static-analysis, symbolic-execution
- Language: LLVM
- Homepage: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
- Size: 4.55 MB
- Stars: 226
- Watchers: 22
- Forks: 41
- Open Issues: 13