#include <analyses/variable-sensitivity/constant_abstract_value.h>#include <analyses/variable-sensitivity/constant_pointer_abstract_object.h>#include <analyses/variable-sensitivity/data_dependency_context.h>#include <analyses/variable-sensitivity/full_struct_abstract_object.h>#include <analyses/variable-sensitivity/interval_abstract_value.h>#include <analyses/variable-sensitivity/two_value_array_abstract_object.h>#include <analyses/variable-sensitivity/two_value_pointer_abstract_object.h>#include <analyses/variable-sensitivity/two_value_struct_abstract_object.h>#include <analyses/variable-sensitivity/two_value_union_abstract_object.h>#include <analyses/variable-sensitivity/value_set_abstract_object.h>#include <analyses/variable-sensitivity/variable_sensitivity_configuration.h>#include <analyses/variable-sensitivity/write_location_context.h>#include "abstract_object.h"
Include dependency graph for variable_sensitivity_object_factory.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | variable_sensitivity_object_factoryt |
Typedefs | |
| using | variable_sensitivity_object_factory_ptrt = std::shared_ptr< variable_sensitivity_object_factoryt > |
Detailed Description
Tracks the user-supplied configuration for VSD and build the correct type of abstract object when needed. Note this is a factory within the domain and so is lower-level than the abstract domain factory that is part of the ai_baset interface.
Definition in file variable_sensitivity_object_factory.h.
Typedef Documentation
◆ variable_sensitivity_object_factory_ptrt
| using variable_sensitivity_object_factory_ptrt = std::shared_ptr<variable_sensitivity_object_factoryt> |
Definition at line 35 of file variable_sensitivity_object_factory.h.
