variable-sensitivity Directory Reference

Directory dependency graph for variable-sensitivity:

Files
file	abstract_aggregate_object.h [code]
	Common behaviour for abstract objects modelling aggregate values - arrays, structs, etc.
file	abstract_environment.cpp [code]
file	abstract_environment.h [code]
	An abstract version of a program environment.
file	abstract_object.cpp [code]
file	abstract_object.h [code]
	abstract_objectt is the top of the inheritance heirarchy of objects used to represent individual variables in the general non-relational domain.
file	abstract_object_set.cpp [code]
file	abstract_object_set.h [code]
	an unordered set of value objects
file	abstract_object_statistics.h [code]
	Statistics gathering for the variable senstivity domain.
file	abstract_pointer_object.cpp [code]
file	abstract_pointer_object.h [code]
	The base of all pointer abstractions.
file	abstract_value_object.cpp [code]
file	abstract_value_object.h [code]
	Common behaviour for abstract objects modelling values - constants, intervals, etc.
file	constant_abstract_value.cpp [code]
file	constant_abstract_value.h [code]
	An abstraction of a single value that just stores a constant.
file	constant_pointer_abstract_object.cpp [code]
file	constant_pointer_abstract_object.h [code]
	An abstraction of a pointer that tracks a single pointer.
file	context_abstract_object.cpp [code]
file	context_abstract_object.h [code]
	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.
file	data_dependency_context.cpp [code]
	Maintain data dependencies as a context in the variable sensitivity domain.
file	data_dependency_context.h [code]
	Maintain data dependencies as a context in the variable sensitivity domain.
file	full_array_abstract_object.cpp [code]
file	full_array_abstract_object.h [code]
	An abstraction of an array value.
file	full_struct_abstract_object.cpp [code]
file	full_struct_abstract_object.h [code]
	An abstraction of a structure that stores one abstract object per field.
file	interval_abstract_value.cpp [code]
file	interval_abstract_value.h [code]
	An interval to represent a set of possible values.
file	liveness_context.cpp [code]
file	liveness_context.h [code]
	Maintain a context in the variable sensitvity domain that records the liveness region for a given abstract_objectt.
file	location_update_visitor.h [code]
file	map_visit.h [code]
file	three_way_merge_abstract_interpreter.cpp [code]
	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.
file	three_way_merge_abstract_interpreter.h [code]
	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.
file	two_value_array_abstract_object.h [code]
	The base type of all abstract array representations.
file	two_value_pointer_abstract_object.cpp [code]
file	two_value_pointer_abstract_object.h [code]
file	two_value_struct_abstract_object.h [code]
	The base of all structure abstractions.
file	two_value_union_abstract_object.h [code]
	The base of all union abstractions.
file	value_set_abstract_object.cpp [code]
	Value Set Abstract Object.
file	value_set_abstract_object.h [code]
	Value Set Abstract Object.
file	value_set_pointer_abstract_object.cpp [code]
	Value Set of Pointer Abstract Object.
file	value_set_pointer_abstract_object.h [code]
	Value Set of Pointer Abstract Object.
file	variable_sensitivity_configuration.cpp [code]
	Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
file	variable_sensitivity_configuration.h [code]
	Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.
file	variable_sensitivity_dependence_graph.cpp [code]
file	variable_sensitivity_dependence_graph.h [code]
	A forked and modified version of analyses/dependence_graph.
file	variable_sensitivity_domain.cpp [code]
file	variable_sensitivity_domain.h [code]
	There are different ways of handling arrays, structures, unions and pointers.
file	variable_sensitivity_object_factory.cpp [code]
file	variable_sensitivity_object_factory.h [code]
	Tracks the user-supplied configuration for VSD and build the correct type of abstract object when needed.
file	widened_range.cpp [code]
file	widened_range.h [code]
file	write_location_context.cpp [code]
file	write_location_context.h [code]
	Maintain a context in the variable sensitvity domain that records write locations for a given abstract_objectt.
file	write_stack.cpp [code]
	Represents a stack of write operations to an addressable memory location.
file	write_stack.h [code]
	Represents a stack of write operations to an addressable memory location.
file	write_stack_entry.cpp [code]
	Represents an entry in the write_stackt.
file	write_stack_entry.h [code]
	Represents an entry in the write_stackt.