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:

• goto-analyzer/taint_parser.h
• goto-analyzer/taint_parser.cpp