Loading...

Searching...

No Matches

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.

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 252 of file uncaught_exceptions_analysis.cpp.