Customizing Static Analysis using Codesearch.

Avi Hayoun Veselin Raychev Jack Hair

Published in: CoRR (2024)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
malicious code
symbolic execution
open source
abstract interpretation
databases
test generation
java card
decision trees
test suite