cprover
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_idtcompute_called_functions (const goto_functionst &)
 computes the functions that are (potentially) called More...
 
std::unordered_set< irep_idtcompute_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 ,
std::unordered_set< irep_idt > &   
)

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_functionst ,
std::unordered_set< irep_idt > &   
)

get all functions whose address is taken

Definition at line 66 of file compute_called_functions.cpp.

◆ compute_address_taken_functions() [3/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_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 85 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 128 of file compute_called_functions.cpp.