cprover
uninitialized.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Detection for Uninitialized Local Variables
4
5
Author: Daniel Kroening
6
7
Date: January 2010
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
15
#define CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
16
17
#include <iosfwd>
18
19
#include <
goto-programs/goto_functions.h
>
20
21
void
add_uninitialized_locals_assertions
(
22
class
symbol_tablet
&symbol_table,
23
goto_functionst
&goto_functions);
24
25
void
show_uninitialized
(
26
const
class
symbol_tablet
&symbol_table,
27
const
goto_functionst
&goto_functions,
28
std::ostream &out);
29
30
#endif // CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
goto_functions.h
Goto Programs with Functions.
add_uninitialized_locals_assertions
void add_uninitialized_locals_assertions(class symbol_tablet &symbol_table, goto_functionst &goto_functions)
Definition:
uninitialized.cpp:197
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
goto_functionst
Definition:
goto_functions.h:20
show_uninitialized
void show_uninitialized(const class symbol_tablet &symbol_table, const goto_functionst &goto_functions, std::ostream &out)
Definition:
uninitialized.cpp:209
goto-instrument
uninitialized.h
Generated by
1.8.12