#include <taint_parser.h>
Definition at line 25 of file taint_parser.h.
◆ anonymous enum
◆ anonymous enum
Enumerator |
---|
THIS | |
PARAMETER | |
RETURN_VALUE | |
Definition at line 29 of file taint_parser.h.
◆ rulet()
taint_parse_treet::rulet::rulet |
( |
| ) |
|
|
inline |
◆ is_sanitizer()
bool taint_parse_treet::rulet::is_sanitizer |
( |
| ) |
const |
|
inline |
◆ is_sink()
bool taint_parse_treet::rulet::is_sink |
( |
| ) |
const |
|
inline |
◆ is_source()
bool taint_parse_treet::rulet::is_source |
( |
| ) |
const |
|
inline |
◆ output()
void taint_parse_treet::rulet::output |
( |
std::ostream & |
out | ) |
const |
Definition at line 125 of file taint_parser.cpp.
References function_identifier, kind, PARAMETER, parameter_number, RETURN_VALUE, SANITIZER, SINK, SOURCE, taint, THIS, and where.
◆ function_identifier
irep_idt taint_parse_treet::rulet::function_identifier |
◆ id
◆ kind
enum { ... } taint_parse_treet::rulet::kind |
◆ message
std::string taint_parse_treet::rulet::message |
◆ parameter_number
unsigned taint_parse_treet::rulet::parameter_number |
◆ taint
irep_idt taint_parse_treet::rulet::taint |
◆ where
enum { ... } taint_parse_treet::rulet::where |
The documentation for this class was generated from the following files: