CBMC
|
Go to the source code of this file.
Classes | |
class | taint_parse_treet |
class | taint_parse_treet::rulet |
Functions | |
bool | taint_parser (const std::string &taint_file_name, taint_parse_treet &, message_handlert &) |
Taint Parser.
Definition in file taint_parser.h.
bool taint_parser | ( | const std::string & | taint_file_name, |
taint_parse_treet & | dest, | ||
message_handlert & | message_handler | ||
) |
Definition at line 20 of file taint_parser.cpp.