Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis.

Trevor Dunlap Seaver Thorn William Enck Bradley Reaves

Published in: EuroS&P (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
regular expressions
test set
case study
information security
test suite
reverse engineering
artificial intelligence
open source
test case generation