File tree Expand file tree Collapse file tree 1 file changed +6
-4
lines changed
swift/ql/lib/codeql/swift/security Expand file tree Collapse file tree 1 file changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -133,7 +133,9 @@ private class VulnerableAexmlDocument extends AexmlDocument {
133
133
*/
134
134
private class VulnerableAexmlOptions extends AexmlOptions {
135
135
VulnerableAexmlOptions ( ) {
136
- exists ( ParserSettings parserSettings , AexmlShouldResolveExternalEntities sree , AssignExpr a |
136
+ exists (
137
+ AexmlParserSettings parserSettings , AexmlShouldResolveExternalEntities sree , AssignExpr a
138
+ |
137
139
a .getSource ( ) = any ( BooleanLiteralExpr b | b .getValue ( ) = true ) and
138
140
a .getDest ( ) = sree and
139
141
sree .( MemberRefExpr ) .getBase ( ) = parserSettings and
@@ -143,17 +145,17 @@ private class VulnerableAexmlOptions extends AexmlOptions {
143
145
}
144
146
145
147
/** An expression of type `AEXMLOptions.ParserSettings`. */
146
- class ParserSettings extends Expr {
148
+ private class AexmlParserSettings extends Expr {
147
149
pragma [ inline]
148
- ParserSettings ( ) {
150
+ AexmlParserSettings ( ) {
149
151
this .getType ( ) instanceof AexmlOptionsParserSettingsType or
150
152
this .getType ( ) = any ( OptionalType t | t .getBaseType ( ) instanceof AexmlOptionsParserSettingsType ) or
151
153
this .getType ( ) = any ( LValueType t | t .getObjectType ( ) instanceof AexmlOptionsParserSettingsType )
152
154
}
153
155
}
154
156
155
157
/** An expression of type `AEXMLOptions`. */
156
- class AexmlOptions extends Expr {
158
+ private class AexmlOptions extends Expr {
157
159
pragma [ inline]
158
160
AexmlOptions ( ) {
159
161
this .getType ( ) instanceof AexmlOptionsType or
You can’t perform that action at this time.
0 commit comments