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()}};
120template <
class mappingt>
124 const mappingt &mapping)
127 auto choices = std::string(
"");
128 for(
auto &
kv : mapping)
159 if(options.
get_option(
"arrays") ==
"up-to-n-elements")
173 const size_t def = std::numeric_limits<size_t>::max();
189 const std::vector<std::string> &
names)
192 for(
auto &name :
names)
198 auto choices = std::string(
"");
199 for(
auto &name :
names)
202 auto option =
"--vsd-" + name;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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,...