ana::call_details Class Reference

#include <call-details.h>

Collaboration diagram for ana::call_details:

Public Member Functions
	call_details (const gcall *call, region_model *model, region_model_context *ctxt)
	call_details (const call_details &cd, region_model_context *ctxt)
region_model *	get_model () const
region_model_manager *	get_manager () const
region_model_context *	get_ctxt () const
logger *	get_logger () const
uncertainty_t *	get_uncertainty () const
tree	get_lhs_type () const
const region *	get_lhs_region () const
bool	maybe_set_lhs (const svalue *result) const
void	set_any_lhs_with_defaults () const
unsigned	num_args () const
bool	arg_is_pointer_p (unsigned idx) const
bool	arg_is_size_p (unsigned idx) const
bool	arg_is_integral_p (unsigned idx) const
const gcall *	get_call_stmt () const
location_t	get_location () const
tree	get_arg_tree (unsigned idx) const
tree	get_arg_type (unsigned idx) const
const svalue *	get_arg_svalue (unsigned idx) const
const region *	deref_ptr_arg (unsigned idx) const
const char *	get_arg_string_literal (unsigned idx) const
tree	get_fndecl_for_call () const
void	dump_to_pp (pretty_printer *pp, bool simple) const
void	dump (bool simple) const
const svalue *	get_or_create_conjured_svalue (const region *) const
tree	lookup_function_attribute (const char *attr_name) const
void	check_for_null_terminated_string_arg (unsigned arg_idx) const
const svalue *	check_for_null_terminated_string_arg (unsigned arg_idx, bool include_terminator, const svalue **out_sval) const
void	complain_about_overlap (unsigned arg_idx_a, unsigned arg_idx_b, const svalue *num_bytes_read_sval) const

Private Attributes
const gcall *	m_call
region_model *	m_model
region_model_context *	m_ctxt
tree	m_lhs_type
const region *	m_lhs_region

Detailed Description

Helper class for handling calls to functions with known behavior.   

Constructor & Destructor Documentation

call_details() [1/2]

ana::call_details::call_details	(	const gcall *	call,
		region_model *	model,
		region_model_context *	ctxt )

call_details() [2/2]

ana::call_details::call_details	(	const call_details &	cd,
		region_model_context *	ctxt )

Member Function Documentation

arg_is_integral_p()

bool ana::call_details::arg_is_integral_p ( unsigned idx ) const

inline

References get_arg_type(), and INTEGRAL_TYPE_P.

arg_is_pointer_p()

bool ana::call_details::arg_is_pointer_p ( unsigned idx ) const

inline

References get_arg_type(), and POINTER_TYPE_P.

arg_is_size_p()

bool ana::call_details::arg_is_size_p

(

unsigned

idx

)

const

check_for_null_terminated_string_arg() [1/2]

void ana::call_details::check_for_null_terminated_string_arg

(

unsigned

arg_idx

)

const

check_for_null_terminated_string_arg() [2/2]

const svalue * ana::call_details::check_for_null_terminated_string_arg	(	unsigned	arg_idx,
		bool	include_terminator,
		const svalue **	out_sval ) const

complain_about_overlap()

void ana::call_details::complain_about_overlap	(	unsigned	arg_idx_a,
		unsigned	arg_idx_b,
		const svalue *	num_bytes_read_sval ) const

deref_ptr_arg()

const region * ana::call_details::deref_ptr_arg

(

unsigned

idx

)

const

dump()

void ana::call_details::dump

(

bool

simple

)

const

dump_to_pp()

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

get_arg_string_literal()

const char * ana::call_details::get_arg_string_literal

(

unsigned

idx

)

const

get_arg_svalue()

const svalue * ana::call_details::get_arg_svalue

(

unsigned

idx

)

const

get_arg_tree()

tree ana::call_details::get_arg_tree

(

unsigned

idx

)

const

get_arg_type()

tree ana::call_details::get_arg_type

(

unsigned

idx

)

const

Referenced by arg_is_integral_p(), and arg_is_pointer_p().

get_call_stmt()

const gcall * ana::call_details::get_call_stmt ( ) const

inline

References m_call.

Referenced by ana::call_summary_replay::get_call_stmt().

get_ctxt()

region_model_context * ana::call_details::get_ctxt ( ) const

inline

References m_ctxt.

Referenced by ana::call_summary_replay::get_ctxt().

get_fndecl_for_call()

tree ana::call_details::get_fndecl_for_call

(

)

const

get_lhs_region()

const region * ana::call_details::get_lhs_region ( ) const

inline

References m_lhs_region.

get_lhs_type()

tree ana::call_details::get_lhs_type ( ) const

inline

References m_lhs_type.

get_location()

location_t ana::call_details::get_location

(

)

const

get_logger()

logger * ana::call_details::get_logger

(

)

const

get_manager()

region_model_manager * ana::call_details::get_manager

(

)

const

Referenced by ana::call_summary_replay::get_manager().

get_model()

region_model * ana::call_details::get_model ( ) const

inline

References m_model.

Referenced by ana::call_summary_replay::get_caller_model().

get_or_create_conjured_svalue()

const svalue * ana::call_details::get_or_create_conjured_svalue

(

const region *

)

const

get_uncertainty()

uncertainty_t * ana::call_details::get_uncertainty

(

)

const

lookup_function_attribute()

tree ana::call_details::lookup_function_attribute

(

const char *

attr_name

)

const

maybe_set_lhs()

bool ana::call_details::maybe_set_lhs

(

const svalue *

result

)

const

num_args()

unsigned ana::call_details::num_args

(

)

const

set_any_lhs_with_defaults()

void ana::call_details::set_any_lhs_with_defaults

(

)

const

Field Documentation

m_call

const gcall* ana::call_details::m_call

private

Referenced by get_call_stmt().

m_ctxt

region_model_context* ana::call_details::m_ctxt

private

Referenced by get_ctxt().

m_lhs_region

const region* ana::call_details::m_lhs_region

private

Referenced by get_lhs_region().

m_lhs_type

tree ana::call_details::m_lhs_type

private

Referenced by get_lhs_type().

m_model

region_model* ana::call_details::m_model

private

Referenced by get_model().

---

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

• call-details.h