CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
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
SOURCE 
SINK 
SANITIZER 

Definition at line 29 of file taint_parser.h.

◆ anonymous enum

anonymous enum
Enumerator
THIS 
PARAMETER 
RETURN_VALUE 

Definition at line 30 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: