cprover
|
#include <string>
Go to the source code of this file.
Functions | |
unsigned | safe_string2unsigned (const std::string &str, int base=10) |
std::size_t | safe_string2size_t (const std::string &str, int base=10) |
int | unsafe_string2int (const std::string &str, int base=10) |
unsigned | unsafe_string2unsigned (const std::string &str, int base=10) |
std::size_t | unsafe_string2size_t (const std::string &str, int base=10) |
long long int | unsafe_string2signedlonglong (const std::string &str, int base=10) |
long long unsigned int | unsafe_string2unsignedlonglong (const std::string &str, int base=10) |
std::size_t safe_string2size_t | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 59 of file string2int.cpp.
unsigned safe_string2unsigned | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 54 of file string2int.cpp.
Referenced by build_graph_rec(), goto_program_coverage_recordt::compute_coverage_lines(), optionst::get_unsigned_int_option(), goto_instrument_parse_optionst::instrument_goto_program(), is_store_to_slot(), parse_loop_ids(), goto_symext::symex_gcc_builtin_va_arg_next(), and taint_parser().
int unsafe_string2int | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 64 of file string2int.cpp.
Referenced by symex_slice_by_tracet::compute_ts_back(), boolbvt::convert_bv_literals(), convert_integer_literal(), qbf_skizzo_coret::get_certificate(), document_propertiest::get_code(), irept::get_int(), symex_slice_by_tracet::implied_guards(), goto_symext::symex_trace(), and xmlt::unescape().
long long int unsafe_string2signedlonglong | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 79 of file string2int.cpp.
Referenced by irept::get_long_long().
std::size_t unsafe_string2size_t | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 74 of file string2int.cpp.
Referenced by irept::get_size_t(), and smt2_convt::parse_literal().
unsigned unsafe_string2unsigned | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 69 of file string2int.cpp.
Referenced by boolbvt::convert_overflow(), cover_basic_blockst::cover_basic_blockst(), messaget::eval_verbosity(), bv_spect::from_type(), gcc_versiont::get(), floatbv_typet::get_f(), fixedbv_typet::get_integer_bits(), irept::get_unsigned_int(), goto_instrument_parse_optionst::instrument_goto_program(), unwindsett::parse_unwind(), unwindsett::parse_unwindset(), preprocessor_line(), and configt::set().
long long unsigned int unsafe_string2unsignedlonglong | ( | const std::string & | str, |
int | base = 10 |
||
) |
Definition at line 86 of file string2int.cpp.