https://github.com/PLSysSec/sys
LLVM224
3 years ago
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
GNU General Public License v2.0