@@ -718,7 +718,7 @@ module TaintTracking {
718718 override predicate serializeStep ( DataFlow:: Node pred , DataFlow:: Node succ ) {
719719 exists ( JsonStringifyCall call , DataFlow:: Node arg |
720720 arg = call .getArgument ( 0 ) and
721- findInObject ( arg .asExpr ( ) , pred .asExpr ( ) ) and
721+ this . findInObject ( arg .asExpr ( ) , pred .asExpr ( ) ) and
722722 succ = call
723723 )
724724 }
@@ -733,18 +733,18 @@ module TaintTracking {
733733 root instanceof ObjectExpr and
734734 property = root .( ObjectExpr ) .getAProperty ( ) and
735735 (
736- findInObject ( property .getNameExpr ( ) , target ) or
737- findInObject ( property .getInit ( ) , target )
736+ this . findInObject ( property .getNameExpr ( ) , target ) or
737+ this . findInObject ( property .getInit ( ) , target )
738738 )
739739 )
740740 or
741741 // when root is Array
742742 root instanceof ArrayExpr and
743- findInObject ( root .( ArrayExpr ) .getAChildExpr ( ) , target )
743+ this . findInObject ( root .( ArrayExpr ) .getAChildExpr ( ) , target )
744744 or
745745 // when root is VarRef
746746 root instanceof VarRef and
747- findInObject ( root .( VarRef ) .getAVariable ( ) .getAnAssignedExpr ( ) , target )
747+ this . findInObject ( root .( VarRef ) .getAVariable ( ) .getAnAssignedExpr ( ) , target )
748748 }
749749 }
750750
0 commit comments