|
cprover
|
#include <string>#include <list>#include <iosfwd>#include <util/message.h>#include <util/irep.h>
Include dependency graph for taint_parser.h:
This graph shows which files directly or indirectly include this file: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.