cprover
|
Public Member Functions | |
static_analyzert (const goto_modelt &_goto_model, const optionst &_options, message_handlert &_message_handler) | |
bool | operator() () |
Protected Member Functions | |
void | plain_text_report () |
void | json_report (const std::string &) |
void | xml_report (const std::string &) |
tvt | eval (goto_programt::const_targett) |
Protected Attributes | |
const goto_functionst & | goto_functions |
const namespacet | ns |
const optionst & | options |
ait< interval_domaint > | interval_analysis |
Additional Inherited Members |
Definition at line 19 of file static_analyzer.cpp.
|
inline |
Definition at line 22 of file static_analyzer.cpp.
|
protected |
Definition at line 65 of file static_analyzer.cpp.
References interval_domaint::assume(), interval_analysis, interval_domaint::is_bottom(), ns, and tvt::unknown().
Referenced by json_report(), plain_text_report(), and xml_report().
|
protected |
Definition at line 126 of file static_analyzer.cpp.
References messaget::eom(), messaget::error(), eval(), forall_goto_functions, forall_goto_program_instructions, goto_functions, id2string(), jsont::make_object(), json_arrayt::push_back(), r, and messaget::status().
Referenced by operator()().
bool static_analyzert::operator() | ( | void | ) |
Definition at line 50 of file static_analyzer.cpp.
References messaget::eom(), optionst::get_option(), goto_functions, interval_analysis, json_report(), ns, options, plain_text_report(), messaget::status(), and xml_report().
|
protected |
Definition at line 75 of file static_analyzer.cpp.
References messaget::eom(), eval(), forall_goto_functions, forall_goto_program_instructions, source_locationt::get_comment(), source_locationt::get_property_id(), goto_functions, r, messaget::result(), messaget::mstreamt::source_location, and messaget::status().
Referenced by operator()().
|
protected |
Definition at line 173 of file static_analyzer.cpp.
References messaget::eom(), messaget::error(), eval(), forall_goto_functions, forall_goto_program_instructions, goto_functions, id2string(), xmlt::new_element(), r, xmlt::set_attribute(), and messaget::status().
Referenced by operator()().
|
protected |
Definition at line 36 of file static_analyzer.cpp.
Referenced by json_report(), operator()(), plain_text_report(), and xml_report().
|
protected |
Definition at line 41 of file static_analyzer.cpp.
Referenced by eval(), and operator()().
|
protected |
Definition at line 37 of file static_analyzer.cpp.
Referenced by eval(), and operator()().
|
protected |
Definition at line 38 of file static_analyzer.cpp.
Referenced by operator()().