cprover
compute_called_functions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Query Called Functions
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
14 
15 #include "goto_model.h"
16 
17 // compute the set of functions whose address is taken
18 
20  const exprt &,
21  std::unordered_set<irep_idt> &);
22 
24  const goto_programt &,
25  std::unordered_set<irep_idt> &);
26 
28  const goto_functionst &,
29  std::unordered_set<irep_idt> &);
30 
31 // computes the functions that are (potentially) called
32 std::unordered_set<irep_idt> compute_called_functions(const goto_functionst &);
33 std::unordered_set<irep_idt> compute_called_functions(const goto_modelt &);
34 
35 #endif // CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
goto_model.h
Symbol Table + CFG.
compute_address_taken_functions
void compute_address_taken_functions(const exprt &, std::unordered_set< irep_idt > &)
get all functions whose address is taken
Definition: compute_called_functions.cpp:17
exprt
Base class for all expressions.
Definition: expr.h:53
goto_modelt
Definition: goto_model.h:26
compute_called_functions
std::unordered_set< irep_idt > compute_called_functions(const goto_functionst &)
computes the functions that are (potentially) called
Definition: compute_called_functions.cpp:85
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:23
goto_programt
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:73