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 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_idt > | compute_address_taken_functions (const goto_functionst &goto_functions) |
| get all functions whose address is taken More... | |
| std::unordered_set< irep_idt > | compute_called_functions (const goto_functionst &goto_functions) |
| computes the functions that are (potentially) called More... | |
| std::unordered_set< irep_idt > | compute_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]
| 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()
get all functions in the expression
Definition at line 43 of file compute_called_functions.cpp.
