100 #ifndef CPROVER_JANALYZER_JANALYZER_PARSE_OPTIONS_H 101 #define CPROVER_JANALYZER_JANALYZER_PARSE_OPTIONS_H 123 #define JANALYZER_OPTIONS \ 125 "(classpath):(cp):(main-class):" \ 126 "(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \ 127 "(little-endian)(big-endian)" \ 128 OPT_SHOW_GOTO_FUNCTIONS \ 129 OPT_SHOW_PROPERTIES \ 132 "(show-symbol-table)(show-parse-tree)" \ 133 "(show-reachable-properties)(property):" \ 134 "(verbosity):(version)" \ 136 "(taint):(show-taint)" \ 137 "(show-local-may-alias)" \ 141 "(unreachable-instructions)(unreachable-functions)" \ 142 "(reachable-functions)" \ 143 "(intervals)(show-intervals)" \ 144 "(non-null)(show-non-null)" \ 146 "(dependence-graph)" \ 147 "(show)(verify)(simplify):" \ 148 "(location-sensitive)(concurrent)" \ 149 "(no-simplify-slicing)" \ 150 JAVA_BYTECODE_LANGUAGE_OPTIONS 156 virtual int doit()
override;
157 virtual void help()
override;
182 #endif // CPROVER_JANALYZER_JANALYZER_PARSE_OPTIONS_H
janalyzer_parse_optionst(int argc, const char **argv)
virtual void register_languages()
virtual int perform_analysis(const optionst &options)
Depending on the command line mode, run one of the analysis tasks.
virtual int doit() override
invoke main modules
Abstract interface to support a programming language.
virtual bool process_goto_program(const optionst &options)
virtual void get_command_line_options(optionst &options)
ui_message_handlert::uit get_ui()
ai_baset * build_analyzer(const optionst &, const namespacet &ns)
For the task, build the appropriate kind of analyzer Ideally this should be a pure function of option...
The basic interface of an abstract interpreter.
Bounded model checking or path exploration for goto-programs.
virtual void help() override
display command line help
ui_message_handlert ui_message_handler