TaintSourceRule class

TaintedVar(var, source, label) :- TaintSource(var, label).

Initializes taint from annotated source locations. TaintSource facts are provided as input (EDB) marking where untrusted data enters the program.

Inheritance

• Object
• DatalogRule
• TaintSourceRule

Constructors

TaintSourceRule()

Properties

hashCode → int

The hash code for this object.

no setter, inherited

headRelation → String

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

stratum → int

Stratum for stratified evaluation.

final, inherited

Methods

evaluate(Map<String, List<List<Object>>> facts, Map<String, List<List<Object>>> derived) → List<Fact>

Evaluates the rule and returns derived facts.

override

getCombined(String relation, Map<String, List<List<Object>>> facts, Map<String, List<List<Object>>> derived) → Iterable<List<Object>>

Returns a lazy iterable combining facts and derived tuples for a relation.

inherited

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited