TaintViolationRule class
TaintViolation(sink, source, taintLabel, sinkLabel) :- TaintSink(sink, sinkLabel), TaintedVar(sink, source, taintLabel).
Detects when tainted data reaches a security-sensitive sink. Reports the sink location, the original taint source, and both labels.
- Inheritance
-
- Object
- DatalogRule
- TaintViolationRule
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