CBMC
Loading...
Searching...
No Matches
taint_analysis.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Taint Analysis
4
5Author: 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 <optional>
16#include <string>
17
18class goto_modelt;
19class message_handlert;
20
21bool taint_analysis(
22 goto_modelt &,
23 const std::string &taint_file_name,
24 message_handlert &,
25 bool show_full,
26 const std::optional<std::string> &json_output_file_name = {});
27
28#endif // CPROVER_GOTO_ANALYZER_TAINT_ANALYSIS_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
goto_modelt
Definition goto_model.h:27
message_handlert
Definition message.h:27
taint_analysis
bool taint_analysis(goto_modelt &, const std::string &taint_file_name, message_handlert &, bool show_full, const std::optional< std::string > &json_output_file_name={})
Definition taint_analysis.cpp:419