@@ -75,24 +75,26 @@ abstract class Configuration extends DataFlow::Configuration {
7575 predicate isSanitizer ( DataFlow:: Node node ) { none ( ) }
7676
7777 final override predicate isBarrier ( DataFlow:: Node node ) {
78- isSanitizer ( node ) or
78+ this . isSanitizer ( node ) or
7979 defaultTaintSanitizer ( node )
8080 }
8181
8282 /** Holds if taint propagation into `node` is prohibited. */
8383 predicate isSanitizerIn ( DataFlow:: Node node ) { none ( ) }
8484
85- final override predicate isBarrierIn ( DataFlow:: Node node ) { isSanitizerIn ( node ) }
85+ final override predicate isBarrierIn ( DataFlow:: Node node ) { this . isSanitizerIn ( node ) }
8686
8787 /** Holds if taint propagation out of `node` is prohibited. */
8888 predicate isSanitizerOut ( DataFlow:: Node node ) { none ( ) }
8989
90- final override predicate isBarrierOut ( DataFlow:: Node node ) { isSanitizerOut ( node ) }
90+ final override predicate isBarrierOut ( DataFlow:: Node node ) { this . isSanitizerOut ( node ) }
9191
9292 /** Holds if taint propagation through nodes guarded by `guard` is prohibited. */
9393 predicate isSanitizerGuard ( DataFlow:: BarrierGuard guard ) { none ( ) }
9494
95- final override predicate isBarrierGuard ( DataFlow:: BarrierGuard guard ) { isSanitizerGuard ( guard ) }
95+ final override predicate isBarrierGuard ( DataFlow:: BarrierGuard guard ) {
96+ this .isSanitizerGuard ( guard )
97+ }
9698
9799 /**
98100 * Holds if the additional taint propagation step from `node1` to `node2`
@@ -101,7 +103,7 @@ abstract class Configuration extends DataFlow::Configuration {
101103 predicate isAdditionalTaintStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) { none ( ) }
102104
103105 final override predicate isAdditionalFlowStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) {
104- isAdditionalTaintStep ( node1 , node2 ) or
106+ this . isAdditionalTaintStep ( node1 , node2 ) or
105107 defaultAdditionalTaintStep ( node1 , node2 )
106108 }
107109
0 commit comments