|
| abstract_aggregate_object.h |
| Common behaviour for abstract objects modelling aggregate values - arrays, structs, etc.
|
|
| abstract_environment.cpp |
|
| abstract_environment.h |
| An abstract version of a program environment.
|
|
| abstract_object.cpp |
|
| abstract_object.h |
| abstract_objectt is the top of the inheritance heirarchy of objects used to represent individual variables in the general non-relational domain.
|
|
| abstract_object_set.cpp |
|
| abstract_object_set.h |
| an unordered set of value objects
|
|
| abstract_object_statistics.h |
| Statistics gathering for the variable senstivity domain.
|
|
| abstract_pointer_object.cpp |
|
| abstract_pointer_object.h |
| The base of all pointer abstractions.
|
|
| abstract_value_object.cpp |
|
| abstract_value_object.h |
| Common behaviour for abstract objects modelling values - constants, intervals, etc.
|
|
| constant_abstract_value.cpp |
|
| constant_abstract_value.h |
| An abstraction of a single value that just stores a constant.
|
|
| constant_pointer_abstract_object.cpp |
|
| constant_pointer_abstract_object.h |
| An abstraction of a pointer that tracks a single pointer.
|
|
| context_abstract_object.cpp |
|
| context_abstract_object.h |
| General implementation of a an abstract_objectt which can track side information in the form of a 'context' associated with a wrapped abstract_objectt of some other type.
|
|
| data_dependency_context.cpp |
| Maintain data dependencies as a context in the variable sensitivity domain.
|
|
| data_dependency_context.h |
| Maintain data dependencies as a context in the variable sensitivity domain.
|
|
| full_array_abstract_object.cpp |
|
| full_array_abstract_object.h |
| An abstraction of an array value.
|
|
| full_struct_abstract_object.cpp |
|
| full_struct_abstract_object.h |
| An abstraction of a structure that stores one abstract object per field.
|
|
| interval_abstract_value.cpp |
|
| interval_abstract_value.h |
| An interval to represent a set of possible values.
|
|
| liveness_context.cpp |
|
| liveness_context.h |
| Maintain a context in the variable sensitvity domain that records the liveness region for a given abstract_objectt.
|
|
| location_update_visitor.h |
|
| map_visit.h |
|
| three_way_merge_abstract_interpreter.cpp |
| An abstract interpreter, based on the default recursive-interprocedural that uses variable sensitivity domain's three-way-merge operation on returning from a function call.
|
|
| three_way_merge_abstract_interpreter.h |
| An abstract interpreter, based on the default recursive-interprocedural that uses variable sensitivity domain's three-way-merge operation on returning from a function call.
|
|
| two_value_array_abstract_object.h |
| The base type of all abstract array representations.
|
|
| two_value_pointer_abstract_object.cpp |
|
| two_value_pointer_abstract_object.h |
|
| two_value_struct_abstract_object.h |
| The base of all structure abstractions.
|
|
| two_value_union_abstract_object.h |
| The base of all union abstractions.
|
|
| value_set_abstract_object.cpp |
| Value Set Abstract Object.
|
|
| value_set_abstract_object.h |
| Value Set Abstract Object.
|
|
| value_set_pointer_abstract_object.cpp |
| Value Set of Pointer Abstract Object.
|
|
| value_set_pointer_abstract_object.h |
| Value Set of Pointer Abstract Object.
|
|
| variable_sensitivity_configuration.cpp |
| Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
|
|
| variable_sensitivity_configuration.h |
| Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
|
|
| variable_sensitivity_dependence_graph.cpp |
|
| variable_sensitivity_dependence_graph.h |
| A forked and modified version of analyses/dependence_graph.
|
|
| variable_sensitivity_domain.cpp |
|
| variable_sensitivity_domain.h |
| There are different ways of handling arrays, structures, unions and pointers.
|
|
| variable_sensitivity_object_factory.cpp |
|
| variable_sensitivity_object_factory.h |
| Tracks the user-supplied configuration for VSD and build the correct type of abstract object when needed.
|
|
| widened_range.cpp |
|
| widened_range.h |
|
| write_location_context.cpp |
|
| write_location_context.h |
| Maintain a context in the variable sensitvity domain that records write locations for a given abstract_objectt.
|
|
| write_stack.cpp |
| Represents a stack of write operations to an addressable memory location.
|
|
| write_stack.h |
| Represents a stack of write operations to an addressable memory location.
|
|
| write_stack_entry.cpp |
| Represents an entry in the write_stackt.
|
|
| write_stack_entry.h |
| Represents an entry in the write_stackt.
|
|