Static analysis.

Patrick Thomson

Published in: Commun. ACM (2022)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
regular expressions
test generation
abstract interpretation
test suite
databases
real world