Example-based Synthesis of Static Analysis Rules.

Pranav Garg Srinivasan Sengamedu

Published in: CoRR (2022)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
symbolic execution
test suite
malicious code
java card
rule sets
test generation
abstract interpretation
production rules
databases
knowledge base