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 
19 
20 bool taint_analysis(
21  goto_modelt &,
22  const std::string &taint_file_name,
24  bool show_full,
25  const std::string &json_file_name);
26 
27 #endif // CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
goto_model.h
goto_modelt
Definition: goto_model.h:24
namespace.h
taint_analysis
bool taint_analysis(goto_modelt &, const std::string &taint_file_name, message_handlert &, bool show_full, const std::string &json_file_name)
Definition: taint_analysis.cpp:414
message_handlert
Definition: message.h:24
message.h