Skip to content

Commit 6505f08

Browse files
committed
feat: Update Web framework
1 parent 90aadd7 commit 6505f08

File tree

1 file changed

+46
-48
lines changed
  • ql/lib/codeql/bicep/frameworks/Microsoft

1 file changed

+46
-48
lines changed

ql/lib/codeql/bicep/frameworks/Microsoft/Web.qll

Lines changed: 46 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,9 @@ module Web {
117117
/**
118118
* Gets the keyVaultReferenceIdentity.
119119
*/
120-
String getKeyVaultReferenceIdentity() { result = this.getProperties().getKeyVaultReferenceIdentity() }
120+
String getKeyVaultReferenceIdentity() {
121+
result = this.getProperties().getKeyVaultReferenceIdentity()
122+
}
121123

122124
/**
123125
* Gets the redundancyMode.
@@ -127,7 +129,9 @@ module Web {
127129
/**
128130
* Gets the storageAccountRequired flag.
129131
*/
130-
Boolean getStorageAccountRequired() { result = this.getProperties().getStorageAccountRequired() }
132+
Boolean getStorageAccountRequired() {
133+
result = this.getProperties().getStorageAccountRequired()
134+
}
131135

132136
/**
133137
* Returns true if client affinity is enabled.
@@ -201,7 +205,7 @@ module Web {
201205
* Gets whether zone redundant deployment is enabled.
202206
*/
203207
Boolean getZoneRedundant() { result = this.getProperties().getZoneRedundant() }
204-
208+
205209
/**
206210
* Returns true if zone redundant deployment is enabled.
207211
*/
@@ -210,8 +214,8 @@ module Web {
210214
/**
211215
* Gets the hosting environment profile.
212216
*/
213-
HostingEnvironmentProfile getHostingEnvironmentProfile() {
214-
result = this.getProperties().getHostingEnvironmentProfile()
217+
HostingEnvironmentProfile getHostingEnvironmentProfile() {
218+
result = this.getProperties().getHostingEnvironmentProfile()
215219
}
216220

217221
override string toString() { result = "AppServicePlan[" + this.getIdentifier().getName() + "]" }
@@ -273,7 +277,7 @@ module Web {
273277
* Gets the HTTPS-only flag for the deployment slot.
274278
*/
275279
Boolean getHttpsOnly() { result = this.getProperties().getHttpsOnly() }
276-
280+
277281
/**
278282
* Returns true if HTTPS-only setting is enabled for the deployment slot.
279283
*/
@@ -348,9 +352,7 @@ module Web {
348352
/**
349353
* Constructs an ExtendedLocation object.
350354
*/
351-
ExtendedLocation() {
352-
this = parent.getProperty("extendedLocation")
353-
}
355+
ExtendedLocation() { this = parent.getProperty("extendedLocation") }
354356

355357
/**
356358
* Gets the name of the extended location.
@@ -375,9 +377,15 @@ module Web {
375377
HostingEnvironmentProfile() {
376378
// This object can be referenced from multiple parent types
377379
exists(WebResource resource | this = resource.getProperty("hostingEnvironmentProfile")) or
378-
exists(SitesProperties::Properties props | this = props.getProperty("hostingEnvironmentProfile")) or
379-
exists(SlotProperties::Properties props | this = props.getProperty("hostingEnvironmentProfile")) or
380-
exists(ServerFarmsProperties::Properties props | this = props.getProperty("hostingEnvironmentProfile"))
380+
exists(SitesProperties::Properties props |
381+
this = props.getProperty("hostingEnvironmentProfile")
382+
) or
383+
exists(SlotProperties::Properties props |
384+
this = props.getProperty("hostingEnvironmentProfile")
385+
) or
386+
exists(ServerFarmsProperties::Properties props |
387+
this = props.getProperty("hostingEnvironmentProfile")
388+
)
381389
}
382390

383391
/**
@@ -402,9 +410,7 @@ module Web {
402410
/**
403411
* Constructs an ApplicationStack object.
404412
*/
405-
ApplicationStack() {
406-
this = parent.getProperty("applicationStack")
407-
}
413+
ApplicationStack() { this = parent.getProperty("applicationStack") }
408414

409415
string toString() { result = "ApplicationStack" }
410416
}
@@ -418,9 +424,7 @@ module Web {
418424
/**
419425
* Constructs an AppSettings object.
420426
*/
421-
AppSettings() {
422-
this = parent.getProperty("appSettings")
423-
}
427+
AppSettings() { this = parent.getProperty("appSettings") }
424428

425429
string toString() { result = "AppSettings" }
426430
}
@@ -434,9 +438,7 @@ module Web {
434438
/**
435439
* Constructs a UserAssignedIdentities object.
436440
*/
437-
UserAssignedIdentities() {
438-
this = parent.getProperty("userAssignedIdentities")
439-
}
441+
UserAssignedIdentities() { this = parent.getProperty("userAssignedIdentities") }
440442

441443
string toString() { result = "UserAssignedIdentities" }
442444
}
@@ -450,9 +452,7 @@ module Web {
450452
/**
451453
* Constructs a RepositoryBranch object.
452454
*/
453-
RepositoryBranch() {
454-
this = parent.getProperty("repositoryBranch")
455-
}
455+
RepositoryBranch() { this = parent.getProperty("repositoryBranch") }
456456

457457
/**
458458
* Gets the name of the branch.
@@ -472,9 +472,7 @@ module Web {
472472
/**
473473
* Constructs an HttpsCertificate object.
474474
*/
475-
HttpsCertificate() {
476-
this = parent.getElement(index)
477-
}
475+
HttpsCertificate() { this = parent.getElement(index) }
478476

479477
/**
480478
* Gets the name of the certificate.
@@ -534,9 +532,9 @@ module Web {
534532
/**
535533
* Gets the virtualNetworkSubnetId.
536534
*/
537-
String getVirtualNetworkSubnetId() {
535+
String getVirtualNetworkSubnetId() {
538536
result = this.getProperty("virtualNetworkSubnetId") or
539-
result = parent.getProperty("virtualNetworkSubnetId")
537+
result = parent.getProperty("virtualNetworkSubnetId")
540538
}
541539

542540
/**
@@ -600,13 +598,13 @@ module Web {
600598
* Gets the https certificate settings.
601599
*/
602600
HttpsCertificates getHttpsCertificates() { result = this.getProperty("httpsCertificates") }
603-
601+
604602
/**
605603
* Gets the clientAffinityEnabled flag.
606604
*/
607-
Boolean getClientAffinityEnabled() {
605+
Boolean getClientAffinityEnabled() {
608606
result = this.getProperty("clientAffinityEnabled") or
609-
result = parent.getProperty("clientAffinityEnabled")
607+
result = parent.getProperty("clientAffinityEnabled")
610608
}
611609

612610
/**
@@ -622,9 +620,9 @@ module Web {
622620
/**
623621
* Gets the clientCertEnabled flag.
624622
*/
625-
Boolean getClientCertEnabled() {
623+
Boolean getClientCertEnabled() {
626624
result = this.getProperty("clientCertEnabled") or
627-
result = parent.getProperty("clientCertEnabled")
625+
result = parent.getProperty("clientCertEnabled")
628626
}
629627

630628
/**
@@ -640,17 +638,17 @@ module Web {
640638
/**
641639
* Gets the hostNameSslStates array.
642640
*/
643-
Array getHostNameSslStates() {
641+
Array getHostNameSslStates() {
644642
result = this.getProperty("hostNameSslStates") or
645-
result = parent.getProperty("hostNameSslStates")
643+
result = parent.getProperty("hostNameSslStates")
646644
}
647645

648646
/**
649647
* Gets the hyperV setting.
650648
*/
651-
Boolean getHyperV() {
649+
Boolean getHyperV() {
652650
result = this.getProperty("hyperV") or
653-
result = parent.getProperty("hyperV")
651+
result = parent.getProperty("hyperV")
654652
}
655653

656654
/**
@@ -666,25 +664,25 @@ module Web {
666664
/**
667665
* Gets the keyVaultReferenceIdentity.
668666
*/
669-
String getKeyVaultReferenceIdentity() {
667+
String getKeyVaultReferenceIdentity() {
670668
result = this.getProperty("keyVaultReferenceIdentity") or
671-
result = parent.getProperty("keyVaultReferenceIdentity")
669+
result = parent.getProperty("keyVaultReferenceIdentity")
672670
}
673671

674672
/**
675673
* Gets the redundancyMode.
676674
*/
677-
String getRedundancyMode() {
675+
String getRedundancyMode() {
678676
result = this.getProperty("redundancyMode") or
679-
result = parent.getProperty("redundancyMode")
677+
result = parent.getProperty("redundancyMode")
680678
}
681679

682680
/**
683681
* Gets the storageAccountRequired flag.
684682
*/
685-
Boolean getStorageAccountRequired() {
683+
Boolean getStorageAccountRequired() {
686684
result = this.getProperty("storageAccountRequired") or
687-
result = parent.getProperty("storageAccountRequired")
685+
result = parent.getProperty("storageAccountRequired")
688686
}
689687

690688
/**
@@ -1197,7 +1195,7 @@ module Web {
11971195
HostingEnvironmentProfile getHostingEnvironmentProfile() {
11981196
result = parent.getProperty("hostingEnvironmentProfile")
11991197
}
1200-
1198+
12011199
/**
12021200
* Gets whether the App Service Plan is reserved (for Linux).
12031201
*/
@@ -1235,9 +1233,9 @@ module Web {
12351233
/**
12361234
* Gets the HTTPS-only flag for the deployment slot.
12371235
*/
1238-
Boolean getHttpsOnly() {
1236+
Boolean getHttpsOnly() {
12391237
result = this.getProperty("httpsOnly") or
1240-
result = parent.getProperty("httpsOnly")
1238+
result = parent.getProperty("httpsOnly")
12411239
}
12421240

12431241
/**
@@ -1266,7 +1264,7 @@ module Web {
12661264
HostingEnvironmentProfile getHostingEnvironmentProfile() {
12671265
result = this.getProperty("hostingEnvironmentProfile")
12681266
}
1269-
1267+
12701268
override string toString() { result = "SlotProperties" }
12711269
}
12721270
}

0 commit comments

Comments
 (0)