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_model.h
>
20
21
void
add_uninitialized_locals_assertions
(
goto_modelt
&);
22
23
void
show_uninitialized
(
24
const
goto_modelt
&,
25
std::ostream &out);
26
27
#endif // CPROVER_GOTO_INSTRUMENT_UNINITIALIZED_H
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition:
goto_model.h:26
add_uninitialized_locals_assertions
void add_uninitialized_locals_assertions(goto_modelt &)
Definition:
uninitialized.cpp:199
show_uninitialized
void show_uninitialized(const goto_modelt &, std::ostream &out)
Definition:
uninitialized.cpp:209
goto-instrument
uninitialized.h
Generated by
1.8.20