Static-analysis