cprover
|
#include <taint_parser.h>
Public Types | |
enum | { SOURCE, SINK, SANITIZER } |
enum | { THIS, PARAMETER, RETURN_VALUE } |
Public Member Functions | |
bool | is_source () const |
bool | is_sink () const |
bool | is_sanitizer () const |
void | output (std::ostream &) const |
rulet () | |
Public Attributes | |
enum taint_parse_treet::rulet:: { ... } | kind |
enum taint_parse_treet::rulet:: { ... } | where |
irep_idt | id |
irep_idt | function_identifier |
irep_idt | taint |
unsigned | parameter_number |
std::string | message |
Definition at line 25 of file taint_parser.h.
anonymous enum |
Enumerator | |
---|---|
SOURCE | |
SINK | |
SANITIZER |
Definition at line 28 of file taint_parser.h.
anonymous enum |
Enumerator | |
---|---|
THIS | |
PARAMETER | |
RETURN_VALUE |
Definition at line 29 of file taint_parser.h.
|
inline |
Definition at line 54 of file taint_parser.h.
|
inline |
Definition at line 41 of file taint_parser.h.
References SANITIZER.
|
inline |
Definition at line 36 of file taint_parser.h.
References SINK.
|
inline |
Definition at line 31 of file taint_parser.h.
References SOURCE.
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.
irep_idt taint_parse_treet::rulet::function_identifier |
Definition at line 47 of file taint_parser.h.
Referenced by output(), and taint_parser().
irep_idt taint_parse_treet::rulet::id |
Definition at line 46 of file taint_parser.h.
Referenced by taint_parser().
enum { ... } taint_parse_treet::rulet::kind |
Referenced by output(), and taint_parser().
std::string taint_parse_treet::rulet::message |
Definition at line 50 of file taint_parser.h.
Referenced by taint_parser().
unsigned taint_parse_treet::rulet::parameter_number |
Definition at line 49 of file taint_parser.h.
Referenced by output(), and taint_parser().
irep_idt taint_parse_treet::rulet::taint |
Definition at line 48 of file taint_parser.h.
Referenced by output(), and taint_parser().
enum { ... } taint_parse_treet::rulet::where |
Referenced by output(), and taint_parser().