cprover
|
#include <string>
#include <list>
#include <iosfwd>
#include <util/message.h>
#include <util/irep.h>
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 & | , | ||
message_handlert & | |||
) |
Definition at line 20 of file taint_parser.cpp.
References jsont::array, messaget::eom(), messaget::error(), taint_parse_treet::rulet::function_identifier, taint_parse_treet::rulet::id, jsont::is_array(), json(), taint_parse_treet::rulet::kind, taint_parse_treet::rulet::message, taint_parse_treet::rulet::PARAMETER, taint_parse_treet::rulet::parameter_number, parse_json(), taint_parse_treet::rulet::RETURN_VALUE, taint_parse_treet::rules, safe_string2unsigned(), taint_parse_treet::rulet::SANITIZER, taint_parse_treet::rulet::SINK, taint_parse_treet::rulet::SOURCE, taint_parse_treet::rulet::taint, taint_parse_treet::rulet::THIS, and taint_parse_treet::rulet::where.
Referenced by taint_analysist::operator()().