18 const std::vector<std::string> &names);
24 config.value_abstract_type =
40 config.context_tracking.last_write_context =
true;
41 config.context_tracking.data_dependency_context =
58 config.context_tracking.last_write_context =
true;
63 config.maximum_array_index = std::numeric_limits<size_t>::max();
74 config.maximum_array_index = std::numeric_limits<size_t>::max();
81 config.context_tracking.last_write_context =
true;
86 config.maximum_array_index = std::numeric_limits<size_t>::max();
114 {
"up-to-n-elements", 10},
115 {
"every-element", std::numeric_limits<size_t>::max()}};
120 template <
class mappingt>
122 const std::string &option_name,
123 const std::string &bad_argument,
124 const mappingt &mapping)
126 auto option =
"--vsd-" + option_name;
127 auto choices = std::string(
"");
128 for(
auto &kv : mapping)
130 choices += (!choices.empty() ?
"|" :
"");
135 "Unknown argument '" + bad_argument +
"'", option, option +
" " + choices};
140 const std::string &option_name,
144 const auto argument = options.
get_option(option_name);
149 auto selected = mapping.find(argument);
150 if(selected == mapping.end())
154 return selected->second;
159 if(options.
get_option(
"arrays") ==
"up-to-n-elements")
162 if(max_elements != 0)
163 return max_elements - 1;
170 const std::string &option_name,
173 const size_t def = std::numeric_limits<size_t>::max();
174 const auto argument = options.
get_option(option_name);
179 auto selected = mapping.find(argument);
180 if(selected == mapping.end())
184 return selected->second;
189 const std::vector<std::string> &names)
192 for(
auto &name : names)
198 auto choices = std::string(
"");
199 for(
auto &name : names)
201 choices += (!choices.empty() ?
"|" :
"");
202 auto option =
"--vsd-" + name;
207 "Can only use of " + choices};
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
unsigned int get_unsigned_int_option(const std::string &option) const
bool get_bool_option(const std::string &option) const
const std::string get_option(const std::string &option) const
std::map< std::string, ABSTRACT_OBJECT_TYPET > option_mappingt
static vsd_configt value_set()
static const option_mappingt array_option_mappings
static ABSTRACT_OBJECT_TYPET option_to_abstract_type(const optionst &options, const std::string &option_name, const option_mappingt &mapping, ABSTRACT_OBJECT_TYPET default_type)
static const option_mappingt struct_option_mappings
static const option_mappingt value_option_mappings
static const option_mappingt pointer_option_mappings
static const option_size_mappingt array_option_size_mappings
static size_t configure_max_array_size(const optionst &options)
static const option_mappingt union_option_mappings
static vsd_configt intervals()
static vsd_configt from_options(const optionst &options)
static vsd_configt constant_domain()
std::map< std::string, size_t > option_size_mappingt
static size_t option_to_size(const optionst &options, const std::string &option_name, const option_size_mappingt &mapping)
static void check_one_of_options(const optionst &options, const std::vector< std::string > &names)
invalid_command_line_argument_exceptiont invalid_argument(const std::string &option_name, const std::string &bad_argument, const mappingt &mapping)
Captures the user-supplied configuration for VSD, determining which domain abstractions are used,...