compute_called_functions.h File Reference
Query Called Functions. More...
#include "goto_model.h"
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]
get all functions whose address is taken
Definition at line 17 of file compute_called_functions.cpp.
◆ compute_address_taken_functions() [2/3]
| void compute_address_taken_functions | ( | const goto_programt & | , |
| std::unordered_set< irep_idt > & | |||
| ) |
get all functions whose address is taken
Definition at line 53 of file compute_called_functions.cpp.
◆ compute_address_taken_functions() [3/3]
| void compute_address_taken_functions | ( | const goto_functionst & | , |
| std::unordered_set< irep_idt > & | |||
| ) |
get all functions whose address is taken
Definition at line 65 of file compute_called_functions.cpp.
◆ compute_called_functions() [1/2]
| std::unordered_set<irep_idt> compute_called_functions | ( | const goto_functionst & | ) |
computes the functions that are (potentially) called
Definition at line 84 of file compute_called_functions.cpp.
◆ compute_called_functions() [2/2]
| std::unordered_set<irep_idt> compute_called_functions | ( | const goto_modelt & | ) |
computes the functions that are (potentially) called
Definition at line 127 of file compute_called_functions.cpp.
