Sign in
Adventures in commercial-grade static analysis (keynote).
Simon Goldsmith
Published in:
SOAP@PLDI (2019)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
java card
key issues
malicious code
test generation
abstract interpretation
regular expressions
databases
artificial intelligence
data sets
training data
domain knowledge