Over-approximative uncaught exceptions analysis. More...

#include <map>
#include <set>
#include <goto-programs/class_hierarchy.h>
#include <goto-programs/goto_program.h>

Include dependency graph for uncaught_exceptions_analysis.h:

This graph shows which files directly or indirectly include this file:

Classes
class	uncaught_exceptions_domaint

class	uncaught_exceptions_analysist
	computes in exceptions_map an overapproximation of the exceptions thrown by each method More...

Functions
void	uncaught_exceptions (const goto_functionst &, const namespacet &, std::map< irep_idt, std::set< irep_idt >> &)
	Applies the uncaught exceptions analysis and outputs the result. More...

Detailed Description

Over-approximative uncaught exceptions analysis.

Function Documentation

void uncaught_exceptions	(	const goto_functionst &	goto_functions,
		const namespacet &	ns,
		std::map< irep_idt, std::set< irep_idt >> &	exceptions_map
	)

Applies the uncaught exceptions analysis and outputs the result.