Ondokuz / undertaker

variability-aware tool for static code analysis