cprover
|
#include <taint_parser.h>
Classes | |
class | rulet |
Public Types | |
typedef std::list< rulet > | rulest |
Public Member Functions | |
void | output (std::ostream &) const |
Public Attributes | |
rulest | rules |
Definition at line 22 of file taint_parser.h.
typedef std::list<rulet> taint_parse_treet::rulest |
Definition at line 59 of file taint_parser.h.
void taint_parse_treet::output | ( | std::ostream & | out | ) | const |
Definition at line 150 of file taint_parser.cpp.
References rules.
Referenced by taint_analysist::operator()().
rulest taint_parse_treet::rules |
Definition at line 60 of file taint_parser.h.
Referenced by taint_analysist::instrument(), taint_analysist::operator()(), output(), and taint_parser().