Login / Signup
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