compute_called_functions.h File Reference
Query Called Functions. More...
Include dependency graph for compute_called_functions.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| void | compute_address_taken_functions (const exprt &, std::unordered_set< irep_idt > &) |
| get all functions whose address is taken More... | |
| void | compute_address_taken_functions (const goto_programt &, std::unordered_set< irep_idt > &) |
| get all functions whose address is taken More... | |
| void | compute_address_taken_functions (const goto_functionst &, std::unordered_set< irep_idt > &) |
| get all functions whose address is taken More... | |
| std::unordered_set< irep_idt > | compute_called_functions (const goto_functionst &) |
| computes the functions that are (potentially) called More... | |
| std::unordered_set< irep_idt > | compute_called_functions (const goto_modelt &) |
| computes the functions that are (potentially) called More... | |
Detailed Description
Query Called Functions.
Definition in file compute_called_functions.h.
Function Documentation
◆ compute_address_taken_functions() [1/3]
| 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/3]
| 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() [3/3]
| 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.
