@@ -718,7 +718,7 @@ module TaintTracking {
718
718
override predicate serializeStep ( DataFlow:: Node pred , DataFlow:: Node succ ) {
719
719
exists ( JsonStringifyCall call , DataFlow:: Node arg |
720
720
arg = call .getArgument ( 0 ) and
721
- findInObject ( arg .asExpr ( ) , pred .asExpr ( ) ) and
721
+ this . findInObject ( arg .asExpr ( ) , pred .asExpr ( ) ) and
722
722
succ = call
723
723
)
724
724
}
@@ -733,18 +733,18 @@ module TaintTracking {
733
733
root instanceof ObjectExpr and
734
734
property = root .( ObjectExpr ) .getAProperty ( ) and
735
735
(
736
- findInObject ( property .getNameExpr ( ) , target ) or
737
- findInObject ( property .getInit ( ) , target )
736
+ this . findInObject ( property .getNameExpr ( ) , target ) or
737
+ this . findInObject ( property .getInit ( ) , target )
738
738
)
739
739
)
740
740
or
741
741
// when root is Array
742
742
root instanceof ArrayExpr and
743
- findInObject ( root .( ArrayExpr ) .getAChildExpr ( ) , target )
743
+ this . findInObject ( root .( ArrayExpr ) .getAChildExpr ( ) , target )
744
744
or
745
745
// when root is VarRef
746
746
root instanceof VarRef and
747
- findInObject ( root .( VarRef ) .getAVariable ( ) .getAnAssignedExpr ( ) , target )
747
+ this . findInObject ( root .( VarRef ) .getAVariable ( ) .getAnAssignedExpr ( ) , target )
748
748
}
749
749
}
750
750
0 commit comments