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 &src,
21  std::set<irep_idt> &address_taken);
22 
24  const goto_programt &goto_program,
25  std::set<irep_idt> &address_taken);
26 
28  const goto_functionst &goto_functions,
29  std::set<irep_idt> &address_taken);
30 
31 // computes the functions that are (potentially) called
33  const goto_functionst &,
34  std::set<irep_idt> &functions);
35 
37  const goto_modelt &,
38  std::set<irep_idt> &functions);
39 
40 #endif // CPROVER_GOTO_PROGRAMS_COMPUTE_CALLED_FUNCTIONS_H
Symbol Table + CFG.
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
Base class for all expressions.
Definition: expr.h:46
void compute_address_taken_functions(const exprt &src, std::set< irep_idt > &address_taken)
get all functions whose address is taken
void compute_called_functions(const goto_functionst &, std::set< irep_idt > &functions)
computes the functions that are (potentially) called