File tree Expand file tree Collapse file tree 5 files changed +14
-3
lines changed Expand file tree Collapse file tree 5 files changed +14
-3
lines changed Original file line number Diff line number Diff line change @@ -2,3 +2,5 @@ import codeql.Locations
22import codeql.files.FileSystem
33// AST
44import codeql.bicep.AST
5+ // Frameworks
6+ import codeql.bicep.Frameworks
Original file line number Diff line number Diff line change 1+ import frameworks.Microsoft.Compute
2+ import frameworks.Microsoft.Network
3+ import frameworks.Microsoft.Storage
Original file line number Diff line number Diff line change 11private import AstNodes
2+ private import codeql.Locations
23private import Expr
34private import Idents
45private import Literals
@@ -92,9 +93,11 @@ class Resource extends TResource {
9293 result = resource .getProperty ( name )
9394 }
9495
95- string toString ( ) { result = "Resource[" + resource .getIdentifier ( ) . getName ( ) + "]" }
96+ string toString ( ) { result = resource .toString ( ) }
9697
9798 string getAPrimaryQlClass ( ) { result = "Resource" }
99+
100+ Location getLocation ( ) { result = resource .getLocation ( ) }
98101}
99102
100103cached
Original file line number Diff line number Diff line change 11private import bicep
2- private import Network
32
43/**
54 * A resource of type Microsoft.Compute/virtualMachines
Original file line number Diff line number Diff line change @@ -14,8 +14,12 @@ module Storage {
1414
1515 StorageAccountsProperties ( ) { this = storageAccounts .getProperty ( "properties" ) }
1616
17+ /**
18+ * The property "supportsHttpsTrafficOnly" indicates whether the storage account
19+ * supports only HTTPS traffic. If this property is not set, it defaults to true.
20+ */
1721 boolean getSupportsHttpsTrafficOnly ( ) {
18- result = this .getProperty ( "supportsHttpsTrafficOnly" ) . ( Boolean ) . getBool ( )
22+ exists ( Boolean bl | bl = this .getProperty ( "supportsHttpsTrafficOnly" ) | result = bl . getBool ( ) )
1923 }
2024 }
2125
You can’t perform that action at this time.
0 commit comments