cprover
|
Goto-Analyser Command Line Option Processing. More...
#include "goto_analyzer_parse_options.h"
#include <cstdlib>
#include <iostream>
#include <fstream>
#include <memory>
#include <ansi-c/ansi_c_language.h>
#include <ansi-c/cprover_library.h>
#include <assembler/remove_asm.h>
#include <cpp/cpp_language.h>
#include <cpp/cprover_library.h>
#include <jsil/jsil_language.h>
#include <goto-programs/add_malloc_may_fail_variable_initializations.h>
#include <goto-programs/adjust_float_expressions.h>
#include <goto-programs/goto_convert_functions.h>
#include <goto-programs/goto_inline.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/link_to_library.h>
#include <goto-programs/read_goto_binary.h>
#include <goto-programs/remove_complex.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/remove_returns.h>
#include <goto-programs/remove_vector.h>
#include <goto-programs/remove_virtual_functions.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/show_properties.h>
#include <goto-programs/show_symbol_table.h>
#include <goto-programs/validate_goto_model.h>
#include <analyses/call_stack_history.h>
#include <analyses/constant_propagator.h>
#include <analyses/dependence_graph.h>
#include <analyses/goto_check.h>
#include <analyses/interval_domain.h>
#include <analyses/is_threaded.h>
#include <analyses/local_control_flow_history.h>
#include <analyses/local_may_alias.h>
#include <langapi/mode.h>
#include <langapi/language.h>
#include <util/config.h>
#include <util/exception_utils.h>
#include <util/exit_codes.h>
#include <util/options.h>
#include <util/unicode.h>
#include <util/version.h>
#include "show_on_source.h"
#include "static_show_domain.h"
#include "static_simplifier.h"
#include "static_verifier.h"
#include "taint_analysis.h"
#include "unreachable_instructions.h"
Go to the source code of this file.
Goto-Analyser Command Line Option Processing.
Definition in file goto_analyzer_parse_options.cpp.