12 #ifndef CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H 13 #define CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H 29 #define GOTO_ANALYSER_OPTIONS \ 31 "D:I:(std89)(std99)(std11)" \ 32 "(classpath):(cp):(main-class):" \ 33 "(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \ 34 "(little-endian)(big-endian)" \ 35 OPT_SHOW_GOTO_FUNCTIONS \ 38 "(show-symbol-table)(show-parse-tree)" \ 39 "(show-properties)(show-reachable-properties)(property):" \ 40 "(verbosity):(version)" \ 42 "(taint):(show-taint)" \ 43 "(show-local-may-alias)" \ 45 "(unreachable-instructions)(unreachable-functions)" \ 46 "(reachable-functions)" \ 47 "(intervals)(show-intervals)" \ 48 "(non-null)(show-non-null)" 55 virtual int doit()
override;
56 virtual void help()
override;
76 #endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
goto_analyzer_parse_optionst(int argc, const char **argv)
ui_message_handlert ui_message_handler
virtual bool process_goto_program(const optionst &options)
virtual void register_languages()
virtual void help() override
display command line help
virtual void get_command_line_options(optionst &options)
virtual int doit() override
invoke main modules