uncaught_exceptions_analysis.cpp File Reference

Over-approximating uncaught exceptions analysis. More...

#include "uncaught_exceptions_analysis.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 222 of file uncaught_exceptions_analysis.cpp.