cprover
|
#include <iostream>
#include <string>
Go to the source code of this file.
Functions | |
bool | has_prefix (const std::string &s, const std::string &prefix) |
int | main () |
bool has_prefix | ( | const std::string & | s, |
const std::string & | prefix | ||
) |
Definition at line 13 of file converter.cpp.
Referenced by compilet::add_written_cprover_symbols(), value_set_fit::assign_rec(), value_set_fivrnst::assign_rec(), value_set_fivrt::assign_rec(), goto_symex_statet::assignment(), branch(), goto_program2codet::cleanup_expr(), show_goto_functions_jsont::convert(), show_goto_functions_xmlt::convert(), graphml_witnesst::convert_assign_rec(), expr2ct::convert_constant(), goto_convert_functionst::convert_function(), goto_program2codet::convert_goto_goto(), java_bytecode_convert_methodt::convert_instructions(), goto_convertt::convert_label(), goto_program2codet::convert_labels(), boolbvt::convert_overflow(), boolbvt::convert_rest(), goto_program2codet::convert_start_thread(), expr2ct::convert_symbol(), expr2ct::convert_unary(), expr2ct::convert_with_precedence(), cpp_typecheck_resolvet::do_builtin(), goto_convertt::do_function_call_symbol(), c_typecheck_baset::do_initializer(), ms_cl_modet::doit(), cw_modet::doit(), armcc_modet::doit(), gcc_modet::doit(), error_parse_line(), value_sett::field_sensitive(), java_class_loadert::file_to_class_name(), find_pattern(), smt2_parsert::function_application(), function_enter(), function_exit(), java_object_factoryt::gen_pointer_target_init(), remove_virtual_functionst::get_child_functions_rec(), java_bytecode_parsert::get_class_refs_rec(), remove_virtual_functionst::get_functions(), goto_cc_cmdlinet::get_optnr(), get_or_create_class_literal_symbol(), value_set_fit::get_value_set_rec(), value_set_fivrnst::get_value_set_rec(), value_set_fivrt::get_value_set_rec(), taint_analysist::instrument(), shared_bufferst::is_buffered(), source_locationt::is_built_in(), pointer_logict::is_dynamic_object(), is_java_array_tag(), is_java_string_literal_id(), is_shared(), system_library_symbolst::is_symbol_internal_symbol(), instrumentert::local(), main(), value_set_fit::make_union(), java_bytecode_languaget::methods_provided(), model_argc_argv(), nondet_static(), graphml_witnesst::operator()(), internal_functions_filtert::operator()(), value_set_fit::output(), value_sett::output(), ld_cmdlinet::parse(), as_cmdlinet::parse(), bcc_cmdlinet::parse(), as86_cmdlinet::parse(), gcc_cmdlinet::parse_arguments(), java_bytecode_parsert::parse_method_handle(), gcc_modet::preprocess(), pretty_print_java_type(), print_global_state_size(), rebuild_goto_start_function_baset< maybe_lazy_goto_modelt >::remove_existing_entry_point(), resolve_friendly_method_name(), ci_lazy_methodst::resolve_method_names(), simplify_exprt::simplify_dynamic_object(), slice_global_inits(), static_lifetime_init(), strip_java_namespace_prefix(), goto_symext::symex_function_call_symbol(), goto_symext::symex_gcc_builtin_va_arg_next(), shared_bufferst::track(), goto_symext::trigger_auto_object(), c_typecheck_baset::typecheck_expr_side_effect(), java_bytecode_typecheckt::typecheck_expr_symbol(), c_typecheck_baset::typecheck_expr_symbol(), and jsil_typecheckt::typecheck_symbol_expr().
int main | ( | ) |
Definition at line 18 of file converter.cpp.
References has_prefix(), and pos().