Using static analysis to support variability implementation decisions in C++.

Samer Al Masri Sarah Nadi Matthew Gaudet Xiaoli Liang Robert W. Young

Published in: SPLC (2018)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
decision makers
regular expressions
decision making
database systems
object oriented