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

◆ compute_address_taken_functions() [2/3]

void compute_address_taken_functions ( const goto_programt goto_program,
std::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(), and forall_goto_program_instructions.

◆ compute_address_taken_functions() [3/3]

void compute_address_taken_functions ( const goto_functionst goto_functions,
std::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_called_functions() [1/2]

◆ compute_called_functions() [2/2]

void compute_called_functions ( const goto_modelt goto_model,
std::set< irep_idt > &  functions 
)

computes the functions that are (potentially) called

Definition at line 115 of file compute_called_functions.cpp.

References compute_called_functions(), and goto_modelt::goto_functions.

◆ compute_functions()

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

get all functions in the expression

Definition at line 36 of file compute_called_functions.cpp.

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

Referenced by compute_called_functions().