@@ -386,15 +386,15 @@ private module Crypto {
386386
387387 StreamReader ( ) {
388388 lookThroughPointerType ( this .getType ( ) ) .hasQualifiedName ( "crypto/cipher" , "StreamReader" ) and
389- exists ( DataFlow:: Write w , DataFlow:: Node base , Field f |
390- f .hasQualifiedName ( "crypto/cipher" , "StreamReader" , "S" ) and
391- w .writesField ( base , f , encryptionFlowTarget ) and
392- DataFlow:: localFlow ( base , this )
389+ exists ( DataFlow:: Write wS , DataFlow:: Node baseS , Field fS |
390+ fS .hasQualifiedName ( "crypto/cipher" , "StreamReader" , "S" ) and
391+ wS .writesField ( baseS , fS , encryptionFlowTarget ) and
392+ DataFlow:: localFlow ( baseS , this )
393393 ) and
394- exists ( DataFlow:: Write w , DataFlow:: Node base , Field f |
395- f .hasQualifiedName ( "crypto/cipher" , "StreamReader" , "R" ) and
396- w .writesField ( base , f , inputNode ) and
397- DataFlow:: localFlow ( base , this )
394+ exists ( DataFlow:: Write wR , DataFlow:: Node baseR , Field fR |
395+ fR .hasQualifiedName ( "crypto/cipher" , "StreamReader" , "R" ) and
396+ wR .writesField ( baseR , fR , inputNode ) and
397+ DataFlow:: localFlow ( baseR , this )
398398 )
399399 }
400400
0 commit comments