CBMC
Loading...
Searching...
No Matches
Functions
compute_called_functions.cpp File Reference

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

  get all functions whose address is taken
 
void  compute_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken)
  get all functions in the expression
 
  get all functions whose address is taken
 
  get all functions whose address is taken
 
std::unordered_set< irep_idtcompute_address_taken_functions (const goto_functionst &goto_functions)
  get all functions whose address is taken
 
std::unordered_set< irep_idtcompute_called_functions (const goto_functionst &goto_functions)
  computes the functions that are (potentially) called
 
std::unordered_set< irep_idtcompute_called_functions (const goto_modelt &goto_model)
  computes the functions that are (potentially) called
 

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 exprtsrc,
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_functionstgoto_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_functionstgoto_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_programtgoto_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_functionstgoto_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_modeltgoto_model )

computes the functions that are (potentially) called

Definition at line 129 of file compute_called_functions.cpp.

◆  compute_functions()

void compute_functions ( const exprtsrc,
std::unordered_set< irep_idt > &  address_taken 
)

get all functions in the expression

Definition at line 43 of file compute_called_functions.cpp.

AltStyle によって変換されたページ (->オリジナル) /