TaintPropagationRule class
TaintedVar(target, source, label) :- Assign(target, from), TaintedVar(from, source, label).
Propagates taint through variable assignments. If a tainted variable is assigned to another variable, the target becomes tainted with the same source and label.
- Inheritance
-
- Object
- DatalogRule
- TaintPropagationRule
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- headRelation → String
-
finalinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- stratum → int
-
Stratum for stratified evaluation.
finalinherited
Methods
-
evaluate(
Map< String, List< facts, Map<List< >Object> >String, List< derived) → List<List< >Object> >Fact> -
Evaluates the rule and returns derived facts.
override
-
getCombined(
String relation, Map< String, List< facts, Map<List< >Object> >String, List< derived) → Iterable<List< >Object> >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