let option_name = "-sparecode-analysis"