75 impl_region_model_context (exploded_graph &eg,  in impl_region_model_context()
197   impl_sm_context (exploded_graph &eg,  in impl_sm_context()
342   exploded_graph &m_eg;
358   leak_stmt_finder (const exploded_graph &eg, tree var)  in leak_stmt_finder()
435   const exploded_graph &m_eg;
1002 exploded_node::on_stmt (exploded_graph &eg,  in on_stmt()
1142 exploded_node::on_edge (exploded_graph &eg,  in on_edge()
1226 exploded_node::on_longjmp (exploded_graph &eg,  in on_longjmp()
1338 exploded_node::detect_leaks (exploded_graph &eg) const  in detect_leaks()
1670 worklist::worklist (const exploded_graph &eg, const analysis_plan &plan)  in worklist()
1809 exploded_graph::exploded_graph (const supergraph &sg, logger *logger,  in exploded_graph()  function in ana::exploded_graph
1834 exploded_graph::~exploded_graph ()  in ~exploded_graph()
1856 exploded_graph::add_function_entry (function *fun)  in add_function_entry()
1880 exploded_graph::get_or_create_node (const program_point &point,  in get_or_create_node()
2060 exploded_graph::add_edge (exploded_node *src, exploded_node *dest,  in add_edge()
2075 exploded_graph::
2090 exploded_graph::get_or_create_per_call_string_data (const call_string &cs)  in get_or_create_per_call_string_data()
2105 exploded_graph::get_or_create_per_function_data (function *fun)  in get_or_create_per_function_data()
2119 exploded_graph::get_per_function_data (function *fun) const  in get_per_function_data()
2173 exploded_graph::build_initial_worklist ()  in build_initial_worklist()
2203 exploded_graph::process_worklist ()  in process_worklist()
2414 exploded_graph::process_node (exploded_node *node)  in process_node()
2620 exploded_graph::get_or_create_function_stats (function *fn)  in get_or_create_function_stats()
2645 exploded_graph::print_bar_charts (pretty_printer *pp) const  in print_bar_charts()
2734 exploded_graph::log_stats () const  in log_stats()
2765 exploded_graph::dump_stats (FILE *out) const  in dump_stats()
2790 exploded_graph::dump_states_for_supernode (FILE *out,  in dump_states_for_supernode()
3278 exploded_graph::dump_exploded_nodes () const  in dump_exploded_nodes()
3503     dump_args_t (const exploded_graph *eg) : m_eg (eg) {}  in dump_args_t()
3504     const exploded_graph *m_eg;
3563 	const exploded_graph::call_string_data_map_t *per_cs_data  in dump_dot()
3565 	for (exploded_graph::call_string_data_map_t::iterator iter  in dump_dot()
3716 		const exploded_graph *eg)  in dump_callgraph()
3732 dump_callgraph (const supergraph &sg, const exploded_graph *eg)  in dump_callgraph()
3753   exploded_graph_annotator (const exploded_graph &eg)  in exploded_graph_annotator()
3961   const exploded_graph &m_eg;
4022   exploded_graph eg (sg, logger, ext_state, purge_map, plan,  in impl_run_checkers()
4036       exploded_graph::dump_args_t args (eg);  in impl_run_checkers()