Method main

src/main/java/pascal/taie/Main.java:44–64

(String... args)

    private static final Logger logger = LogManager.getLogger(Main.class);

    public static void main(String... args) {
        Timer.runAndCount(() -> {
            Options options = processArgs(args);
            try {
                options.setClasspathKeywords(Config.classpathKeywords);
                options.setAppClassPath(JarUtil.collectAppClassPath());
                options.setClassPath(JarUtil.collectClassPath());
            } catch (Exception e) {
                throw new RuntimeException(e);
            }
            LoggerConfigs.setOutput(options.getOutputDir());
            Plan plan = processConfigs(options);
            if (plan.analyses().isEmpty()) {
                logger.info("No analyses are specified");
                System.exit(0);
            }
            buildWorld(options, plan.analyses());
            executePlan(plan);
            LoggerConfigs.reconfigure();
        }, "Tai-e");
    }

    /**
     * If the given options is empty or specify to print help information,