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
enum taint_parse_treet::rulet::@2 where
void output(std::ostream &) const
std::list< rulet > rulest
enum taint_parse_treet::rulet::@1 kind
bool taint_parser(const std::string &taint_file_name, taint_parse_treet &, message_handlert &)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool is_sanitizer() const
unsigned parameter_number
irep_idt function_identifier