Tailoring programs for static analysis via program transformation.

Rijnard van Tonder Claire Le Goues

Published in: ICSE (2020)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
test generation
regular expressions
java card
automatic programming
api calls
computer programs
test suite
program execution
prolog programs
training data
functional programs
databases
open source
database