cprover
taint_analysis.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Taint Analysis
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
13
#define CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
14
15
#include <
util/message.h
>
16
#include <
util/namespace.h
>
17
18
#include <
goto-programs/goto_model.h
>
19
20
bool
taint_analysis
(
21
goto_modelt
&,
22
const
std::string &taint_file_name,
23
message_handlert
&,
24
bool
show_full,
25
const
optionalt<std::string>
&json_output_file_name = {});
26
27
#endif // CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
taint_analysis
bool taint_analysis(goto_modelt &, const std::string &taint_file_name, message_handlert &, bool show_full, const optionalt< std::string > &json_output_file_name={})
Definition:
taint_analysis.cpp:416
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition:
goto_model.h:26
namespace.h
message_handlert
Definition:
message.h:28
optionalt
nonstd::optional< T > optionalt
Definition:
optional.h:35
message.h
goto-analyzer
taint_analysis.h
Generated by
1.8.20