ana::space_region Class Reference

#include <region.h>

Inheritance diagram for ana::space_region:

Collaboration diagram for ana::space_region:

Public Types
typedef unsigned	id_t

Public Member Functions
virtual enum region_kind	get_kind () const =0
virtual const frame_region *	dyn_cast_frame_region () const
virtual const function_region *	dyn_cast_function_region () const
virtual const symbolic_region *	dyn_cast_symbolic_region () const
virtual const decl_region *	dyn_cast_decl_region () const
virtual const field_region *	dyn_cast_field_region () const
virtual const element_region *	dyn_cast_element_region () const
virtual const offset_region *	dyn_cast_offset_region () const
virtual const sized_region *	dyn_cast_sized_region () const
virtual const cast_region *	dyn_cast_cast_region () const
virtual const string_region *	dyn_cast_string_region () const
virtual const bit_range_region *	dyn_cast_bit_range_region () const
virtual const var_arg_region *	dyn_cast_var_arg_region () const
virtual void	accept (visitor *v) const
const region *	get_parent_region () const
const region *	get_base_region () const
bool	base_region_p () const
bool	descendent_of_p (const region *elder) const
const frame_region *	maybe_get_frame_region () const
enum memory_space	get_memory_space () const
bool	can_have_initial_svalue_p () const
const svalue *	get_initial_value_at_main (region_model_manager *mgr) const
tree	maybe_get_decl () const
tree	get_type () const
void	print (const region_model &model, pretty_printer *pp) const
label_text	get_desc (bool simple=true) const
virtual void	dump_to_pp (pretty_printer *pp, bool simple) const =0
void	dump (bool simple) const
void	dump () const
json::value *	to_json () const
bool	maybe_print_for_user (pretty_printer *pp, const region_model &model) const
std::unique_ptr< text_art::tree_widget >	make_dump_widget (const text_art::dump_widget_info &dwi, const char *prefix=nullptr) const
bool	non_null_p () const
bool	involves_p (const svalue *sval) const
region_offset	get_offset (region_model_manager *mgr) const
region_offset	get_next_offset (region_model_manager *mgr) const
virtual bool	get_byte_size (byte_size_t *out) const
virtual bool	get_bit_size (bit_size_t *out) const
virtual const svalue *	get_byte_size_sval (region_model_manager *mgr) const
virtual const svalue *	get_bit_size_sval (region_model_manager *mgr) const
virtual bool	get_relative_concrete_offset (bit_offset_t *out) const
virtual const svalue *	get_relative_symbolic_offset (region_model_manager *mgr) const
bool	get_relative_concrete_byte_range (byte_range *out) const
void	get_subregions_for_binding (region_model_manager *mgr, bit_offset_t start_bit_offset, bit_size_t size_in_bits, tree type, auto_vec< const region * > *out) const
bool	symbolic_for_unknown_ptr_p () const
bool	symbolic_p () const
virtual bool	tracked_p () const
bool	is_named_decl_p (const char *decl_name) const
bool	empty_p () const
const complexity &	get_complexity () const
id_t	get_id () const

Static Public Member Functions
static int	cmp_ptr_ptr (const void *, const void *)
static int	cmp_ids (const symbol *s1, const symbol *s2)

Protected Member Functions
	space_region (symbol::id_t id, const region *parent)

Private Member Functions
region_offset	calc_offset (region_model_manager *mgr) const
const svalue *	calc_initial_value_at_main (region_model_manager *mgr) const
virtual void	print_dump_widget_label (pretty_printer *pp) const =0
virtual void	add_dump_widget_children (text_art::tree_widget &, const text_art::dump_widget_info &dwi) const

Private Attributes
const region *	m_parent
tree	m_type
region_offset *	m_cached_offset
const svalue *	m_cached_init_sval_at_main
complexity	m_complexity
id_t	m_id

Detailed Description

Abstract subclass of region, for regions that represent an untyped
space within memory, such as the stack or the heap.   

Member Typedef Documentation

id_t

unsigned ana::symbol::id_t

inherited

Constructor & Destructor Documentation

space_region()

ana::space_region::space_region ( symbol::id_t id, const region * parent )

inlineprotected

Member Function Documentation

accept()

virtual void ana::region::accept ( visitor * v ) const

virtualinherited

Reimplemented in ana::element_region, ana::frame_region, ana::offset_region, ana::sized_region, and ana::symbolic_region.

add_dump_widget_children()

virtual void ana::region::add_dump_widget_children ( text_art::tree_widget & , const text_art::dump_widget_info & dwi ) const

privatevirtualinherited

Reimplemented in ana::element_region, ana::offset_region, ana::sized_region, and ana::symbolic_region.

base_region_p()

bool ana::region::base_region_p ( ) const

inherited

calc_initial_value_at_main()

const svalue * ana::region::calc_initial_value_at_main ( region_model_manager * mgr ) const

privateinherited

calc_offset()

region_offset ana::region::calc_offset ( region_model_manager * mgr ) const

privateinherited

can_have_initial_svalue_p()

bool ana::region::can_have_initial_svalue_p ( ) const

inherited

cmp_ids()

static int ana::symbol::cmp_ids ( const symbol * s1, const symbol * s2 )

staticinherited

cmp_ptr_ptr()

static int ana::region::cmp_ptr_ptr ( const void * , const void *  )

staticinherited

descendent_of_p()

bool ana::region::descendent_of_p ( const region * elder ) const

inherited

dump() [1/2]

void ana::region::dump ( ) const

inherited

dump() [2/2]

void ana::region::dump ( bool simple ) const

inherited

dump_to_pp()

virtual void ana::region::dump_to_pp ( pretty_printer * pp, bool simple ) const

pure virtualinherited

Implemented in ana::alloca_region, ana::bit_range_region, ana::cast_region, ana::code_region, ana::decl_region, ana::element_region, ana::errno_region, ana::field_region, ana::frame_region, ana::function_region, ana::globals_region, ana::heap_allocated_region, ana::heap_region, ana::label_region, ana::offset_region, ana::private_region, ana::root_region, ana::sized_region, ana::stack_region, ana::string_region, ana::symbolic_region, ana::thread_local_region, ana::unknown_region, and ana::var_arg_region.

dyn_cast_bit_range_region()

virtual const bit_range_region * ana::region::dyn_cast_bit_range_region ( ) const

inlinevirtualinherited

Reimplemented in ana::bit_range_region.

References NULL.

dyn_cast_cast_region()

virtual const cast_region * ana::region::dyn_cast_cast_region ( ) const

inlinevirtualinherited

Reimplemented in ana::cast_region.

References NULL.

dyn_cast_decl_region()

virtual const decl_region * ana::region::dyn_cast_decl_region ( ) const

inlinevirtualinherited

Reimplemented in ana::decl_region.

References NULL.

dyn_cast_element_region()

virtual const element_region * ana::region::dyn_cast_element_region ( ) const

inlinevirtualinherited

Reimplemented in ana::element_region.

References NULL.

dyn_cast_field_region()

virtual const field_region * ana::region::dyn_cast_field_region ( ) const

inlinevirtualinherited

Reimplemented in ana::field_region.

References NULL.

dyn_cast_frame_region()

virtual const frame_region * ana::region::dyn_cast_frame_region ( ) const

inlinevirtualinherited

Reimplemented in ana::frame_region.

References NULL.

dyn_cast_function_region()

virtual const function_region * ana::region::dyn_cast_function_region ( ) const

inlinevirtualinherited

Reimplemented in ana::function_region.

References NULL.

dyn_cast_offset_region()

virtual const offset_region * ana::region::dyn_cast_offset_region ( ) const

inlinevirtualinherited

Reimplemented in ana::offset_region.

References NULL.

dyn_cast_sized_region()

virtual const sized_region * ana::region::dyn_cast_sized_region ( ) const

inlinevirtualinherited

Reimplemented in ana::sized_region.

References NULL.

dyn_cast_string_region()

virtual const string_region * ana::region::dyn_cast_string_region ( ) const

inlinevirtualinherited

Reimplemented in ana::string_region.

References NULL.

dyn_cast_symbolic_region()

virtual const symbolic_region * ana::region::dyn_cast_symbolic_region ( ) const

inlinevirtualinherited

Reimplemented in ana::symbolic_region.

References NULL.

dyn_cast_var_arg_region()

virtual const var_arg_region * ana::region::dyn_cast_var_arg_region ( ) const

inlinevirtualinherited

Reimplemented in ana::var_arg_region.

References NULL.

empty_p()

bool ana::region::empty_p ( ) const

inherited

get_base_region()

const region * ana::region::get_base_region ( ) const

inherited

get_bit_size()

virtual bool ana::region::get_bit_size ( bit_size_t * out ) const

virtualinherited

Reimplemented in ana::bit_range_region, and ana::sized_region.

get_bit_size_sval()

virtual const svalue * ana::region::get_bit_size_sval ( region_model_manager * mgr ) const

virtualinherited

Reimplemented in ana::bit_range_region, and ana::sized_region.

get_byte_size()

virtual bool ana::region::get_byte_size ( byte_size_t * out ) const

virtualinherited

Reimplemented in ana::bit_range_region, and ana::sized_region.

get_byte_size_sval()

virtual const svalue * ana::region::get_byte_size_sval ( region_model_manager * mgr ) const

virtualinherited

Reimplemented in ana::bit_range_region, and ana::sized_region.

get_complexity()

const complexity & ana::symbol::get_complexity ( ) const

inlineinherited

References ana::symbol::m_complexity.

get_desc()

label_text ana::region::get_desc ( bool simple = true ) const

inherited

get_id()

id_t ana::symbol::get_id ( ) const

inlineinherited

References ana::symbol::m_id.

get_initial_value_at_main()

const svalue * ana::region::get_initial_value_at_main ( region_model_manager * mgr ) const

inherited

get_kind()

virtual enum region_kind ana::region::get_kind ( ) const

pure virtualinherited

Implemented in ana::alloca_region, ana::bit_range_region, ana::cast_region, ana::code_region, ana::decl_region, ana::element_region, ana::errno_region, ana::field_region, ana::frame_region, ana::function_region, ana::globals_region, ana::heap_allocated_region, ana::heap_region, ana::label_region, ana::offset_region, ana::private_region, ana::root_region, ana::sized_region, ana::stack_region, ana::string_region, ana::symbolic_region, ana::thread_local_region, ana::unknown_region, and ana::var_arg_region.

Referenced by remap_enclosing_frame().

get_memory_space()

enum memory_space ana::region::get_memory_space ( ) const

inherited

get_next_offset()

region_offset ana::region::get_next_offset ( region_model_manager * mgr ) const

inherited

get_offset()

region_offset ana::region::get_offset ( region_model_manager * mgr ) const

inherited

get_parent_region()

const region * ana::region::get_parent_region ( ) const

inlineinherited

References ana::region::m_parent.

Referenced by remap_enclosing_frame().

get_relative_concrete_byte_range()

bool ana::region::get_relative_concrete_byte_range ( byte_range * out ) const

inherited

get_relative_concrete_offset()

virtual bool ana::region::get_relative_concrete_offset ( bit_offset_t * out ) const

virtualinherited

Reimplemented in ana::bit_range_region, ana::cast_region, ana::element_region, ana::field_region, and ana::offset_region.

get_relative_symbolic_offset()

virtual const svalue * ana::region::get_relative_symbolic_offset ( region_model_manager * mgr ) const

virtualinherited

Reimplemented in ana::bit_range_region, ana::element_region, ana::field_region, and ana::offset_region.

get_subregions_for_binding()

void ana::region::get_subregions_for_binding ( region_model_manager * mgr, bit_offset_t start_bit_offset, bit_size_t size_in_bits, tree type, auto_vec< const region * > * out ) const

inherited

get_type()

tree ana::region::get_type ( ) const

inlineinherited

References ana::region::m_type.

involves_p()

bool ana::region::involves_p ( const svalue * sval ) const

inherited

is_named_decl_p()

bool ana::region::is_named_decl_p ( const char * decl_name ) const

inherited

make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::region::make_dump_widget ( const text_art::dump_widget_info & dwi, const char * prefix = nullptr ) const

inherited

maybe_get_decl()

tree ana::region::maybe_get_decl ( ) const

inherited

maybe_get_frame_region()

const frame_region * ana::region::maybe_get_frame_region ( ) const

inherited

Referenced by sufficiently_different_region_binding_p().

maybe_print_for_user()

bool ana::region::maybe_print_for_user ( pretty_printer * pp, const region_model & model ) const

inherited

non_null_p()

bool ana::region::non_null_p ( ) const

inherited

print()

void ana::region::print ( const region_model & model, pretty_printer * pp ) const

inherited

print_dump_widget_label()

virtual void ana::region::print_dump_widget_label ( pretty_printer * pp ) const

privatepure virtualinherited

Implemented in ana::alloca_region, ana::bit_range_region, ana::cast_region, ana::code_region, ana::decl_region, ana::element_region, ana::errno_region, ana::field_region, ana::frame_region, ana::function_region, ana::globals_region, ana::heap_allocated_region, ana::heap_region, ana::label_region, ana::offset_region, ana::private_region, ana::root_region, ana::sized_region, ana::stack_region, ana::string_region, ana::symbolic_region, ana::thread_local_region, ana::unknown_region, and ana::var_arg_region.

symbolic_for_unknown_ptr_p()

bool ana::region::symbolic_for_unknown_ptr_p ( ) const

inherited

symbolic_p()

bool ana::region::symbolic_p ( ) const

inherited

to_json()

json::value * ana::region::to_json ( ) const

inherited

tracked_p()

virtual bool ana::region::tracked_p ( ) const

inlinevirtualinherited

Reimplemented in ana::decl_region, and ana::string_region.

Field Documentation

m_cached_init_sval_at_main

const svalue* ana::region::m_cached_init_sval_at_main

mutableprivateinherited

m_cached_offset

region_offset* ana::region::m_cached_offset

mutableprivateinherited

m_complexity

complexity ana::symbol::m_complexity

privateinherited

Referenced by ana::symbol::get_complexity().

m_id

id_t ana::symbol::m_id

privateinherited

Referenced by ana::symbol::get_id().

m_parent

const region* ana::region::m_parent

privateinherited

Referenced by ana::region::get_parent_region().

m_type

tree ana::region::m_type

privateinherited

Referenced by ana::region::get_type().

---

The documentation for this class was generated from the following file:

• region.h