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

Fraser Brown Deian Stefan Dawson R. Engler

Published in: USENIX Security Symposium (2020)

Keyphrases

source code
program understanding
dynamic analysis
data sets
programming tool
database
analysis tool
static analysis
reverse engineering
software projects
user friendly
test cases
user interface
high level
case study
metadata
machine learning
neural learning
real world