cprover
Loading...
Searching...
No Matches
taint_parse_treet::rulet Class Reference

#include <taint_parser.h>

Collaboration diagram for taint_parse_treet::rulet:

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

Detailed Description

Definition at line 26 of file taint_parser.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum
Enumerator
THIS 
PARAMETER 
RETURN_VALUE 

Definition at line 30 of file taint_parser.h.

◆ anonymous enum

anonymous enum
Enumerator
SOURCE 
SINK 
SANITIZER 

Definition at line 29 of file taint_parser.h.

Constructor & Destructor Documentation

◆ rulet()

taint_parse_treet::rulet::rulet ( )
inline

Definition at line 55 of file taint_parser.h.

Member Function Documentation

◆ is_sanitizer()

bool taint_parse_treet::rulet::is_sanitizer ( ) const
inline

Definition at line 42 of file taint_parser.h.

◆ is_sink()

bool taint_parse_treet::rulet::is_sink ( ) const
inline

Definition at line 37 of file taint_parser.h.

◆ is_source()

bool taint_parse_treet::rulet::is_source ( ) const
inline

Definition at line 32 of file taint_parser.h.

◆ output()

void taint_parse_treet::rulet::output ( std::ostream & out) const

Definition at line 121 of file taint_parser.cpp.

Member Data Documentation

◆ function_identifier

irep_idt taint_parse_treet::rulet::function_identifier

Definition at line 48 of file taint_parser.h.

◆ id

irep_idt taint_parse_treet::rulet::id

Definition at line 47 of file taint_parser.h.

◆ []

enum { ... } taint_parse_treet::rulet::kind

◆ message

std::string taint_parse_treet::rulet::message

Definition at line 51 of file taint_parser.h.

◆ parameter_number

unsigned taint_parse_treet::rulet::parameter_number

Definition at line 50 of file taint_parser.h.

◆ taint

irep_idt taint_parse_treet::rulet::taint

Definition at line 49 of file taint_parser.h.

◆ []

enum { ... } taint_parse_treet::rulet::where

The documentation for this class was generated from the following files: