CBMC
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
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 optionalt< 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 optionalt< std::string > &  json_file_name 
)

Definition at line 223 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: