cprover
|
Go to the source code of this file.
Functions | |
template<typename T > | |
T | str2number (const char *str, int base, bool safe) |
unsigned | safe_string2unsigned (const std::string &str, int base) |
std::size_t | safe_string2size_t (const std::string &str, int base) |
int | unsafe_string2int (const std::string &str, int base) |
unsigned | unsafe_string2unsigned (const std::string &str, int base) |
std::size_t | unsafe_string2size_t (const std::string &str, int base) |
signed long long int | unsafe_string2signedlonglong (const std::string &str, int base) |
unsigned long long int | unsafe_string2unsignedlonglong (const std::string &str, int base) |
std::size_t safe_string2size_t | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 56 of file string2int.cpp.
unsigned safe_string2unsigned | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 51 of file string2int.cpp.
Referenced by build_graph_rec(), goto_program_coverage_recordt::compute_coverage_lines(), symex_parse_optionst::doit(), optionst::get_unsigned_int_option(), goto_instrument_parse_optionst::instrument_goto_program(), is_store_to_slot(), smt1_dect::mathsat_value(), parse_loop_ids(), goto_symext::symex_gcc_builtin_va_arg_next(), path_symext::symex_va_arg_next(), taint_parser(), and remove_static_init_loopst::unwind_enum_static().
|
inline |
Definition at line 17 of file string2int.cpp.
int unsafe_string2int | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 61 of file string2int.cpp.
Referenced by symex_slice_by_tracet::compute_ts_back(), boolbvt::convert_bv_literals(), convert_integer_literal(), armcc_modet::doit(), clobber_parse_optionst::eval_verbosity(), symex_parse_optionst::eval_verbosity(), qbf_skizzo_coret::get_certificate(), document_propertiest::get_code(), irept::get_int(), symex_slice_by_tracet::implied_guards(), read_dimacs_cnf(), bmct::setup_unwind(), goto_symext::symex_trace(), and xmlt::unescape().
signed long long int unsafe_string2signedlonglong | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 76 of file string2int.cpp.
Referenced by irept::get_long_long().
std::size_t unsafe_string2size_t | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 71 of file string2int.cpp.
Referenced by irept::get_size_t().
unsigned unsafe_string2unsigned | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 66 of file string2int.cpp.
Referenced by bv_width(), convert(), cvc_convt::convert_binary_expr(), dplib_convt::convert_dplib_expr(), boolbvt::convert_overflow(), gcc_modet::doit(), as_modet::doit(), ms_cl_modet::doit(), cw_modet::doit(), symex_parse_optionst::doit(), goto_diff_parse_optionst::eval_verbosity(), goto_analyzer_parse_optionst::eval_verbosity(), cbmc_parse_optionst::eval_verbosity(), goto_instrument_parse_optionst::eval_verbosity(), bv_spect::from_type(), floatbv_typet::get_f(), fixedbv_typet::get_integer_bits(), get_max(), irept::get_unsigned_int(), goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), exprt::mul(), smt2_convt::parse_literal(), preprocessor_line(), cvc_dect::read_assert(), goto_fence_inserter_parse_optionst::set_verbosity(), bmct::setup_unwind(), exprt::subtract(), and exprt::sum().
unsigned long long int unsafe_string2unsignedlonglong | ( | const std::string & | str, |
int | base | ||
) |
Definition at line 83 of file string2int.cpp.