12#ifndef CPROVER_GOTO_ANALYZER_TAINT_PARSER_H
13#define CPROVER_GOTO_ANALYZER_TAINT_PARSER_H
53 void output(std::ostream &)
const;
65 void output(std::ostream &)
const;
69 const std::string &taint_file_name,
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
enum taint_parse_treet::rulet::@266372352306211172241013055243307244151213274033 where
bool is_sanitizer() const
enum taint_parse_treet::rulet::@352225073340331062300151275042001006240003257334 kind
void output(std::ostream &) const
irep_idt function_identifier
unsigned parameter_number
void output(std::ostream &) const
std::list< rulet > rulest
bool taint_parser(const std::string &taint_file_name, taint_parse_treet &, message_handlert &)