taint_analysist Class Reference

Collaboration diagram for taint_analysist:

Public Member Functions
	taint_analysist (message_handlert &message_handler)
bool	operator() (const std::string &taint_file_name, const symbol_tablet &, goto_functionst &, bool show_full, const std::optional< std::string > &json_file_name)

Protected Member Functions
void	instrument (const namespacet &, goto_functionst &)
void	instrument (const namespacet &, goto_functionst::goto_functiont &)

Protected Attributes
messaget	log
taint_parse_treet	taint
class_hierarchyt	class_hierarchy

Detailed Description

Definition at line 32 of file taint_analysis.cpp.

Constructor & Destructor Documentation

taint_analysist()

taint_analysist::taint_analysist ( message_handlert &  message_handler )

inlineexplicit

Definition at line 35 of file taint_analysis.cpp.

Member Function Documentation

instrument() [1/2]

void taint_analysist::instrument ( const namespacet &  ns, goto_functionst &  goto_functions  )

protected

Definition at line 56 of file taint_analysis.cpp.

instrument() [2/2]

void taint_analysist::instrument ( const namespacet &  ns, goto_functionst::goto_functiont &  goto_function  )

protected

Definition at line 64 of file taint_analysis.cpp.

operator()()

bool taint_analysist::operator()	(	const std::string &	taint_file_name,
		const symbol_tablet &	symbol_table,
		goto_functionst &	goto_functions,
		bool	show_full,
		const std::optional< std::string > &	json_file_name
	)

Definition at line 224 of file taint_analysis.cpp.

Member Data Documentation

class_hierarchy

class_hierarchyt taint_analysist::class_hierarchy

protected

Definition at line 50 of file taint_analysis.cpp.

log

messaget taint_analysist::log

protected

Definition at line 48 of file taint_analysis.cpp.

taint

taint_parse_treet taint_analysist::taint

protected

Definition at line 49 of file taint_analysis.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/goto-analyzer/taint_analysis.cpp