compute_called_functions.h File Reference

#include <unordered_set>
#include <util/irep.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_idt >	compute_called_functions (const goto_functionst &)
	computes the functions that are (potentially) called More...
std::unordered_set< irep_idt >	compute_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 20 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 69 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 56 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 88 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 129 of file compute_called_functions.cpp.