Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code
Fraser Brown, Deian Stefan, Dawson Engler
2020USENIX Security Symposium16 citations
Topics & Concepts
Computer scienceProgramming languageSymbolic executionCode (set theory)Software bugSoftwareSet (abstract data type)Advanced Malware Detection TechniquesSoftware Engineering ResearchSoftware Testing and Debugging Techniques