cprover
|
Public Member Functions | |
taint_analysist () | |
bool | operator() (const std::string &taint_file_name, const symbol_tablet &, goto_functionst &, bool show_full, const std::string &json_file_name) |
Protected Member Functions | |
void | instrument (const namespacet &, goto_functionst &) |
void | instrument (const namespacet &, goto_functionst::goto_functiont &) |
Protected Attributes | |
taint_parse_treet | taint |
class_hierarchyt | class_hierarchy |
Additional Inherited Members |
Definition at line 29 of file taint_analysis.cpp.
|
inline |
Definition at line 32 of file taint_analysis.cpp.
|
protected |
Definition at line 51 of file taint_analysis.cpp.
|
protected |
Definition at line 59 of file taint_analysis.cpp.
bool taint_analysist::operator() | ( | const std::string & | taint_file_name, |
const symbol_tablet & | symbol_table, | ||
goto_functionst & | goto_functions, | ||
bool | show_full, | ||
const std::string & | json_file_name | ||
) |
Definition at line 228 of file taint_analysis.cpp.
|
protected |
Definition at line 45 of file taint_analysis.cpp.
|
protected |
Definition at line 44 of file taint_analysis.cpp.