Loading...

Searching...

No Matches

uncaught_exceptions_analysis.h File Reference

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

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

Functions

Applies the uncaught exceptions analysis and outputs the result.

Over-approximative uncaught exceptions analysis.

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.