Go to the source code of this file.
|
static void | static_verifier_json (const std::vector< static_verifier_resultt > &results, messaget &m, std::ostream &out) |
|
static void | static_verifier_xml (const std::vector< static_verifier_resultt > &results, messaget &m, std::ostream &out) |
|
static void | static_verifier_text (const std::vector< static_verifier_resultt > &results, const namespacet &ns, std::ostream &out) |
|
static void | static_verifier_console (const std::vector< static_verifier_resultt > &results, const namespacet &ns, messaget &m) |
|
bool | static_verifier (const goto_modelt &goto_model, const ai_baset &ai, const optionst &options, message_handlert &message_handler, std::ostream &out) |
| Runs the analyzer and then prints out the domain. More...
|
|
◆ static_verifier()
Runs the analyzer and then prints out the domain.
- Parameters
-
goto_model | the program analyzed |
ai | the abstract interpreter after it has been run to fix point |
options | the parsed user options |
message_handler | the system message handler |
out | output stream for the printing |
- Returns
- : false on success with the domain printed to out
Definition at line 234 of file static_verifier.cpp.
◆ static_verifier_console()
◆ static_verifier_json()
◆ static_verifier_text()
◆ static_verifier_xml()