12 #ifndef CPROVER_GOTO_ANALYZER_TAINT_PARSER_H
13 #define CPROVER_GOTO_ANALYZER_TAINT_PARSER_H
52 void output(std::ostream &)
const;
64 void output(std::ostream &)
const;
68 const std::string &taint_file_name,
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool is_sanitizer() const
enum taint_parse_treet::rulet::@2 kind
enum taint_parse_treet::rulet::@3 where
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 &)