Login / Signup
Automatically Tailoring Static Analysis to Custom Usage Scenarios.
Muhammad Numair Mansur
Benjamin Mariano
Maria Christakis
Jorge A. Navas
Valentin Wüstholz
Published in:
CoRR (2020)
Keyphrases
</>
static analysis
usage scenarios
dynamic analysis
malicious code
symbolic execution
source code
regular expressions
java card
domain specific
abstract interpretation
design patterns
test generation
test case generation
database
high level