@@ -8,7 +8,7 @@ module AWS {
88 /**
99 * Gets the name of a supported AWS service.
1010 */
11- private string getAWSServiceName ( ) {
11+ private string getAwsServiceName ( ) {
1212 result =
1313 [
1414 "EC2" , "Lambda" , "ECS" , "EKS" , "Batch" , "ElasticBeanstalk" , "Lightsail" , "AppRunner" , "S3" ,
@@ -31,41 +31,41 @@ module AWS {
3131 /**
3232 * Gets a node representing an import of the AWS SDK.
3333 */
34- private API:: Node getAWSImport ( ) { result = API:: moduleImport ( "aws-sdk" ) }
34+ private API:: Node getAwsImport ( ) { result = API:: moduleImport ( "aws-sdk" ) }
3535
3636 /**
3737 * Gets a data flow node representing an instantiation of an AWS service.
3838 */
3939 private DataFlow:: Node getServiceInstantation ( ) {
4040 result =
41- getAWSImport ( ) .getMember ( getAWSServiceName ( ) ) .getAnInstantiation ( ) .getReturn ( ) .asSource ( )
41+ getAwsImport ( ) .getMember ( getAwsServiceName ( ) ) .getAnInstantiation ( ) .getReturn ( ) .asSource ( )
4242 }
4343
4444 /**
4545 * Gets a node representing the AWS global config object.
4646 */
47- private API:: Node getAWSConfig ( ) { result = getAWSImport ( ) .getMember ( "config" ) }
47+ private API:: Node getAwsConfig ( ) { result = getAwsImport ( ) .getMember ( "config" ) }
4848
4949 /**
5050 * Gets a property write to the AWS config object.
5151 * This captures assignments to AWS.config properties.
5252 */
5353 private DataFlow:: PropWrite configAssigment ( ) {
54- result = getAWSConfig ( ) .asSource ( ) .getAPropertyWrite ( )
54+ result = getAwsConfig ( ) .asSource ( ) .getAPropertyWrite ( )
5555 }
5656
5757 /**
5858 * Gets a data flow node representing an instance of `new AWS.Credentials(accessKeyId, secretAccessKey)`.
5959 */
6060 private DataFlow:: Node getCredentialsCreationNode ( ) {
61- result = getAWSImport ( ) .getMember ( "Credentials" ) .getAnInstantiation ( ) .getReturn ( ) .asSource ( )
61+ result = getAwsImport ( ) .getMember ( "Credentials" ) .getAnInstantiation ( ) .getReturn ( ) .asSource ( )
6262 }
6363
6464 /**
6565 * Holds if the `i`th argument of `invk` is an object hash for `AWS.Config`.
6666 */
6767 private predicate takesConfigurationObject ( DataFlow:: InvokeNode invk , int i ) {
68- exists ( API:: Node mod | mod = getAWSImport ( ) |
68+ exists ( API:: Node mod | mod = getAwsImport ( ) |
6969 // `AWS.config.update(nd)`
7070 invk = mod .getMember ( "config" ) .getMember ( "update" ) .getACall ( ) and
7171 i = 0
0 commit comments