#include "uninitialized.h"#include <util/std_code.h>#include <util/symbol_table.h>#include <analyses/uninitialized_domain.h>
Include dependency graph for uninitialized.cpp:Go to the source code of this file.
Classes | |
| class | uninitializedt |
Functions | |
| void | add_uninitialized_locals_assertions (goto_modelt &goto_model) |
| void | show_uninitialized (const goto_modelt &goto_model, std::ostream &out) |
Detailed Description
Detection for Uninitialized Local Variables
Definition in file uninitialized.cpp.
Function Documentation
◆ add_uninitialized_locals_assertions()
| void add_uninitialized_locals_assertions | ( | goto_modelt & | goto_model | ) |
Definition at line 197 of file uninitialized.cpp.
◆ show_uninitialized()
| void show_uninitialized | ( | const goto_modelt & | goto_model, |
| std::ostream & | out | ||
| ) |
Definition at line 207 of file uninitialized.cpp.
