uncaught_exceptions_analysis.cpp File Reference

Over-approximating uncaught exceptions analysis. More...

#include "uncaught_exceptions_analysis.h"
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <goto-programs/goto_functions.h>

Include dependency graph for uncaught_exceptions_analysis.cpp:

Go to the source code of this file.

Functions
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. More...

Detailed Description

Over-approximating uncaught exceptions analysis.

Definition in file uncaught_exceptions_analysis.cpp.

Function Documentation

uncaught_exceptions()

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.

Definition at line 253 of file uncaught_exceptions_analysis.cpp.