Giters

wubozhi / sys

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

This repository is not active

About

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

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

License:GNU General Public License v2.0

Languages

Language:LLVM 54.8%Language:Haskell 44.4%Language:Python 0.3%Language:C 0.3%Language:Dockerfile 0.1%