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
19
void
compute_address_taken_functions
(
20
const
exprt
&,
21
std::unordered_set<irep_idt> &);
22
23
void
compute_address_taken_functions
(
24
const
goto_programt
&,
25
std::unordered_set<irep_idt> &);
26
27
void
compute_address_taken_functions
(
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
goto-programs
compute_called_functions.h
Generated by
1.8.20