cprover
|
Query Called Functions. More...
#include "goto_model.h"
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... | |
Query Called Functions.
Definition in file compute_called_functions.h.
get all functions whose address is taken
Definition at line 17 of file compute_called_functions.cpp.
void compute_address_taken_functions | ( | const goto_functionst & | , |
std::unordered_set< irep_idt > & | |||
) |
get all functions whose address is taken
Definition at line 66 of file compute_called_functions.cpp.
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.
std::unordered_set<irep_idt> compute_called_functions | ( | const goto_functionst & | ) |
computes the functions that are (potentially) called
Definition at line 85 of file compute_called_functions.cpp.
std::unordered_set<irep_idt> compute_called_functions | ( | const goto_modelt & | ) |
computes the functions that are (potentially) called
Definition at line 128 of file compute_called_functions.cpp.