taint_analysis.cpp File Reference

Taint Analysis. More...

#include "taint_analysis.h"
#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 <fstream>
#include <iostream>

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 std::optional< 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 std::optional< std::string > &	json_file_name
	)

Definition at line 419 of file taint_analysis.cpp.