GitHub repository: yiyuaner/sys
Description: Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code