#include "taint_analysis.h"#include <iostream>#include <fstream>#include <util/invariant.h>#include <util/json.h>#include <util/message.h>#include <util/pointer_expr.h>#include <util/prefix.h>#include <util/simplify_expr.h>#include <util/std_code.h>#include <util/string_constant.h>#include <goto-programs/class_hierarchy.h>#include <analyses/custom_bitvector_analysis.h>#include "taint_parser.h"
Include dependency graph for taint_analysis.cpp:Go to the source code of this file.
Classes | |
| class | taint_analysist |
Functions | |
| bool | taint_analysis (goto_modelt &goto_model, const std::string &taint_file_name, message_handlert &message_handler, bool show_full, const optionalt< std::string > &json_file_name) |
Detailed Description
Taint Analysis
Definition in file taint_analysis.cpp.
Function Documentation
◆ taint_analysis()
| bool taint_analysis | ( | goto_modelt & | goto_model, |
| const std::string & | taint_file_name, | ||
| message_handlert & | message_handler, | ||
| bool | show_full, | ||
| const optionalt< std::string > & | json_file_name | ||
| ) |
Definition at line 418 of file taint_analysis.cpp.
