CBMC
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 <string>
16 
17 #include <util/optional.h>
18 
19 class goto_modelt;
20 class message_handlert;
21 
22 bool taint_analysis(
23  goto_modelt &,
24  const std::string &taint_file_name,
25  message_handlert &,
26  bool show_full,
27  const optionalt<std::string> &json_output_file_name = {});
28 
29 #endif // CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
optional.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:418
goto_modelt
Definition: goto_model.h:25
message_handlert
Definition: message.h:27
optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35