infinite_loop_checking_context Class Reference

Inheritance diagram for infinite_loop_checking_context:

Collaboration diagram for infinite_loop_checking_context:

Public Member Functions
	infinite_loop_checking_context ()
bool	checking_for_infinite_loop_p () const override
void	on_unusable_in_infinite_loop () override
bool	unusable_p () const
bool	warn (std::unique_ptr< pending_diagnostic >, const stmt_finder *) override
void	add_note (std::unique_ptr< pending_note >) override
void	add_event (std::unique_ptr< checker_event >) override
void	on_svalue_leak (const svalue *) override
void	on_liveness_change (const svalue_set &, const region_model *) override
logger *	get_logger () override
void	on_condition (const svalue *lhs, enum tree_code op, const svalue *rhs) override
void	on_bounded_ranges (const svalue &, const bounded_ranges &) override
void	on_pop_frame (const frame_region *) override
void	on_unknown_change (const svalue *sval, bool is_mutable) override
void	on_phi (const gphi *phi, tree rhs) override
void	on_unexpected_tree_code (tree, const dump_location_t &) override
void	on_escaped_function (tree) override
uncertainty_t *	get_uncertainty () override
void	purge_state_involving (const svalue *sval) override
void	bifurcate (std::unique_ptr< custom_edge_info > info) override
void	terminate_path () override
const extrinsic_state *	get_ext_state () const override
bool	get_state_map_by_name (const char *, sm_state_map **, const state_machine **, unsigned *, std::unique_ptr< sm_context > *) override
const gimple *	get_stmt () const override
const exploded_graph *	get_eg () const override
const program_state *	get_state () const override
void	maybe_did_work () override
bool	get_fd_map (sm_state_map **out_smap, const state_machine **out_sm, unsigned *out_sm_idx, std::unique_ptr< sm_context > *out_sm_context)
bool	get_malloc_map (sm_state_map **out_smap, const state_machine **out_sm, unsigned *out_sm_idx)
bool	get_taint_map (sm_state_map **out_smap, const state_machine **out_sm, unsigned *out_sm_idx)
bool	possibly_tainted_p (const svalue *sval)

Private Attributes
bool	m_unusable

Detailed Description

Subclass of region_model_context that rejects conditional branches that
aren't known for definite.   

Constructor & Destructor Documentation

infinite_loop_checking_context()

infinite_loop_checking_context::infinite_loop_checking_context ( )

inline

References false, and m_unusable.

Member Function Documentation

add_event()

void ana::noop_region_model_context::add_event ( std::unique_ptr< checker_event > )

overridevirtualinherited

Implements ana::region_model_context.

add_note()

void ana::noop_region_model_context::add_note ( std::unique_ptr< pending_note > )

overridevirtualinherited

Implements ana::region_model_context.

bifurcate()

void ana::noop_region_model_context::bifurcate ( std::unique_ptr< custom_edge_info > info )

overridevirtualinherited

Implements ana::region_model_context.

checking_for_infinite_loop_p()

bool infinite_loop_checking_context::checking_for_infinite_loop_p ( ) const

inlineoverridevirtual

Implements ana::region_model_context.

get_eg()

const exploded_graph * ana::noop_region_model_context::get_eg ( ) const

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_ext_state()

const extrinsic_state * ana::noop_region_model_context::get_ext_state ( ) const

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_fd_map()

bool ana::region_model_context::get_fd_map ( sm_state_map ** out_smap, const state_machine ** out_sm, unsigned * out_sm_idx, std::unique_ptr< sm_context > * out_sm_context )

inlineinherited

References get_state_map_by_name().

get_logger()

logger * ana::noop_region_model_context::get_logger ( )

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_malloc_map()

bool ana::region_model_context::get_malloc_map ( sm_state_map ** out_smap, const state_machine ** out_sm, unsigned * out_sm_idx )

inlineinherited

References get_state_map_by_name().

get_state()

const program_state * ana::noop_region_model_context::get_state ( ) const

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_state_map_by_name()

bool ana::noop_region_model_context::get_state_map_by_name ( const char * , sm_state_map ** , const state_machine ** , unsigned * , std::unique_ptr< sm_context > *  )

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_stmt()

const gimple * ana::noop_region_model_context::get_stmt ( ) const

inlineoverridevirtualinherited

Implements ana::region_model_context.

get_taint_map()

bool ana::region_model_context::get_taint_map ( sm_state_map ** out_smap, const state_machine ** out_sm, unsigned * out_sm_idx )

inlineinherited

References get_state_map_by_name().

get_uncertainty()

uncertainty_t * ana::noop_region_model_context::get_uncertainty ( )

inlineoverridevirtualinherited

Implements ana::region_model_context.

maybe_did_work()

void ana::noop_region_model_context::maybe_did_work ( )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_bounded_ranges()

void ana::noop_region_model_context::on_bounded_ranges ( const svalue & , const bounded_ranges &  )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_condition()

void ana::noop_region_model_context::on_condition ( const svalue * lhs, enum tree_code op, const svalue * rhs )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_escaped_function()

void ana::noop_region_model_context::on_escaped_function ( tree )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_liveness_change()

void ana::noop_region_model_context::on_liveness_change ( const svalue_set & , const region_model *  )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_phi()

void ana::noop_region_model_context::on_phi ( const gphi * phi, tree rhs )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_pop_frame()

void ana::noop_region_model_context::on_pop_frame ( const frame_region * )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_svalue_leak()

void ana::noop_region_model_context::on_svalue_leak ( const svalue * )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_unexpected_tree_code()

void ana::noop_region_model_context::on_unexpected_tree_code ( tree , const dump_location_t &  )

inlineoverridevirtualinherited

Implements ana::region_model_context.

Reimplemented in ana::tentative_region_model_context.

on_unknown_change()

void ana::noop_region_model_context::on_unknown_change ( const svalue * sval, bool is_mutable )

inlineoverridevirtualinherited

Implements ana::region_model_context.

on_unusable_in_infinite_loop()

void infinite_loop_checking_context::on_unusable_in_infinite_loop ( )

inlineoverridevirtual

Implements ana::region_model_context.

References m_unusable.

possibly_tainted_p()

bool ana::region_model_context::possibly_tainted_p ( const svalue * sval )

inherited

purge_state_involving()

void ana::noop_region_model_context::purge_state_involving ( const svalue * sval )

inlineoverridevirtualinherited

Implements ana::region_model_context.

terminate_path()

void ana::noop_region_model_context::terminate_path ( )

overridevirtualinherited

Implements ana::region_model_context.

unusable_p()

bool infinite_loop_checking_context::unusable_p ( ) const

inline

References m_unusable.

Referenced by starts_infinite_loop_p().

warn()

bool ana::noop_region_model_context::warn ( std::unique_ptr< pending_diagnostic > , const stmt_finder *  )

inlineoverridevirtualinherited

Implements ana::region_model_context.

Field Documentation

m_unusable

bool infinite_loop_checking_context::m_unusable

private

Referenced by infinite_loop_checking_context(), on_unusable_in_infinite_loop(), and unusable_p().

---

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

• infinite-loop.cc