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 412 of file taint_analysis.cpp.
References goto_modelt::goto_functions, message_handler, goto_modelt::symbol_table, and taint_analysis().
Referenced by janalyzer_parse_optionst::perform_analysis(), goto_analyzer_parse_optionst::perform_analysis(), and taint_analysis().