cprover
|
Taint Analysis. More...
#include "taint_analysis.h"
#include <iostream>
#include <fstream>
#include <util/prefix.h>
#include <util/simplify_expr.h>
#include <util/json.h>
#include <ansi-c/string_constant.h>
#include <goto-programs/class_hierarchy.h>
#include <analyses/custom_bitvector_analysis.h>
#include "taint_parser.h"
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 std::string &json_file_name) |
Taint Analysis.
Definition in file taint_analysis.cpp.
bool taint_analysis | ( | goto_modelt & | goto_model, |
const std::string & | taint_file_name, | ||
message_handlert & | message_handler, | ||
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().