Method getId

src/main/java/pascal/taie/analysis/Analysis.java:49–51

()

    }

    public String getId() {
        return config.getId();
    }

    public AnalysisOptions getOptions() {
        return config.getOptions();