cprover
|
Taint Analysis. More...
Go to the source code of this file.
Functions | |
bool | taint_analysis (goto_modelt &, const std::string &taint_file_name, message_handlert &, bool show_full, const std::string &json_file_name) |
Taint Analysis.
Definition in file taint_analysis.h.
bool taint_analysis | ( | goto_modelt & | , |
const std::string & | taint_file_name, | ||
message_handlert & | , | ||
bool | show_full, | ||
const std::string & | json_file_name | ||
) |
Definition at line 407 of file taint_analysis.cpp.
References goto_modelt::goto_functions, messaget::set_message_handler(), goto_modelt::symbol_table, and taint_analysis().
Referenced by goto_analyzer_parse_optionst::doit(), and taint_analysis().