|
CBMC
|
#include "taint_parser.h"#include <ostream>#include <util/string2int.h>#include <json/json_parser.h>
Include dependency graph for taint_parser.cpp:Go to the source code of this file.
Functions | |
| bool | taint_parser (const std::string &file_name, taint_parse_treet &dest, message_handlert &message_handler) |
Taint Parser
Definition in file taint_parser.cpp.
| bool taint_parser | ( | const std::string & | file_name, |
| taint_parse_treet & | dest, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 20 of file taint_parser.cpp.