cprover
compute_called_functions.cpp File Reference

Query Called Functions. More...

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 More...
 
void compute_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken)
 get all functions in the expression More...
 
void compute_address_taken_functions (const goto_programt &goto_program, std::unordered_set< irep_idt > &address_taken)
 get all functions whose address is taken More...
 
void compute_address_taken_functions (const goto_functionst &goto_functions, std::unordered_set< irep_idt > &address_taken)
 get all functions whose address is taken More...
 
std::unordered_set< irep_idtcompute_address_taken_functions (const goto_functionst &goto_functions)
 get all functions whose address is taken More...
 
std::unordered_set< irep_idtcompute_called_functions (const goto_functionst &goto_functions)
 computes the functions that are (potentially) called More...
 
std::unordered_set< irep_idtcompute_called_functions (const goto_modelt &goto_model)
 computes the functions that are (potentially) called More...
 

Detailed Description

Query Called Functions.

Definition in file compute_called_functions.cpp.

Function Documentation

◆ compute_address_taken_functions() [1/4]

◆ compute_address_taken_functions() [2/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 49 of file compute_called_functions.cpp.

References compute_address_taken_functions(), forall_goto_program_instructions, and goto_program.

◆ 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 61 of file compute_called_functions.cpp.

References compute_address_taken_functions(), and forall_goto_functions.

◆ compute_address_taken_functions() [4/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 71 of file compute_called_functions.cpp.

References compute_address_taken_functions().

◆ compute_called_functions() [1/2]

◆ 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 123 of file compute_called_functions.cpp.

References compute_called_functions(), and goto_modelt::goto_functions.

◆ compute_functions()

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

get all functions in the expression

Definition at line 36 of file compute_called_functions.cpp.

References forall_operands, irept::id(), to_symbol_expr(), and exprt::type().

Referenced by compute_called_functions().