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,
72 #endif // CPROVER_GOTO_ANALYZER_TAINT_PARSER_H void output(std::ostream &) const
void output(std::ostream &) const
std::list< rulet > rulest
bool taint_parser(const std::string &taint_file_name, taint_parse_treet &, message_handlert &)
enum taint_parse_treet::rulet::@0 kind
bool is_sanitizer() const
unsigned parameter_number
enum taint_parse_treet::rulet::@1 where
irep_idt function_identifier