cprover
goto_analyzer_parse_options.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto-Analyser Command Line Option Processing
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
13 #define CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
14 
15 #include <util/ui_message.h>
16 #include <util/parse_options.h>
17 
18 #include <langapi/language_ui.h>
19 
22 
23 #include <analyses/goto_check.h>
24 
25 class bmct;
26 class goto_functionst;
27 class optionst;
28 
29 #define GOTO_ANALYSER_OPTIONS \
30  "(function):" \
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 \
36  OPT_GOTO_CHECK \
37  "(show-loops)" \
38  "(show-symbol-table)(show-parse-tree)" \
39  "(show-properties)(show-reachable-properties)(property):" \
40  "(verbosity):(version)" \
41  "(gcc)(arch):" \
42  "(taint):(show-taint)" \
43  "(show-local-may-alias)" \
44  "(json):(xml):" \
45  "(unreachable-instructions)(unreachable-functions)" \
46  "(reachable-functions)" \
47  "(intervals)(show-intervals)" \
48  "(non-null)(show-non-null)"
49 
51  public parse_options_baset,
52  public language_uit
53 {
54 public:
55  virtual int doit() override;
56  virtual void help() override;
57 
58  goto_analyzer_parse_optionst(int argc, const char **argv);
59 
60 protected:
63 
64  virtual void register_languages();
65 
66  virtual void get_command_line_options(optionst &options);
67 
68  virtual bool process_goto_program(const optionst &options);
69  bool set_properties();
70 
71  void eval_verbosity();
72 
74 };
75 
76 #endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
goto_analyzer_parse_optionst(int argc, const char **argv)
Show the goto functions.
Symbol Table + CFG.
virtual bool process_goto_program(const optionst &options)
Program Transformation.
virtual void help() override
display command line help
virtual void get_command_line_options(optionst &options)
Definition: bmc.h:32
virtual int doit() override
invoke main modules