Loading...

Searching...

No Matches

compute_called_functions.cpp File Reference

Query Called Functions. More...

#include "compute_called_functions.h"
#include <util/pointer_expr.h>
#include <util/std_expr.h>
#include "goto_model.h"

+ Include dependency graph for compute_called_functions.cpp:

[フレーム]

Go to the source code of this file.

Functions

void compute_address_taken_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken)

get all functions whose address is taken

void compute_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken)

get all functions in the expression

void compute_address_taken_functions (const goto_programt &goto_program, std::unordered_set< irep_idt > &address_taken)

get all functions whose address is taken

void compute_address_taken_functions (const goto_functionst &goto_functions, std::unordered_set< irep_idt > &address_taken)

get all functions whose address is taken

std::unordered_set< irep_idt > compute_address_taken_functions (const goto_functionst &goto_functions)

get all functions whose address is taken

std::unordered_set< irep_idt > compute_called_functions (const goto_functionst &goto_functions)

computes the functions that are (potentially) called

std::unordered_set< irep_idt > compute_called_functions (const goto_modelt &goto_model)

computes the functions that are (potentially) called

Detailed Description

Query Called Functions.

Definition in file compute_called_functions.cpp.

Function Documentation

◆ compute_address_taken_functions() [1/4]

void compute_address_taken_functions ( const exprt & src,

std::unordered_set< irep_idt > & address_taken

)

get all functions whose address is taken

Definition at line 20 of file compute_called_functions.cpp.

◆ compute_address_taken_functions() [2/4]

std::unordered_set< irep_idt > compute_address_taken_functions ( const goto_functionst & goto_functions )

get all functions whose address is taken

Definition at line 79 of file compute_called_functions.cpp.

◆ compute_address_taken_functions() [3/4]

void compute_address_taken_functions ( const goto_functionst & goto_functions,

std::unordered_set< irep_idt > & address_taken

)

get all functions whose address is taken

Definition at line 69 of file compute_called_functions.cpp.

◆ compute_address_taken_functions() [4/4]

void compute_address_taken_functions ( const goto_programt & goto_program,

std::unordered_set< irep_idt > & address_taken

)

get all functions whose address is taken

Definition at line 56 of file compute_called_functions.cpp.

◆ compute_called_functions() [1/2]

std::unordered_set< irep_idt > compute_called_functions ( const goto_functionst & goto_functions )

computes the functions that are (potentially) called

Definition at line 88 of file compute_called_functions.cpp.

◆ compute_called_functions() [2/2]

std::unordered_set< irep_idt > compute_called_functions ( const goto_modelt & goto_model )

computes the functions that are (potentially) called

Definition at line 129 of file compute_called_functions.cpp.

◆ compute_functions()

void compute_functions ( const exprt & src,

std::unordered_set< irep_idt > & address_taken

)

get all functions in the expression

Definition at line 43 of file compute_called_functions.cpp.