Method processArgs

src/main/java/pascal/taie/Main.java:70–77

If the given options is empty or specify to print help information, then print help and exit immediately.

(String... args)

     * then print help and exit immediately.
     */
    private static Options processArgs(String... args) {
        Options options = Options.parse(args);
        if (options.isPrintHelp() || args.length == 0) {
            options.printHelp();
            System.exit(0);
        }
        return options;
    }

    private static Plan processConfigs(Options options) {
        InputStream content = Configs.getAnalysisConfig();