Tutorial: Static Analysis at Scale with Muse.

Stephen Magill Thomas DuBuisson

Published in: SecDev (2020)

Keyphrases

static analysis
dynamic analysis
source code
java card
symbolic execution
malicious code
regular expressions
test generation
abstract interpretation
artificial intelligence
error rate
structured data
test suite