@@ -75,24 +75,26 @@ abstract class Configuration extends DataFlow::Configuration {
75
75
predicate isSanitizer ( DataFlow:: Node node ) { none ( ) }
76
76
77
77
final override predicate isBarrier ( DataFlow:: Node node ) {
78
- isSanitizer ( node ) or
78
+ this . isSanitizer ( node ) or
79
79
defaultTaintSanitizer ( node )
80
80
}
81
81
82
82
/** Holds if taint propagation into `node` is prohibited. */
83
83
predicate isSanitizerIn ( DataFlow:: Node node ) { none ( ) }
84
84
85
- final override predicate isBarrierIn ( DataFlow:: Node node ) { isSanitizerIn ( node ) }
85
+ final override predicate isBarrierIn ( DataFlow:: Node node ) { this . isSanitizerIn ( node ) }
86
86
87
87
/** Holds if taint propagation out of `node` is prohibited. */
88
88
predicate isSanitizerOut ( DataFlow:: Node node ) { none ( ) }
89
89
90
- final override predicate isBarrierOut ( DataFlow:: Node node ) { isSanitizerOut ( node ) }
90
+ final override predicate isBarrierOut ( DataFlow:: Node node ) { this . isSanitizerOut ( node ) }
91
91
92
92
/** Holds if taint propagation through nodes guarded by `guard` is prohibited. */
93
93
predicate isSanitizerGuard ( DataFlow:: BarrierGuard guard ) { none ( ) }
94
94
95
- final override predicate isBarrierGuard ( DataFlow:: BarrierGuard guard ) { isSanitizerGuard ( guard ) }
95
+ final override predicate isBarrierGuard ( DataFlow:: BarrierGuard guard ) {
96
+ this .isSanitizerGuard ( guard )
97
+ }
96
98
97
99
/**
98
100
* Holds if the additional taint propagation step from `node1` to `node2`
@@ -101,7 +103,7 @@ abstract class Configuration extends DataFlow::Configuration {
101
103
predicate isAdditionalTaintStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) { none ( ) }
102
104
103
105
final override predicate isAdditionalFlowStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) {
104
- isAdditionalTaintStep ( node1 , node2 ) or
106
+ this . isAdditionalTaintStep ( node1 , node2 ) or
105
107
defaultAdditionalTaintStep ( node1 , node2 )
106
108
}
107
109
0 commit comments